Xóa hướng dẫn đầu tiên trong khối cơ bản từ LLVM IR?

Question

Tôi có followint LLVM IR tập tin

%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 

Trong đó tôi đầu tiên tải vairable "i" trong% 1 và biến "j" trong% 2 sau đó tôi đang so sánh lớn hơn tình trạng đó là (i> j). Dựa trên đó có chi nhánh hoặc nhãn 4 hoặc nhãn 6. Vấn đề của tôi là có hai hướng dẫn tải cho biến "i" một trong khối cơ bản đầu tiên và khác trong khối cơ bản thứ 2. Ở đây tôi muốn loại bỏ hướng dẫn tải 2. Đối với nó tôi đang làm nó như khi tôi đạt đến hướng dẫn tải 2 cho biến "i" Tôi đang thay thế tất cả các sử dụng hướng dẫn thứ 2 bằng lệnh đầu tiên sau đó tôi xóa hướng dẫn hiện tại tức là thứ 2. Ở đây tôi không thể thiết lập con trỏ iterator hướng dẫn. Tôi không muốn đặt lệnh tiếp theo (lưu i32% 5, i32 *% k, căn chỉnh 4). Có cách nào khác không? Nếu bạn biết xin vui lòng cho tôi biết.

Answer 1

Nếu tôi hiểu chính xác bạn, tất cả những gì bạn muốn chỉ là xóa hướng dẫn và tiếp tục lặp lại mã. Nếu đúng vậy, hãy nhìn vào ví dụ này từ DeadInstElimintation qua (mà sống ở 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; 
} 

Điều thú vị cần lưu ý là cách iterator được tăng lên. Các DI++ không được thực hiện bên trong điều khoản cuối cùng của for, mà là riêng biệt, với DI hiện tại được gán cho Inst. Điều này đảm bảo rằng ngay cả khi bạn xóa Inst, DI đã trỏ đến lệnh tiếp theo để vòng lặp sẽ tiếp tục chạy trên các hướng dẫn tiếp theo.