AT&T 汇编 (AT&T ASM) 参考

 
AT&TASM
 
  开发一个 OS 尽管绝大部分代码只需要用 C/C++ 等高级语言就可以了但至少和硬件相关部分的代码需要使用汇编语言另外由于启动部分的代码有大小限制使用精练的汇 编可以缩小目标代码的尺寸另外对于某些需要被经常调用的代码使用汇编可以提高性
 
能。所以我们必须了解汇编语言,即使你有可能并不喜欢它。
 
如果你是计算机专业的话,在大学里你应该学习过 Inte l 格式的 8086/8038 6 汇编,这 里就不再讨论。如果我们选择的 O S 开发工具 GC C 以及 GA S 的话,就必须了解 AT& T 汇编语言语法,因为 GCC / GAS 只支持这种汇编语法。
 
本书不会去讨论 8086/8038 6 的汇编编程,这类的书籍很多,你可以参考它们。这里只 会讨论 AT& T 的汇编语法,以及 GC C 的内嵌汇编语法。
 
 
1. Syntax
 
 
 
Register Reference
 
 
 
     引用寄存器要在寄存器号前加百分号 % , “movl %eax, %ebx
 
     80386 有如下寄存器:
 
     8 32-bit 寄存  %eax %eb x %ecx %ed x %ed i %esi %eb p %esp
 
     8 16-bit 寄存器,它们事实上是上 8 32-bit 寄存器的 16 位: %ax %bx
 
%cx %d x %d i %s i %bp %sp
 
     8 8-bit 寄存 %ah %al %bh %b l %ch %cl %d h %d l 。它们事实上 是寄存器 %ax %b x %cx %d x 的高 8 位和低 8 位;
 
     6 个段寄存器: %cs(code ) %ds(data) %ss(stack),%es %f s %gs
 
     3 个控制寄存器: %cr 0 %cr 2 %cr 3
 
     6 debu g 寄存器: %db0 %db1 %db2 %db3 %db6 %db7
 
     2 个测试寄存器: %tr6 %tr7
 
     个浮点寄存器 %st(0 ) %st(1 ) %st(2 ) %st(3 ) %st(4 ) %st(5 ) %st(6 )
 
%st(7 )

 
 
Operato r Sequence
 
 
 
