為什么&#x27；t GCC能為兩個(gè)int32的結(jié)構(gòu)生成一個(gè)最優(yōu)運(yùn)算符==？

解答動(dòng)態(tài)

• 

  （a.y^b.y））==0；} GCC和clang在按值傳遞結(jié)構(gòu)時(shí)都有相同的遺漏優(yōu)化（因此a在RDI中，b在RSI中，因?yàn)閤86-64 systemv的調(diào)用約定就是這樣將結(jié)構(gòu)打包到寄存器的）：https://godbolt.org/z/v88a6s。memcpy/memcmp版本都編譯成cmp rdi，rsi/sete al，但是其他的操作是的32位操作。
  struct alignas（uint64\u t）Point在參數(shù)位于寄存器中的按值情況下仍然有幫助，優(yōu)化了GCC的兩個(gè)相同版本，但沒有優(yōu)化bithack XOR/OR。(https://godbolt.org/z/ofGa1f). 這能給我們一些關(guān)于GCC內(nèi)部的提示嗎？對(duì)齊對(duì)clang沒有幫助。
  
• 

  如果您“修復(fù)”了對(duì)齊，那么所有這些都會(huì)給出相同的a（使用gcc）：
  struct alignas（alignof（std:：int64
• 

  t））Point{std:：int32
• 

  t x，y；}； Demo
  
• 

  為什么編譯器不能生成[與memcpy版本相同的程序集]？
  編譯器“可以”在允許的意義上。
  編譯器根本沒有。為什么沒有超出我的知識(shí)范圍，因?yàn)檫@需要深入了解優(yōu)化程序是如何實(shí)現(xiàn)的。但是，答案可能從“沒有覆蓋這種轉(zhuǎn)換的邏輯”到“規(guī)則沒有調(diào)整為假設(shè)一個(gè)輸出比另一個(gè)快”。
  如果使用Clang而不是GCC，您會(huì)注意到它為Equal和Equal1生成相同的輸出，并且程序集沒有跳轉(zhuǎn)。除了使用兩條32位指令代替一條64位指令外，它與“優(yōu)化”版本相同。此外，如Jarod42的答案所示，點(diǎn)的對(duì)齊對(duì)優(yōu)化者沒有影響。
  MSVC的行為就像叮當(dāng)聲，因?yàn)樗�不受�?duì)齊的影響，但不同的是，它沒有擺脫跳躍。
  就其價(jià)值而言，編譯器（我檢查了GCC和Clang）產(chǎn)生了與C++ 20默認(rèn)比較基本相同的輸出，因?yàn)樗鼈兪窍嗟鹊�。不管出于什么原因，GCC選擇使用jne而不是je來進(jìn)行跳轉(zhuǎn)。
  這是一個(gè)缺少的編譯器優(yōu)化
  ，假設(shè)在目標(biāo)cpu上一個(gè)總是比另一個(gè)快，這是一個(gè)公平的結(jié)論。
  
• End