From 5be662505e16c485596b53a8eabc3edb8bc88d17 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Fri, 1 Dec 2006 19:22:41 +0000 Subject: [PATCH] this logic is broken for trunc to bool, replace the folding logic for trunc completely, as it is trivial. We should probably do this for the rest of the cast operations. This fixes ConstProp/2006-12-01-TruncBoolBug.ll. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32081 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/VMCore/ConstantFold.cpp | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/lib/VMCore/ConstantFold.cpp b/lib/VMCore/ConstantFold.cpp index 79f0f577420..48d84e5ac54 100644 --- a/lib/VMCore/ConstantFold.cpp +++ b/lib/VMCore/ConstantFold.cpp @@ -860,10 +860,10 @@ Constant *llvm::ConstantFoldCastInstruction(unsigned opc, const Constant *V, // We actually have to do a cast now, but first, we might need to fix up // the value of the operand. switch (opc) { + case Instruction::PtrToInt: case Instruction::FPTrunc: - case Instruction::Trunc: case Instruction::FPExt: - break; // floating point input & output, no fixup needed + break; case Instruction::FPToUI: { ConstRules &Rules = ConstRules::get(V, V); V = Rules.castToULong(V); // make sure we get an unsigned value first @@ -891,9 +891,12 @@ Constant *llvm::ConstantFoldCastInstruction(unsigned opc, const Constant *V, V = ConstantInt::get(SrcTy->getSignedVersion(), cast(V)->getSExtValue()); break; - - case Instruction::PtrToInt: - break; + case Instruction::Trunc: + // We just handle trunc directly here. The code below doesn't work for + // trunc to bool. + if (const ConstantInt *CI = dyn_cast(V)) + return ConstantIntegral::get(DestTy, CI->getZExtValue()); + return 0; case Instruction::BitCast: // Check to see if we are casting a pointer to an aggregate to a pointer to // the first element. If so, return the appropriate GEP instruction.