操作数排列是从源(左)到目的(右,如 “movl %eax ( 源) , %ebx ( 目的)
 
 
Immediately Operato r
 
 
 
使用立即数,要在数前面加符号 $ ,   “movl $0x04, %ebx”
 
或者:
 
 
para = 0x04
 
movl$para,%ebx
 
指令执行的结果是将立即数 04 h 装入寄存器 eb x
 
 
Symbol Constant
 
符号常数直接引用如 value:.long0x12a3f2de movlvalue,%ebx
 
指令执行的结果是将常数 0x12a3f2d e 装入寄存器 ebx
 
引用符号地址在符号前加符号 $ ,   “movl $value, % ebx 则是将符号 valu e 的地址装入 寄存器 eb x
 
 
Length of Operator
 
 
 
操作数的长度用加在指令后的符号表 b(byte  8-bit), w(word, 16-bits), l(long,
 
32-bits) ,如 “movb %al, %bl “movw %a x, %bx “movl %eax , %eb x
 
如果没有指定操作数长度的话编译器将按照目标操作数的长度来设置比如指令 “mov
 
%ax,%bx 由于目标操作数 bx 的长度为 wor d 那么编译器将把此指令等同于 “movw %ax,
 
%bx 。同样道理,指令 “mov $4, %ebx 等同于指令 “movl $4, %ebx “push %al 等同于
“pushb %al 。对于没有指定操作数长度,但编译器又无法猜测的指令,编译器将会报错,比如指令 “push $4

 
 
Sign and Zero Extension
 
 
绝大多数面向 80386 AT& T 汇编指令与 Inte l 格式的汇编指令都是相同的符号扩展 指令和零扩展指令则是仅有的不同格式指令。
 
符号扩展指令和零扩展指令需要指定源操作数长度和目的操作数长度即使在某些指令中这些操作数是隐含的。
 
AT& T 语法中,符号扩展和零扩展指令的格式,基本部分 "movs" "movz" (对应 Inte l 语法 movs x movzx 后面跟上源操作数长度和目的操作数长度 movsbl 意味着 movs fro m byte t o lon g movb w 意味着 mov s f ro m byt e t o wor d movswl 意味着 mov s   fro m wor d   t o lon g 。对 movz 指令也一样比如指令 “movsbl %al,
 
%edx 意味着将 a l 寄存器的内容进行符号扩展后放置到 ed x 寄存器中。
 
其它的 Inte l 格式的符号扩展指令还有:
 
     cb w--sign-extendbytein%altowordin%ax
 
     cwd e--sign-extendwordin%axtolongin%eax
 
     cw d--sign-extendwordin%axtolongin%dx:%ax
 
     cd q--sign-extenddwordin%eaxtoquadin%edx:%eax
 
对应的 AT& T 语法的指令为 cbtw cwt l cwt d clt d
 
 
Call and Jump
 
 
段内调用和跳转指令 "call " "ret " "jmp " 段间调用和跳转指令 "lcall " "lret "
 
"ljmp "
 
段间调用和跳转指令的格式为 “lcall/ljmp $SECTION, $OFFSET ,而段间返回指令则 为 “lre t $STACK-ADJUST
 
 
Prefi x
 
 
 
操作码前缀被用在下列的情况:
     字符串重复操作指令 (rep,repne )      指定被操作的段 (cs,ds,ss,es,fs,gs )       进行总线加锁 (lock )
 
     指定地址和操作的大小 (data16,addr16 )

AT& T 汇编语法中操作码前缀通常被单独放在一行后面不跟任何操作数例如, 对于重复 sca s 指令,其写法为:
 
repne
 
   scas
 
上述操作码前缀的意义和用法如下:
 
     指定被操作的段前缀 cs,ds,ss,e s,fs, g s 。在 AT& T   语法 中,只需要按 section:memory-operan 的格式就指定了相应的段前 缀。如: lcal l%cs:realmode_swtch
 
     操作数/地址大小前缀是 “data16 "addr16" 它们被用来在 32-bit 操作数/地址 代码中指定 16-bit 的操作数/地址。
 
     总线加锁前缀 “lock 它是为了在多处理器环境中保证在当前指令执行期间禁止 一切中断。这个前缀仅仅对 ADD, ADC, AND, BTC, BTR, BTS, CMPXCHG,DEC, INC, N EG,NOT,OR,SBB,SUB,XOR,XADD,XCHG 指令有效,如果将 Loc k 前 缀用在其它指令之前,将会引起异常。
 
     字符串重复操作前缀 "rep","repe","repne" 用来让字符串操作重复 “%ecx 次。
 
 
Memory Reference
 
 
 
Inte l 语法的间接内存引用的格式为:
 
section:[base+index*scale+displacement]
 
而在 AT& T 语法中对应的形式为:
 
 
section:displacement(base,index,scale)
 
其中 bas e index 是任意的 32-bitbase index 寄存器 scale 可以取 1 2 4 8 。 如果不指定 scale 则默认值为 1 sectio n 可以指定任意的段寄存器作为段前缀默认的段寄存器在不同的情况下不一样如果你在指令中指定了默认的段前缀则编译器在目标代 码中不会产生此段前缀代码。
 
 
下面是一些例子:
 
-4(%ebp) base=%eb p displacement=-4 sectio n 没有指定,由于 bas e %eb p ,所 以默认的 section=%ss index,scal e 没有指定 inde x 0
 
foo(,%eax,4 ) index=%eax scale=4 displacement=foo 其它域没有指定。这里默认 的 section=%d s
 
foo(,1 ) 这个表达式引用的是指 foo 指向的地址所存放的值。注意这个表达式中没有

 
bas e inde x ,并且只有一个逗号,这是一种异常语法,但却合法。
 
%gs:fo o :这个表达式引用的是放置于 %g s 段里变量 fo o 的值。
 
如果 cal l jum p 操作在操作数前指定前缀 “* 则表示是一个绝对地址调用 / 跳转也 就是说 jmp/cal l 指令指定的是一个绝对地址如果没有指定 "*" 则操作数是一个相对地址。
 
任何指令如果其操作数是一个内存操 作,则指令必须指定它的操作尺
 
(byte,word,lon g ,也就是说必须带有指令后 (b,w,l )
 
 
2. GCC Inline ASM
 
 
GC   支持 C/C+ + 代码中嵌入汇编代 码,这些汇编代码被称 GCC  Inline ASM— — GCC   内联汇编。这是一个非常有用的功能,有利于我们将一些 C/C++ 语法无法 表达的指令直接潜入 C/C++ 代码中另外也允许我们直接写 C/C++ 代码中使用汇编编写简 洁高效的代码。
 
 
2.1 EssentialInlineASM
 
 
 
GC C 中基本的内联汇编非常易懂,我们先来看两个简单的例子:
 
__ asm __("mov l%esp,%eax"); // 看起来很熟悉吧!
 
或者是
 
 
__asm__ ("
mov l$1,%eax   //SYS_exit xor%ebx,%ebx
 
in t $0x80
");
 
 
 
 
 
__asm__ (
 
"mov l$1,%eax/r/t"
"xo r%ebx,%ebx/r/t"
 
"in t$0x80"
 
);
 
 
 
基本内联汇编的格式是
 
 
__asm__ __volatile_ _ ("InstructionList");

 
 
1. __asm__
 
 
 
__asm__ GC C 关键 as m 的宏定义:
 
#define __asm_ _asm
 
__asm__ as m   用来声明一个内联汇编表达式,所以任何一个内联汇编表达式都是以 它开头的,是必不可少的。
 
 
 
2. Instruction List
 
 
 
Instruction Lis t 是汇编指令序列。它可以是空的,比如: __asm__ __volatile__("");  
__asm__(""); 都是完全合法的内联汇编表达式只不过这两条语句没有什么意义但并非所 有 Instruction Lis t 为空的内联汇编表达式都是没有意义比如 __asm__ ("":::"memory"); 就非常有意义,它向 GC C   声明: 我对内存作了改动 GC C   在编译的时候,会将此因素 考虑进去。
 
我们看一看下面这个例子:
 
 
$ cat example1.c
 
in t m ain(int__argc,char*__argv[])
 
{
 
in t * __p = ( int *)__argc ;
(*__p) = 9999 ;
 
 
//_ _ as m __("":::"memory");
 
 
if ((*__p) == 9999)
retur n 5 ;
 
 
retur n (*__p) ;
 
}
 
 
在这段代码中那条内联汇编是被注释掉的在这条内联汇编之前内存指针 __ p 所指 向的内存被赋值为 9999 ,随即在内联汇编之后,一条 i f 语句判断 __ p 所指向的内存与 9999 是否相等。很明显,它们是相等的。 GC C   在优化编译的时候能够很聪明的发现这一点。我 们使用下面的命令行对其进行编译:
 
$gcc-O-Sexample1.c
 
 
选项 -O 表示优化编译我们还可以指定优化等级比如 -O2 表示优化等级为 2 选项 -S
 
表示将 C/C++ 源文件编译为汇编文件,文件名和 C/C++ 文件一样,只不过扩展名由 . c  

 
. s
 
我们来查看一下被放在 example1.s 中的编译结果,我们这里仅仅列出了使用 gcc  2.96 redhat 7. 3 上编译后的相关函数部分汇编代为了保持清晰性无关的其它代码未被列 出。
$catexample1.s main:
push %ebp
 
mov l   %esp,%ebp
mov l   8(%ebp),%eax   #int*__p=(int*)__argc movl    $9999,(%eax)       # (*__p) = 9999
 
mov l   $5,%eax        #return5
pop l   %ebp ret
 
 
参照一下 C 源码和编译出的汇编代码,我们会发现汇编代码中,没有 i f 语句相关的代 码而是在赋值语句 (*__p)=999 9 后直接 return 5 这是因为 GC C 认为在 (*__p ) 被赋值之后, 在 i f 语句之前没有任何改 (*__p ) 内容的操作,所以那条 i f 语句的判断条件 (*__p) == 9999 肯定是为 tru e   所以 GC C 就不再生成相关代码而是直接根据 tru e 的条件生 return
 
5 的汇编代码( GC C 使 eax 作为保存返回值的寄存器)。
 
我们现在将 example1. c 中内联汇编的注释去掉,重新编译,然后看一下相关的编译结 果。
 
$gcc-O-Sexample1.c
$ cat example1.s main:
 
push %ebp
 
mov l   %esp,%ebp
mov l   8(%ebp),%eax   #int*__p=(int*)__argc movl $9999,(%eax) # (*__p) = 9999
 
#AP P
 
#_ _asm__("":::"memory")
 
#NO_APP
cmp l   $9999,(%eax)    #(*__p)==9999
 
jn e    .L3              #false
 
mov l   $5,%eax        #true,return5
 
jm p    .L2
 
.L3 :
mov l   (%eax),%eax
 
.L 2:
pop l   %ebp ret

 
由于内联汇编语句 __asm__("":::"memory" ) GC C   声明,在此内联汇编语句出现的位 置内存内容可能了改变,所以 GC C   在编译时就不能像刚才那样处理。这次, GC C   老老实 实的将 i f 语句生成了汇编代码。
 
可能有人会质疑为什么要使用 __asm__("":::"memory" ) GC C 声明内存发生了变化? 明明 “Instruction List 是空的,没有任何对内存的操作,这样做只会增 GC C 生成汇编代 码的数量。
 
确实那条内联汇编语句没有对内存作任何操作事实上它确实什么都没有做但影响 内存内容的不仅仅是你当前正在运行的程序比如如果你现在正在操作的内存是一块内存 映射映射的内容是外围 I/ O 设备寄存那么操作这块内存的就不仅仅是当前的程序 I/O 设备也会去操作这块内存既然两者都会去操作同一块内存那么任何一方在任何时候都不 能对这块内存的内容想当然。所以当你使用高级语言 C/C++ 写这类程序的时候,你必须让 编译器也能够明白这一点,毕竟高级语言最终要被编译为汇编代码。
 
你可能已经注意到了这次输出的汇编结果中有两个符号 #AP P #NO_AP P GC C
 
将内联汇编语句 "Instruction List" 所列出的指令放 #AP P   #NO_AP P   间,
__asm__("":::"memory" ) “Instruction List 为空所以 #AP P #NO_AP P 中间也没有任何 内容。但我们以后的例子会更加清楚的表现这一点。
 
关于为什么内联汇编 __asm__("":::"memory") 是一条声明内存改变的语句,我们后面会 详细讨论。
 
刚才我们花了大量的内容来讨论 "Instruction List " 为空是的情况,但在实际的编程中,
 
"Instruction List " 绝大多数情况下都不是空的。它可以有 1 条或任意多条汇编指令。
 
当在 "Instruction List " 中有多条指令的时候,你可以在一对引号中列出全部指令,也可 以将一条或几条指令放在一对引号中所有指令放在多对引号中如果是前者你可以将每 一条指令放在一行,如果要将多条指令放在一行,则必须用分号()或换行符( / n ,大多 数情况下 / n 后还要跟一个 / t 其中 / n 是为了换行 / t 是为了空出一个 ta b 宽度的空格)将 它们分开。下面的例子都是合法的写法。
 
__ asm __("movl %eax, %eb x sti
popl %ed i
 
subl %ecx, %ebx");
 
 
__ asm __("movl %eax, %ebx; st i popl%edi;subl%ecx,%ebx");
 
 
__ asm __("mo v l %eax, %ebx; st i /n/tpopl%edi subl%ecx,%ebx");

 
如果你将指令放在多对引号中则除了最后一对引号之外前面的所有引号里的最后一 条指令之后都要有一个分号 ( ) (/n) (/n/t) 。比如:
 
 
__ asm __("movl %eax, %eb x sti/n"
 
"popl %edi;"
 
"subl%ecx,%ebx");
 
 
__ asm __("movl %eax, %ebx; st i /n/t"
"popl %edi; subl %ecx, %ebx");
 
 
__ asm __("movl %eax, %ebx; st i/n/tpopl%edi/n"
 
"subl%ecx,%ebx");
 
 
__ asm __("movl %eax, %ebx; st i /n/tpopl%edi;"
 
"subl%ecx,%ebx");
 
 
 
上述原则可以归结为:
 
     任意两个指令间要么被分号 ( ) 分开,要么被放在两行;
 
     放在两行的方法既可以从通过 / n 的方法来实现,也可以真正的放在两行;
 
     可以使用 1 对或多对引号 1 对引号里可以放任一多条指令所有的指令都要被放到引号中。
 
在基本内联汇编中 “Instruction List 的书写的格式和你直接在汇编文件中写非内联汇 编没有什么不同,你可以在其中定义 Labe l ,定义对 (.align n ) ,定义段 (.section name ) 。 例如:
 
 
__ asm __(".align2/n/t"
 
"movl % eax,%ebx/n/t"
 
"test %ebx, %ec x/n/t"
 
"jne error /n/t"
"st i / n/t"
 
"error: popl %ed i /n/t"
 
"subl%ecx,%ebx");
 
 
上面例子的格式是 Linu x   内联代码常用的格式,非常整齐。也建议大家都使用这种格 式来写内联汇编代码。

 
 
3. __volatile__
 
 
 
__volatile_ _ GC C 关键 volatil e 的宏定义:
 
#define __volatile__volatile
 
__volatile_ _ volatil 是可选的,你可以用它也可以不用它。如果你用了它,则是向 GC C 声明 不要动我所写的 Instruction Lis t ,我需要原封不动的保留每一条指令 ,否则当 你使用了优化选项 (-O) 进行编译时, GC C   将会根据自己的判断决定是否将这个内联汇编表 达式中的指令优化掉。
 
那么 GC C   判断的原则是什么?我不知道(如果有哪位朋友清楚的话,请告诉我。我 试验了一下,发现一条内联汇编语句如果是基本内联汇编的话(即只有 “Instruction List , 没有 Input/Output/Clobber  的内联汇 我们后面将会讨论这一无论你是否使
 
__volatile_ _ 来修 饰, GCC  2.9  在优化编译 时,都会原封不动的保留内联汇编中
“Instruction List 。但或许我的试验的例子并不充分,所以这一点并不能够得到保证。 为了保险起见如果你不想让 GC C 的优化影响你的内联汇编代码你最好在前面都加上 __volatile_ _ 而不要依赖于编译器的原则,因为即使你非常了解当前编译器的优化原则,
 
你也无法保证这种原则将来不会发生变化。而 __volatile_ _ 的含义却是恒定的。
 
 
2.2 Inline ASM with C/C++ Expression
 
 
GC C   允许你通过 C/C++ 表达式指定内联汇编中 "Instrcuction  List" 中指令的输入和输 出,你甚至可以不关心到底使用哪个寄存器被使用,完全靠 GC C 来安排和指。这一点可以让程序员避免去考虑有限的寄存器的使用也可以提高目标代码的效率先来看几个例子:
 
 
__ asm __ (" " : : : "memory" ) ; // 前面提到的
 
 
__ asm __("mov%%eax,%%ebx"
: "=b"(rv)
 
: "a"(foo)
 
: "eax", "ebx");
 
 
__ asm __ __ volatil e __("lidt %0"
: "=m" (idt_descr));
 
 
__ asm __("subl %2,% 0 /n/t"
 
"sbbl %3,%1"
 
: "=a" (endlow), "=d" (endhigh )
: "g" (startlow), "g" (starthigh),
 
"0"(endlow),"1"(endhigh));

 
 
怎么样,有点印象了吧,是不是也有点晕?没关系,下面讨论完之后你就不会再晕了。
 
(当然,也有可能更晕 。讨论开始——
 
带有 C/C++ 表达式的内联汇编格式为:
 
 
__ asm _ __volatile__("InstructionList"
 
: Output
 
: Input
 
:Clobber/Modify);
 
 
从中我们可以看出它和基本内联汇编的不同之处在于它多了 3 个部分 (Inpu t Outpu t
 
Clobber/Modify ) 在括号中 4 个部分通过冒 (: ) 分开。
 
4 个部分都不是必须的,任何一个部分都可以为空,其规则为:
 
     如果 Clobber / Modif   为空,则其前面的冒 (: ) 必须省 。比如 __asm__("mo v
 
%%eax,  %%ebx" : "=b"(foo) : "a"(inp) : ) 就是非法的写 法;而 __asm__("mov
 
%%eax, %%ebx" : "=b"(foo) : "a"(inp) ) 则是正确的。
 
     如果 Instruction Lis t 为空 Inpu t Outpu t Clobber/Modif y 可以不为空也 可以为空。比如 __asm__ ( " " : : : "memory" ); __asm__(" " ::); 都是合法的写法。
 
     如果 Outpu t Inpu t Clobber/Modif y 都为空, Outpu t Inpu t 之前的冒号 (: ) 既 可以省略也可以不省略如果都省略则此汇编退化为一个基本内联汇编否则, 仍然是一个带有 C/C++ 表达式的内联汇编此时 "Instruction List " 中的寄存器写法 要遵守相关规定,比如寄存器前必须使用两个百分 (%% ) ,而不是像基本汇编格 式一样在寄存器前只使用一个百分 (% ) __asm__(  " mov %%eax,
 
%%ebx" : :) __asm__("mov%%eax,%%ebx":) __asm__( " mov %eax, %ebx" )
 
都是正确的写法,而 __asm__( " mov %eax, %ebx" : :) __asm__( " mov %eax,
 
%ebx" :) __asm__( " mov %%eax, %%ebx" ) 都是错误的写法。
 
     如果 Inpu t Clobber/Modif y 为空 Outpu t 不为空 Inpu t 前的冒号 (: ) 既可以 省略,也可以不省略。比如 __asm__( " mov %%eax, %%ebx" : "=b"(foo)  : )
 
__asm__("mov%%eax,%%ebx":"=b"(foo)) 都是正确的。
 
     如果后面的部分不为空而前面的部分为空则前面的冒号 (: ) 都必须保留否则无 法说明不为空的部分究竟是第几部分。比如, Clobber/Modif y Outpu t   为空, 而 Inpu t 不为空 Clobber/Modif y 前的冒号必须省(前面的规则 Output 前的冒号必须为保留如果 Clobber/Modif y 不为空 Inpu t Outpu t 都为空, 则 Inpu t Out p u t 前的冒号都必须保留比如 __asm__( " mov %%eax, %%ebx" : :
 
"a"(foo )) __asm__( " mov %%eax, %%ebx" : ::"ebx")

从上面的规则可以看到另外一个事实,区分一个内联汇编是基本格式的还是带有 C/C++ 表达式格式的,其规则在于在 "Instruction List " 后是否有冒号 (:) 的存,如果没有则 是基本格式的,否则,则是带有 C/C++ 表达式格式的。
 
两种格式对寄存器语法的要求不同:基本格式要求寄存器前只能使用一个百分号 (% ) , 这一点和非内联汇编相同;而带有 C/C++ 表达式格式则要求寄存器前必须使用两个百分号
 
(%% ) ,其原因我们会在后面讨论。
 
 
1. Outpu t
 
 
 
Outpu t 用来指定当前内联汇编语句的输出。我们看一看这个例子:
 
__ asm __ ("movl %%cr0, %0": "=a" (cr0)) ;
 
这个内联汇编语句的输出部分为 "=r"(cr0) 它是一个 操作表达式 指定了一个输出操 作我们可以很清楚得看到这个输出操作由两部分组成括号里的部分 (cr0 ) 和引号引住的部 分 "=a" 。这两部分都是每一个输出操作必不可少的。括号里的部分是一个 C/C+ + 表达式, 用来保存内联汇编的一个输出值,其操作就等于 C/C++ 的相等赋值 cr0 = output_valu e , 因此,括号中的输出表达式只能是 C/C++ 的左值表达式,也就是说它只能是一个可以合法 的放在 C/C++ 赋值操作中等号 (= ) 左边的表达式。那么右值 output_valu e 从何而来呢?
 
答案是引号中的内容,被称作 操作约束 Operation Constrain t ),在这个例子中操 作约束为 "=a" 它包含两个约束等号 (= ) 和字母 a 其中等号 (= ) 说明括号中左值表达式 cr 0 是一个 Writ e-Only 的,只能够被作为当前内联汇编的输入,而不能作为输入。而字 a 是 寄存器 EAX / AX / A L 的简写说明 cr 0 的值要从 ea x 寄存器中获取也就是说 cr0 = eax , 最终这一点被转化成汇编指令就是 movl %eax, address_of_cr0 。现在你应该清楚了吧,操 作约束中会给出:到底从哪个寄存器传递值给 cr 0
 
另外需要特别说明的是很多文档都声明所有输出操作的操作约束必须包含一个等号 (= ) ,但 GC C 的文档中却很清楚的声明,并非如此。因为等号 (= ) 约束说明当前的表达式 是一个 Writ e-Only 的,但另外还有一个符号 (+ ) 用来说明当前表达式是一个
Rea d-Write 的,如果一个操作约束中没有给出这两个符号中的任何一个,则说明当前表达式是 Rea d-Only 的。因为对于输出操作来说,肯定是必须是可写的,而等号 (= ) 和加号 (+) 都表示可写,只不过加号 (+ ) 同时也表示是可读的。所以对于一个输出操作来说,其操作约 束只需要有等号 (= ) 或加号 (+ ) 中的任意一个就可以了。
 
二者的区别是:等号 (= ) 表示当前操作表达式指定了一个纯粹的输出操作,而加号 (+ ) 则 表示当前操作表达式不仅仅只是一个输出操作还是一个输入操作。但无论是等号 (= ) 约束还 是加号 (+ ) 约束所约束的操作表达式都只能放在 Outpu t 域中,而不能被用在 Inpu t 域中。
 
另外有些文档声明尽管 GC C 文档中提供了加号 (+ ) 约束但在实际的编译中通不过;我不知道老版本会怎么样,我在 GCC 2.9 6 中对加 (+ ) 约束的使用非常正常。

 
我们通过一个例子看一下,在一个输出操作中使用等号 (= ) 约束和加号 (+ ) 约束的不同。
 
 
$ cat example2.c
 
 
in t main ( in t __argc,char*__argv[])
 
{
 
in t cr0 = 5 ;
__ asm __ __ volatil e __("movl%%cr0,%0"
 
:"=a" (cr0));
 
 
retur n 0 ;
 
}
 
 
$ gc c-Sexample2.c
 
 
$ cat example2.s main:
push %ebp
mov l   %esp, %ebp subl    $4,%esp
 
mov l   $5, -4(%ebp)     #cr0=5
 
#AP P
movl %cr0, %eax
 
#NO_APP
 
m ov l   %eax,%eax
mov l   %eax,-4(%ebp)   #cr0=%eax movl $0,%eax
leave ret
 
 
这个例子是使用等号 (= ) 约束的情况,变量 cr 0   被放在内存 -4(%ebp) 的位置,所以指令
 
mov %eax,-4(%ebp) 即表示将 %ea x 的内容输出到变量 cr 0 中。
 
下面是使用加号 (+ ) 约束的情况:
 
 
$ cat example3.c
 
in t main ( in t __argc,char*__argv[])
 
{
 
in t cr0 = 5 ;
 
__ asm __ __ volatile __("movl%%cr0,%0"
: "+a" (cr0)) ;
 
retur n 0 ;
 
}

 
 
$ gc c-Sexample3.c
$ cat example3.s main:
 
push %ebp
mov l   %esp,%ebp subl   $4,%esp
 
mov l   $5, -4(%ebp)        #cr0= 5
 
mov l    -4(%ebp),%eax      #input(%eax=cr0)
 
#AP P
mov l   %cr0,%eax
 
#NO_APP
 
mov l   %eax,-4(%ebp)      #output(cr0=%eax)
mov l   $0,%eax leave
ret
 
从编译的结果可以看出,当使用加号 (+ ) 约束的时候, cr 0 不仅作为输出,还作为输入, 所使用寄存器都是寄存器约束 ( 字母 a ,表示使用 eax 寄存器 ) 指定的。关于寄存器约束我们 后面讨论。
 
Outpu t 域中可以有多个输出操作表达式,多个操作表达式中间必须用逗号 (, ) 分开。 例如:
 
 
$ cat example3.c
_ _asm__(
 
"mov l   %%eax, %0/n/t"
 
"push l %%ebx/n/t"
 
"pop l    %1/n/t"
 
"mov l   %1,%2"
: "+a"(cr0), "=b"(cr1), "=c"(cr2));
 
 
 
2. Input
 
 
 
Inpu t 域的内容用来指定当前内联汇编语句的输入。我们看一看这个例子:
 
 
__ asm _ _ ("movl %0, %%db7 "::"a"(cpu->db7));
 
例中 Inpu t   域的内容为一个表达式 "a"[cpu ->db7) ,被称作 输入表达式 ,用来表示一 个对当前内联汇编的输入。
 
像输出表达式一样一个输入表达式也分为两部分带括号的部分 (cpu ->db7) 和带引号 的部分 "a" 。这两部分对于一个内联汇编输入表达式来说也是必不可少的。

 
括号中的表达式 cpu ->db7 是一个 C/C++ 语言的表达式,它不必是一个左值表达式, 也就是说它不仅可以是放在 C/C++ 赋值操作左边的表达式还可以是放在 C/C++ 赋值操作 右边的表达所以它可以是一个变量,一个数字,还可以是一个复杂的表达式( a+b/c* d 。比如上例可以改为:
 
__ asm __("movl %0, %%db7 ": : "a" (foo));
 
__ asm __("movl %0, %%db7 ": : "a" (0x1000));
__ asm __("movl %0, %%db7 "::"a"(va*vb/vc));
引号号中的部分是约束部和输出表达式约束不同的是,它不允许指定加 (+ ) 约束 和等号 (= ) 约束也就是说它只能是默认的 Rea d -Only 约束中必须指定一个寄存器约束, 例中的字母 a 表示当前输入变量 cpu ->db7 要通过寄存 eax 输入到当前内联汇编中。
 
我们看一个例子:
 
 
$ cat example4.c
 
in t main ( in t __argc,char*__argv[])
 
{
in t cr 0 =5;
 
__ asm __ __ volatil e __("movl%0,%%cr0"::"a"(cr0));
 
return 0 ;
 
}
 
$ gc c-Sexample4.c
$ cat example4.s main:
 
push %ebp
mov l   %esp,%ebp subl   $4,%esp
mov l   $5, -4(%ebp)          #cr0=5
 
mov l    -4(%ebp),%eax     #%eax=cr0
 
#AP P
 
mov l   %eax,%cr0
 
#NO_APP
mov l   $0,%eax leave
 
ret
 
我们从编译出的汇编代码可以看到 "Instruction List " GC C 按照我们的输入约 束 "a" ,将变量 cr 0 的内容装入了 eax 寄存器。
 
 
3.OperationConstraint
 
 
每一个 Inpu t Out p u t 表达式都必须指定自己的操作约 Operation  Constraint ,我 们这里来讨论在 80386 平台上所可能使用的操作约束。

16                                                                                                     Developing Your OwnUnix-LikeOS on IBM PC
 
 
 
3.1 Register Constraint
 
当你当前的输入或输入需要借助一个寄存器时你需要为其指定一个寄存器约束你可 以直接指定一个寄存器的名字,比如:
 
 
__ asm _ ___volatile__("movl%0,%%cr0"::"eax"(cr0));
 
也可以指定一个缩写,比如:
 
__ asm _ ___volatile__("movl%0,%%cr0"::"a"(cr0));
 
如果你指定一个缩写比如字母 a GC C 将会根据当前操作表达式中 C/C++ 表达式 的宽度决定使用 %ea x ,还是 %ax %al 。比如:
 
 
unsignedshort __shrt;
__ asm __ ("mov %0 %%bx" : : "a"(__shrt)) ;
 
 
由于变量 __shr t 16-bitshort 类型,则编译出来的汇编代码中,会让变量 __shr t 使用
 
%e x 寄存器。编译结果为:
 
 
Mov w   -2(%ebp),%ax #%ax=__shrt
#AP P
 
mov l   %ax,%bx
 
#NO_APP
 
 
无论是 Inpu t ,还是 Outpu t 操作表达式约束,都可以使用寄存器约束。
 
下表中列出了常用的寄存器约束的缩写。
 
 
约束        意义
 
r                    表示使用一个通用寄存器,由 GC C   %eax/%ax/%al, %ebx/%bx/%bl,
 
%ecx/%cx/%cl,%edx/%dx/%dl 中选取一 GC C 认为合适的。
 
g                   表示使用任意一个寄存器 GC C 在所有的可以使用的寄存器中选取一个
 
GC C 认为合适的。
 
q                   表示使用一个通用寄存器,和约束 r 的意义相同。
 
a                   表示使用 %eax/%ax/ %al
 
b                   表示使用 %ebx/%bx / %b l
 
c                    表示使用 %ecx/%cx/ %cl
 
d                   表示使用 %edx/%dx / %d l
 
D                  表示使用 %edi /%di
 
S                   表示使用 %esi/%si
 
f                    表示使用浮点寄存器
 
t                    表示使用第一个浮点寄存器
 
u                   表示使用第二个浮点寄存器

 
3.2 Memory Constraint
 
如果一个 Input/Outpu t   操作表达式的 C/C++ 表达式表现为一个内存地址,不想借助 于任何寄存器,则可以使用内存约束。比如:
 
 
__ asm _ _("lidt%0":"=m"(__idt_addr));
__ asm __ ("lidt %0" : :"m"(__idt_addr)) ;
 
 
我们看一下它们分别被放在一个 C 源文件中,然后被 GC C 编译后的结果:
 
 
$ cat example5.c
/ * 本例中,变量 _ _s h 被作为一个内存输入 * /
 
in t main ( in t __argc,char*__argv[])
 
{
 
cha r *__sh=(char*)&__argc;
 
 
__ asm __ __ volatil e __ (
 
"lidt %0"
 
:/*nooutput*/
 
:"m"(__sh)
 
);
 
 
retur n 0 ;
 
}
 
 
$ gc c-Sexample5.c
 
 
$ cat example5.s main:
 
push %ebp
mov l   %esp,%ebp subl   $4,%esp
 
lea l    8(%ebp),%eax
 
mov l   %eax,-4(%ebp) #sh=(char*)&__argc
 
#AP P
 
lid t      -4(%ebp)
#NO_APP
mov l   $0,%eax leave
 
ret

 
 
$ cat example6.c
/ * 本例中,变量 _ _s h 被作为一个内存输出 * /
in t main ( in t __argc,char*__argv[])
 
{
 
cha r *__sh=(char*)&__argc;
 
 
__ asm __ __volatile__ (
"lidt %0"
 
: "=m" (__sh)
 
);
 
 
retur n 0 ;
}
 
 
$ gc c-Sexample6.c
 
 
$ cat example6.s main:
 
push %ebp
mov l   %esp,%ebp subl $4,%esp
 
lea l   8(%ebp),%eax
mov l   %eax,-4(%ebp) # sh = (char*) &__argc
 
# AP P
 
lid t   -4(%ebp)
 
#NO_APP
mov l   $0,%eax leave
 
ret
 
首先,你会注意到,在这两个例子中,变量 s h 没有借助任何寄存器,而是直接参与了 指令 lid t 的操作。
 
其次通过仔细观察你会发现一个惊人的事实两个例子编译出来的汇编代码是一样 的虽然一个例子中变量 s h 作为输入而另一个例子中变量 s h 作为输出这是怎么回事?
 
原来,使用内存方式进行输入输出时,由于不借助寄存器, GC C 不会按照你的声 明对其作任何的输入输出处理 GC C 只会直接拿来究竟对这个 C/C++ 表达式而言是输 入还是输出,完全依赖与你写在 "Instruction List " 中的指令对其操作的指令。
 
由于上例中,对其操作的指令为 lid t lid t 指令的操作数是一个输入型的操作数,所以 事实上对变量 s h 的操作是一个输入操作,即使你把它放在 Outpu t   域也不会改变这一点。 所以,对此例而言,完全符合语意的写法应该是将 s h 放在 Inpu t 域,尽管放 Outpu t 域 也会有正确的执行结果。

 
所以对于内存约束类型的操作表达式而言放在 Inpu t 域还是放在 Outpu t 对编 译结果是没有任何影响的因为本来我们将一个操作表达式放在 Inpu t 域或放在 Outpu t 域 是希望 GC C 能为我们自动通过寄存器将表达式的值输入或输出。既然对于内存约束类型的 操作表达式来说, GC C   不会自动为它做任何事情,那么放在哪儿也就无所谓了。但从程序 员的角度而言,为了增强代码的可读性,最好能够把它放在符合实际情况的地方。
 
 
约束        意义
 
M                  表示使用系统所支持的任何一种内存方式,不需要借助寄存器。
 
3.3 ImmediatelyNumberConstraint
 
如果一个 Inpu t/Outpu t   操作表达式的 C/C++ 表达式是一个数字常数,不想借助于任 何寄存器,则可以使用立即数约束。
 
由于立即数在 C/C++ 中只能作为右值,所以对于使用立即数约束的表达式而言,只能 放在 Inpu t 域。比如:
 
 
__ asm __ __ volatil e __("movl%0,%%eax"::"i"(100));
 
立即数约束很简单,也很容易理解,我们在这里就不再赘述。
 
 
约束        意义
 
i                    表示输入表达式是一个立即数 ( 整数 ) ,不需要借助任何寄存器。
 
F                   表示输入表达式是一个立即数 ( 浮点数 ) ,不需要借助任何寄存器。
 
 
 
 
3.4 Generic Constraint
 
 
约束        输入 / 输出        意义
g                   I,O                         表示可以使用通用寄存器内存立即数等任何一种处理方式。
 
0-9                I                             表示和第 n 个操作表达式使用相同的寄存器 / 内存。
 
通用约束 g 是一个非常灵活的约当程序员认为一个 C/C++ 表达式在实际的操作中, 究竟使用寄存器方式还是使用内存方式或立即数方式并无所谓时或者程序员想实现一个灵活的模板,让 GC C 可以根据不同的 C/C++ 表达式生成不同的访问方式时,就可以使用 通用约束 g 。比如:
 
 
#define JUST_MOV(foo)    /
 
__ asm __("movl%0,%%eax"::"g"(foo))
 
 
JUST_MOV(100) JUST_MOV(var ) 则会让编译器产生不同的代码。

 
 
 
in t main ( in t __argc,char*__argv[])
 
{
 
JU ST_MOV(100);
 
retur n 0 ;
}
 
 
编译后生成的代码为:
 
 
main:
push %ebp
 
mov l   %esp,%ebp
 
#AP P
 
movl $100, %eax
 
#NO_APP
mov l   $0,%eax pop%ebp
 
ret
 
很明显这是立即数方式。而下一个例子:
 
 
in t main ( in t __argc,char*__argv[])
 
{
JUST_MOV(__argc);
 
retur n 0 ;
 
}
 
 
经编译后生成的代码为:
 
 
main:
 
push %ebp
 
mov l   %esp,%ebp
 
#AP P
mov l   8(%ebp),%eax
 
#NO_APP
mov l   $0,%eax popl   %ebp
 
ret
 
 
这个例子是使用内存方式。
 
一个带有 C/C++ 表达式的内联汇编,其操作表达式被按照被列出的顺序编号,第一个 是 0 ,第 2 1 ,依次类推, GC C 最多允许有 1 0 个操作表达式。比如:

 
 
__ asm __("popl%0/n/t"
 
"movl %1, %%es i/n/t"
 
"movl %2, %%ed i/n/t"
 
: "=a"(__out)
: "r" (__in1), "r" (__in2));
 
 
此例中 __ou t 所在 Outpu t 操作表达式被编号为 0 "r"(__in1) 被编号 1 "r"(__in2)
 
被编号为 2
 
再如:
 
 
__asm__("movl%%eax,%%ebx"::"a"(__in1),"b"(__in2));
 
此例中, "a"(__in1 ) 被编号为 0 "b"(__in2) 被编号为 1
 
如果某个 Inpu t 操作表达式使用数字 0 9 中的一个数(假设为 1 作为它的操作约 束则等于向 GC C 声明 我要使用和编号为 1 Outpu t 操作表达式相同的寄存(如果 Outpu t 操作表达式 1 使用的是寄存器或相同的内存地 Outpu t 操作表达式 1 使 用的是内存) 。上面的描述包含两个限定:数字 0 到数字 9 作为操作约束只能用在 Input 操作表达式中被指定的操作表达(比如某个 Inpu t 操作表达式使用数字 1 作为约束那 么被指定的就是编号为 1 的操作表达式)只能是 Outpu t 操作表达式。
 
由于 GC C 规定最多只能 10 Input/Outpu t 操作表达式所以事实上数字 9 作为操 作约束永远也用不到因为 Outpu t 操作表达式排在 Inpu t 操作表达式的前面那么如果有一个 Inpu t 操作表达式指定了数字 9 作为操作约束的话那么说明 Outpu t 操作表达式的数 量已经至少为 10 个了,那么再加上这个 Inpu t   操作表达式,则至少为 11 个了,以及超出 GC C 的限制。
 
5 Modifier Characters 修饰
 
等号 (= ) 和加号 (+ ) 用于对 Outpu t 操作表达式的修饰 Outpu t 操作表达式要么被等 号 (= ) 修饰,要么被加号 (+ ) 修饰,二者必居其一。使用等号 (= ) 说明此 Outpu t 操作表达式是 Writ e-Only 使用加号 (+ ) 说明 Outpu t 操作表达式是 Rea d-Write 它们必须被放在 约束字符串的第一个字母。比如 "a="(foo ) 是非法的,而 "+g"(foo ) 则是合法的。
 
当使用加号 (+ ) 的时候,此 Outpu t   表达式等价于使用等号 (= ) 约束加上一个 Inpu t   表达 式。比如
 
__asm__("movl%0,%%eax;addl%%eax,%0": "+b"(foo))
 
 
等价于
 
 
__asm__("movl%0,%%eax;addl%%eax,%0":"+b"(foo))
 
但如果使用后一种写法, "Instruction List " 中的别名也要相应的改动。关于别名,我们

 
后面会讨论。
 
像等号 (= ) 和加号 (+ ) 修饰符一样符号 (& ) 也只能用于 Outpu t 操作表达式的修饰当 使用它进行修饰时等于向 GC C 声明 "GC C 不得为任何 Inpu t 操作表达式分配与此 Output 操作表达式相同的寄存器 " 其原因是 & 修饰符意味着被其修饰的 Outpu t 操作表达式要在所 有的 Inpu t 操作表达式被输入前输出。我们看下面这个例子:
 
 
in t main ( in t __argc,char*__argv[])
 
{
 
in t __in1 = 8, __in2 = 4, __out = 3 ;
 
 
__ asm __("popl%0/n/t"
"movl %1, %%es i/n/t"
 
"movl %2, %%ed i/n/t"
 
: "=a"(__out)
 
: "r" (__in1), "r" (__in 2));
 
 
retur n 0 ;
 
}
 
此例 中, % 0   对应的就 Outpu   操作表达 式,它被指定的寄存器 %ea x Instruction Lis t 的第一条指令 popl % 0 编译后就成 popl %eax ,这时 %ea x 的内容已经 被修改,随后在 Instruction Lis t GC C 会通 movl %eax, address_of_ou t   这条指令将
%ea x 的内容放置到 Outpu t 变量 __ou t 对于本例中的两 Inpu t 操作表达式而言它们 的寄存器约束为 "r " ,即要求 GC C 为其指定合适的寄存器,然后在 Instruction  List 之前将
__in 1 __in 2 的内容放入被选出的寄存器中如果它们中的一个选择了已经被 __ou t   指定的 寄存 %ea x 假如 __in 1 G CC   Instruction  Lis  之前会插入指 movl address_of_in1,%eax 那么随后 popl %ea x 指令就修改 %ea x 的值此时 %ea x 中存放的 已经不是 Inpu t 变量 __in 1 的值了,那么随后的 movl %1, %%es i 指令,将不会按照我们的 本意 即将 __in 1 的值放入 %es i 而是将 __ou t 的值放入 %es i 中了。
 
下面就是本例的编译结果,很明显, GC C __in 2 选择了和 __ou t 相同的寄存 %ea x , 这与我们的初衷不符。
 
main:
 
push %ebp
mov l   %esp,%ebp subl   $12,%esp movl       $8, -4(%ebp) mov$4, -8(%ebp) movl       $3, -12(%ebp)
mov l    -4(%ebp),%edx      #__in1 使用寄存器 %ed x movl -8(%ebp),%eax        #__in2 使用寄存器 %ea x

 
 
#AP P
 
pop l   %eax
mov l   %edx,%esi movl %eax,%edi
 
#NO_APP
 
mov l   %eax,%eax
mov l   %eax,-12(%ebp)   #__out 使用寄存器 %eax mov $0,%eax
 
leave
 
为了避免这种情况,我们必须向 GC C 声明这一点,要求 GC C 为所有的 Inpu t 操作表 达式指定别的寄存器方法就是在 Outpu t 操作表达式 "=a"(__out) 的操作约束中加入 & 约束, 由于 GC C 规定等 (= ) 约束必须放在第一个,所以我们写作 "=&a"(__out)
 
下面是我们将 & 约束加入之后编译的结果:
 
main:
 
push %ebp
mov l   %esp,%ebp subl $12,%esp movl       $8,-4(%ebp) movl   $4,-8(%ebp) movl   $3,-12(%ebp)
mov l   -4(%ebp),%edx    #__in1 使用寄存器 %ed x movl   -8(%ebp),%eax
mov l   %eax,%ecx       #__in2 使用寄存器 %ecx
 
#AP P
 
pop l   %eax
mov l   %edx,%esi movl %ecx,%edi
#NO_APP
 
mov l   %eax,%eax
mov l   %eax,-12(%ebp)   #__out 使用寄存器 %ea x movl   $0,%eax
leave ret
 
 
 
OK !这下好了,完全与我们的意图吻合。
 
如果一个 Outpu t 操作表达式的寄存器约束被指定为某个寄存器只有当至少存在一个 Inpu t   操作表达式的寄存器约束为可选约束时可选约束的意思是可以从多个寄存器中选 取一个,或使用非寄存器方式,比如 "r " "g" 时,此 Outpu t 操作表达式使用 & 修饰才有意 义。如果你为所有的 Inpu t 操作表达式指定了固定的寄存器,或使用内存 / 立即数约束,则 此 Outpu t 操作表达式使用 & 修饰没有任何意义。比如:

 
 
__ asm __("popl%0/n/t"
 
"movl %1, %%es i/n/t"
 
"movl %2, %%ed i/n/t"
 
: "=&a " (__out )
: "m" (__in1), "c" (__in2));
 
 
此例中的 Outpu t 操作表达式完全没有必要使用 & 来修饰因为 __in 1 __in 2 都被指定 了固定的寄存器,或使用了内存方式, GC C 无从选择。
 
但如果你已经为某个 Outpu t 操作表达式指定了 & 修饰,并指定了某个固定的寄存器, 你就不能再为任何 Inp u t 操作表达式指定这个寄存器,否则会出现编译错误。比如:
 
 
__ asm __("popl%0/n/t"
 
"movl %1, %%es i/n/t"
"movl %2, %%ed i/n/t"
 
:"=&a"(__out)
 
: "a" (__in1), "c" (__in2));
 
 
本例中,由于 __ou t 已经指定了寄存器 %ea x ,同时使用了符号 & 修饰,则再为 __in 1 指 定寄存器 %ea x 就是非法的。
 
反过来,你也可以为 Outpu t   指定可选约束,比如 "r","g" 等,让 GC C 为其选择到底使 用哪个寄存器,还是使用内存方式, GC C 在选择的时候,会首先排除掉已经被 Inpu t 操作 表达式使用的所有寄存器,然后在剩下的寄存器中选择,或干脆使用内存方式。比如:
 
 
__ asm __("popl%0/n/t"
 
"movl %1, %%es i/n/t"
 
"movl %2, %%ed i/n/t"
 
:"=&r"(__out)
: "a" (__in1), "c "(__in2));
 
 
 
本例中,由于 __ou t 指定了约束 "r " ,即让 GC C 为其决定使用哪一格寄存器,而寄存器
 
%ea x %ecx 已经被 __in 1 __in 2 使用,那么 GC C 在为 __ou t 选择的时候,只会在 %eb x
 
%ed x 中选择。
 
3 个修饰符只能用在 Outpu t   操作表达式中,而百分号 [% ] 修饰符恰恰相反,只能用 在 Inpu t 操作表达式中,用于向 GC C 声明: 当前 Inpu t 操作表达式中的 C/C++ 表达式可 以和下一个 Inpu t 操作表达式中的 C/C++ 表达式互换 这个修饰符号一般用于符合交换律 运算,比如加 (+ ) ,乘 (* ) ,与 (& ) ,或 (| ) 等等。我们看一个例子:

 
 
in t main ( in t __argc,char*__argv[])
 
{
 
in t __in1 = 8, __in2 = 4, __out = 3 ;
 
 
__ asm __ ("addl %1, % 0 / n/t"
 
: "=r"(__out)
 
:"%r"(__in1),"0"(__in2));
 
 
retur n 0 ;
}
 
 
在此例中,由于指令是一个加法运算,相当于等式 __out = __in1 + __in2 ,而它与等式
__out = __in2 + __in 1 没有什么不。所以使用百分号修饰,让 GC C 知道 __in 1 __in 2 可 以互换,也就是说 GC C 可以自动将本例的内联汇编改变为:
 
 
__ asm __ ("addl %1, % 0 / n/t"
: "=r"(__out)
 
:"%r"(__in2),"0"(__in1));
 
 
 
下表总结了各种修饰符的意义:
 
 
修饰符      输入 / 输出       意义
 
=                   O                        表示此 Outpu t 操作表达式是 Write-Only 的。
 
+                   O                        表示此 Outpu t 操作表达式是 Rea d -Write 的。
 
&                  O                        表示此 Outpu t 操作表达式独占为其指定的寄存器。
%                  I                          表示此 Inpu t   操作表达式中的 C/C++ 表达式可以和下一 个 Inpu t 操作表达式中的 C/C++ 表达式互换。
 
 
4 .   占位符
 
 
 
什么叫占位符?我们看一看下面这个例子:
 
__ asm __("addl%1,%0/n/t"
 
: "=a"(__out)
 
: "m" (__in1), "a" (__in2));
 
这个例子中的 % 0 % 1 就是占位符每一个占位符对应一个 Input/Outpu t 操作表达式。 我们在之前已经提到 GC C 规定一个内联汇编语句最多可以有 1 0 Input/Outpu t 操作表 达式然后按照它们被列出的顺序依次赋予编号 0 9 对于占位符中的数字而言和这些 编号是对应的。
 
由于占位符前面使用一个百分 (% ) 为了区别占位符和寄存器, G C C   规定在带

 
C/C++ 表达式的内联汇编中 "Instruction List " 中直接写出的寄存器前必须使用两个百分号
 
(%% )
 
GC C 对其进行编译的时候,会将每一个占位符替换为对应的 Input/Outpu t   操作表达 式所指定的寄存器 / 内存地址 / 立即数。比如在上例中,占位符 % 0 对应 Outpu t 操作表达式
 
"=a"(__out) ,而 "=a"(__out) 指定的寄存器为 %ea x ,所以把占位符 % 0   替换为 %ea x ,占位符
 
% 1 对应 Inpu t   操作表达式 "m"(__in1 ) ,而 "m"(__in1) 被指定为内存操作,所以把占位符 % 1
 
替换为变量 __in 1 的内存地址。
 
也许有人认为,在上面这个例子中,完全可以不使用 % 0 ,而是直接写 %%ea x ,就像这 样:
 
__ asm __ ("addl %1, %%ea x /n/t"
 
: "=a"(__out)
 
: "m" (__in1), "a" (__in2));
 
和上面使用占位符 % 0   没有什么不同,那么使用占位符 % 0   就没有什么意义。确实,两 者生成的代码完全相同但这并不意味着这种情况下占位符没有意义因为如果不使用占位符,那么当有一天你想把变量 __ou t 的寄存器约束由 a 改为 b 时,那么你也必须将 add l 指 令中的 %%ea x 改为 %%ebx ,也就是说你需要同时修改两个地方,而如果你使用占位,你 只需要修改一次就够了。另外,如果你不使用占位符,将不利于代码的清晰性。在上例中,如果你使用占位符,那么你一眼就可以得知, add l   指令的第二个操作数内容最终会输出到 变量 __ou t 否则如果你不用占位符而是直接 add l 指令的 2 个操作数写为 %%eax , 那么你需要考虑一下才知道它最终需要输出到变量 __ou t 这是占位符最粗浅的意义毕 竟在这种情况下,你完全可以不用。
 
但对于这些情况来说,不用占位符就完全不行了:
 
首先我们看一看上例中的第 1 Inpu t 操作表达式 "m"(__in1) ,它 GC C 替换之后, 表现为 addl address_of_in1, % % eax __in 1 的地址是什么?编译时才知道。所以我们完全 无法直接在指令中去写出 __in 1 的地址,这时使用占位符,交给 GC C 在编译时进行替代, 就可以解决这个问题。所以这种情况下,我们必须使用占位符。
 
其次,如果上例中的 Outpu t   操作表达式 "=a"(__out) 改为 "=r"(__out) ,那么 __ou t   在究 竟使用那么寄存器只有到编译时才能通过 GC C 来决定既然在我们写代码的时候我们不 知道究竟哪个寄存器被选择我们也就不能直接在指令中写出寄存器的名称而只能通过占位符替代来解决。
 
 
 
5.Clobber/Modify
 
 
有时候你想通知 GC C 当前内联汇编语句可能会对某些寄存器或内存进行修改希望 GC C 在编译时能够将这一点考虑进去。那么你就可以在 Clobber/Modif y   域声明这些寄存 器或内存。

 
这种情况一般发生在一个寄存器出现在 "Instruction  List" ,但却不是由 Input/Output 操作表达式所指定的,也不是在一些 Input/Outpu t   操作表达式使用 "r","g" 约束时由 GC C 为其选择的,同时此寄存器被 "Instruction List " 中的指令修改,而这个寄存器只是供当前内 联汇编临时使用的情况。比如:
 
 
__ asm __ ("movl %0, %%ebx" : : "a"(__foo) : "bx");
 
寄存 %eb x   出现 "Instruction  Lis  " 并且 movl   指令修 但却未被任 Input/Outpu t 操作表达式指定所以你需要在 Clobber/Modif y 域指定 "bx" 以让 GC C 知 道这一点。
 
因为你在 Input/Outpu t 操作表达式所指定的寄存器,或当你为一些 Input/Outpu t 操 作表达式使用 "r","g" 约束 GC C 为你选择一个寄存器时 GC C 对这些寄存器是非常清楚 的 它知道这些寄存器是被修改的你根本不需要在 Clobber/Modify 域再声明它但 除此之外, GC C   对剩下的寄存器中哪些会被当前的内联汇编修改一无所知。所以如果你真 的在当前内联汇编指令中修改了它们那么就最好在 Clobber/Modify 中声明它 GCC 针对这些寄存器做相应的处理否则有可能会造成寄存器的不一致从而造成程序执行错误。
 
Clobber/Modif y 域中指定这些寄存器的方法很简单你只需要将寄存器的名字使用双引号 (" " ) 引起来。如果有多个寄存器需要声明,你需要在任意两个声明之间用逗号隔开。 比如:
 
__asm __("movl%0,%%ebx;popl%%ecx"
 
: /* no output * /
 
: "a"( _ _foo):"bx","cx");
 
这些串包括:
 
 
声明的串                   代表的寄存器
 
"al","ax","eax "                              %eax
 
"bl","bx","ebx"                             %ebx
 
"cl","cx","ecx "                               %ecx
 
"dl","dx","edx"                             %edx
 
"si","esi"                                      %esi
 
"di", "edi "                                    %edi
 
由上表可以看出,你只需要使用 "ax","bx","cx","dx","si","di" 就可以了,因为其它的都和 它们中的一个是等价的。
 
如果你在一个内联汇编语句的 Clobber/Modif y 域向 GC C 声明某个寄存器内容发生了 改变, GC C   在编译时,如果发现这个被声明的寄存器的内容在此内联汇编语句之后还要继 续使用那么 GC C 会首先将此寄存器的内容保存起来然后在此内联汇编语句的相关生成 代码之后,再将其内容恢复。我们来看两个例子,然后对比一下它们之间的区别。

 
这个例子中声明了寄存器 %eb x 内容发生了改变:
 
$ cat example7.c
 
in t main ( in t __argc,char*__argv[])
 
{
in t in=8;
 
__ asm __("addl%0,%%ebx"
 
:/*nooutput*/
 
: "a" (in) : "bx");
 
 
retur n 0 ;
 
}
 
$ gc c-O-Sexample7.c
$ cat example7.s main:
push %ebp
 
mov l   %esp,%ebp
push %ebx       #%ebx 内容被保存
 
mov l   $8,%eax
 
#AP P
add l   %eax,%ebx
 
#NO_APP
 
mov l   $0,%eax
mov l   (%esp),%ebx     #%ebx 内容被恢复
leave ret
 
下面这个例子的 C 源码与上一个例子除了没有声明 %eb x 寄存器发生了改变之外其它 都相同。
 
 
$ cat example8.c
 
in t main ( in t __argc,char*__argv[])
 
{
 
in t in=8;
 
 
__ asm __("addl%0,%%ebx"
 
:/*nooutput*/
 
: "a" (in) ) ;
 
 
retur n 0 ;
}

 
 
$ gcc-O-Sexample8.c
$ cat example8.s main:
 
push %ebp
mov l   %esp,%ebp movl   $8,%eax
 
#AP P
 
addl %eax, %ebx
 
#NO_APP
mov l   $0,%eax pop%ebp
 
ret
 
仔细对比一下 example7.s example8.s ,你就会明白在 Clobber/Modif y 域声明一个 寄存器的意义。
 
另外需要注意的是如果你在 Clobber/Modify 域声明了一个寄存那么这个寄存器 将不能再被用做当前内联汇编语句 Input/Outpu   操作表达式的寄存器约 束, Input/Outpu t   操作表达式的寄存器约束被指定为 "r " "g" GC C 也不会选择已经被声明在 Clobber/Modif y 中的寄存器。比如:
 
__ asm __("movl%0,%%ebx"
::"a"(__foo):"ax","bx");
 
 
此例中由于 Outpu t 操作表达式 "a"(__foo ) 的寄存器约束已经指定 %ea x 寄存器那 么再在 Clobber/Modif y 域中指定 "ax" 就是非法的。编译时, GC C 会给出编译错误。
 
除了寄存器的内容会 变,内存的内容也可以被修改。如果一个内联汇编语
"Instruction List " 中的指令对内存进行了修改,或者在此内联汇编出现的地方内存内容可能发生改变,而被改变的内存地址你没有在其 Outpu t   操作表达式使用 "m" 约束,这种情况下 你需要使用在 Clobber/Modif y 域使用字符串 "memory" GC C 声明: 在这里,内存发生 了,或可能发生了改变 。例如:
 
 
voi d * memset (void*__s,char__c,size_t__count)
{
 
__ asm __("cl d /n/t"
 
"re p / n/t"
 
"stosb"
 
:/*nooutput*/
:"a"(__c),"D"(__s),"c"(__count)
 
: "cx","di","memory");
 
retur n _ _s;
 
}

此例实现了标准函数库 memset ,其内联汇编中的 stos b 对内存进行了改动,而其被修 改的内存地址 s 被指定装入 %ed i 没有任 Outpu t 操作表达式使用了 "m" 约束,以指定内 存地址 s 处的内容发生了改变。所以在其 Clobber/Modif y 域使用 "memory" GC C 声明: 内存内容发生了变动。
 
如果一个内联汇编语句的 Clobber/Modif y 域存在 "memory" GC C 会保证在此内 联汇编之前如果某个内存的内容被装入了寄存器那么在这个内联汇编之后如果需要使 用这个内存处的内容就会直接到这个内存处重新读取而不是使用被存放在寄存器中的拷 贝。因为这个时候寄存器中的拷贝已经很可能和内存处的内容不一致了。
 
 
这只是使 "memor y" 时, GC C   会保证做到的一 点,但这并不是全部。因为使
"memory" 是向 GC C   声明内存发生了变化,而内存发生变化带来的影响并不止这一点。比 如我们在前面讲到的例子:
 
 
in t main ( in t __argc,char*__argv[])
 
{
 
in t * __p = (int*)__arg c;
 
(*__p) = 9999 ;
 
__ asm __("":::"memory");
if ((*__p) = = 9999)
 
retur n 5 ;
 
 
retur n (*__p) ;
 
}
 
 
本例中如果没有那条内联汇编语句那个 i f 语句的判断条件就完全是一句废话 GCC 在优化时会意识到这一点,而直接只生成 return  5 的汇编代码,而不会再生成 i f 语句的相 关代码而不会生成 return (*__p ) 的相关代码但你加上了这条内联汇编语句它除了声明 内存变化之外,什么都没有做。但 GC C 此时就不能简单的认为它不需要判断都知道 (*__p) 一定与 9999 相等它只有老老实实生成这 i f 语句的汇编代一起相关的两个 return 语 句相关代码。
 
当一个内联汇编指令中包含影响 eflag s 寄存器中的条件标(也就是那些 Jx x 等跳转指 令要参考的标志位比如进位标志 0 标志等那么需要 Clobber/Modify 域中使用 "cc" 来声明这一点。这些指令包括 adc,div popfl btr bt s 等等,另外,当包 cal l 指令时, 由于你不知道你所 cal l 的函数是否会修改条件标志,为了稳妥起见,最好也使用 "cc"
 
我很少在相关资料中看到有关 "cc" 的确切用法只有一份文档提到了它但还不是 i386 平台的,只是说 "cc" 是处理器平台相关的,并非所有的平台都支持它,但即使在不支持它的 平台上,使用它也不会造成编译错误。我做了一些实验,但发现使 "cc " 和不使用 "cc" 所生 成的代码没有任何不同 Linux 2. 4 的相关代码中用到了它如果谁知道在 i38 6 平台上 "cc" 的细节,请和我联系。

另外,还可以在 Clobber/Modif y 域指定数字 0 9 以声明 n Input/Outpu t 作表达式所使用的寄存器发生了变化,但正如我们在前面所的,如果你为某 Input/Outpu t   操作表达式指定了寄存器,或使用 "g","r " 等约束让 GC C   为其选择寄存器, GC C   已经知道哪个寄存器内容发生了变化,所以这么做没有什么意义;我也作了相关的试 验,没有发现使用它会对 GC C   生成的汇编代码有任何影响,至少在 i38 6   平台上是这样。 Linux  2.4 的所有 i38 6 平台相关内联汇编代码中都没有使用这一点,但 S39 0 平台相关代码 中有用到,但由于我对 S39 0 汇编没有任何概念,所以,也不知道这么做的意义何在。

你可能感兴趣的:(GNU/Linux平台,程序设计语言)