gcc 内联汇编用法介绍
来源:互联网 发布:手机淘宝如何切换账号 编辑:程序博客网 时间:2024/05/01 08:13
前言
大部分内容翻译提取自某国外HOW-TO文档,原地址:
http://www.ibiblio.org/gferg/ldp/GCC-Inline-Assembly-HOWTO.html
AT&T汇编语法
gcc内联汇编语法采用AT&T格式,主要不同有五个方面
1. 源操作数和目标操作数的位置与intel格式不同
2. 寄存器命名,AT&T在寄存器前加百分号(%)
3. 字面值前加美元符号($),且字面值16进制不用h作为结尾,而是使用前缀0x
4. 操作数大小由b(byte 8-bit),w(word 16-bit),l(long 32-bit)跟在操作符号后而非在寄存器等之前加xxx ptr来指定大小
5. 内存寻址采用 disp(base, index, scale)来对应intel的[base + index*scale + disp] (disp和scale常量前不加美元符号($))
简单的一些转换举例:
内联汇编基本语法
格式
基础版
asm("movl %ecx %eax");__asm__("movl %ecx %eax");
两种格式都可以,前后加双下划线主要是为了避免“asm”已经被使用。
提高版
asm ( 这里写指令 : 输出操作数 /* 可选 */ : 输入操作数 /* 可选 */ : 可能被破坏的寄存器列表 /* 可选 */ );__asm__ ( 这里写指令 : 输出操作数 /* 可选 */ : 输入操作数 /* 可选 */ : 可能被破坏的寄存器列表 /* 可选 */ );
注意,虽然输出操作数可选,但是没有输出操作数却有输入操作数的时候需要将分号写出来而不能省略。
解释
输出操作数和输入操作数为一个双引号里面的限制符然后是一个括号里面一个C表达式。限制符在后文会详细说到,主要是让编译器明确C表达式和汇编语句中的寄存器或内存等的关系。
可能被破坏的寄存器列表是由于在汇编语句中一些寄存器的值可能被改变,执行汇编语言后,可能还要继续执行C的语句,那么在gcc进行编译的时候就不能相信这些被改变了的寄存器的值,也就是不能默认它们没变,所以需要将其明确指出来,避免后面造成一些莫名其妙的错误。格式即为在双引号中指明寄存器名字,多个的话,用逗号隔开。
举例:
asm ("cld\n\t" "rep\n\t" "stosl" : /* 没有输出操作数 */ : "c" (count), "a" (fill_value), "D" (dest) : "%ecx", "%edi" );
这里的c、a、D即限制符,count/fill_value/dest为C的变量。
int a=10, b; asm ("movl %1, %%eax; movl %%eax, %0;" :"=r"(b) /* 输出 */ :"r"(a) /* 输入 */ :"%eax" /* 被改变了的寄存器 */ );
这里有几个点需要注意:
1. a为输入,b为输出,“r”和“=r”为限制符,b对应汇编语句中的%1,而a对应汇编语句中的%0.
2. “r”和“=r”为限定符,输出值应该有”=“作为一个限定符,表示该值为只可写的。
3. 寄存器前有两个百分号(%),这是为了方便区分寄存器和操作数(原文没有提及是否为必须)
4. 最后的eax为被改变了的寄存器的声明,这样的话gcc就不会用它来存其他的值了
汇编语言模板
简介
即稍作变化的汇编语言指令,但是如我们刚才看到的”提高版“内联汇编语法和”基础版“内联汇编语法的区别,基础版是直接使用内联汇编指令,而提高版却有如%1, %0以及%%eax等和一般汇编语句不一样的地方,这样的指令则为”汇编语句模板“(assembler template)。
语法
- 所有语句用双引号括起来或者每一句都用双引号括起来
- 每一句语句结尾依然为分隔符(分隔符即换行符’\n’或分号,换行符可能会紧跟一个’\t’)
- 和C表达式对应的操作数用%0,%1等等指明
操作数
简介
操作数在汇编语言中主要指指令中涉及到的操作数,而在内联汇编中即为C表达式。其语法即为前文所述,在输出或输入操作数的列表中由“限制符”(C表达式)的格式来给出。
语法
- “限定符”(C表达式)
- 多个操作数之间用逗号隔开
- 从输出开始,依次对应在汇编语言模板中所用到的占位符%0、%1等,输出操作数之后继续对应输入操作数
- 输出操作数需要在限定符中加上一个等号(=),而且必须为左值
示例
asm ("leal (%1,%1,4), %0" : "=r" (five_times_x) : "r" (x) );
快速将x乘5然后放在five_times_x中
asm ("leal (%0,%0,4), %0" : "=r" (five_times_x) : "0" (x) );
作用同上,但是这里使用同一寄存器,不过没有指明具体哪一个
asm ("leal (%%ecx,%%ecx,4), %%ecx" : "=c" (x) : "c" (x) );
作用同上,且指明使用ecx寄存器。
这三个示例中我们都没有指明被改变的寄存器,前两个是因为由gcc来指定谁被改变,所以我们不需要指明,而最后一个我们已经通过限定符告诉了gcc ecx将最后给x,所以也没有必要指明了。
被改变寄存器列表与volatile
简介
一些指令可能会改变一些寄存器,为了避免gcc再使用里面的值而认为其没有改变,所以我们需要将它们明确出来。另外,我们不需要将输入输出中的寄存器放在这个列表中,因为gcc知道在内联汇编中使用到了它们,而其他的就需要我们自己来指明了。
另外,如果我们的指令会改变条件代码寄存器,我们应该在列表中添加“cc”。如果我们的指令用一些不可预料的方式更改了内存,需要在列表中添加“memory”,如果我们所影响到的内存没有在输入和输出中被列出来,我们还需要使用volitle。
volatile的主要目的是避免gcc因为优化而更改这段代码,对其作修改和删除添加等操作,避免出现不可预料的错误。与asm同样,volatile也可以在前后加双下划线来避免已经被使用过了。
限制符(限定符)的介绍
通用限制符
- 寄存器操作数限制符 r
r代表通用寄存器,以下为对应表
2. 内存操作数限制符 m
与寄存器限制符不同的是,有一些操作数在内存中,对它们进行操作会直接在内存中发生变化,所以需要使用到内存操作数限制符。
3.匹配(位)限制符
有的时候一个变量可以同时是输入也是输出。
例如
asm ("incl %0" :"=a"(var):"0"(var));
这里,eax寄存器将同时作为输入和输出,0的意思是,和第0个输出变量有一样的限定符。
在:
. 输入和输出是同一个变量,输出写回到输入变量中的时候
. 分离输入和输出变量是乜有必要的时候
可以使用这样的方法。
4. 其他限制符
以下为x86系统所拥有的
限制符调整符
在使用限定符的时候,为了有更精确的控制,GCC还有一些限制符调整符,主要有:
1. “=” 等号 表示这个操作数对于这个指令是仅可写的,之前的值将被丢弃,被输出数据所代替
2. “&” 表示这个操作数是一个很早就会被修改的操作数,也就是说在用到输入操作数的指令之前就已经被修改过了。这样的话,这个操作数不会存在一个作为输入操作数的寄存器里也不会作为任何内存地址的一部分。一个输入操作数仅在这样的操作数仅仅在输入操作数用到之前被用到之后不在用的时候才可以和输入操作数发生关联。
- gcc 内联汇编用法介绍
- gcc内联汇编
- GCC内联汇编基础
- GCC内联汇编
- GCC内联汇编入门
- GCC内联汇编基础
- GCC内联汇编
- Gcc内联汇编1
- Gcc内联汇编2
- GCC内联汇编基础
- gcc内联汇编入门
- GCC 内联汇编
- GCC内联汇编基础
- gcc内联汇编
- GCC 内联汇编测试
- GCC内联汇编
- GCC 内联汇编
- GCC内联汇编
- ACDream 1067 Triangles
- Python内置的字符串处理函数
- HDU 5742 It's All In The Mind 水题
- angularJS绑定数据中对标签转义的处理
- PHP中 D()和M()方法的区别
- gcc 内联汇编用法介绍
- 对抽象类和接口的理解
- 交叉排序
- CAFFE layers
- 图片选择方法、装置、图片处理方法和装置
- poj 2752 Seek the Name, Seek the Fame(kmp)
- Java并发编程:线程池的使用
- 十二、空白页
- H5实现win10日历效果