From a04c0c417b335d15b6a6efa8092f8f3bb3a7ce16 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Wed, 24 May 2006 17:34:30 +0000 Subject: [PATCH] Patch for a new instcombine xform, patch contributed by Nick Lewycky! This implements Transforms/InstCombine/2006-05-10-InvalidIndexUndef.ll git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@28450 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Transforms/Utils/Local.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/lib/Transforms/Utils/Local.cpp b/lib/Transforms/Utils/Local.cpp index a848e7461eb..3998923dd1a 100644 --- a/lib/Transforms/Utils/Local.cpp +++ b/lib/Transforms/Utils/Local.cpp @@ -273,7 +273,8 @@ Constant *llvm::ConstantFoldLoadThroughGEPConstantExpr(Constant *C, } } else if (ConstantInt *CI = dyn_cast(I.getOperand())) { if (const ArrayType *ATy = dyn_cast(*I)) { - if ((uint64_t)CI->getRawValue() >= ATy->getNumElements()) return 0; + if ((uint64_t)CI->getRawValue() >= ATy->getNumElements()) + C = UndefValue::get(ATy->getElementType()); if (ConstantArray *CA = dyn_cast(C)) C = CA->getOperand((unsigned)CI->getRawValue()); else if (isa(C)) @@ -283,7 +284,8 @@ Constant *llvm::ConstantFoldLoadThroughGEPConstantExpr(Constant *C, else return 0; } else if (const PackedType *PTy = dyn_cast(*I)) { - if ((uint64_t)CI->getRawValue() >= PTy->getNumElements()) return 0; + if ((uint64_t)CI->getRawValue() >= PTy->getNumElements()) + C = UndefValue::get(PTy->getElementType()); if (ConstantPacked *CP = dyn_cast(C)) C = CP->getOperand((unsigned)CI->getRawValue()); else if (isa(C))