फ्लैश एक्शनस्क्रिप्ट 3 कंपाइलर अनावश्यक कोड क्यों छोड़ता है?

Question

मैंने हाल ही में एवीएम 2/एएस 3 के लिए एक डिकंपेलर बनाया है, और मैंने देखा है कि फ्लैश कंपाइलर बहुत सारे असुरक्षित कोड को उत्सर्जित करता है। उदाहरण के लिए, एक निश्चित अनुप्रयोग के लिए मैंने कार्यक्षमता में किसी भी हानि के बिना कोड के लगभग 10% को हटा दिया है। यह केवल निश्चित रूप से मृत कोड था जिसे सशर्त ओपोड्स द्वारा संदर्भित नहीं किया गया था और न ही अपवाद हैंडलिंग ब्लॉक द्वारा।

इसके अलावा, इस स्निपेट को देखो:

... 
    313  setproperty   y 
    315  getlocal   12 
317 returnvalue 318 jump L9 

    L3: 
    322  getlocal   8 
    324  returnvalue   

    L9: 
325 jump L10 ; L10 (opcode #331) does not ever exist. 
            ; Technically, it is a jump beyond 
            ; the end of function. This is invalid code! 

    L2: 
    329  pushnull    
    330  returnvalue   

ठीक है, निश्चित रूप से यह अमान्य कोड है, जो भी मर चुका है और इसलिए (codebase सूजन के अलावा) कोई प्रतिकूल प्रभाव पैदा नहीं होगा। लेकिन यह कभी भी उस कोड को क्यों छोड़ देता है? और सत्यापनकर्ता इसे क्यों स्वीकार करता है?

Answer 1

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