क्या आपका डिस्सेम्बलर सही तरीके से काम कर रहा है?

आज मैं IA-32 निर्देशों को डीकोड / डिसाइड करने की एक दिलचस्प जटिलता के बारे में बात करना चाहता हूं।

इस लेख को पढ़ने से पहले, मैं "IA-32 कमांड सिस्टम में उपसर्गों" लेख का संदर्भ देने की सलाह देता हूं, जो IA-32 कमांडों की सामान्य संरचना और मौजूदा उपसर्गों का वर्णन करता है। इस लेख में मैं अनिवार्य उपसर्गों और उनसे जुड़ी कुछ बारीकियों के बारे में अधिक बात करूंगा।

यह सब डिकोडर्स - जीडीएसएल बनाने के लिए डिज़ाइन की गई भाषा के बारे में एक लेख पढ़ने के साथ शुरू हुआ। यह लेख कुछ उदाहरण देता है जो पहले से ही मुझे ज्ञात हैं, साथ ही नई विशेषताएं जो मैंने पहले नहीं सुनी हैं। यह उनके बारे में है जो अब मैं आपको बताऊंगा।

कुछ निर्देश, जैसे MULSS , MULSD और MULPD (वेक्टर गुणन निर्देश) में एक ही opcode 0x0f 0x59 , लेकिन विभिन्न अनिवार्य उपसर्ग (क्रमशः 0x66 और 0x66 ) हैं। सवाल यह है कि अगर एक ही समय में कई ऐसे उपसर्ग निर्देश कोड में मौजूद हों तो क्या होना चाहिए? अंतिम उपसर्ग के अनुसार, यह निर्धारित करने के लिए कि यह किस प्रकार का निर्देश है, शायद अधिक तार्किक होगा। लेकिन हमेशा ऐसा नहीं होता है! यदि अंतिम उपसर्ग 0xf2 या 0xf2 , तो इसे अनिवार्य माना जाता है, हालांकि 0x66 केवल तभी अनिवार्य है जब उपसर्ग 0xf2 और 0xf2 इस निर्देश के एन्कोडिंग में न हों। इन निर्देशों के लिए सही disassembler आउटपुट के उदाहरण तालिका में पाए जा सकते हैं:


कुछ बिंदु पर, मैंने इन बयानों की शुद्धता पर संदेह किया, लेकिन, दुर्भाग्य से, प्रलेखन इस मुद्दे के बारे में अस्पष्ट विचार देता है। जिसके बाद एक असली प्रोसेसर पर परीक्षण करने का निर्णय लिया गया था, और यह पता चला कि यह उस तरह से काम करता है। यह जाँच कोडांतरक आवेषण का उपयोग करके की गई थी। परीक्षणों में से एक का उदाहरण नीचे दिया गया है:

 #include <stdio.h> int main() { double a[2] = {2, 2}, b[2] = {0, 0}; __asm__ __volatile__ ( // Copy data from a to xmm7 register "movupd %1, %%xmm7\n" //"mulsd %%xmm7, %%xmm7\n" ".byte 0xf2, 0x66, 0x0f, 0x59, 0xff\n" // Copy data from xmm7 register to b "movupd %%xmm7, %0\n" :"=m"(*b) :"m"(*a) : ); printf("%lf %lf\n", b[0], b[1]); return 0; } 

इसे संकलित और चलाने के बाद, आप निम्नलिखित देखेंगे:

 $ gcc -O0 -Wall mulsd.c $ ./a.out 4.000000 2.000000 

यही है, वेक्टर का केवल पहला तत्व गुणा किया गया था, जबकि दूसरा अपरिवर्तित रहा, जो कि MULSD निर्देश से मेल खाता है, और MULPD नहीं।

इस उदाहरण में, ज्ञात पैकेज में शामिल कई disassembler का परीक्षण किया गया था। उनमें से कुछ अपने कार्य के साथ सामना करते थे, जो तुरंत इन उत्पादों के डेवलपर्स को सूचित किया गया था। परिणामों का सारांश नीचे दिया गया है:


यह ध्यान दिया जाना चाहिए कि gdb और objdump Binutils का हिस्सा हैं और डिस्सेम्बलिंग के लिए एक ही लाइब्रेरी का उपयोग करते हैं। ODA डेवलपर्स में से एक, एंथनी डेरासा, ने मेरे त्रुटि संदेश के जवाब में कहा कि वे लिबोपोड्स लाइब्रेरी का उपयोग कर रहे थे, जो कि बिनुटिल्स का हिस्सा है। यही है, एक जगह पर एक बार में कम से कम तीन उत्पादों के सुधार में प्रवेश करना चाहिए, लेकिन, दुर्भाग्यवश, किसी भी बन्थिल ने अभी तक मुझे जवाब नहीं दिया है।

क्या डिस्सेम्बलर जो आप काम का सही इस्तेमाल करते हैं?