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
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:
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
}