关于这篇文档这篇文章是本人为方便各位业界同仁而翻译,方便大家开发底层代码使用,转载请注明出处,谢谢。要是你E文功底好,本人还是建议阅读E文版的。 对于基于ARM的RISC处理器,GNU C编译器提供了在C代码中内嵌汇编的功能。这种非常酷的特性提供了C代码没有的功能,比如手动优化软件关键部分的代码、使用相关的处理器指令。 这里设想了读者是熟练编写ARM汇编程序读者,因为该片文档不是ARM汇编手册。同样也不是C语言手册。 这篇文档假设使用的是GCC 4 的版本,但是对于早期的版本也有效。 GCC asm 声明让我们以一个简单的例子开始。就像C中的声明一样,下面的声明代码可能出现在你的代码中。 /* NOP 例子 */9 n! J3 X g+ B# h7 o
asm("mov r0,r0");+ M9 I' V, J- L0 Y5 \
$ h3 V. ]/ o- W6 ^- M |
该语句的作用是将r0移动到r0中。换句话讲他并不干任何事。典型的就是NOP指令,作用就是短时的延时。 请接着阅读和学习这篇文档,因为该声明并不像你想象的和其他的C语句一样。内嵌汇编使用汇编指令就像在纯汇编程序中使用的方法一样。可以在一个asm声明中写多个汇编指令。但是为了增加程序的可读性,最好将每一个汇编指令单独放一行。 asm( \$ h* B1 A m9 C
"mov r0, r0\n\t": h$ B$ o- p! h7 a
"mov r0, r0\n\t"7 C, k: E6 V3 f D) f* d
"mov r0, r0\n\t"
' K. y( ]! q$ F8 b& k"mov r0, r0"
3 B' \) ?, n" R! z1 E2 S);
2 u% a8 C2 j$ o4 B# d3 R
6 q4 }* R! n' K6 Q" X: C |
换行符和制表符的使用可以使得指令列表看起来变得美观。你第一次看起来可能有点怪异,但是当C编译器编译C语句的是候,它就是按照上面(换行和制表)生成汇编的。到目前为止,汇编指令和你写的纯汇编程序中的代码没什么区别。但是对比其它的C声明,asm的常量和寄存器的处理是不一样的。通用的内嵌汇编模版是这样的。 asm(code : output operand list : input operand list : clobber list); |
汇编和C语句这间的联系是通过上面asm声明中可选的output operand list和input operand list。Clobber list后面再讲。 下面是将C语言的一个整型变量传递给汇编,逻辑左移一位后在传递给C语言的另外一个整型变量。 /* Rotating bits example */; D6 Z }9 Z7 `( E/ ]2 Q
asm("mov %[result], %[value], ror #1" : [result] "=r" (y) : [value] "r" (x));6 t. T" Y9 ]4 g) Q
6 l0 W0 j* |! ?$ T$ J+ D
|
每一个asm语句被冒号(:)分成了四个部分。 l 汇编指令放在第一部分中的“”中间。 "mov %[result], %[value], ror #1" |
l 接下来是冒号后的可选择的output operand list,每一个条目是由一对[](方括号)和被他包括的符号名组成,它后面跟着限制性字符串,再后面是圆括号和它括着的C变量。这个例子中只有一个条目。 l 接着冒号后面是输入操作符列表,它的语法和输入操作列表一样 l 破坏符列表,在本例中没有使用 就像上面的NOP例子,asm声明的4个部分中,只要最尾部没有使用的部分都可以省略。但是有有一点要注意的是,上面的4个部分中只要后面的还要使用,前面的部分没有使用也不能省略,必须空但是保留冒号。下面的一个例子就是设置ARM Soc的CPSR寄存器,它有input但是没有output operand。 asm("msr cpsr,%[ps]" : : [ps]"r"(status)) |
即使汇编代码没有使用,代码部分也要保留空字符串。下面的例子使用了一个特别的破坏符,目的就是告诉编译器内存被修改过了。这里的破坏符在下面的优化部分在讲解。 为了增加代码的可读性,你可以使用换行,空格,还有C风格的注释。 asm("mov %[result], %[value], ror #1"
! O* I4 g' R1 n# k, i
; }) ?" k' h5 T! g3 s* S/ L# ^ : [result]"=r" (y) /* Rotation result. */
' i; M9 R/ Z- ] : [value]"r" (x) /* Rotated value. */- N/ j- x1 d4 a9 e H7 p V0 k
: /* No clobbers */7 h& G+ M# ~- P* J$ f
); |
在代码部分%后面跟着的是后面两个部分方括号中的符号,它指的是相同符号操作列表中的一个条目。 %[result]表示第二部分的C变量y,%[value]表示三部分的C变量x; 符号操作符的名字使用了独立的命名空间。这就意味着它使用的是其他的符号表。简单一点就是说你不必关心使用的符号名在C代码中已经使用了。在早期的C代码中,循环移位的例子必须要这么写: asm("mov %0, %1, ror #1" : "=r" (result) : "r" (value)) |
在汇编代码中操作数的引用使用的是%后面跟一个数字,%1代表第一个操作数,%2代码第二个操作数,往后的类推。这个方法目前最新的编译器还是支持的。但是它不便于维护代码。试想一下,你写了大量的汇编指令的代码,要是你想插入一个操作数,那么你就不得不从新修改操作数编号。 优化C代码有两种情况决定了你必须使用汇编。1st,C限制了你更加贴近底层操作硬件,比如,C中没有直接修改程序状态寄存器(PSR)的声明。2nd就是要写出更加优化的代码。毫无疑问GNU C代码优化器做的很好,但是他的结果和我们手工写的汇编代码相差很远。 这一部分有一点很重要,也是被别人忽视最多的就是:我们在C代码中通过内嵌汇编指令添加的汇编代码,也是要被C编译器的优化器处理的。让我们下面做个试验来看看吧。 下面是代码实例。 bigtree@just:~/embedded/basic-C$ arm-linux-gcc -c test.c bigtree@just:~/embedded/basic-C$ arm-linux-objdump -D test.o 编译器选择r3作为循环移位使用。它也完全可以选择为每一个C变量分配寄存器。Load或者store一个值并不显式的进行。下面是其它编译器的编译结果。 E420A0E1 mov r2, r4, ror #1 @ y, x |
编译器为每一个操作数选择一个相应的寄存器,将操作过的值cache到r4中,然后传递该值到r2中。这个过程你能理解不? 有的时候这个过程变得更加糟糕。有时候编译器甚至完全抛弃你嵌入的汇编代码。C编译器的这种行为,取决于代码优化器的策略和嵌入汇编所处的上下文。如果在内嵌汇编语句中不使用任何输出部分,那么C代码优化器很有可能将该内嵌语句完全删除。比如NOP例子,我们可以使用它作为延时操作,但是对于编译器认为这影响了程序的执行速速,认为它是没有任何意义的。 上面的解决方法还是有的。那就是使用volatile关键字。它的作用就是禁止优化器优化。将NOP例子修改过后如下: /* NOP example, revised */
4 y! i2 a1 w- \$ A3 Wasm volatile("mov r0, r0");
$ T& d3 J, G6 M) c0 e5 E/ y/ y, p) p! h( ~2 S
|
下面还有更多的烦恼等着我们。一个设计精细的优化器可能重新排列代码。看下面的代码: i++;7 a; @: h) |5 _" d( U
if (j == 1)7 `' B+ `* M7 t% E5 i4 _
x += 3;
. X& q& b' [8 Z) ?2 gi++; |
优化器肯定是要从新组织代码的,两个i++并没有对if的条件产生影响。更进一步的来讲,i的值增加2,仅仅使用一条ARM汇编指令。因而代码要重新组织如下: if (j == 1)$ |/ A) H$ k0 V0 t c
x += 3;8 \# ^" l( a6 c* |' q. \8 d; m/ H
i += 2; |
这样节省了一条ARM指令。结果是:这些操作并没有得到许可。 这些将对你的代码产生很到的影响,这将在下面介绍。下面的代码是c乘b,其中c和b中的一个或者两个可能会被中断处理程序修改。进入该代码前先禁止中断,执行完该代码后再开启中断。 asm volatile("mrs r12, cpsr\n\t"
6 Y: ]; J7 E3 A2 z "orr r12, r12, #0xC0\n\t"- ?/ `8 U- H7 m) a/ i
"msr cpsr_c, r12\n\t" ::: "r12", "cc");, m# W) v: i/ ]* J
c *= b; /* This may fail. */
) ^7 T! I, @7 a% X3 Nasm volatile("mrs r12, cpsr\n"3 ~/ k0 o! ~$ a3 ^9 }4 x
"bic r12, r12, #0xC0\n", t( S6 [' M/ g; b
"msr cpsr_c, r12" ::: "r12", "cc"); |
但是不幸的是针对上面的代码,优化器决定先执行乘法然后执行两个内嵌汇编,或相反。这样将会使得我们的代码变得毫无意义。 我们可以使用clobber list帮忙。上面例子中的clobber list如下: 上面的clobber list将会将向编译器传达如下信息,修改了r12和程序状态寄存器的标志位。Btw,直接指明使用的寄存器,将有可能阻止了最好的优化结果。通常你只要传递一个变量,然后让编译器自己选择适合的寄存器。另外寄存器名,cc(condition registor 状态寄存器标志位),memory都是在clobber list上有效的关键字。它用来向编译器指明,内嵌汇编指令改变了内存中的值。这将强迫编译器在执行汇编代码前存储所有缓存的值,然后在执行完汇编代码后重新加载该值。这将保留程序的执行顺序,因为在使用了带有memory clobber的asm声明后,所有变量的内容都是不可预测的。 asm volatile("mrs r12, cpsr\n\t"
/ F" H" o1 D8 g0 k C "orr r12, r12, #0xC0\n\t"
7 E4 d& R% e# k' I' G "msr cpsr_c, r12\n\t" :: : "r12", "cc", "memory");+ q) M& o3 ]( u# A6 d, `
c *= b; /* This is safe. */
5 _4 a, J& S7 X$ basm volatile("mrs r12, cpsr\n" b1 I* W! M4 ]8 b3 [. T
"bic r12, r12, #0xC0\n"
/ s8 O+ ~8 O2 \, k% m7 K "msr cpsr_c, r12" ::: "r12", "cc", "memory");
& ^! ~* M% T- C8 U: i" y% p6 Y
" P1 w9 `" }' h8 x4 s |
使所有的缓存的值都无效,只是局部最优(suboptimal)。你可以有选择性的添加dummy operand 来人工添加依赖。 asm volatile("mrs r12, cpsr\n\t"
+ A$ o) }' p. z. u "orr r12, r12, #0xC0\n\t"' ^; V1 [3 C+ b
"msr cpsr_c, r12\n\t" : "=X" (b) :: "r12", "cc");9 T+ N7 r' Z6 v" Y/ _1 @
c *= b; /* This is safe. */
2 S- F# k" g; Z$ [3 P& O' P6 ]asm volatile("mrs r12 |
上面的第一个asm试图修改变量先b,第二个asm试图修改c。这将保留三个语句的执行顺序,而不要使缓存的变量无效。 理解优化器对内嵌汇编的影响很重要。如果你读到这里还是云里雾里,最好是在看下个主题之前再把这段文章读几遍^_^。 Input and output operands前面我们学到,每一个input和output operand,由被方括号[]中的符号名,限制字符串,圆括号中的C表达式构成。 这些限制性字符串有哪些,为什么我们需要他们?你应该知道每一条汇编指令只接受特定类型的操作数。例如:跳转指令期望的跳转目标地址。不是所有的内存地址都是有效的。因为最后的opcode只接受24位偏移。但矛盾的是跳转指令和数据交换指令都希望寄存器中存储的是32位的目标地址。在所有的例子中,C传给operand的可能是函数指针。所以面对传给内嵌汇编的常量、指针、变量,编译器必须要知道怎样组织到汇编代码中。 对于ARM核的处理器,GCC 4 提供了一下的限制。 Constraint | Usage in ARM state | Usage in Thumb state | f | Floating point registers f0 .. f7 | Not available | h | Not available | Registers r8..r15 | G | Immediate floating point constant | Not available | H | Same a G, but negated | Not available | I | Immediate value in data processing instructions. ~1 V" S8 g+ D0 X
e.g. ORR R0, R0, #operand | Constant in the range 0 .. 255' N) X* @; v G; ~& X) D
e.g. SWI operand | J | Indexing constants -4095 .. 4095- s& H/ y: s L! c& M0 E
e.g. LDR R1, [PC, #operand] | Constant in the range -255 .. -17 W3 ?" f8 J) s2 y0 ?* K3 J/ s
e.g. SUB R0, R0, #operand | K | Same as I, but inverted | Same as I, but shifted | L | Same as I, but negated | Constant in the range -7 .. 7
. [8 z, K1 Q7 ^6 me.g. SUB R0, R1, #operand | l | Same as r | Registers r0..r7
& j7 B4 U* {. N" ae.g. PUSH operand | M | Constant in the range of 0 .. 32 or a power of 2
' a; |3 i3 i8 ?) o8 o; g! g0 Le.g. MOV R2, R1, ROR #operand | Constant that is a multiple of 4 in the range of 0 .. 1020. \) h% w" V& J. a: h3 F* b! ]" U
e.g. ADD R0, SP, #operand | m | Any valid memory address | N | Not available | Constant in the range of 0 .. 316 {: A6 w; o5 u& b; a3 h U+ z
e.g. LSL R0, R1, #operand | O | Not available | Constant that is a multiple of 4 in the range of -508 .. 508
, p2 {5 P, e# O9 ]* Z c) r' Ee.g. ADD SP, #operand | r | General register r0 .. r15
8 }" k. [9 o8 K6 T3 p1 y8 T3 l& O- Je.g. SUB operand1, operand2, operand3 | Not available | w | Vector floating point registers s0 .. s31 | Not available | X | Any operand |
限制字符可能要单个modifier指示。要是没有modifier指示的默认为read-only operand。 Modifier | Specifies | = | Write-only operand, usually used for all output operands | + | Read-write operand, must be listed as an output operand | & | A register that should be used for output only |
Output operands必须为write-only,相应C表达式的值必须是左值。Input operands必须为read-only。C编译器是没有能力做这个检查。 比较严格的规则是:不要试图向input operand写。但是如果你想要使用相同的operand作为input和output。限制性modifier(+)可以达到效果。例子如下: asm("mov %[value], %[value], ror #1" : [value] "+r" (y)) |
2 [) w2 `$ i# y4 \+ [和上面例子不一样的是,最后的结果存储在input variable中。 可能modifier + 不支持早期的编译器版本。庆幸的是这里提供了其他解决办法,该方法在最新的编译器中依然有效。对于input operators有可能使用单一的数字n在限制字符串中。使用数字n可以告诉编译器使用的第n个operand,operand都是以0开始计数。下面是例子: asm("mov %0, %0, ror #1" : "=r" (value) : "0" (value)) | # B* f$ ^5 \5 K& b* a+ g
限制性字符串“0”告诉编译器,使用和第一个output operand使用同样input register。 请注意,在相反的情况下不会自动实现。如果我没告诉编译器那样做,编译器也有可能为input和output选择相同的寄存器。第一个例子中就为input和output选择了r3。 在多数情况下这没有什么,但是如果在input使用前output已经被修改过了,这将是致命的。在input和output使用不同寄存器的情况下,你必须使用&modifier来限制output operand。下面是代码示例: asm volatile("ldr %0, [%1]" "\n\t"
4 o5 z1 M1 s# t6 R4 Y6 a5 x+ | "str %2, [%1, #4]" "\n\t"
5 B& L/ k! `1 O2 K; q( \" g+ h: k b : "=&r" (rdv)
2 u- c; w: I/ X) ]& R% q) p, w' @ : "r" (&table), "r" (wdv)& f' v5 w0 i) t* \, T# h0 ^
: "memory");; L1 ^ ~& _, e( ~ P5 L
6 L3 h8 _ ]" P' f( A+ j | : g( P$ N6 {8 d
在以张表中读取一个值然后在写到该表的另一个位置。 其他内嵌汇编作为预处理宏要是经常使用使用部分汇编,最好的方法是将它以宏的形式定义在头文件中。使用该头文件在严格的ANSI模式下会出现警告。为了避免该类问题,可以使用__asm__代替asm,__volatile__代替volatile。这可以等同于别名。下面就是个例程: #define BYTESWAP(val) \ . V+ F# D5 @2 ^) E& s- x
__asm__ __volatile__ ( \& L# F. w' w5 y/ q- t
"eor r3, %1, %1, ror #16\n\t" \7 h+ M2 l5 y9 v% p& M
"bic r3, r3, #0x00FF0000\n\t" \1 X- ]$ ]; n# c# b. O1 X0 i( |
"mov %0, %1, ror #8\n\t" \
6 O3 f- N0 _' y' {: T p# ` "eor %0, %0, r3, lsr #8" \
" G9 J/ W% }7 R; M! ~9 w : "=r" (val) \
% T( Q. Q5 W' O# M : "0"(val) \
2 K+ L( J! \. r: R# I : "r3", "cc" \
0 o) O! \* G- S2 o ); |
C 桩函数宏定义包含的是相同的代码。这在大型routine中是不可以接受的。这种情况下最好定义个桩函数。 unsigned long ByteSwap(unsigned long val)( \) E2 |- C& p+ a: m
{: F- G, H" ?; i) d) R
asm volatile (
# T/ A4 Y4 M2 E "eor r3, %1, %1, ror #16\n\t"
* O3 z, ~5 z+ o3 f+ w; \( f "bic r3, r3, #0x00FF0000\n\t"
9 h* }2 t. Z9 @: t# W2 x "mov %0, %1, ror #8\n\t"' ?- r2 ~+ f5 n% A. O; ~. ^
"eor %0, %0, r3, lsr #8"/ A* k5 `, `+ r5 ?) J: d
: "=r" (val)
8 K9 k* O- O( y' [. Q : "0"(val)
2 a0 P( y( l6 ~ : "r3"
- L: G) n$ O) A5 x);5 a- z# R$ j4 i3 x9 ]
return val;
% j o. o' |4 h% |) G. R* E} |
替换C变量的符号名默认的情况下,GCC使用同函数或者变量相同的符号名。你可以使用asm声明,为汇编代码指定一个不同的符号名 unsigned long value asm("clock") = 3686400 |
- ~1 J8 T' l& Q& ~) {+ L这个声明告诉编译器使用了符号名clock代替了具体的值。 替换C函数的符号名为了改变函数名,你需要一个原型声明,因为编译器不接受在函数定义中出现asm关键字。 extern long Calc(void) asm ("CALCULATE") |
4 e1 a) n% z5 k* m& Q% D调用函数calc()将会创建调用函数CALCULATE的汇编指令。 强制使用特定的寄存器局部变量可能存储在一个寄存器中。你可以利用内嵌汇编为该变量指定一个特定的寄存器。 void Count(void) {
0 y9 ~8 x3 X& d% z/ a* f e0 X3 tregister unsigned char counter asm("r3");4 ]+ Q1 R9 M0 |- n
" w% n7 W- P# Y# q% s8 ~. V... some code...% d) B+ I2 a) ?
asm volatile("eor r3, r3, r3");# W- J9 {& ?2 m# f2 m8 f$ ^' g2 `
... more code...
: v! O; s5 O7 K6 ]}4 {! z" B, v9 y" a1 G: h2 c
; X5 u: y, z. i8 ~ X1 {
| " \+ _: Q+ L* o3 M6 V) H; {
汇编指令“eor r3, r3, r3”,会将r3清零。Waring:该例子在到多数情况下是有问题的,因为这将和优化器相冲突。因为GCC不会预留其它寄存器。要是优化器认为该变量在以后一段时间没有使用,那么该寄存器将会被再次使用。但是编译器并没有能力去检查是否和编译器预先定义的寄存器有冲突。如果你用这种方式指定了太多的寄存器,编译器将会在代码生成的时候耗尽寄存器的。 临时使用寄存器如果你使用了寄存器,而你没有在input或output operand传递,那么你就必须向编译器指明这些。下面的例子中使用r3作为scratch 寄存器,通过在clobber list中写r3,来让编译器得知使用该寄存器。由于ands指令跟新了状态寄存器的标志位,使用cc在clobber list中指明。 asm volatile(3 }% |$ d6 `( c
"ands r3, %1, #3" "\n\t"- m& x" _7 h% J, g& [/ P' Z- ]
"eor %0, %0, r3" "\n\t"
0 X$ W0 T7 R: x* ^ "addne %0, #4"
* C. Q1 H- `6 D* J8 L: ^& o : "=r" (len)
9 R: B ]8 y1 w : "0" (len)
) }" ^7 N |1 W; z : "cc", "r3"% c) k- l' _2 V9 V0 H
);* T, X3 [* K) l" v
: ~' }, i, R {* {7 E+ M |
最好的方法是使用桩函数并且使用局部临时变量。 寄存器的用途比较好的方法是分析编译后的汇编列表,并且学习C 编译器生成的代码。下面的列表是编译器将ARM核寄存器的典型用途,知道这些将有助于理解代码。 Register | Alt. Name | Usage | r0 | a1 | First function argument
5 ]% W- o2 B. ]. ]* s9 PInteger function result( }6 i/ C$ Q" w( b5 Q# m! {
Scratch register | r1 | a2 | Second function argument
8 O4 J' ~5 A" u: t4 YScratch register | r2 | a3 | Third function argument
! d9 o$ [2 E7 D' V6 V: `Scratch register | r3 | a4 | Fourth function argument2 O8 X; S4 n; M2 e" o; r* z/ ?. `/ h
Scratch register | r4 | v1 | Register variable | r5 | v2 | Register variable | r6 | v3 | Register variable | r7 | v4 | Register variable | r8 | v5 | Register variable | r9 | v6
- @+ @7 c( b' R! jrfp | Register variable4 ^3 i9 `3 m1 T& M
Real frame pointer | r10 | sl | Stack limit | r11 | fp | Argument pointer | r12 | ip | Temporary workspace | r13 | sp | Stack pointer | r14 | lr | Link register
0 h/ @9 L& l( T! NWorkspace | r15 | pc | Program counter
g( A) k& `2 {! l; j8 n4 k+ a, Z. K- i- L6 P; Y2 Q
| ! }3 {& J, ?% k+ e1 w
|