如何强制GAS生成与输入相同的输出?

时间:2015-05-18 01:40:58

标签: c optimization mips gas

我想编写具有公共C接口的代码,但完全用MIPS实现,主要是作为学习练习。但是,我坚持与GAS作战,因为它似乎认为它比我更了解。

为了说明,我们想说我想在MIPS中实现以下内容:

int bar(void)
{
    return (4 / 2);
}

正如我上面提到的,我希望能够从C调用ASM例程,因此我们需要一个C代码文件bar.c,以及bar.S中的MIPS程序集。

bar.c:

extern int bar(void);

void _start()
{
    int foo = bar();
}

bar.S:

.global bar .text

bar:
    addi $2, $0, 4
    addi $3, $0, 2
    div $2, $3
    mflo $2
    jr $31
    addu $3, $0, $0

mipsel-none-elf-gcc bar.c bar.S -o bar.elf -ffreestanding -nostdinc -nostdlib成功编译了这个,但是mipsel-none-elf-objdump -d bar.elf显示GAS正在弄乱我的bar()代码:

00400050 <bar>:
  400050:       20020004        addi    v0,zero,4
  400054:       20030002        addi    v1,zero,2
  400058:       14600002        bnez    v1,400064 <bar+0x14>
  40005c:       0043001a        div     zero,v0,v1
  400060:       0007000d        break   0x7
  400064:       2401ffff        li      at,-1
  400068:       14610004        bne     v1,at,40007c <bar+0x2c>
  40006c:       3c018000        lui     at,0x8000
  400070:       14410002        bne     v0,at,40007c <bar+0x2c>
  400074:       00000000        nop
  400078:       0006000d        break   0x6
  40007c:       00001012        mflo    v0
  400080:       00001012        mflo    v0
  400084:       03e00008        jr      ra
  400088:       00000000        nop
  40008c:       00001821        move    v1,zero

我不想要分区检查,或延迟槽位修正,或者汇编程序是“有用的”#34;无论如何:如果有必要的话,我完全有能力自己处理这些事情。我怎么告诉GAS只是一个愚蠢的汇编程序?

1 个答案:

答案 0 :(得分:0)

这个问题在评论中得到了解决。 GAS接受div的3操作数版本,如果第一个操作数为$0,则禁用除法检查。至于延迟槽,.set noreorder指令防止重新排序指令(duh)。将程序集更改为:

.set noreorder

.global bar .text

bar:
    addi $2, $0, 4
    addi $3, $0, 2
    div $0, $2, $3
    mflo $2
    jr $31
    addu $3, $0, $0

产生正确的输出:

00400050 <bar>:
  400050:       20020004        addi    v0,zero,4
  400054:       20030002        addi    v1,zero,2
  400058:       0043001a        div     zero,v0,v1
  40005c:       00001012        mflo    v0
  400060:       03e00008        jr      ra
  400064:       00001821        move    v1,zero