芯耀
779
汇编语言是最接近机器语言的一门语言，汇编指令是最微观，它与大型软件关系类似于细胞核器官的关系，
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 <main>:
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 <main+0x26>
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 <main+0x2e>
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 <main>:
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/r3
28、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) }
}
更多嵌入式知识，请加彭老师好友：yikoupen
