RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2024-11-25 04:39:44 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Revert "SimplifyCFG: GEPs with just one non-constant index are also cheap."

Browse Source 
Yes, there are other types than i8* and GEPs on them can produce an add+multiply.
We don't consider that cheap enough to be speculatively executed.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126481 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Benjamin Kramer 2011-02-25 10:33:33 +00:00
parent 49ff8a76d0
commit 278be783b5
2 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
lib/Transforms/Utils/SimplifyCFG.cpp
View File

@ -247,13 +247,11 @@ static bool DominatesMergePoint(Value *V, BasicBlock *BB,
if (PBB->getFirstNonPHIOrDbg() != I)
return false;
break;
case Instruction::GetElementPtr: {
// GEPs are cheap if all indices are constant or if there's only one index.
GetElementPtrInst *GEP = cast<GetElementPtrInst>(I);
if (!GEP->hasAllConstantIndices() && GEP->getNumIndices() > 1)
case Instruction::GetElementPtr:
// GEPs are cheap if all indices are constant.
if (!cast<GetElementPtrInst>(I)->hasAllConstantIndices())
return false;
break;
}
case Instruction::Add:
case Instruction::Sub:
case Instruction::And:

2
test/Transforms/SimplifyCFG/select-gep.ll
View File

@ -15,7 +15,7 @@ if.end:
ret i8* %x.addr
; CHECK: @test1
; CHECK: %x.addr = select i1 %cmp, i8* %incdec.ptr, i8* %x
; CHECK-NOT: select
; CHECK: ret i8* %x.addr
}