GCC asm内联约束，冲突的寄存器分配

Question

我编写了一些arm内联汇编代码。
查看信号灯。s，我看到gcc正在为两个变量使用寄存器r3:"成功"one_answers"更改"。我想知道我的约束是否有问题?
最相关的代码行:

asm内联:

"1: MVN %[success], #0 @ success=TRUE=~FALSEnt"
"LDREX   %[value], %[signal] @ try to get exclusive accessnt"
"ADDS    %[newValue], %[value], %[change]   @ new value = value + changent"

约束条件包括:

: [signal] "+m" (signal), [success] "=r" (success), [locked] "=r" (locked), [newValue] "=r" (newValue), [value] "=r" (value)
: [borderValue] "r" (borderValue),  [change] "r" (change)
: "cc"

符号文件:

1: MVN  r3, #0 @ success=TRUE=~FALSE
LDREX   r0, [r7, #12] @ try to get exclusive access
ADDS    r1, r0, r3  @ new value = value + change

下面是更多的源代码和生成的符号。

BOOLEAN Semaphore_exclusiveChange (INT32U * signal, INT32S change, INT32U borderValue)
{
BOOLEAN success;
INT32U locked;// exclusive status
INT32U newValue;
INT32U value;
asm (
"1: MVN %[success], #0 @ success=TRUE=~FALSEnt"
"LDREX   %[value], %[signal] @ new to get exclusive accessnt"
"ADDS    %[newValue], %[value], %[change]   @ new value = value + changent"
"ITE MI @ if (new value<0) nt"
" SUBSMI %[newValue], %[newValue] @ (new value<0): new value=0, set zero flag nt"
"@ elsent"
" CMPPL %[newValue], %[borderValue]  @ (new value>=0): if new value > border value nt"
"nt@ zero flag is either: new value=0 or =bordervaluent"
"ITE HI @ if new signal level > border value nt"  //
" MOVHI     %[success], #0 @ fail to raise signal, success=FALSE nt"
"t@ elsent"
" MOVLS     %[value], %[newValue] @ use new value nt" // ok
"STREX  %[locked], %[value], %[signal] @ new exclusive store of valuent"
"TST %[locked],%[locked] @ is locked? nt"
"IT NE @ if locked nt"
"BNE 1b @ try againnt"
"DMB    @ memory barriernt"   //
: [signal] "+m" (signal), [success] "=r" (success), [locked] "=r" (locked), [newValue] "=r" (newValue), [value] "=r" (value)
: [borderValue] "r" (borderValue),  [change] "r" (change)
: "cc"  );
return success;
}

符号文件中的相关文本:

Semaphore_exclusiveChange:
.LFB2:
    .loc 1 10 0
    @ args = 0, pretend = 0, frame = 32
    @ frame_needed = 1, uses_anonymous_args = 0
    @ link register save eliminated.
    push    {r7}
.LCFI0:
    sub sp, sp, #36
.LCFI1:
    add r7, sp, #0
.LCFI2:
    str r0, [r7, #12]
    str r1, [r7, #8]
    str r2, [r7, #4]
    .loc 1 16 0
    ldr r2, [r7, #4]
    ldr r3, [r7, #8]
@ 16 "../drivers/Semaphore.c" 1
    1: MVN  r3, #0 @ success=TRUE=~FALSE
    LDREX   r0, [r7, #12] @ new to get exclusive access
    ADDS    r1, r0, r3  @ new value = value + change
    ITE MI @ if (new value<0) 
     SUBSMI r1, r1 @ (new value<0): new value=0, set zero flag 
    @ else
     CMPPL  r1, r2  @ (new value>=0): if new value > border value 
    @ zero flag is either: new value=0 or =bordervalue
    ITE HI @ if new signal level > border value 
     MOVHI      r3, #0 @ fail to raise signal, success=FALSE 
        @ else
     MOVLS     r0, r1 @ use new value 
    STREX   r2, r0, [r7, #12] @ new exclusive store of value
    TST r2,r2 @ is locked? 
    IT NE @ if locked 
    BNE 1b  @ try again
    DMB @ memory barrier
@ 0 "" 2
    .thumb
    strb    r3, [r7, #19]
    str r2, [r7, #20]
    str r1, [r7, #24]
    str r0, [r7, #28]
    .loc 1 38 0
    ldrb    r3, [r7, #19]   @ zero_extendqisi2
    .loc 1 39 0
    mov r0, r3
    add r7, r7, #36
    mov sp, r7
    pop {r7}
    bx  lr

Answer 1

你需要用'&':

进一步限制"success"

: [signal] "+m" (signal), [success] "=&r" (success), [locked] "=r" (locked), [newValue] "=r" (newValue), [value] "=r" (value)

标志着它是一个"早期的败类"。否则，编译器将假定所有的输出都是在所有的输入都被消耗之后产生的，并且可以自由地为不同的输出和输入使用相同的寄存器。如果你有一个"输入/输出"值，你需要使用"重复值"约束。