Branch conditions must be i1

llvm-svn: 33129
This commit is contained in:
Chris Lattner 2007-01-12 18:30:11 +00:00
parent 39030b8d42
commit 115b9b1a2b

View File

@ -1799,10 +1799,8 @@ static bool EvaluateFunction(Function *F, Constant *&RetVal,
} else {
ConstantInt *Cond =
dyn_cast<ConstantInt>(getVal(Values, BI->getCondition()));
if (!Cond) return false; // Cannot determine.
// Cannot determine.
if (!Cond || Cond->getType() != Type::Int1Ty)
return false;
NewBB = BI->getSuccessor(!Cond->getZExtValue());
}
} else if (SwitchInst *SI = dyn_cast<SwitchInst>(CurInst)) {