MIPS：不使用伪代码的 la 指令的等价物？

Question

该参考文献说 la（加载地址）的伪代码被翻译为：

Pseudo : la $1, Label   

lui $1, Label[31:16]
ori $1,$1, label[15:0]

但是当我尝试在 MARS 中汇编代码时，我收到错误：

“无效的语言元素：16]

并且如果我删除[31:16] 我得到的部分

“标签”：操作数类型不正确有

什么想法吗？

Answer 1

这意味着标签的 16 个最高有效位设置为 $1。然后，16 个较低有效位与 16 个最高有效位进行或运算。

此处您可以找到 lui 指令的说明。它将标签地址的 16 msb 位加载到寄存器上，并将 16 lsb 归零。

这样，您就可以使用 32 位指令加载 32 位地址（以 mips32 为单位）。

它绝不是“真正的代码”。 [31:16] / [15:0] 部分不是有效的 mips，仅供您了解位移动。

编辑：
为了响应您的评论，您必须知道要使用 lui 指令加载的地址。为此，您可以使用标签来指示所需的地址。
例如

.data 
my_var: .asciiz "This is a nul terminated string"

.text
        andi $a0,$a0,0x0000ffff
        lui $a0,my_var
        ori $a0,$a0,my_var

Answer 2

这是一个非常好的问题，我自己找到了一个可能的解决方案。上面的答案并不是无条件有效的。

实际上，应该可以说出您希望数据段位于何处（例如 SPIM 允许您这样做）。 .data 指令采用一个可选参数，即该数据段应位于的 32 位地址。通过这种方式编写异常处理程序（仅使用 .kdata 而不是 .data）。

一个例子：

.data 0x10001000                 #remember this location
    .align 0
    .asciiz "MIPS IS GREAT!"     #this is at offset 0

.text
    .align 2
    .globl main
main:                            #let's assume we've got no arguments
    addiu $sp, $sp, -24          #subroutine prolog
    sw $ra, 16($sp)
    sw $fp, 10($sp)
    addiu $fp, $sp, 20

    ori $v0, $0, 4
    lui $a0, 0x1000              #sole argument must be str pointer
    ori $a0, $a0, 0x1000
    syscall                      #print STR out on console

    lw $ra, 16($sp)              #subroutine epilog
    lw $fp, 10($sp)
    addiu $sp, $sp, 24
    jal

我实际上不确定这是否是最好的解决方案，但它是我能想到的唯一解决方案（即使不使用虚拟寻址模式，即加载或存储指令的标签），并且这个想法应该可行（无论我的代码示例是否有效，我不知道，我还没有测试过）。

编辑：
我刚刚玩了一下，发现了一个非常棒的技巧，它允许我们在没有任何伪指令和自然寻址模式的情况下将标签加载到寄存器中。我的例子：

.data 0x10001000
        .word LABEL
LABEL:  .asciiz "Get LABEL to print this C string."

.text
    .align 2
    .globl main
#test if it loads LABEL
main:
    lui $4, 0x1000
    ori $4, $4, 0x1000
    lw $4, 0($4)
    ori $2, $0, 4
    syscall

在 SPIM 中它组装得很好！查看0x10001000处的内存显示，存储的是0x10001004！这种方法在内存中创建一个指针。我建议将指针放在其他可变长度数据的前面，以便您可以轻松计算指针的偏移量。