6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-10-03 08:55:51 +00:00
Code Issues Projects Releases Wiki Activity

Add comment as following:

Browse Source 
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


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127565 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Jin-Gu Kang 2011-03-13 14:05:51 +00:00
parent 98f6ddc3c5
commit 198e97c423
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp
View File

@ -433,6 +433,18 @@ Instruction *InstCombiner::visitStoreInst(StoreInst &SI) {
!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<GetElementPtrInst>(Ptr)) {
if (isa<AllocaInst>(GEP->getOperand(0))) {