GNU C中的嵌入式汇编.doc

GNU C中的嵌入式汇编 2011-06-21 00:10:55 分类： C/C++ 平时在读写代码过程中屡屡会遇到gcc编译环境下的嵌入式汇编问题，觉得有必要总结一下。基于gcc编译器中汇编嵌入C语言的规则以及一些个人体会，现做一下总结，以备以后查阅。在接下来的总结中，我会根据：1）局部变量的类型(堆栈，寄存器)；2）嵌入式汇编语言中C变量分配寄存器的方法(手工指定、gcc编译器自动指定)这两种情况的不同组合，并结合elf文件的反汇编内容对比C程序来展开讨论。约定：下文中凡是提到局部变量之处，指的是变量a和b，凡是提到C变量之处，指的是嵌入式汇编中的C语言变量。情况1：局部变量位于堆栈中，编译器自动绑定C变量到对应的寄存器所用到的C代码如程序列表1-1所示：表1-1 情况1下的C语言代码(main.c) 1 #include stdio.h 2 3 int main(void) 4 { 5 //register int a __asm(eax); 6 //register int b __asm(ebx); 7 int a=1; 8 int b=2; 9 printf(a=%d b=%d\n, a, b); 10 11 __asm volatile(nop); 12 __asm volatile 13 (add %1,%0\n\t 14 :+r(a) 15 :r(b) 16 ); 17 __asm volatile(nop); 18 19 printf(a=%d b=%d\n, a, b); 20 return 0; 21 22 } 23 第11行与17行代码中嵌入式了两个nop指令，其主要目的在于快速定位反汇编代码中对应C代码嵌入式汇编部分，方便对比分析，除此之外，别无他途。局部变量a和b位于堆栈中，在嵌入式汇编部分也没有明确为a和b绑定具体的寄存器。将程序列表1-1中的代码编译(gcc -o main main.c)，然后运行得到以下结果： bill@ubuntu:~/test/asm$ ./main a=1 b=2 a=3 b=2 然后再将可执行程序main反汇编(objdump -S main main.S)，得到如程序列表1-2所示的代码：表1-2 情况1下main的反汇编代码(main.S) main: 127 80483c4: push %ebp 128 80483c5: mov %esp,%ebp 129 80483c7: and $0xfffffff0,%esp 130 80483ca: sub $0x20,%esp 131 80483cd: movl $0x1,0x1c(%esp) 132 80483d4: 133 80483d5: movl $0x2,0x18(%esp) 134 80483dc: 135 80483dd: mov $0x80484f0,%eax 136 80483e2: mov 0x18(%esp),%edx 137 80483e6: mov %edx,0x8(%esp) 138 80483ea: mov 0x1c(%esp),%edx 139 80483ee: mov %edx,0x4(%esp) 140 80483f2: mov %eax,(%esp) 141 80483f5: call 80482f4 printf@plt 142 80483fa: nop 143 80483fb: mov 0x18(%esp),%edx 144 80483ff: mov 0x1c(%esp),%eax 145 8048403: add %edx,%eax 146 8048405: mov %eax,0x1c(%esp) 147 8048409: nop 148 804840a: mov $0x80484f0,%eax 149 804840f: mov 0x18(%esp),%edx 150 8048413: mov %edx,0x8(%esp) 151 8048417: mov 0x1c(%esp),%edx 152 804841b: mov %edx,0x4(%esp) 153 804841f: mov %eax,(%esp) 154 8048422: call 80482f4 printf@plt 155 8048427: mov $0x0,%eax 156 804842c: leave 157 804842d: ret 通过程序列表1-2可以看出，在两个nop之间的代码块即为嵌入式汇编部分。C变量a和b为堆栈变量，在131和133行分别被赋值，然后在嵌入式汇编部分，gcc编译器将a和b值分别赋给寄存器eax和edx，也就是所谓的load操作。然后进行加