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

Question

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

double[] numbers = {1.0,1.1,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,0.0,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 ,1.1 ,0.0 ,0.0 ,0.0 ,0.0 ,0.0 ,0.0 ,0.0 ,0.0 ,0.0 ,0.0 ,0.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++

Answer 1

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

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

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

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

正如@Peter 所说，您的 scaling/offsets 没有正确考虑 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 中工作；运行以确保其正常工作。

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

How can I create a double array in MIPS assembly language?

assembly

mips

runtimeexception