zext(undef) = 0 and sext(undef) = 0, not undef.
authorChris Lattner <sabre@nondot.org>
Fri, 20 Jul 2007 22:09:02 +0000 (22:09 +0000)
committerChris Lattner <sabre@nondot.org>
Fri, 20 Jul 2007 22:09:02 +0000 (22:09 +0000)
This hopefully fixes a miscompilation of TargetData.cpp when self hosting.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40125 91177308-0d34-0410-b5e6-96231b3b80d8

lib/VMCore/ConstantFold.cpp

index 53e5c69136181907d5cf89666308e97458ac0b35..da4efcdaadeaa14e72b2b4c673d46b80c5cab3a2 100644 (file)
@@ -140,8 +140,13 @@ Constant *llvm::ConstantFoldCastInstruction(unsigned opc, const Constant *V,
                                             const Type *DestTy) {
   const Type *SrcTy = V->getType();
 
-  if (isa<UndefValue>(V))
+  if (isa<UndefValue>(V)) {
+    // zext(undef) = 0, because the top bits will be zero.
+    // sext(undef) = 0, because the top bits will all be the same.
+    if (opc == Instruction::ZExt || opc == Instruction::SExt)
+      return Constant::getNullValue(DestTy);
     return UndefValue::get(DestTy);
+  }
 
   // If the cast operand is a constant expression, there's a few things we can
   // do to try to simplify it.