Chinaunix

标题: 如何知道嵌入式汇编寄存器哪个被使用了 [打印本页]

作者: zylthinking 时间: 2009-07-31 15:43
标题: 如何知道嵌入式汇编寄存器哪个被使用了
经常看到嵌入式汇编直接使用寄存器，并不保存原内容，那万一原来内容是有用的怎么办？
这里面有什么约定吗？

比如 int a(){
int b;
asm{
move %%eax, %%ebx;
}
}

诸如此类，那万一 ebx 原来内容有用，岂不是被覆盖了？

作者: prolj 时间: 2009-07-31 21:36
寄存器别名？

作者: mik 时间: 2009-07-31 21:42
使用汇编了，还需要考虑寄存器被其他地方占用吗？

作者: dotpy 时间: 2009-07-31 21:57
肯定存在这种情况保守的方法先压栈完事后弹出来

作者: albcamus 时间: 2009-08-03 15:06

原帖由 zylthinking 于 2009-7-31 15:43 发表
经常看到嵌入式汇编直接使用寄存器，并不保存原内容，那万一原来内容是有用的怎么办？
这里面有什么约定吗？

比如 int a(){
int b;
asm{
move %%eax, %%ebx;
}
}

诸如此类， ...

这是clobber list的用场。

to proj：寄存器别名完全是另外一回事， CPU自己做，编辑器完全不知道的事情。

作者: prolj 时间: 2009-08-03 19:24
寄存器别名在SPARC里面的确是硬件做的，但是我记不清是在哪个编译器的文档里看到RA的时候也别名了，确定的是SSA的时候要别名。
我是想，汇编层面上是否可以... 是否... 算了，瞎想的。

作者: Cyberman.Wu 时间: 2009-08-03 20:54
根据ABI的约定，有些寄存器是要调用者保存的，而有些有特定的含义，所以在足够简单时偶尔会直接使用；但这样比较危险的。

个人感觉GCC的嵌入式汇编其实很难用的，原来我在项目中用一个东西折腾了很长时间。后来切换Diab编译器时同事找到我，只是简单对了一下手册很快就搞懂了，现在太久记不清楚了，但类似于传参数一下。
另外我现在用的一个平台上，是编译器支持所谓的“指令函数”，如调用一个加法指令的话直接用__insn_add(val1, val2)，直接用变量做参数，返回值一般是指令的目标寄存器，感觉还是蛮好用的。

作者: prolj 时间: 2009-08-03 20:59
GCC的内联汇编的确是...

作者: albcamus 时间: 2009-08-03 22:02

原帖由 Cyberman.Wu 于 2009-8-3 20:54 发表
根据ABI的约定，有些寄存器是要调用者保存的，而有些有特定的含义，所以在足够简单时偶尔会直接使用；但这样比较危险的。

个人感觉GCC的嵌入式汇编其实很难用的，原来我在项目中用一个东西折腾了很长时间。后 ...

diab在inline asm上，要么全抄gcc，要么是语法模仿。我曾经写过一个相当复杂的gcc inline asm程序，diab编译、运行都没问题。

作者: Cyberman.Wu 时间: 2009-08-04 10:36

原帖由 albcamus 于 2009-8-3 22:02 发表

diab在inline asm上，要么全抄gcc，要么是语法模仿。我曾经写过一个相当复杂的gcc inline asm程序，diab编译、运行都没问题。

你真的确信？哪个版本？Diab编译器是风河买来的，如果你见过它编译生成的指令、C++的对象模型实现等，你就会确信，它和GCC没有任何血源关系；它的优化效果比原来风河采用的GCC 2.96好许多。除非现在风河把它扩展的兼容GCC（这个方便别人移植程序，就好比我现在用的一款编译器，具体实现和GCC没关系，但是兼容了GCC的扩展语法和编译选项），但据我所知的是后来风河在编译开发上投入不多，不应该出现这么大的动静吧。

下面是Diab嵌入汇编的语法：

asm [volatile] [return-type] macro-name ( [ parameter-list ] )
{
% storage-mode-list (must start in column 1)
! register-list (`!' must be first non-whitespace)
asm-code
} (must start in column 1)

好像和GCC不同吧？下面是手册中的一段示例代码：

asm void semaphore_seize (volatile int *semaphore_p)
{
% reg semaphore_p; lab loop
! "r4", "r5"                   /* scratch registers used */

addi r4,r0,1          # token for semaphore
loop:                         # label replaced by compiler
lwarx r5,r0,semaphore_p # semaphore will be in register
cmpi cr0,0,r5,0       # semaphore free?
bne    loop             # branch if no
stwcx.  r4,r0,semaphore_p # store token in semaphore
bne    loop             # in case interrupted before stwcz.
}

#pragma section CONTROL far-absolute RW address=0xf0000
#pragma use_section CONTROL mem_semaphore
volatile int mem_semaphore;

void seize (volatile int *reg_semaphore_p)

{
semaphore_seize (reg_semaphore_p);
semaphore_seize (& mem_semaphore);
}

它比较方便的就是这种宏块机制，参数类似传参数的方式和C变量结合，个人感觉比GCC的方式要直观一些。

当然它也有asm string方式：

asm[ volatile] ("string"[ ! register-list]);

不过和GCC还是有区别的。

作者: 唯希0721 时间: 2009-08-05 14:48
标题: 回复 #9 albcamus 的帖子
百度看看

欢迎光临 Chinaunix (http://bbs.chinaunix.net/)