手把手教你分析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 ab; }else{ sum a-b; } return 0; }2、编译代码最终编译城的程序gcd.bin就可以烧录到arm板子上运行为方便理解我们可以用arm-linux-gnueabihf-objdump去掉程序中符号信息生成程序gcd.disgcd.dis1 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 ... 433、 汇编代码分析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分配了对应的栈空间对应的栈地址如下分配过程参考下图2if代码块if分支代码对应的汇编代码块详见下图从上图可以得出if代码块翻译成汇编代码的思路就是23行先将变量从栈中读取到寄存器r324行通过汇编指令cmp比较r3和立即数11该指令会影响寄存器cpsr状态位25、30行通过汇编指令b.n 根据cpsr的n状态位决定执行那一段代码块26-27、31-32行进入if分治后从栈中取出a、b的值分别到r2/r328、29行flag大于11r3r2r3然后将和存入到栈中sum对应的位置32、33行flag小于11r3r2-r3然后将差存入到栈中sum对应的位置完整分析如下4、其他编译文件gcd.s.text .global _start _start: ldr sp,0x70000000 /*get stack top pointer*/ b mainMakefileTARGETgcd TARGETCmain 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 *.binmap.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) } }