流程控制语句的识别

最新推荐文章于 2023-12-22 17:55:34 发布

无极空间

最新推荐文章于 2023-12-22 17:55:34 发布

阅读量318

点赞数 1

分类专栏： ARM相关

本文链接：https://blog.csdn.net/yangbohua111/article/details/50748652

版权

ARM相关专栏收录该内容

3 篇文章 0 订阅

订阅专栏

if语句

if语句是分支结构的重要组成部分。if语句的功能是先对运算条件进行比较，然后根据比较结果选择对应的语句块执行。if语句只能判断两种情况：“0”为假值，“非0”为真值。如果为真值，则进入语句块内执行语句；如果为假值，则跳过if语句块，继续运行程序。要注意的是，if语句转换的条件跳转指令与if语句的判断结果是相反的。下面举例说明：

// C++源码说明：if语句结构组成 Debug调试版
if (argc == 0){
    printf("%d\r\n", argc);
}
 
// C++源码与对应汇编代码讲解
// C++源码对比，比较参数argc等于0，则为真，执行语句块
if (argc == 0)
; 取argc的值赋值给r3
b6f724d8   ldr       r3, [r11，#-8]
使用CMP指令，将r3的值与0相减，结果不影响argc，但影响标记位
b6f724dc   cmp        r3, #0
; BNE检查标记位Z的值，如果值等于0，则跳转，此时表示argc的值不等于0，
; 于是跳转到地址0xb6f724f8
; 这个地址为if语句块的结束地址，随后跳转出if语句。
b6f724e0   bne        main+52(b6f724f8)
{
; printf函数调用讲解，略……
}
// C++源码对比，函数返回。
return 0;

if…else…语句

if (argc == 0)
    {
       printf("argc = 0 \r\n",argc);
    }
    else
    {
       printf("argc != 0 \r\n",argc);
    }
.text:000004D8                 LDR     R3, [R11,#var_8]
.text:000004DC                 CMP     R3, #0
.text:000004E0                 BNE     ELSE_BEGIN
.text:000004E4                 LDR     R3, =(aArgc0 - 0x4F0)
.text:000004E8                 ADD     R3, PC, R3      ; "argc = 0 \r\n"
.text:000004EC                 MOV     R0, R3          ; char *
.text:000004F0                 LDR     R1, [R11,#var_8]
.text:000004F4                 BL      printf
.text:000004F8                 B       ELSE_END
.text:000004FC
.text:000004FCELSE_BEGIN                              ;CODE XREF: sub_4C4+1Cj
.text:000004FC                 LDR     R3, =(aArgc0_0 - 0x508)
.text:00000500                 ADD     R3, PC, R3      ; "argc != 0 \r\n"
.text:00000504                 MOV     R0, R3          ; char *
.text:00000508                 LDR    R1, [R11,#var_8]
.text:0000050C                 BL      printf
.text:00000510
.text:00000510ELSE_END                                ;CODE XREF: sub_4C4+34j
.text:00000510                 MOV     R3, #0
.text:00000514                 MOV     R0, R3
.text:00000518                 SUB     SP, R11, #4
.text:0000051C                 LDMFD   SP!, {R11,PC}

按if/else的逻辑，如果满足if条件，则执行if语句块；否则执行else语句块，两者有且仅有一方会执行。所以，如果编译器生成的代码在000004E0处的跳转条件成立，则必须到达else块的代码开始处。而000004F8处有个无条件跳转B，它的作用是绕过else块，因为如果能执行到这个B，if条件必然成立，对应的反汇编代码处的跳转条件必然不能成立，而且if语句块已经执行完毕。由此，我们可以利用这里的两处跳转指令作为“指路明灯”，准确划分if块和else块的边界。

那么根据以上的规律，可以总结if…else…语句的识别规律如下：

; 先执行影响标志位的相关指令

Bxx ELSE_BEGIN ; 该地址为else语句块的首地址

IF_BEGIN:

…… ; if语句块内的执行代码

IF_END:

B ELSE_END ;跳转到else语句块的结束地址

ELSE_BEGIN:

…… ; else语句块内的执行代码

ELSE_END: