手把手教你分析C语言if架构代码最终如何用arm汇编实现

汇编语言是最接近机器语言的一门语言，汇编指令是最微观，它与大型软件关系类似于细胞核器官的关系，

c语言程序最终都要翻译成汇编代码，按照一定规则组织成可执行程序，然后才可以在硬件上执行。

只有真正理解了汇编代码，才能清楚的知道如何编写c代码效率才能最高，

才能真正写出高质量的c代码。

掌握了汇编代码，会让大家更快的成为真正的编程大师。

本文通过一个基于arm裸机开发工程的简单实例给大家讲解，if else架构的代码最终翻译成什么样的arm汇编代码。

测试环境参考下面文章：

《linux驱动、ARM学习环境搭建》

《4. 从0开始学ARM-ARM汇编指令其实很简单》

《7. 从0学ARM-汇编伪指令、lds详解》

1、c代码

废话不多说，直接上c代码，这个代码非常简单，就不多说了。

/* * main.c * * Created on: 2025-10-23 * Author: pengdan */ int main(void) { int sum = 0; int a = 10; int b = 22; int flag = 15; if(flag > 11) { sum = a+b; }else{ sum = a-b; } return 0; }

2、编译代码

最终编译城的程序gcd.bin就可以烧录到arm板子上运行，

为方便理解，我们可以用arm-linux-gnueabihf-objdump去掉程序中符号信息，生成程序gcd.dis

gcd.dis

1 2 gcd.elf: file format elf32-littlearm 3 4 5 Disassembly of section .text: 6 7 40008000 <_start>: 8 40008000: e3a0d207 mov sp, #1879048192 ; 0x70000000 9 40008004: ea00000f b 40008048 <__main_from_arm> 10 11 40008008 : 12 40008008: b480 push {r7} 13 4000800a: b085 sub sp, #20 14 4000800c: af00 add r7, sp, #0 15 4000800e: 2300 movs r3, #0 16 40008010: 60fb str r3, [r7, #12] 17 40008012: 230a movs r3, #10 18 40008014: 60bb str r3, [r7, #8] 19 40008016: 2316 movs r3, #22 20 40008018: 607b str r3, [r7, #4] 21 4000801a: 230f movs r3, #15 22 4000801c: 603b str r3, [r7, #0] 23 4000801e: 683b ldr r3, [r7, #0] 24 40008020: 2b0b cmp r3, #11 25 40008022: dd04 ble.n 4000802e 26 40008024: 68ba ldr r2, [r7, #8] 27 40008026: 687b ldr r3, [r7, #4] 28 40008028: 4413 add r3, r2 29 4000802a: 60fb str r3, [r7, #12] 30 4000802c: e003 b.n 40008036 31 4000802e: 68ba ldr r2, [r7, #8] 32 40008030: 687b ldr r3, [r7, #4] 33 40008032: 1ad3 subs r3, r2, r3 34 40008034: 60fb str r3, [r7, #12] 35 40008036: 2300 movs r3, #0 36 40008038: 4618 mov r0, r3 37 4000803a: 3714 adds r7, #20 38 4000803c: 46bd mov sp, r7 39 4000803e: f85d 7b04 ldr.w r7, [sp], #4 40 40008042: 4770 bx lr 41 40008044: 0000 movs r0, r0 42 ... 43

3、 汇编代码分析1）变量压栈

11 40008008 : 12 40008008: b480 push {r7} 13 4000800a: b085 sub sp, #20 14 4000800c: af00 add r7, sp, #0

这几行代码，为我们在栈顶预留了20字节的空间，r7指向分配的栈顶。

并且为变量：flag、b、a、sum分配了对应的栈空间，对应的栈地址如下：

分配过程参考下图：

2）if代码块

if分支代码，对应的汇编代码块，详见下图：

从上图可以得出，if代码块翻译成汇编代码的思路就是，

23行：先将变量从栈中读取到寄存器r3，24行：通过汇编指令cmp比较r3和立即数11，该指令会影响寄存器cpsr状态位25、30行：通过汇编指令b.n 根据cpsr的n状态位，决定执行那一段代码块26-27、31-32行：进入if分治后，从栈中取出a、b的值，分别到r2/r328、29行：flag大于11，r3=r2+r3，然后将和存入到栈中sum对应的位置32、33行：flag小于11，r3=r2-r3，然后将差存入到栈中sum对应的位置完整分析如下：

4、其他编译文件

gcd.s

.text .global _start _start: ldr sp,=0x70000000 /*get stack top pointer*/ b main

Makefile

TARGET=gcd TARGETC=main all: arm-linux-gnueabihf-gcc -lto -g -c -o $(TARGETC).o $(TARGETC).c arm-linux-gnueabihf-gcc -lto -g -c -o $(TARGET).o $(TARGET).s arm-linux-gnueabihf-gcc -lto -g -S -o $(TARGETC).s $(TARGETC).c arm-linux-gnueabihf-ld $(TARGETC).o $(TARGET).o -Tmap.lds -o $(TARGET).elf arm-linux-gnueabihf-objcopy -O binary -S $(TARGET).elf $(TARGET).bin arm-linux-gnueabihf-objdump -D $(TARGET).elf > $(TARGET).dis clean: rm -rf *.o *.elf *.dis *.bin

map.lds文件

OUTPUT_FORMAT("elf32-littlearm", "elf32-littlearm", "elf32-littlearm") /*OUTPUT_FORMAT("elf32-arm", "elf32-arm", "elf32-arm")*/ OUTPUT_ARCH(arm) ENTRY(_start) SECTIONS { . = 0x40008000; . = ALIGN(4); .text : { gcd.o(.text) *(.text) } . = ALIGN(4); .rodata : { *(.rodata) } . = ALIGN(4); .data : { *(.data) } . = ALIGN(4); .bss : { *(.bss) } }