अंतर

Question

or eax,eax और test eax,eax के बीच क्या अंतर है? मैंने देखा है विभिन्न compilers एक ही तुलना के लिए दोनों का उत्पादन और प्रलेखन वे बिल्कुल वही बात करते हैं, तो मैं सोच रहा हूँ क्यों वे नहीं है सब test eax,eax का उपयोग हो जाता है जहाँ तक। यह and eax,eax के बारे में सोच या तो के रूप में एक समान फैशन में झंडे स्थापित करेगा लेकिन मैं इसे या तो FreePascal, डेल्फी, या MSVC++ में नहीं देखा है।

मैंने डेल्फी में कुछ एएसएम ब्लॉक संकलित किए और असेंबलर स्रोत की जांच की और सभी 3 रूप ओपकों में सटीक समान लंबाई हैं और इंटेल प्रदर्शन पीडीएफ की भी जांच की है और यह कहता है कि उनके पास समान विलंबता और थ्रूपुट है।

संपादित करें:
सवाल विशिष्ट मामलों test eax,eax, or eax,eax और and eax,eax बीच अंतर के बारे में विशेष रूप है। सभी 3 रजिस्टरों, झंडे, ओपोड लंबाई, विलंबता, थ्रूपुट के लिए पूरी तरह से समान परिणाम देते हैं। और फिर भी अगर 0 परीक्षण, नहीं तो शून्य के लिए, या यदि हस्ताक्षर किए, कुछ compilers test eax,eax जबकि कुछ का उपयोग or eax,eax का उपयोग करेगा, और मैं सोच रहा था कि वे क्यों नहीं सब test eax,eax का उपयोग कर के बाद से यह बहुत थोड़ा साफ कोड बनाता है।

EDIT2:
संदर्भ मैं घर पर हूँ और केवल है और पुराने MSVC++ और डेल्फी यहाँ है, लेकिन शून्य अगर एक चर के परीक्षण के लिए, MSVC++ test eax,eax करता है, जबकि डेल्फी or eax,eax करता है।

Answer 1

सामान्य तौर पर, test और and के बीच फर्क सिर्फ इतना है कि test <reg>, <reg> अपने ऑपरेंड संशोधित नहीं करता है। अनिवार्य रूप से test परिणाम के गैर-झंडे भाग को छोड़कर and ऑपरेशन लागू करता है। यदि ऑपरेंड समान हैं, तो परिणाम समान होंगे (जैसा कि or होगा)।

test क्योंकि सूक्ष्म सेशन संलयन की तरह चीजों की एक बेहतर शिक्षा विकल्प हो सकता है। नतीजतन, test आमतौर पर तब तक पसंद किया जाता है जब तक कि गणना को दोहराया जाना न पड़े। एक ही चीज़ cmp/sub के लिए जाती है।

खोजें "विलय" के लिए इंटेल के दस्तावेज़ और आपको जानकारी मिल चाहिए।

Answer 2

बस थोड़ी सी दोहराने के लिए, और थोड़ी सी जोड़ने के लिए, @gsg संकेत दिया गया है, टेस्ट निर्देश थोड़ा सा तार्किक तुलना करता है (अनिवार्य रूप से उन्हें आंतरिक रूप से बिटिंग आंतरिक रूप से लेकिन परिणाम को संग्रहित नहीं करता) दो ऑपरेंड के और प्रोसेसर झंडे सेट करता है उस ऑपरेशन के परिणाम के अनुसार। या निर्देश एक लॉजिकल या गंतव्य के साथ स्रोत का है, परिणाम में गंतव्य संग्रहित करता है और परिणाम के अनुसार प्रोसेसर झंडे सेट करता है। वे दोनों प्रोसेसर झंडे को उसी तरह प्रभावित करते हैं। तो जब ऑपरेंड समान होते हैं, तो व्यवहार समान होता है। झंडे में कोई फर्क नहीं पड़ता। हालांकि, जब ऑपरेंड अलग होते हैं, तो उनका व्यवहार तब काफी अलग होता है। आप and eax,eax के साथ शून्य के लिए भी परीक्षण कर सकते हैं जो समान रूप से झंडे को भी प्रभावित करता है।

Answer 3

सर्किट निर्धारित करने के लिए कि test eax, eax के बाद eax की सामग्री के रूप में पहले अनुदेश सर्किट or eax, eax के लिए कि इस निष्कर्ष पर पहुंचने के लिए आवश्यक से अधिक आसान है एक ही हैं। इस कारण से, test बेहतर है।

कुछ compilers एक समय में or उत्पन्न हो सकता है जब यह कोई फर्क नहीं था (से पहले बाहर के आदेश निष्पादन), लेकिन यह (जबकि अभी तक अन्य OOO आजकल कुछ बाहर के आदेश प्रोसेसर के साथ सकारात्मक प्रभाव पड़ेगा प्रोसेसर इतने परिष्कृत होंगे कि वे or eax, eax को test eax, eax के बराबर के रूप में पहचानेंगे)।

मैं एक संदर्भ को न्यायोचित ठहरा है कि कुछ आधुनिक प्रोसेसर वास्तव में अनुमान लगाने के लिए कि or reg, regreg संशोधित नहीं करता है में सक्षम हैं नहीं मिल सकता है, लेकिन here is एक जवाब यह दावा करते हुए xchg reg, reg के लिए मामला है।