编译器并不会插入什么特别的指令，只是做两件事情，一是不让指令重排跨越barrier之后的代码�
前裝arrier之前缓存在寄存器中的变量回写到内存。之所以barrier的定义中还要加入volatil
e是因为：gcc看到barrier既没有输入输出部，也没有clobber，那么就认为该条指令没有意义，就
会优化掉barrier，结果当然就不会做上面的两件事情。
来自gcc.4.0.0的源代码片段[gcc/stmt.c中的函数expand_asm_operands]：
/* If there are no outputs (but there are some clobbers)
store the bare ASM_OPERANDS into the PARALLEL. */
if (i == 0)
XVECEXP (body, 0, i++) = obody;
/* Store (clobber REG) for each clobbered register specified. */
for (tail = clobbers; tail; tail = TREE_CHAIN (tail))
{
const char *regname = TREE_STRING_POINTER (TREE_VALUE (tail));
int j = decode_reg_name (regname); // 如果regname是一个clobber操作数，那么返回-4
rtx clobbered_reg;
if (j < 0)
{
if (j == -3) /* `cc', which is not a register */
continue;
if (j == -4) /* `memory', don't cache memory across asm */
{
XVECEXP (body, 0, i++)
= gen_rtx_CLOBBER (VOIDmode,
gen_rtx_MEM
(BLKmode,
gen_rtx_SCRATCH (VOIDmode)));
continue;
}
/* Ignore unknown register, error already signaled. */
continue;
}
......
声明: 本页内容为中国Linux论坛的内容镜像，文章的版权以及其他所有的相关权利属于中国Linux论坛和相应文章的作者，如果转载，请注明文章来源及相关版权信息。
