将i1类型转换为整数值

问题描述

对于以下分支指令

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

解决方法

回答我自己的问题

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

这会将i1转换为i32。

,

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