Question

我必须实现set_bit函数，它应该是一个原子操作。我在linux源代码中找到了汇编代码。（我使用sparc）并希望将其更改为可在C程序中使用的函数。

    static void set_bit(unsigned int nr, unsigned int *addr)
    {
    //  *vec |= 1<<bit;  <== original non-atomic C code
    //set_bit:      /* %o0=nr, %o1=addr */   <== nr is in %o0, addr in %o1 by sparc rule
__asm__ __volatile__ (
    "srlx   %o0, 6, %g1"
    "mov    1, %o2"
    "sllx   %g1, 3, %g3"
    "and    %o0, 63, %g2"
    "sllx   %o2, %g2, %o2"
    "add    %o1, %g3, %o1"
"1: ldx [%o1], %g7"
    "or %g7, %o2, %g1"
    "casx   [%o1], %g7, %g1"
    "cmp    %g7, %g1"
    "bne,pn %xcc, 2f"
     "nop"
    "retl"
    "nop"
    : "=m"(addr) // output
    : "m"(nr) // input
    : );

这是对的吗？我是否列出了最后一行的所有clobberd寄存器？

我在下面看到错误消息..

../../../../../rtems-4.10.99-src/c/src/libchip/sdmmc/ald-sd-card.c:135:1: error: invalid 'asm': invalid operand output code
 __asm__ __volatile__ (
 ^
../../../../../rtems-4.10.99-src/c/src/libchip/sdmmc/ald-sd-card.c:135:1: error: invalid 'asm': invalid operand output code
../../../../../rtems-4.10.99-src/c/src/libchip/sdmmc/ald-sd-card.c:135:1: error: invalid 'asm': operand number out of range

      ^

Answer 1

我认为你应该在字符串中每行只写一条指令（在每条指令的末尾添加\n\t）。

    static void set_bit(unsigned int nr, unsigned int *addr)
    {
    //  *vec |= 1<<bit;  <== original non-atomic C code
    //set_bit:      /* %o0=nr, %o1=addr */   <== nr is in %o0, addr in %o1 by sparc rule
__asm__ __volatile__ (
    "srlx   %o0, 6, %g1\n\t"
    "mov    1, %o2\n\t"
    "sllx   %g1, 3, %g3\n\t"
    "and    %o0, 63, %g2\n\t"
    "sllx   %o2, %g2, %o2\n\t"
    "add    %o1, %g3, %o1\n\t"
"1: ldx [%o1], %g7\n\t"
    "or %g7, %o2, %g1\n\t"
    "casx   [%o1], %g7, %g1\n\t"
    "cmp    %g7, %g1\n\t"
    "bne,pn %xcc, 2f\n\t"
     "nop\n\t"
    "retl\n\t"
    "nop\n\t"
    : "=m"(addr) // output
    : "m"(nr) // input
    : );
    }

Answer 2

您似乎正在使用GCC。

正如@MikeCAT所说，指令必须分开。

您需要将寄存器名称中的所有%加倍。 %%在输出程序集中变为%。

nr在％o0中，通过sparc规则
在％o1中添加

没有这样的规则，您可能会想到函数调用ABI，它不适用于内联汇编。 GCC希望将addr写入内存位置%0，nr位于内存位置%1，如您所知：

: "=m"(addr) // output
: "m"(nr) // input

但addr不是输出。 *addr是输入/输出或addr是输入，"memory"必须在clobber列表中。寄存器对于nr来说是个更好的地方：

: "+m"(*addr) // input and output
: "r"(nr) // input

当你跳转到一个未定义的位置时，你不应该把retl放在那里，控制流应该到达终点。

您必须将所有已更改的寄存器列为输出或clobbers。

如果这应该是一个内存屏障"memory"必须在clobber列表中。

我推荐你GCC Manual。

编辑：错过指针取消引用。

使用汇编语言为C程序编写函数

2 个答案: