diff options
| author | Chris Lattner <sabre@nondot.org> | 2006-05-24 17:34:30 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2006-05-24 17:34:30 +0000 |
| commit | a04c0c417b335d15b6a6efa8092f8f3bb3a7ce16 (patch) | |
| tree | 65ba7560a09d73520d8d4d9afe75c2c7f4ccc6dc /lib/Transforms/Utils/Local.cpp | |
| parent | b464997bbaf2330d2d0b0ada828d1840c0925776 (diff) | |
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
Diffstat (limited to 'lib/Transforms/Utils/Local.cpp')
| -rw-r--r-- | lib/Transforms/Utils/Local.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/Transforms/Utils/Local.cpp b/lib/Transforms/Utils/Local.cpp index a848e7461e..3998923dd1 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<ConstantInt>(I.getOperand())) { if (const ArrayType *ATy = dyn_cast<ArrayType>(*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<ConstantArray>(C)) C = CA->getOperand((unsigned)CI->getRawValue()); else if (isa<ConstantAggregateZero>(C)) @@ -283,7 +284,8 @@ Constant *llvm::ConstantFoldLoadThroughGEPConstantExpr(Constant *C, else return 0; } else if (const PackedType *PTy = dyn_cast<PackedType>(*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<ConstantPacked>(C)) C = CP->getOperand((unsigned)CI->getRawValue()); else if (isa<ConstantAggregateZero>(C)) |