LLVM上的內聯ASM中的「無效的符號重定義」

Question

我在Xcode（4.5.2）中有一個使用Debug配置生成良好的項目。但是，現在我已經切換到構建Release配置，我遇到了一個問題：我的一個內聯彙編函數出現錯誤Invalid symbol redefinition。用谷歌搜索那個錯誤信息發現我有幾個人得到了編譯器錯誤，但沒有關於它的含義的信息。這裏的功能，帶註釋的錯誤行：

inline int MulDivAdd(int nNumber, 
       int nNumerator, 
       int nDenominator, 
       int nToAdd) 
{ 
    int nRet; 

    __asm__ __volatile__ (
     "mov %4,  %%ecx \n" 
     "mov %1,  %%eax \n" 
     "mull %2    \n" 
     "cmp $0,  %%ecx \n" 
     "jl  __sub   \n" 
     "addl %%ecx, %%eax \n" 
     "adc $0,  %%edx \n" 
     "jmp __div   \n" 
    "__sub:      \n" // "Invalid symbol redefinition" 
     "neg %%ecx   \n" 
     "subl %%ecx, %%eax \n" 
     "sbb $0,  %%edx \n" 
    "__div:      \n" // "Invalid symbol redefinition" 
     "divl %3    \n" 
     "mov %%eax, %0  \n" 

     : "=m" (nRet) 
     : "m"  (nNumber), 
      "m"  (nNumerator), 
      "m"  (nDenominator), 
      "m"  (nToAdd) 
     : "eax", "ecx", "edx" 

    ); 

    return nRet; 
} 

我試着__sbt更換__sub，因爲我認爲__sub可能是一個受保護的名字，但事實並非如此。我不明白爲什麼這隻發生在發佈雖然 - 可能是由於優化？

Answer 1

使用局部標籤，如1:和2:和jxx 1f或jxx 1b。跳轉的方向（f轉發或b向後）是必需的。所以，你的代碼應該是這樣的：

由純數字

__asm__ __volatile__ (
    "mov %4,  %%ecx \n" 
    "mov %1,  %%eax \n" 
    "mull %2    \n" 
    "cmp $0,  %%ecx \n" 
    "jl  1f    \n" 
    "addl %%ecx, %%eax \n" 
    "adc $0,  %%edx \n" 
    "jmp 2f    \n" 
"1:       \n" 
    "neg %%ecx   \n" 
    "subl %%ecx, %%eax \n" 
    "sbb $0,  %%edx \n" 
"2:       \n" 
    "divl %3    \n" 
    "mov %%eax, %0  \n" 
) 

符號是「局部的功能」。由於「內聯」意味着代碼在物理上是重複的，因此您得到多個符號定義的原因是您的符號確實是以「全局」方式多次定義的。當然，如果你有一個調試版本，它通常意味着「不內聯」，所以內聯函數沒有內聯，符號只聲明一次，而且它「工作」。

[我對此的效率和編譯器本身的效率有些懷疑 - 我曾認爲至少考慮使用寄存器來處理一些輸入會使效率更高]。