如何在 MIPS 汇编语言中创建双数组？

如何解决如何在 MIPS 汇编语言中创建双数组？

我是 MIPS 程序集的新手。我正在尝试将 java 代码转换为 MIPS 代码，但我无法弄清楚如何在 MIPS 中加载和存储双精度值。我收到此错误“地址未在双字边界 0x10010001 上对齐”。这是java代码：

double[] numbers = {1.0,1.1,0.0,0.0};
int i = 0;
while (numbers[i+1] < 150){
 numbers[i+2] = numbers[i+1] + numbers[i];
 i++;
}
for (int j = 0; j < 14; j++){
 System.out.println(numbers[j]);
}

这是我写的代码：

.data

numbers: .double 1.0,0.0
doublezero : .double 0.0

.text

la $a1 numbers
add $t1 $zero 0 # i = 0 
add $t7 $zero 0 # j = 0
ldc1 $f0 doublezero

while : sll  $t3 $t1 2     #get the offset (i*4)
    add  $t4 $t3 $a1   #t4 is the address for numbers[i]
    add $t5 $t4 1  # t5 = [i+1] 
    l.d $f2 0($t5)  # s5 = current numbers[i+1]
    add $t6 $t4 2  # t6 = [i+2]
    add $a2 $zero 150 # a1 = 150
    l.d $f4 0($t6)  #s6 = current numbers[i+2]
    l.d $f6 0($t4)  # s4 = numbers[i]
    slt $t2,$s5,$a2      # checks if $s5 > $a1  ==> numbers[i+1] < 150
    beq $t2 $zero EXIT       # if t2 = 1 jump exit
    add.d $f4 $f2 $f6   #numbers[i+2] = numbers[i+1] + numbers[i]
    addi $t1 $t1 1 #i++
    j while
    
loop: addi $a3 $zero 14
      slt $s7 $t7 $a3   # checks if $t7 < 14   ==> numbers[j+1] < 150
      beq $s7 $zero EXIT  # if s7 = 1  jump exit
      sll  $t8 $t7 2  #get the offset (j*4)
      add  $t9 $t8 $a1   
      l.d $f8 0($t9)   # t0 = numbers[j]
      ##print
      li $v0 2
      add.d $f12 $f8 $f0
      syscall
      addi $t7 $t7 1 #j++
              

解决方法

使用系统调用函数代码 3 打印双精度值（不是函数代码 2 — 用于单浮点数）。

使用 mov.d 将一个寄存器复制到另一个寄存器，例如进入 $f12 以用于 sycall（然后无需将 0.0 加载到 $f0）。

（另外，使用 l.d 而不是 ldc1。）

loop: 循环不是循环（它没有向后分支）。

正如@Peter 所说，您的缩放/偏移没有正确考虑 double 的大小，即 8。缩放需要乘以 8（移位 3，而不是 2），并且偏移需要是 8 的倍数。

您的第一个循环完成后，不应退出程序，而是继续执行下一条语句（即打印循环）。

对于此语句 numbers[i+2] = numbers[i+1] + numbers[i];，有两次加载和一次存储作为数组引用，而汇编代码执行 3 次加载而没有存储。

您使用 $s5，但从不将任何内容放入其中。

numbers[i+1] < 150 的比较必须在（双）浮点中完成，而汇编代码则在整数寄存器中尝试此操作。

浮点比较使用 c.eq.d、c.lt.d 或 c.le.d 完成。与整数比较一样，常量需要在比较指令之前放在寄存器中。 150.0 最好在循环之前直接来自内存（作为双常数）并在循环持续时间内保持在那里（或者您可以将整数 150 移动到浮点寄存器并将其转换为双精度（cvt.w.d））。

浮点比较条件的条件分支使用 bc1t 或 bc1f（取决于您想要的意义）。

---

类似 C 的伪代码可能无法正常运行。第一个循环的退出条件是可疑的——它可能会从数组的末尾运行（取决于它的初始数据值）。

将非工作的 C 代码翻译成汇编是一种令人沮丧的方法。建议先让它在 C 中工作；运行它以确保它正常工作。