diff --git a/llvm/lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp b/llvm/lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp index ac617ecd4fd1b..71f165abe52e6 100644 --- a/llvm/lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp +++ b/llvm/lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp @@ -908,7 +908,8 @@ static bool canSimplifyNullStoreOrGEP(StoreInst &SI) { auto *Ptr = SI.getPointerOperand(); if (GetElementPtrInst *GEPI = dyn_cast(Ptr)) - Ptr = GEPI->getOperand(0); + if (GEPI->isInBounds()) + Ptr = GEPI->getOperand(0); return (isa(Ptr) && !NullPointerIsDefined(SI.getFunction(), SI.getPointerAddressSpace())); } @@ -916,7 +917,7 @@ static bool canSimplifyNullStoreOrGEP(StoreInst &SI) { static bool canSimplifyNullLoadOrGEP(LoadInst &LI, Value *Op) { if (GetElementPtrInst *GEPI = dyn_cast(Op)) { const Value *GEPI0 = GEPI->getOperand(0); - if (isa(GEPI0) && + if (isa(GEPI0) && GEPI->isInBounds() && !NullPointerIsDefined(LI.getFunction(), GEPI->getPointerAddressSpace())) return true; } diff --git a/llvm/test/Transforms/InstCombine/load.ll b/llvm/test/Transforms/InstCombine/load.ll index a6a2155be0b56..e4ba908599c94 100644 --- a/llvm/test/Transforms/InstCombine/load.ll +++ b/llvm/test/Transforms/InstCombine/load.ll @@ -69,8 +69,9 @@ define i32 @load_gep_null_inbounds(i64 %X) { define i32 @load_gep_null_not_inbounds(i64 %X) { ; CHECK-LABEL: @load_gep_null_not_inbounds( -; CHECK-NEXT: store i32 undef, i32* null, align 536870912 -; CHECK-NEXT: ret i32 undef +; CHECK-NEXT: [[V:%.*]] = getelementptr i32, i32* null, i64 [[X:%.*]] +; CHECK-NEXT: [[R:%.*]] = load i32, i32* [[V]], align 4 +; CHECK-NEXT: ret i32 [[R]] ; %V = getelementptr i32, i32* null, i64 %X %R = load i32, i32* %V diff --git a/llvm/test/Transforms/InstCombine/store.ll b/llvm/test/Transforms/InstCombine/store.ll index cda08f89501a2..d3842f4bb4699 100644 --- a/llvm/test/Transforms/InstCombine/store.ll +++ b/llvm/test/Transforms/InstCombine/store.ll @@ -37,7 +37,7 @@ define void @store_at_gep_off_null_inbounds(i64 %offset) { define void @store_at_gep_off_null_not_inbounds(i64 %offset) { ; CHECK-LABEL: @store_at_gep_off_null_not_inbounds( ; CHECK-NEXT: [[PTR:%.*]] = getelementptr i32, i32* null, i64 [[OFFSET:%.*]] -; CHECK-NEXT: store i32 undef, i32* [[PTR]], align 4 +; CHECK-NEXT: store i32 24, i32* [[PTR]], align 4 ; CHECK-NEXT: ret void ; %ptr = getelementptr i32, i32 *null, i64 %offset