[llvm] 7f4d88a - [ConstraintElimination] Add GEP test case with variable offset.

[Florian Hahn via llvm-commits]

Author: Florian Hahn
Date: 2020-11-19T14:06:50Z
New Revision: 7f4d88a1fa6b533267eba2424dbef5efe47372b6

URL: https://github.com/llvm/llvm-project/commit/7f4d88a1fa6b533267eba2424dbef5efe47372b6
DIFF: https://github.com/llvm/llvm-project/commit/7f4d88a1fa6b533267eba2424dbef5efe47372b6.diff

LOG: [ConstraintElimination] Add GEP test case with variable offset.

Added: 
    

Modified: 
    llvm/test/Transforms/ConstraintElimination/geps.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/ConstraintElimination/geps.ll b/llvm/test/Transforms/ConstraintElimination/geps.ll
index 46763c08b382..cf07d0ba7f72 100644
--- a/llvm/test/Transforms/ConstraintElimination/geps.ll
+++ b/llvm/test/Transforms/ConstraintElimination/geps.ll
@@ -327,6 +327,49 @@ if.end:                                           ; preds = %entry
   ret void
 }
 
+define void @test.not.uge.uge.nonconst(i8* %start, i8* %low, i8* %high, i64 %off) {
+; CHECK-LABEL: @test.not.uge.uge.nonconst(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[ADD_PTR_I:%.*]] = getelementptr inbounds i8, i8* [[START:%.*]], i64 [[OFF:%.*]]
+; CHECK-NEXT:    [[C_1:%.*]] = icmp uge i8* [[ADD_PTR_I]], [[HIGH:%.*]]
+; CHECK-NEXT:    br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK:       if.then:
+; CHECK-NEXT:    [[START_OFF_2:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 [[OFF]]
+; CHECK-NEXT:    [[T_0:%.*]] = icmp uge i8* [[START_OFF_2]], [[HIGH]]
+; CHECK-NEXT:    call void @use(i1 [[T_0]])
+; CHECK-NEXT:    ret void
+; CHECK:       if.end:
+; CHECK-NEXT:    [[START_1:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 1
+; CHECK-NEXT:    [[C_0:%.*]] = icmp uge i8* [[START_1]], [[HIGH]]
+; CHECK-NEXT:    call void @use(i1 [[C_0]])
+; CHECK-NEXT:    [[START_OFF:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 [[OFF]]
+; CHECK-NEXT:    [[F_0:%.*]] = icmp uge i8* [[START_OFF]], [[HIGH]]
+; CHECK-NEXT:    call void @use(i1 [[F_0]])
+; CHECK-NEXT:    ret void
+;
+entry:
+  %add.ptr.i = getelementptr inbounds i8, i8* %start, i64 %off
+  %c.1 = icmp uge i8* %add.ptr.i, %high
+  br i1 %c.1, label %if.then, label %if.end
+
+if.then:                                          ; preds = %entry
+  %start.off.2 = getelementptr inbounds i8, i8* %start, i64 %off
+  %t.0 = icmp uge i8* %start.off.2, %high
+  call void @use(i1 %t.0)
+
+  ret void
+
+if.end:                                           ; preds = %entry
+  %start.1 = getelementptr inbounds i8, i8* %start, i64 1
+  %c.0 = icmp uge i8* %start.1, %high
+  call void @use(i1 %c.0)
+
+  %start.off = getelementptr inbounds i8, i8* %start, i64 %off
+  %f.0 = icmp uge i8* %start.off, %high
+  call void @use(i1 %f.0)
+
+  ret void
+}
 
 declare void @use(i1)
 declare void @llvm.trap()