[PATCH] D33779: [InlineCost] Add a test case for GEP cost

[Haicheng Wu via Phabricator via llvm-commits]

haicheng created this revision.
Herald added subscribers: eraman, javed.absar, mcrosier.

See https://reviews.llvm.org/D33685.  The added test case is to check whether the simplified value is passed to getGEPCost().


Repository:
  rL LLVM

https://reviews.llvm.org/D33779

Files:
  test/Transforms/Inline/AArch64/gep-cost.ll


Index: test/Transforms/Inline/AArch64/gep-cost.ll
===================================================================
--- test/Transforms/Inline/AArch64/gep-cost.ll
+++ test/Transforms/Inline/AArch64/gep-cost.ll
@@ -4,11 +4,21 @@
 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
 target triple = "aarch64--linux-gnu"
 
-define void @outer([4 x i32]* %ptr, i32 %i) {
+define void @outer1([4 x i32]* %ptr, i32 %i) {
   call void @inner1([4 x i32]* %ptr, i32 %i)
+  ret void
+}
+
+define void @outer2([4 x i32]* %ptr, i32 %i) {
   call void @inner2([4 x i32]* %ptr, i32 %i)
   ret void
 }
+
+define void @outer3([4 x i32]* %ptr, i32 %j) {
+  call void @inner3([4 x i32]* %ptr, i32 0, i32 %j)
+  ret void
+}
+
 ; The gep in inner1() is reg+reg, which is a legal addressing mode for AArch64.
 ; Thus, both the gep and ret can be simplified.
 ; CHECK: Analyzing call of inner1
@@ -19,12 +29,24 @@
   ret void
 }
 
-; The gep in inner2() is reg+imm+reg, which is not a legal addressing mode for 
+; The gep in inner2() is reg+imm+reg, which is not a legal addressing mode for
 ; AArch64.  Thus, only the ret can be simplified and not the gep.
 ; CHECK: Analyzing call of inner2
 ; CHECK: NumInstructionsSimplified: 1
 ; CHECK: NumInstructions: 2
 define void @inner2([4 x i32]* %ptr, i32 %i) {
   %G = getelementptr inbounds [4 x i32], [4 x i32]* %ptr, i32 1, i32 %i
   ret void
 }
+
+
+; The gep in inner3() is reg+reg because %i is a known constant from the
+; callsite. This case is a legal addressing mode for AArch64.  Thus, both the
+; gep and ret can be simplified.
+; CHECK: Analyzing call of inner3
+; CHECK: NumInstructionsSimplified: 2
+; CHECK: NumInstructions: 2
+define void @inner3([4 x i32]* %ptr, i32 %i, i32 %j) {
+  %G = getelementptr inbounds [4 x i32], [4 x i32]* %ptr, i32 %i, i32 %j
+  ret void
+}


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D33779.101024.patch
Type: text/x-patch
Size: 1840 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170601/33800c88/attachment.bin>