एलएलवीएम आईआर से मूल ब्लॉक में पहला निर्देश मिटाना?

Question

मैं मैं पहली बार लोड हो रहा हूँ vairable "मैं"% 1 और% 2 तब में चर 'जे' में मैं शर्त से अधिक होता है कि (की तुलना कर रहा हूँ इसे में followint LLVM आईआर फ़ाइल

%1 = load i32* %i, align 4 
    %2 = load i32* %j, align 4 
    %3 = icmp sgt i32 %1, %2 
    br i1 %3, label %4, label %6 

; <label>:4          ; preds = %0 
    %5 = load i32* %i, align 4 
    store i32 %5, i32* %k, align 4 
    br label %6 

; <label>:6          ; preds = %5, %0 
    ret i32 0 

है i> जे)। उस पर आधारित शाखा या तो लेबल 4 या लेबल 6 है। मेरी समस्या यह है कि चरम "i" के लिए पहले मूल ब्लॉक में और दूसरा मूलभूत ब्लॉक में दो लोड निर्देश हैं। यहां मैं दूसरे लोड निर्देश को हटाना चाहता हूं। इसके लिए मैं इसे तब कर रहा हूं जब मैं परिवर्तनीय "i" के लिए दूसरे लोड निर्देश तक पहुंचता हूं, मैं पहले निर्देश द्वारा दूसरे निर्देश के सभी उपयोगों को प्रतिस्थापित कर रहा हूं, फिर मैं वर्तमान निर्देश को मिटा रहा हूं। यहां मैं निर्देश इटरेटर सूचक सेट करने में असमर्थ हूं। मैं अगले निर्देश के लिए सेट नहीं करना चाहता (स्टोर i32% 5, i32 *% k, संरेखित 4)। क्या कोई दूसरा रास्ता है? यदि आप जानते हैं तो कृपया मुझे बताएं।

Answer 1

यदि मैं आपको सही ढंग से समझता हूं, तो आप बस एक निर्देश मिटाना और कोड पर पुनरावृत्ति करना चाहते हैं। अगर यह सही है, DeadInstElimintation पास (जो lib/Transforms/Scalar/DCE.cpp में रहती है) से इस उदाहरण पर एक नज़र डालें:

virtual bool runOnBasicBlock(BasicBlock &BB) { 
    bool Changed = false; 
    for (BasicBlock::iterator DI = BB.begin(); DI != BB.end();) { 
    Instruction *Inst = DI++; 
    if (isInstructionTriviallyDead(Inst)) { 
     Inst->eraseFromParent(); 
     Changed = true; 
     ++DIEEliminated; 
    } 
    } 
    return Changed; 
} 

नोट करने के लिए दिलचस्प बात यह है कि कैसे इटरेटर वृद्धि की जाती है है। DI++for के अंतिम खंड के अंदर नहीं किया गया है, बल्कि अलग-अलग DIInst को असाइन किया गया है। यह सुनिश्चित करता है कि भले ही आप Inst हटाएं, DI पहले से ही अगले निर्देश को इंगित करता है ताकि लूप अगले निर्देशों पर चल रहा रहे।