在GCC內聯匯編中使用數組元素作為輸出存儲約束時，為什么需要指定“內存”破壞者？

Question

我正在嘗試對音頻編解碼器進行一些asm級別（具有DSP擴展的MIPS）優化。 我需要進行一些DSP處理，然后才需要將結果存儲回陣列中。 這是我認為應該執行的代碼：

asm(
    eDSP_MFLO(8, 1) // move the accumulated result to $8
    "sw $8, %0\n"   // result => array
    : "=m"(s[i])
    :: "$8"
);

問題在於此代碼是否有效（取決於它的周圍代碼，我會在數組中發現垃圾），除非我在“ Clobber”列表中添加了“內存”：

asm(
    eDSP_MFLO(8, 1) // move the accumulated result to $8
    "sw $8, %0\n"   // result => array element s[i]
    : "=m"(s[i])
    :: "$8", "memory"
);

我很難理解為什么有必要。 如果我本人將asm塊中的偏移量計算為數組，這樣編譯器將不知道已更改了哪些內存地址，我將不會對此提出質疑，但是由於GCC本身是在執行這些步驟，所以為什么它需要額外的“內存” clo？

Answer 1

看一下在有和沒有"memory"約束的情況下為整個函數生成的匯編代碼（使用gcc -S ... ）。 看起來gcc在寄存器中有s[i]的副本，該副本是在asm()語句之前從內存中加載的，除非您添加，否則它不會意識到該寄存器包含asm()語句之后的過期信息。 "memory"約束。