請(qǐng)教一個(gè)擴(kuò)展匯編的問(wèn)題

flw2

我在內(nèi)核代碼看匯編的時(shí)候，不明白'=&r'和'=r'是什么區(qū)別，看了n多資料都一樣的，就幾句話，還是沒(méi)看懂

帥絕人寰

Unless an output operand has the `&' constraint modifier, GCC may
allocate it in the same register as an unrelated input operand, on the
assumption the inputs are consumed before the outputs are produced.
This assumption may be false if the assembler code actually consists of
more than one instruction.  In such a case, use `&' for each output
operand that may not overlap an input.  *Note Modifiers::.


`&'
     Means (in a particular alternative) that this operand is an
     "earlyclobber" operand, which is modified before the instruction is
     finished using the input operands.  Therefore, this operand may
     not lie in a register that is used as an input operand or as part
     of any memory address.

     `&' applies only to the alternative in which it is written.  In
     constraints with multiple alternatives, sometimes one alternative
     requires `&' while others do not.  See, for example, the `movdf'
     insn of the 68000.

     An input operand can be tied to an earlyclobber operand if its only
     use as an input occurs before the early result is written.  Adding
     alternatives of this form often allows GCC to produce better code
     when only some of the inputs can be affected by the earlyclobber.
     See, for example, the `mulsi3' insn of the ARM.

     `&' does not obviate the need to write `='.

flw2

這個(gè)我看了，能解釋一下嗎？不明白用與不用的區(qū)別
我把一些代碼翻譯了一下，有沒(méi)有&都是一樣的，一個(gè)字的區(qū)別都沒(méi)有

albcamus

Unless an output operand has the `&' constraint modifier, GCC may
allocate it in the same register as an unrelated input operand, on the
assumption the inputs are consumed before the outputs are produced.
This assumption may be false if the assembler code actually consists of
more than one instruction.  In such a case, use `&' for each output
operand that may not overlap an input.
__________________

翻譯一下：

&只是用來(lái)約束輸出部的。  如果不指定&約束符， 則GCC有可能為一個(gè)輸入操作數(shù)和該輸出操作數(shù)使用同一個(gè)寄存器， 這是基于以下的假設(shè)： 在產(chǎn)生輸出之前(把輸出寫入到寄存器)， 作為輸入的寄存器內(nèi)容已經(jīng)不再需要了。   有時(shí)侯嵌入?yún)R編有很多條指令，這種假設(shè)可能是不對(duì)的， 有可能過(guò)早產(chǎn)生了輸出， 從而覆蓋了輸入。  加上&約束，就會(huì)告訴gcc使用另一個(gè)寄存器， 不要和輸入寄存器使用同一個(gè)。

flw2

有一丁點(diǎn)頭緒，如果我理解對(duì)了，那么就是說(shuō)'&'有時(shí)候是必須的,因?yàn)榉駝t輸入和輸出的順序在代碼中要保持先后。
如果寄存器不夠用，那么使用了'&'就表示在使用這個(gè)寄存器之前需要保存到某個(gè)內(nèi)存中.

albcamus

>> 如果寄存器不夠用，那么使用了'&'就表示在使用這個(gè)寄存器之前需要保存到某個(gè)內(nèi)存中.

(把原來(lái)的錯(cuò)誤理解刪除)

如果不加&符號(hào)， 舉例來(lái)說(shuō)， 如果寄存器不夠用，GCC很可能為 輸出操作數(shù)"=b"和輸入操作數(shù)"a"使用同一個(gè)寄存器， 因?yàn)樗�假設(shè)： 在產(chǎn)生輸出之前， 輸入操作數(shù)就已經(jīng)用完了，不需要了。

輸出約束改成"=&b"能改變這一默認(rèn)的優(yōu)化。 "=&b"表示，這是一個(gè)"earlyclobber"，可能會(huì)過(guò)早的損壞其他操作數(shù)，所以你為我單獨(dú)分配個(gè)寄存器吧。    info手冊(cè)說(shuō)， 加上&只可能讓gcc產(chǎn)生更優(yōu)代碼，沒(méi)有副作用。



這個(gè)問(wèn)題比較難在代碼中試驗(yàn)，不過(guò)理論應(yīng)該就是這樣的。

[ 本帖最后由 albcamus 于 2007-6-21 09:38 編輯 ]

albcamus

樓主弄明白這個(gè)問(wèn)題沒(méi)有？

flw2

今天翻精華，看見(jiàn)這個(gè)帖子，后來(lái)忘記這個(gè)帖子了
說(shuō)實(shí)話，其實(shí)我還是沒(méi)有完全理解，但是估計(jì)就是我現(xiàn)在理解的這個(gè)意思了

#include <stdio.h>
int main()
{
        unsigned short cs = 0;
        volatile unsigned short a,b,c,d,e,f;
        asm ("movw %%cs,%0\n\t"
                        :"=&r"(cs):"r"(a),"r"(b),"r"(c),"r"(d),"r"(e),"r"(f));
        printf("%x\n",cs);
}


這個(gè)代碼編譯出錯(cuò)，因?yàn)闆](méi)有通用寄存器可用
但是如果沒(méi)有&，則可以重用
        .file        "cs.c"
        .section        .rodata.str1.1,"aMS",@progbits,1
.LC0:
        .string        "%x\n"
        .text
        .p2align 4,,15
.globl main
        .type        main, @function
main:
        leal        4(%esp), %ecx
        andl        $-16, %esp
        pushl        -4(%ecx)
        pushl        %ebp
        movl        %esp, %ebp
        subl        $40, %esp
        movl        %ecx, -16(%ebp)
        movzwl        -18(%ebp), %edx/////
        movl        %ebx, -12(%ebp)
        movl        %esi, -8(%ebp)
        movl        %edi, -4(%ebp)
        movzwl        -20(%ebp), %edi
        movzwl        -22(%ebp), %esi
        movzwl        -24(%ebp), %ebx
        movzwl        -26(%ebp), %ecx
        movzwl        -28(%ebp), %eax
#APP
        movw %cs,%dx//dx是輸入
      ####如果這個(gè)后面還有代碼要使用a的值(dx),那么將不是a原始的值
       
#NO_APP
        movzwl        %dx, %edx
        movl        %edx, 4(%esp)
        movl        $.LC0, (%esp)
        call        printf
        movl        -16(%ebp), %ecx
        movl        -12(%ebp), %ebx
        movl        -8(%ebp), %esi
        movl        -4(%ebp), %edi
        movl        %ebp, %esp
        popl        %ebp
        leal        -4(%ecx), %esp
        ret
        .size        main, .-main
        .ident        "GCC: (GNU) 4.1.2 (Ubuntu 4.1.2-0ubuntu4)"
        .section        .note.GNU-stack,"",@progbits

albcamus

我見(jiàn)過(guò)最好的兩篇gcc inline asm文檔
第一篇是很多人都看過(guò)的GCC inline Assembly HOWTO：
http://www.ibiblio.org/gferg/ldp/GCC-Inline-Assembly-HOWTO.html

第二篇寫的更好，是1998年LKML上的郵件：
http://groups.google.com/group/m ... ad/ca8860dd41ddd42b

flw2

第一篇看過(guò)，在你的博客中看到過(guò)，有時(shí)間看看