Question

6.4.1 keil 优化+thumb mode

#!bash
.text:00000042      scanf_main
.text:00000042
.text:00000042      var_8 = -8
.text:00000042
.text:00000042 08 B5            PUSH    {R3,LR}
.text:00000044 A9 A0            ADR     R0, aEnterX ; "Enter X:
"
.text:00000046 06 F0 D3 F8      BL      __2printf
.text:0000004A 69 46            MOV     R1, SP
.text:0000004C AA A0            ADR     R0, aD ; "%d"
.text:0000004E 06 F0 CD F8      BL      __0scanf
.text:00000052 00 99            LDR     R1, [SP,#8+var_8]
.text:00000054 A9 A0            ADR     R0, aYouEnteredD___ ; "You entered %d...
"
.text:00000056 06 F0 CB F8      BL      __2printf
.text:0000005A 00 20            MOVS    R0, #0
.text:0000005C 08 BD            POP     {R3,PC}

必须把一个指向 int 变量的指针传递给 scanf()，这样才能通过这个指针返回一个值。Int 是一个 32 位的值，所以我们在内存中需要 4 字节存储，并且正好符合 32 位的寄存器。局部变量 x 的空间分配在栈中，IDA 把他命名为 var_8。然而并不需要分配空间，因为栈指针指向的空间可以被立即使用。所以栈指针的值被复制到 R1 寄存器中，然后和格式化字符串一起送入 scanf()。然后 LDR 指令将这个值从栈中送入 R1 寄存器，用以送入 printf() 中。

用 ARM-mode 和 Xcode LLVM 编译的代码区别不大，这里略去。