[llvm] r235451 - Limiting gep merging to fix the performance problem described in
Wei Mi
wmi at google.com
Tue Apr 21 15:37:09 PDT 2015
Author: wmi
Date: Tue Apr 21 17:37:09 2015
New Revision: 235451
URL: http://llvm.org/viewvc/llvm-project?rev=235451&view=rev
Log:
Limiting gep merging to fix the performance problem described in
https://llvm.org/bugs/show_bug.cgi?id=23163.
Gep merging sometimes behaves like a reverse CSE/LICM optimizations,
which has negative impact on performance. In this patch we restrict
gep merging to happen only when the indexes to be merged are both consts,
which ensures such merge is always beneficial.
The patch makes gep merging only happen in very restrictive cases.
It is possible that some analysis/optimization passes rely on the merged
geps to get better result, and we havn't notice them yet. We will be ready
to further improve it once we see the cases.
Differential Revision: http://reviews.llvm.org/D9007
Added:
llvm/trunk/test/Transforms/InstCombine/gep-merge.ll
Removed:
llvm/trunk/test/Transforms/InstCombine/descale-zero.ll
Modified:
llvm/trunk/lib/Transforms/InstCombine/InstructionCombining.cpp
llvm/trunk/test/Transforms/InstCombine/getelementptr.ll
Modified: llvm/trunk/lib/Transforms/InstCombine/InstructionCombining.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/InstCombine/InstructionCombining.cpp?rev=235451&r1=235450&r2=235451&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/InstCombine/InstructionCombining.cpp (original)
+++ llvm/trunk/lib/Transforms/InstCombine/InstructionCombining.cpp Tue Apr 21 17:37:09 2015
@@ -1467,6 +1467,11 @@ Instruction *InstCombiner::visitGetEleme
// normalized.
if (SO1->getType() != GO1->getType())
return nullptr;
+ // Only do the combine when GO1 and SO1 are both constants. Only in
+ // this case, we are sure the cost after the merge is never more than
+ // that before the merge.
+ if (!isa<Constant>(GO1) || !isa<Constant>(SO1))
+ return nullptr;
Sum = Builder->CreateAdd(SO1, GO1, PtrOp->getName()+".sum");
}
Removed: llvm/trunk/test/Transforms/InstCombine/descale-zero.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/descale-zero.ll?rev=235450&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/descale-zero.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/descale-zero.ll (removed)
@@ -1,20 +0,0 @@
-; RUN: opt < %s -instcombine -S | FileCheck %s
-
-target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
-target triple = "x86_64-apple-macosx10.10.0"
-
-define internal i8* @descale_zero() {
-entry:
-; CHECK: load i8*, i8** inttoptr (i64 48 to i8**), align 16
-; CHECK-NEXT: ret i8*
- %i16_ptr = load i16*, i16** inttoptr (i64 48 to i16**), align 16
- %num = load i64, i64* inttoptr (i64 64 to i64*), align 64
- %num_times_2 = shl i64 %num, 1
- %num_times_2_plus_4 = add i64 %num_times_2, 4
- %i8_ptr = bitcast i16* %i16_ptr to i8*
- %i8_ptr_num_times_2_plus_4 = getelementptr i8, i8* %i8_ptr, i64 %num_times_2_plus_4
- %num_times_neg2 = mul i64 %num, -2
- %num_times_neg2_minus_4 = add i64 %num_times_neg2, -4
- %addr = getelementptr i8, i8* %i8_ptr_num_times_2_plus_4, i64 %num_times_neg2_minus_4
- ret i8* %addr
-}
Added: llvm/trunk/test/Transforms/InstCombine/gep-merge.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/gep-merge.ll?rev=235451&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/gep-merge.ll (added)
+++ llvm/trunk/test/Transforms/InstCombine/gep-merge.ll Tue Apr 21 17:37:09 2015
@@ -0,0 +1,48 @@
+; This test makes sure that gep(gep ...) merge doesn't come into effect.
+; RUN: opt < %s -instcombine -S | FileCheck %s
+
+; Make sure there are no geps being merged.
+; CHECK-LABEL: @fn3(
+; CHECK: getelementptr
+; CHECK: getelementptr
+; CHECK: getelementptr
+
+ at _ZN2cv1aE = global i8* zeroinitializer, align 8
+declare i32 @fn1() #2
+declare i32 @fn2() #2
+
+; Function Attrs: uwtable
+define linkonce_odr i32 @fn3() {
+entry:
+ %call = call i32 @fn1()
+ %call1 = call i32 @fn2()
+ %0 = load i8*, i8** @_ZN2cv1aE, align 8
+ %idx.ext2 = sext i32 %call1 to i64
+ %add.ptr3 = getelementptr inbounds i8, i8* %0, i64 %idx.ext2
+ br label %for.cond5
+
+for.cond5:
+ %total1 = phi i32 [ 0, %entry ], [ %total2, %for.body7 ]
+ %x.1 = phi i32 [ 0, %entry ], [ %inc, %for.body7 ]
+ %cmp6 = icmp slt i32 %x.1, %call
+ br i1 %cmp6, label %for.body7, label %for.cond34
+
+for.body7: ; preds = %for.cond5
+ %mul = mul nsw i32 %x.1, 2
+ %idxprom = sext i32 %mul to i64
+ %arrayidx = getelementptr inbounds i8, i8* %add.ptr3, i64 %idxprom
+ %1 = load i8, i8* %arrayidx, align 1
+ %conv = zext i8 %1 to i32
+ %sub = sub nsw i32 %mul, 1
+ %idxprom10 = sext i32 %sub to i64
+ %arrayidx11 = getelementptr inbounds i8, i8* %add.ptr3, i64 %idxprom10
+ %2 = load i8, i8* %arrayidx11, align 1
+ %conv2 = zext i8 %2 to i32
+ %add1 = add nsw i32 %conv, %conv2
+ %total2 = add nsw i32 %total1, %add1
+ %inc = add nsw i32 %x.1, 1
+ br label %for.cond5
+
+for.cond34:
+ ret i32 %total1
+}
Modified: llvm/trunk/test/Transforms/InstCombine/getelementptr.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/getelementptr.ll?rev=235451&r1=235450&r2=235451&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/getelementptr.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/getelementptr.ll Tue Apr 21 17:37:09 2015
@@ -104,8 +104,8 @@ define i32* @test7(i32* %I, i64 %C, i64
%B = getelementptr i32, i32* %A, i64 %D
ret i32* %B
; CHECK-LABEL: @test7(
-; CHECK: %A.sum = add i64 %C, %D
-; CHECK: getelementptr i32, i32* %I, i64 %A.sum
+; CHECK: %A = getelementptr i32, i32* %I, i64 %C
+; CHECK: %B = getelementptr i32, i32* %A, i64 %D
}
define i8* @test8([10 x i32]* %X) {
More information about the llvm-commits
mailing list