From 948d9e7ec7c4f8da50d2640d3564b01d40ffd4b1 Mon Sep 17 00:00:00 2001 From: Jin-Gu Kang Date: Mon, 14 Mar 2011 01:21:00 +0000 Subject: [PATCH] This case is solved by Scalar Replacement of Aggregates (DT) and Early CSE pass so this patch reverts it to original source code. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127574 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../InstCombineLoadStoreAlloca.cpp | 28 ++----------------- 1 file changed, 3 insertions(+), 25 deletions(-) diff --git a/lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp b/lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp index e5ff00fc1dc..35c1d91d501 100644 --- a/lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp +++ b/lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp @@ -429,31 +429,9 @@ Instruction *InstCombiner::visitStoreInst(StoreInst &SI) { // the pointer we're loading and is producing the pointer we're storing, // then *this* store is dead (X = load P; store X -> P). if (LoadInst *LI = dyn_cast(BBI)) { - if (equivalentAddressValues(LI->getOperand(0), Ptr) && - !SI.isVolatile()) { - if (LI == Val) - return EraseInstFromFunction(SI); - // load and store reference same memory location, the memory location - // is represented by getelementptr with two uses (load and store) and - // the getelementptr's base is alloca with single use. At this point, - // instructions from alloca to store can be removed. - // (this pattern is generated when bitfield is accessed.) - // For example, - // %u = alloca %struct.test, align 4 ; [#uses=1] - // %0 = getelementptr inbounds %struct.test* %u, i32 0, i32 0;[#uses=2] - // %1 = load i8* %0, align 4 ; [#uses=1] - // %2 = and i8 %1, -16 ; [#uses=1] - // %3 = or i8 %2, 5 ; [#uses=1] - // store i8 %3, i8* %0, align 4 - if (Ptr->hasNUses(2)) { - if (GetElementPtrInst *GEP = dyn_cast(Ptr)) { - if (isa(GEP->getOperand(0))) { - if (GEP->getOperand(0)->hasOneUse()) - return EraseInstFromFunction(SI); - } - } - } - } + if (LI == Val && equivalentAddressValues(LI->getOperand(0), Ptr) && + !SI.isVolatile()) + return EraseInstFromFunction(SI); // Otherwise, this is a load from some other location. Stores before it // may not be dead.