Question

对于以下分支指令

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)投射似乎不起作用？我该怎么办

Answer 1

回答我自己的问题

 BranchInst &I;
    Module* module;
    IRBuilder<> irbuilder(&I);
    Value* value = irbuilder.CreateIntCast(I.getCondition(),
Type::getInt32Ty(module->getContext()), false);

这会将i1转换为i32。

Answer 2

您希望使用另一种类型的转换—代码中的cast <>转换，而您想要的是生成的代码CastInst中的转换。布尔值是一位整数类型，因此您可能想要的是零扩展名。 CastInst::Create(CastInst::ZExt, I.getOperand(0), …应该这样做。

将i1类型转换为整数值

2 个答案: