मेरा मानना है कि मुझे ओ'नील के पीसीजी पीआरएनजी को लागू करते समय जीसीसी में एक बग मिला। ( गॉडबोल्ट के कंपाइलर एक्सप्लोरर पर प्रारंभिक कोड )
गुणा करने के बाद oldstateसे MULTIPLIER, (आरडीआई में संग्रहीत परिणाम), जीसीसी है कि परिणाम नहीं जोड़ता है INCREMENT, movabs'ing INCREMENTबजाय RDX के लिए है, जो तब rand32_ret.state की वापसी मान के रूप में इस्तेमाल किया जाता है
एक न्यूनतम प्रजनन योग्य उदाहरण ( कंपाइलर एक्सप्लोरर ):
#include <stdint.h>
struct retstruct {
uint32_t a;
uint64_t b;
};
struct retstruct fn(uint64_t input)
{
struct retstruct ret;
ret.a = 0;
ret.b = input * 11111111111 + 111111111111;
return ret;
}निर्मित विधानसभा (GCC 9.2, x86_64, -O3):
fn:
movabs rdx, 11111111111 # multiplier constant (doesn't fit in imm32)
xor eax, eax # ret.a = 0
imul rdi, rdx
movabs rdx, 111111111111 # add constant; one more 1 than multiplier
# missing add rdx, rdi # ret.b=... that we get with clang or older gcc
ret
# returns RDX:RAX = constant 111111111111 : 0
# independent of input RDI, and not using the imul result it just computedदिलचस्प है, पहले सदस्य के रूप में uint64_t के लिए संरचना को संशोधित करना सही कोड का उत्पादन करता है , जैसा कि दोनों सदस्यों को uint64_t में बदलना
x86-64 सिस्टम V RDX में 16 बाइट्स से छोटे स्ट्रक्चर्स को लौटाता है: RAX, जब वे तुच्छ रूप से कॉपी करने योग्य होते हैं। इस मामले में दूसरा सदस्य RDX में है क्योंकि RAX का उच्च आधा संरेखण या .bजब के लिए पैडिंग है.a एक संकीर्ण प्रकार है। ( sizeof(retstruct)16 या तो रास्ता है; हम इसका उपयोग नहीं कर रहे हैं, __attribute__((packed))इसलिए यह alignof (uint64_t) = 8 का सम्मान करता है।)
क्या इस कोड में कोई अपरिभाषित व्यवहार है जो GCC को "गलत" असेंबली से बाहर निकालने की अनुमति देगा?
यदि नहीं, तो इसे https://gcc.gnu.org/bugzilla/ पर सूचित किया जाना चाहिए