LLVM函数Pass报错“指令未支配所有使用-无控制流”求助

你遇到的这个LLVM错误，核心原因是IRBuilder的插入点设置不符合预期，导致你创建的ZExt指令被插入到原指令I的前面——而ZExt的操作数正是I，这直接违反了SSA的支配性规则：一个指令必须在它的所有使用点之前被定义（即支配所有使用点）。当ZExt在I前面时，I还未被定义就被ZExt引用，LLVM的验证器自然会抛出Instruction does not dominate all uses - No control flow的错误。

之所以出现这个问题，是因为LLVM的IRBuilder(Instruction *I)构造函数的行为是将新指令插入到I的前面，而非你预期的后面。很多开发者会误以为这个构造函数是插在指令之后，但实际上官方文档明确说明，传入指令指针时，插入点会被设置为该指令的前驱位置。

你需要明确将IRBuilder的插入点设置在I的后面，以下是两种常用的实现方式：

方式一：显式设置插入点 #

先创建默认IRBuilder，再通过setInsertPoint指定I之后的位置：

if (!I->isTerminator()){
  Type::TypeID datatype = I->getType()->getTypeID();
  if (datatype == llvm::Type::IntegerTyID) {
    IRBuilder<> IRB(I->getContext());
    // 将插入点定位到I的下一个指令位置
    IRB.setInsertPoint(I->getParent(), std::next(Instruction::iterator(I)));
    Value* v_value = IRB.CreateZExt(I, IRB.getInt64Ty());
    Value *args[] = {v_value};
    IRB.CreateCall(NNT_log_int, args);
  }
}

方式二：构造时直接指定插入位置 #

利用基本块的指令迭代器，在IRBuilder构造阶段就定位到I之后：

if (!I->isTerminator()){
  Type::TypeID datatype = I->getType()->getTypeID();
  if (datatype == llvm::Type::IntegerTyID) {
    // 直接传入基本块和I的下一个迭代器作为插入点
    IRBuilder<> IRB(I->getParent(), std::next(Instruction::iterator(I)));
    Value* v_value = IRB.CreateZExt(I, IRB.getInt64Ty());
    Value *args[] = {v_value};
    IRB.CreateCall(NNT_log_int, args);
  }
}

• 如果你在遍历指令的循环中插入新指令，建议使用安全迭代方式（比如for (auto it = BB.begin(); it != BB.end(); ) { auto &I = *it++; ... }），避免插入指令后迭代器失效引发的异常。
• 请确保NNT_log_int函数的参数类型与ZExt的结果类型（i64）完全匹配，否则后续的CreateCall可能会触发类型不匹配的新错误。

内容的提问来源于stack exchange，提问作者Panos Stratis