MIPS 程序集中的 C 数组索引？

Question

题：

void swap (int v[], int k)
{
int temp;
temp = v[k];
v[k] = v[k+1];
v[k+1] = temp;
}

我的问题是为什么 int v[]被添加$t1 ？ （这样做的人甚至没有评论它，所以我假设$a0是v[]并且$a1是k ）。

以mips回答：

swap: sll $t1, $a1, 2
add $t1, $a0, $t1
lw $t0, 0($t1)
lw $t2, 4($t1)
sw $t2, 0($t1)
sw $t0, 4($t1)
jr $ra

我知道这用于交换变量，但它在这里做什么，为什么要添加v[]和k ？ 不是v[]一个声明变量的数组，你怎么能用整数k添加它？

Answer 1

这样做的人甚至没有评论它所以我假设 $a0 是 v[] 而 $a1 是 k

这些是 MIPS调用约定。 函数的前 4 个参数在$a0..$a3 ，返回值（此处不需要）在$v0 （如果需要，还有$v1 ）。 返回地址在寄存器$ra 。

我知道这用于交换变量，但它在这里做什么，为什么要添加 v[] 和 k？ v[] 不是一个声明变量的数组，你怎么能把它加上一个整数 k？

v[] 确实是一个 int 数组。 保存变量 v 的是数组的地址。 向数组地址添加值是访问数组特定元素的方法。

swap:                   # void swap (int v[], int k)
                        ; so v[] is in $a0 and k in $a1
      sll $t1, $a1, 2   ; k*=4 (ie sizeof(int))
      add $t1, $a0, $t1 ; $t1=@v+4*k==@(v[k])
      lw $t0, 0($t1)    #   temp = v[k];
      lw $t2, 4($t1)    ; 4(t1) is @(v[k])+4==@(v[k+1]
                        ; $t0==temp==v[k], $t2==v[k+1]
      sw $t2, 0($t1)    #   v[k] = v[k+1]; 
      sw $t0, 4($t1)    #   v[k+1] = temp;
      jr $ra            ; go back to caller