LLVM "Instruction does not dominate all uses" - 插入新指令

Question

我在使用 llvm pass 插入指令时遇到以下错误：

Instruction does not dominate all uses!
%add = add nsw i32 10, 2
%cmp3 = icmp ne i32 %a.01, %add
Broken module found, compilation aborted!

我在位码文件中有源代码，其片段是：

if.then:                                          ; preds = %entry
    %add = add nsw i32 10, 2
    br label %if.end
if.else:                                          ; preds = %entry
    %sub = sub nsw i32 10, 2
    br label %if.end
if.end:                                           ; preds = %if.else, %if.then
    %a.0 = phi i32 [ %add, %if.then ], [ %sub, %if.else ] 
    %a.01 = call i32 @tauInt32Ty(i32 %a.0)            ; line A
    %add3 = add nsw i32 %a.01, 2
    %add4 = add nsw i32 %a.01, 3
    %call5 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([7 x i8]* @.str2, i32 0, i32 0), i32 %add3, i32 %add4)

我想在 "line A" 之后插入一条新指令，即：

%cmp3 = icmp ne i32 %a.01, %add

并且我编写了一个函数 pass，其执行此任务的代码片段是：

for (Function::iterator bb = F.begin(), e = F.end(); bb != e; ++bb) {
    for (BasicBlock::iterator i = bb->begin(), e = bb->end(); i != e; ++i) {
        std::string str;
        if(isa<CallInst>(i))// || true) {
            BasicBlock::iterator next_it = i;
            next_it++;
            Instruction* next = dyn_cast<Instruction>(&*next_it);
            CallInst* ci = dyn_cast<CallInst>(&*i);
            Function* ff = ci->getCalledFunction();
            str = ff->getName();
            errs()<<"> "<<str<<"\n";
            if(!str.compare("tauInt32Ty")) { 
                hotPathSSA1::varVersionWithPathsSet::iterator start = tauArguments[&*ci].begin();
                hotPathSSA1::varVersionWithPathsSet::iterator end = tauArguments[&*ci].end();
                Value* specArgs = start->second;    // specArgs points to %add
                ICmpInst* int1_cmp_56 = new ICmpInst(next, ICmpInst::ICMP_NE, ci, specArgs, "cmp3");
            }
        }
    }
}

Answer 1

我没遇到jet这样的问题，不过我觉得你的问题是if语句。 %add 属于 if.then BasicBlock，无法从 if.end 块访问。这就是为什么 phi 指令 "chooses" 可用 %add 或 %sub 的原因。所以你必须为你的 IcmpInst 取 %a.0 作为参数而不是 %add.

LLVM "Instruction does not dominate all uses" - 插入新指令

LLVM "Instruction does not dominate all uses" - Inserting new Instruction

llvm

instrumentation

llvm-ir