对于以下分支指令。
br i1 %cmp, label %if.then, label %if.end, !dbg !35
由于 LLVM 是 SSA,我可以直接访问操作数 0,以确定比较是否为真。该类型评估为 i1,但我在提取值(真或假)方面遇到了困难。
BranchInst &I;
Value *val = I.getOperand(0);
类型转换遵循 i1 类型,但是当我尝试将其强制转换为 ConstantInt *cint = dyn_cast<ConstantInt>(val)
时,强制转换似乎不起作用?我该怎么做?