如何知道嵌入式汇编寄存器哪个被使用了
经常看到嵌入式汇编直接使用寄存器， 并不保存原内容， 那万一原来内容是有用的怎么办？这里面有什么约定吗？
比如 int a(){
int b;
asm{
move %%eax, %%ebx;
}
}
诸如此类， 那万一ebx 原来内容有用， 岂不是被覆盖了？ 寄存器别名？ 使用汇编了，还需要考虑寄存器被其他地方占用吗？ 肯定存在这种情况 保守的方法 先压栈 完事后弹出来 原帖由 zylthinking 于 2009-7-31 15:43 发表 http://linux.chinaunix.net/bbs/images/common/back.gif
经常看到嵌入式汇编直接使用寄存器， 并不保存原内容， 那万一原来内容是有用的怎么办？
这里面有什么约定吗？
比如 int a(){
int b;
asm{
move %%eax, %%ebx;
}
}
诸如此类， ...
这是clobber list的用场。
to proj： 寄存器别名完全是另外一回事， CPU自己做，编辑器完全不知道的事情。 寄存器别名在SPARC里面的确是硬件做的，但是我记不清是在哪个编译器的文档里看到RA的时候也别名了，确定的是SSA的时候要别名。
我是想，汇编层面上是否可以... 是否... 算了，瞎想的。 根据ABI的约定，有些寄存器是要调用者保存的，而有些有特定的含义，所以在足够简单时偶尔会直接使用；但这样比较危险的。
个人感觉GCC的嵌入式汇编其实很难用的，原来我在项目中用一个东西折腾了很长时间。后来切换Diab编译器时同事找到我，只是简单对了一下手册很快就搞懂了，现在太久记不清楚了，但类似于传参数一下。
另外我现在用的一个平台上，是编译器支持所谓的“指令函数”，如调用一个加法指令的话直接用__insn_add(val1, val2)，直接用变量做参数，返回值一般是指令的目标寄存器，感觉还是蛮好用的。 GCC的内联汇编的确是... :mrgreen: 原帖由 Cyberman.Wu 于 2009-8-3 20:54 发表 http://linux.chinaunix.net/bbs/images/common/back.gif
根据ABI的约定，有些寄存器是要调用者保存的，而有些有特定的含义，所以在足够简单时偶尔会直接使用；但这样比较危险的。
个人感觉GCC的嵌入式汇编其实很难用的，原来我在项目中用一个东西折腾了很长时间。后 ...
diab在inline asm上，要么全抄gcc，要么是语法模仿。 我曾经写过一个相当复杂的gcc inline asm程序，diab编译、运行都没问题。 原帖由 albcamus 于 2009-8-3 22:02 发表 http://linux.chinaunix.net/bbs/images/common/back.gif
diab在inline asm上，要么全抄gcc，要么是语法模仿。 我曾经写过一个相当复杂的gcc inline asm程序，diab编译、运行都没问题。
你真的确信？哪个版本？Diab编译器是风河买来的，如果你见过它编译生成的指令、C++的对象模型实现等，你就会确信，它和GCC没有任何血源关系；它的优化效果比原来风河采用的GCC 2.96好许多。除非现在风河把它扩展的兼容GCC（这个方便别人移植程序，就好比我现在用的一款编译器，具体实现和GCC没关系，但是兼容了GCC的扩展语法和编译选项），但据我所知的是后来风河在编译开发上投入不多，不应该出现这么大的动静吧。
下面是Diab嵌入汇编的语法：
asm 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还是有区别的。
页:
[1]
2