[llvm] 49d6e3e - [ConstraintElimination] Add tests with signed predicates and GEPs.
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Wed Feb 2 07:56:47 PST 2022
Author: Florian Hahn
Date: 2022-02-02T15:56:24Z
New Revision: 49d6e3eb332d0cf4a312eaf7a25e1fb72c0d447d
URL: https://github.com/llvm/llvm-project/commit/49d6e3eb332d0cf4a312eaf7a25e1fb72c0d447d
DIFF: https://github.com/llvm/llvm-project/commit/49d6e3eb332d0cf4a312eaf7a25e1fb72c0d447d.diff
LOG: [ConstraintElimination] Add tests with signed predicates and GEPs.
Added:
llvm/test/Transforms/ConstraintElimination/geps-signed-predicates.ll
llvm/test/Transforms/ConstraintElimination/geps-unsigned-predicates.ll
Modified:
Removed:
llvm/test/Transforms/ConstraintElimination/geps.ll
################################################################################
diff --git a/llvm/test/Transforms/ConstraintElimination/geps-signed-predicates.ll b/llvm/test/Transforms/ConstraintElimination/geps-signed-predicates.ll
new file mode 100644
index 0000000000000..5b1e9d7be1bf8
--- /dev/null
+++ b/llvm/test/Transforms/ConstraintElimination/geps-signed-predicates.ll
@@ -0,0 +1,702 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
+
+define i32 @test.slt(i32* readonly %src, i32* readnone %min, i32* readnone %max) {
+; CHECK-LABEL: @test.slt(
+; CHECK-NEXT: check.0.min:
+; CHECK-NEXT: [[C_MIN_0:%.*]] = icmp slt i32* [[SRC:%.*]], [[MIN:%.*]]
+; CHECK-NEXT: br i1 [[C_MIN_0]], label [[TRAP:%.*]], label [[CHECK_0_MAX:%.*]]
+; CHECK: trap:
+; CHECK-NEXT: ret i32 10
+; CHECK: check.0.max:
+; CHECK-NEXT: [[C_MAX_0:%.*]] = icmp slt i32* [[SRC]], [[MAX:%.*]]
+; CHECK-NEXT: br i1 [[C_MAX_0]], label [[CHECK_3_MIN:%.*]], label [[TRAP]]
+; CHECK: check.3.min:
+; CHECK-NEXT: [[L0:%.*]] = load i32, i32* [[SRC]], align 4
+; CHECK-NEXT: [[ADD_PTR_I36:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i64 3
+; CHECK-NEXT: [[C_3_MIN:%.*]] = icmp slt i32* [[ADD_PTR_I36]], [[MIN]]
+; CHECK-NEXT: br i1 [[C_3_MIN]], label [[TRAP]], label [[CHECK_3_MAX:%.*]]
+; CHECK: check.3.max:
+; CHECK-NEXT: [[C_3_MAX:%.*]] = icmp slt i32* [[ADD_PTR_I36]], [[MAX]]
+; CHECK-NEXT: br i1 [[C_3_MAX]], label [[CHECK_1_MIN:%.*]], label [[TRAP]]
+; CHECK: check.1.min:
+; CHECK-NEXT: [[L1:%.*]] = load i32, i32* [[ADD_PTR_I36]], align 4
+; CHECK-NEXT: [[ADD_PTR_I29:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i64 1
+; CHECK-NEXT: [[C_1_MIN:%.*]] = icmp slt i32* [[ADD_PTR_I29]], [[MIN]]
+; CHECK-NEXT: br i1 [[C_1_MIN]], label [[TRAP]], label [[CHECK_1_MAX:%.*]]
+; CHECK: check.1.max:
+; CHECK-NEXT: [[C_1_MAX:%.*]] = icmp slt i32* [[ADD_PTR_I29]], [[MAX]]
+; CHECK-NEXT: br i1 [[C_1_MAX]], label [[CHECK_2_MIN:%.*]], label [[TRAP]]
+; CHECK: check.2.min:
+; CHECK-NEXT: [[L2:%.*]] = load i32, i32* [[ADD_PTR_I29]], align 4
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i64 2
+; CHECK-NEXT: [[C_2_MIN:%.*]] = icmp slt i32* [[ADD_PTR_I]], [[MIN]]
+; CHECK-NEXT: br i1 [[C_2_MIN]], label [[TRAP]], label [[CHECK_2_MAX:%.*]]
+; CHECK: check.2.max:
+; CHECK-NEXT: [[C_2_MAX:%.*]] = icmp slt i32* [[ADD_PTR_I]], [[MAX]]
+; CHECK-NEXT: br i1 [[C_2_MAX]], label [[EXIT:%.*]], label [[TRAP]]
+; CHECK: exit:
+; CHECK-NEXT: [[L3:%.*]] = load i32, i32* [[ADD_PTR_I]], align 4
+; CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[L1]], [[L0]]
+; CHECK-NEXT: [[ADD8:%.*]] = add nsw i32 [[ADD]], [[L2]]
+; CHECK-NEXT: [[ADD9:%.*]] = add nsw i32 [[ADD8]], [[L3]]
+; CHECK-NEXT: ret i32 [[ADD9]]
+;
+check.0.min:
+ %c.min.0 = icmp slt i32* %src, %min
+ br i1 %c.min.0, label %trap, label %check.0.max
+
+trap: ; preds = %check.2.max, %check.2.min, %check.1.max, %check.1.min, %check.3.max, %check.3.min, %check.0.max, %check.0.min
+ ret i32 10
+
+check.0.max: ; preds = %check.0.min
+ %c.max.0 = icmp slt i32* %src, %max
+ br i1 %c.max.0, label %check.3.min, label %trap
+
+check.3.min: ; preds = %check.0.max
+ %l0 = load i32, i32* %src, align 4
+ %add.ptr.i36 = getelementptr inbounds i32, i32* %src, i64 3
+ %c.3.min = icmp slt i32* %add.ptr.i36, %min
+ br i1 %c.3.min, label %trap, label %check.3.max
+
+check.3.max: ; preds = %check.3.min
+ %c.3.max = icmp slt i32* %add.ptr.i36, %max
+ br i1 %c.3.max, label %check.1.min, label %trap
+
+check.1.min: ; preds = %check.3.max
+ %l1 = load i32, i32* %add.ptr.i36, align 4
+ %add.ptr.i29 = getelementptr inbounds i32, i32* %src, i64 1
+ %c.1.min = icmp slt i32* %add.ptr.i29, %min
+ br i1 %c.1.min, label %trap, label %check.1.max
+
+check.1.max: ; preds = %check.1.min
+ %c.1.max = icmp slt i32* %add.ptr.i29, %max
+ br i1 %c.1.max, label %check.2.min, label %trap
+
+check.2.min: ; preds = %check.1.max
+ %l2 = load i32, i32* %add.ptr.i29, align 4
+ %add.ptr.i = getelementptr inbounds i32, i32* %src, i64 2
+ %c.2.min = icmp slt i32* %add.ptr.i, %min
+ br i1 %c.2.min, label %trap, label %check.2.max
+
+check.2.max: ; preds = %check.2.min
+ %c.2.max = icmp slt i32* %add.ptr.i, %max
+ br i1 %c.2.max, label %exit, label %trap
+
+exit: ; preds = %check.2.max
+ %l3 = load i32, i32* %add.ptr.i, align 4
+ %add = add nsw i32 %l1, %l0
+ %add8 = add nsw i32 %add, %l2
+ %add9 = add nsw i32 %add8, %l3
+ ret i32 %add9
+}
+
+; Same as test.slt, but without inbounds.
+define i32 @test.slt_no_inbounds(i32* readonly %src, i32* readnone %min, i32* readnone %max) {
+; CHECK-LABEL: @test.slt_no_inbounds(
+; CHECK-NEXT: check.0.min:
+; CHECK-NEXT: [[C_MIN_0:%.*]] = icmp slt i32* [[SRC:%.*]], [[MIN:%.*]]
+; CHECK-NEXT: br i1 [[C_MIN_0]], label [[TRAP:%.*]], label [[CHECK_0_MAX:%.*]]
+; CHECK: trap:
+; CHECK-NEXT: ret i32 10
+; CHECK: check.0.max:
+; CHECK-NEXT: [[C_MAX_0:%.*]] = icmp slt i32* [[SRC]], [[MAX:%.*]]
+; CHECK-NEXT: br i1 [[C_MAX_0]], label [[CHECK_3_MIN:%.*]], label [[TRAP]]
+; CHECK: check.3.min:
+; CHECK-NEXT: [[L0:%.*]] = load i32, i32* [[SRC]], align 4
+; CHECK-NEXT: [[ADD_PTR_I36:%.*]] = getelementptr i32, i32* [[SRC]], i64 3
+; CHECK-NEXT: [[C_3_MIN:%.*]] = icmp slt i32* [[ADD_PTR_I36]], [[MIN]]
+; CHECK-NEXT: br i1 [[C_3_MIN]], label [[TRAP]], label [[CHECK_3_MAX:%.*]]
+; CHECK: check.3.max:
+; CHECK-NEXT: [[C_3_MAX:%.*]] = icmp slt i32* [[ADD_PTR_I36]], [[MAX]]
+; CHECK-NEXT: br i1 [[C_3_MAX]], label [[CHECK_1_MIN:%.*]], label [[TRAP]]
+; CHECK: check.1.min:
+; CHECK-NEXT: [[L1:%.*]] = load i32, i32* [[ADD_PTR_I36]], align 4
+; CHECK-NEXT: [[ADD_PTR_I29:%.*]] = getelementptr i32, i32* [[SRC]], i64 1
+; CHECK-NEXT: [[C_1_MIN:%.*]] = icmp slt i32* [[ADD_PTR_I29]], [[MIN]]
+; CHECK-NEXT: br i1 [[C_1_MIN]], label [[TRAP]], label [[CHECK_1_MAX:%.*]]
+; CHECK: check.1.max:
+; CHECK-NEXT: [[C_1_MAX:%.*]] = icmp slt i32* [[ADD_PTR_I29]], [[MAX]]
+; CHECK-NEXT: br i1 [[C_1_MAX]], label [[CHECK_2_MIN:%.*]], label [[TRAP]]
+; CHECK: check.2.min:
+; CHECK-NEXT: [[L2:%.*]] = load i32, i32* [[ADD_PTR_I29]], align 4
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr i32, i32* [[SRC]], i64 2
+; CHECK-NEXT: [[C_2_MIN:%.*]] = icmp slt i32* [[ADD_PTR_I]], [[MIN]]
+; CHECK-NEXT: br i1 [[C_2_MIN]], label [[TRAP]], label [[CHECK_2_MAX:%.*]]
+; CHECK: check.2.max:
+; CHECK-NEXT: [[C_2_MAX:%.*]] = icmp slt i32* [[ADD_PTR_I]], [[MAX]]
+; CHECK-NEXT: br i1 [[C_2_MAX]], label [[EXIT:%.*]], label [[TRAP]]
+; CHECK: exit:
+; CHECK-NEXT: [[L3:%.*]] = load i32, i32* [[ADD_PTR_I]], align 4
+; CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[L1]], [[L0]]
+; CHECK-NEXT: [[ADD8:%.*]] = add nsw i32 [[ADD]], [[L2]]
+; CHECK-NEXT: [[ADD9:%.*]] = add nsw i32 [[ADD8]], [[L3]]
+; CHECK-NEXT: ret i32 [[ADD9]]
+;
+check.0.min:
+ %c.min.0 = icmp slt i32* %src, %min
+ br i1 %c.min.0, label %trap, label %check.0.max
+
+trap: ; preds = %check.2.max, %check.2.min, %check.1.max, %check.1.min, %check.3.max, %check.3.min, %check.0.max, %check.0.min
+ ret i32 10
+
+check.0.max: ; preds = %check.0.min
+ %c.max.0 = icmp slt i32* %src, %max
+ br i1 %c.max.0, label %check.3.min, label %trap
+
+check.3.min: ; preds = %check.0.max
+ %l0 = load i32, i32* %src, align 4
+ %add.ptr.i36 = getelementptr i32, i32* %src, i64 3
+ %c.3.min = icmp slt i32* %add.ptr.i36, %min
+ br i1 %c.3.min, label %trap, label %check.3.max
+
+check.3.max: ; preds = %check.3.min
+ %c.3.max = icmp slt i32* %add.ptr.i36, %max
+ br i1 %c.3.max, label %check.1.min, label %trap
+
+check.1.min: ; preds = %check.3.max
+ %l1 = load i32, i32* %add.ptr.i36, align 4
+ %add.ptr.i29 = getelementptr i32, i32* %src, i64 1
+ %c.1.min = icmp slt i32* %add.ptr.i29, %min
+ br i1 %c.1.min, label %trap, label %check.1.max
+
+check.1.max: ; preds = %check.1.min
+ %c.1.max = icmp slt i32* %add.ptr.i29, %max
+ br i1 %c.1.max, label %check.2.min, label %trap
+
+check.2.min: ; preds = %check.1.max
+ %l2 = load i32, i32* %add.ptr.i29, align 4
+ %add.ptr.i = getelementptr i32, i32* %src, i64 2
+ %c.2.min = icmp slt i32* %add.ptr.i, %min
+ br i1 %c.2.min, label %trap, label %check.2.max
+
+check.2.max: ; preds = %check.2.min
+ %c.2.max = icmp slt i32* %add.ptr.i, %max
+ br i1 %c.2.max, label %exit, label %trap
+
+exit: ; preds = %check.2.max
+ %l3 = load i32, i32* %add.ptr.i, align 4
+ %add = add nsw i32 %l1, %l0
+ %add8 = add nsw i32 %add, %l2
+ %add9 = add nsw i32 %add8, %l3
+ ret i32 %add9
+}
+
+
+define void @test.not.sge.slt(i8* %start, i8* %low, i8* %high) {
+; CHECK-LABEL: @test.not.sge.slt(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds i8, i8* [[START:%.*]], i64 3
+; CHECK-NEXT: [[C_1:%.*]] = icmp sge i8* [[ADD_PTR_I]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: ret void
+; CHECK: if.end:
+; CHECK-NEXT: [[T_0:%.*]] = icmp slt i8* [[START]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[T_0]])
+; CHECK-NEXT: [[START_1:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 1
+; CHECK-NEXT: [[T_1:%.*]] = icmp slt i8* [[START_1]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[T_1]])
+; CHECK-NEXT: [[START_2:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 2
+; CHECK-NEXT: [[T_2:%.*]] = icmp slt i8* [[START_2]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[T_2]])
+; CHECK-NEXT: [[START_3:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 3
+; CHECK-NEXT: [[T_3:%.*]] = icmp slt i8* [[START_3]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[T_3]])
+; CHECK-NEXT: [[START_4:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 4
+; CHECK-NEXT: [[C_4:%.*]] = icmp slt i8* [[START_4]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_4]])
+; CHECK-NEXT: ret void
+;
+entry:
+ %add.ptr.i = getelementptr inbounds i8, i8* %start, i64 3
+ %c.1 = icmp sge i8* %add.ptr.i, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ ret void
+
+if.end: ; preds = %entry
+ %t.0 = icmp slt i8* %start, %high
+ call void @use(i1 %t.0)
+ %start.1 = getelementptr inbounds i8, i8* %start, i64 1
+ %t.1 = icmp slt i8* %start.1, %high
+ call void @use(i1 %t.1)
+ %start.2 = getelementptr inbounds i8, i8* %start, i64 2
+ %t.2 = icmp slt i8* %start.2, %high
+ call void @use(i1 %t.2)
+ %start.3 = getelementptr inbounds i8, i8* %start, i64 3
+ %t.3 = icmp slt i8* %start.3, %high
+ call void @use(i1 %t.3)
+ %start.4 = getelementptr inbounds i8, i8* %start, i64 4
+ %c.4 = icmp slt i8* %start.4, %high
+ call void @use(i1 %c.4)
+ ret void
+}
+
+; Same as test.not.sge.slt, but without inbounds GEPs.
+define void @test.not.sge.slt_no_inbounds(i8* %start, i8* %low, i8* %high) {
+; CHECK-LABEL: @test.not.sge.slt_no_inbounds(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr i8, i8* [[START:%.*]], i64 3
+; CHECK-NEXT: [[C_1:%.*]] = icmp sge i8* [[ADD_PTR_I]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: ret void
+; CHECK: if.end:
+; CHECK-NEXT: [[T_0:%.*]] = icmp slt i8* [[START]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[T_0]])
+; CHECK-NEXT: [[START_1:%.*]] = getelementptr i8, i8* [[START]], i64 1
+; CHECK-NEXT: [[T_1:%.*]] = icmp slt i8* [[START_1]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[T_1]])
+; CHECK-NEXT: [[START_2:%.*]] = getelementptr i8, i8* [[START]], i64 2
+; CHECK-NEXT: [[T_2:%.*]] = icmp slt i8* [[START_2]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[T_2]])
+; CHECK-NEXT: [[START_3:%.*]] = getelementptr i8, i8* [[START]], i64 3
+; CHECK-NEXT: [[T_3:%.*]] = icmp slt i8* [[START_3]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[T_3]])
+; CHECK-NEXT: [[START_4:%.*]] = getelementptr i8, i8* [[START]], i64 4
+; CHECK-NEXT: [[C_4:%.*]] = icmp slt i8* [[START_4]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_4]])
+; CHECK-NEXT: ret void
+;
+entry:
+ %add.ptr.i = getelementptr i8, i8* %start, i64 3
+ %c.1 = icmp sge i8* %add.ptr.i, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ ret void
+
+if.end: ; preds = %entry
+ %t.0 = icmp slt i8* %start, %high
+ call void @use(i1 %t.0)
+ %start.1 = getelementptr i8, i8* %start, i64 1
+ %t.1 = icmp slt i8* %start.1, %high
+ call void @use(i1 %t.1)
+ %start.2 = getelementptr i8, i8* %start, i64 2
+ %t.2 = icmp slt i8* %start.2, %high
+ call void @use(i1 %t.2)
+ %start.3 = getelementptr i8, i8* %start, i64 3
+ %t.3 = icmp slt i8* %start.3, %high
+ call void @use(i1 %t.3)
+ %start.4 = getelementptr i8, i8* %start, i64 4
+ %c.4 = icmp slt i8* %start.4, %high
+ call void @use(i1 %c.4)
+ ret void
+}
+
+define void @test.not.sge.sle(i8* %start, i8* %low, i8* %high) {
+; CHECK-LABEL: @test.not.sge.sle(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds i8, i8* [[START:%.*]], i64 3
+; CHECK-NEXT: [[C_1:%.*]] = icmp sge i8* [[ADD_PTR_I]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: ret void
+; CHECK: if.end:
+; CHECK-NEXT: [[T_0:%.*]] = icmp sle i8* [[START]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[T_0]])
+; CHECK-NEXT: [[START_1:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 1
+; CHECK-NEXT: [[T_1:%.*]] = icmp sle i8* [[START_1]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[T_1]])
+; CHECK-NEXT: [[START_2:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 2
+; CHECK-NEXT: [[T_2:%.*]] = icmp sle i8* [[START_2]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[T_2]])
+; CHECK-NEXT: [[START_3:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 3
+; CHECK-NEXT: [[T_3:%.*]] = icmp sle i8* [[START_3]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[T_3]])
+; CHECK-NEXT: [[START_4:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 4
+; CHECK-NEXT: [[T_4:%.*]] = icmp sle i8* [[START_4]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[T_4]])
+; CHECK-NEXT: [[START_5:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 5
+; CHECK-NEXT: [[C_5:%.*]] = icmp sle i8* [[START_5]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_5]])
+; CHECK-NEXT: ret void
+;
+entry:
+ %add.ptr.i = getelementptr inbounds i8, i8* %start, i64 3
+ %c.1 = icmp sge i8* %add.ptr.i, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ ret void
+
+if.end: ; preds = %entry
+ %t.0 = icmp sle i8* %start, %high
+ call void @use(i1 %t.0)
+ %start.1 = getelementptr inbounds i8, i8* %start, i64 1
+ %t.1 = icmp sle i8* %start.1, %high
+ call void @use(i1 %t.1)
+ %start.2 = getelementptr inbounds i8, i8* %start, i64 2
+ %t.2 = icmp sle i8* %start.2, %high
+ call void @use(i1 %t.2)
+ %start.3 = getelementptr inbounds i8, i8* %start, i64 3
+ %t.3 = icmp sle i8* %start.3, %high
+ call void @use(i1 %t.3)
+ %start.4 = getelementptr inbounds i8, i8* %start, i64 4
+ %t.4 = icmp sle i8* %start.4, %high
+ call void @use(i1 %t.4)
+
+ %start.5 = getelementptr inbounds i8, i8* %start, i64 5
+ %c.5 = icmp sle i8* %start.5, %high
+ call void @use(i1 %c.5)
+
+ ret void
+}
+
+define void @test.not.sge.sgt(i8* %start, i8* %low, i8* %high) {
+; CHECK-LABEL: @test.not.sge.sgt(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds i8, i8* [[START:%.*]], i64 3
+; CHECK-NEXT: [[C_1:%.*]] = icmp sge i8* [[ADD_PTR_I]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: ret void
+; CHECK: if.end:
+; CHECK-NEXT: [[F_0:%.*]] = icmp sgt i8* [[START]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[F_0]])
+; CHECK-NEXT: [[START_1:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 1
+; CHECK-NEXT: [[F_1:%.*]] = icmp sgt i8* [[START_1]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[F_1]])
+; CHECK-NEXT: [[START_2:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 2
+; CHECK-NEXT: [[F_2:%.*]] = icmp sgt i8* [[START_2]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[F_2]])
+; CHECK-NEXT: [[START_3:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 3
+; CHECK-NEXT: [[F_3:%.*]] = icmp sgt i8* [[START_3]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[F_3]])
+; CHECK-NEXT: [[START_4:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 4
+; CHECK-NEXT: [[F_4:%.*]] = icmp sgt i8* [[START_4]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[F_4]])
+; CHECK-NEXT: [[START_5:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 5
+; CHECK-NEXT: [[C_5:%.*]] = icmp sgt i8* [[START_5]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_5]])
+; CHECK-NEXT: ret void
+;
+entry:
+ %add.ptr.i = getelementptr inbounds i8, i8* %start, i64 3
+ %c.1 = icmp sge i8* %add.ptr.i, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ ret void
+
+if.end: ; preds = %entry
+ %f.0 = icmp sgt i8* %start, %high
+ call void @use(i1 %f.0)
+
+ %start.1 = getelementptr inbounds i8, i8* %start, i64 1
+ %f.1 = icmp sgt i8* %start.1, %high
+ call void @use(i1 %f.1)
+
+ %start.2 = getelementptr inbounds i8, i8* %start, i64 2
+ %f.2 = icmp sgt i8* %start.2, %high
+ call void @use(i1 %f.2)
+
+ %start.3 = getelementptr inbounds i8, i8* %start, i64 3
+ %f.3 = icmp sgt i8* %start.3, %high
+ call void @use(i1 %f.3)
+
+ %start.4 = getelementptr inbounds i8, i8* %start, i64 4
+ %f.4 = icmp sgt i8* %start.4, %high
+ call void @use(i1 %f.4)
+
+ %start.5 = getelementptr inbounds i8, i8* %start, i64 5
+ %c.5 = icmp sgt i8* %start.5, %high
+ call void @use(i1 %c.5)
+
+ ret void
+}
+
+define void @test.not.sge.sge(i8* %start, i8* %low, i8* %high) {
+; CHECK-LABEL: @test.not.sge.sge(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds i8, i8* [[START:%.*]], i64 3
+; CHECK-NEXT: [[C_1:%.*]] = icmp sge i8* [[ADD_PTR_I]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: ret void
+; CHECK: if.end:
+; CHECK-NEXT: [[F_0:%.*]] = icmp sgt i8* [[START]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[F_0]])
+; CHECK-NEXT: [[START_1:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 1
+; CHECK-NEXT: [[F_1:%.*]] = icmp sge i8* [[START_1]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[F_1]])
+; CHECK-NEXT: [[START_2:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 2
+; CHECK-NEXT: [[F_2:%.*]] = icmp sge i8* [[START_2]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[F_2]])
+; CHECK-NEXT: [[START_3:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 3
+; CHECK-NEXT: [[F_3:%.*]] = icmp sge i8* [[START_3]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[F_3]])
+; CHECK-NEXT: [[START_4:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 4
+; CHECK-NEXT: [[C_4:%.*]] = icmp sge i8* [[START_4]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_4]])
+; CHECK-NEXT: [[START_5:%.*]] = getelementptr inbounds i8, i8* [[START]], i64 5
+; CHECK-NEXT: [[C_5:%.*]] = icmp sge i8* [[START_5]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_5]])
+; CHECK-NEXT: ret void
+;
+entry:
+ %add.ptr.i = getelementptr inbounds i8, i8* %start, i64 3
+ %c.1 = icmp sge i8* %add.ptr.i, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ ret void
+
+if.end: ; preds = %entry
+ %f.0 = icmp sgt i8* %start, %high
+ call void @use(i1 %f.0)
+
+ %start.1 = getelementptr inbounds i8, i8* %start, i64 1
+ %f.1 = icmp sge i8* %start.1, %high
+ call void @use(i1 %f.1)
+
+ %start.2 = getelementptr inbounds i8, i8* %start, i64 2
+ %f.2 = icmp sge i8* %start.2, %high
+ call void @use(i1 %f.2)
+
+ %start.3 = getelementptr inbounds i8, i8* %start, i64 3
+ %f.3 = icmp sge i8* %start.3, %high
+ call void @use(i1 %f.3)
+
+ %start.4 = getelementptr inbounds i8, i8* %start, i64 4
+ %c.4 = icmp sge i8* %start.4, %high
+ call void @use(i1 %c.4)
+
+ %start.5 = getelementptr inbounds i8, i8* %start, i64 5
+ %c.5 = icmp sge i8* %start.5, %high
+ call void @use(i1 %c.5)
+
+ ret void
+}
+
+define void @test.not.sge.sge.nonconst(i8* %start, i8* %low, i8* %high, i8 %off) {
+; CHECK-LABEL: @test.not.sge.sge.nonconst(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds i8, i8* [[START:%.*]], i8 [[OFF:%.*]]
+; CHECK-NEXT: [[C_1:%.*]] = icmp sge 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]], i8 [[OFF]]
+; CHECK-NEXT: [[T_0:%.*]] = icmp sge 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 sge i8* [[START_1]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[START_OFF:%.*]] = getelementptr inbounds i8, i8* [[START]], i8 [[OFF]]
+; CHECK-NEXT: [[F_0:%.*]] = icmp sge 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, i8 %off
+ %c.1 = icmp sge 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, i8 %off
+ %t.0 = icmp sge 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 sge i8* %start.1, %high
+ call void @use(i1 %c.0)
+
+ %start.off = getelementptr inbounds i8, i8* %start, i8 %off
+ %f.0 = icmp sge i8* %start.off, %high
+ call void @use(i1 %f.0)
+
+ ret void
+}
+
+; Test which requires decomposing GEP %ptr, SHL().
+define void @test.slt.gep.shl(i32* readonly %src, i32* readnone %max, i8 %idx) {
+; CHECK-LABEL: @test.slt.gep.shl(
+; CHECK-NEXT: check.0.min:
+; CHECK-NEXT: [[ADD_10:%.*]] = getelementptr inbounds i32, i32* [[SRC:%.*]], i32 10
+; CHECK-NEXT: [[C_ADD_10_MAX:%.*]] = icmp sgt i32* [[ADD_10]], [[MAX:%.*]]
+; CHECK-NEXT: br i1 [[C_ADD_10_MAX]], label [[TRAP:%.*]], label [[CHECK_IDX:%.*]]
+; CHECK: trap:
+; CHECK-NEXT: ret void
+; CHECK: check.idx:
+; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[IDX:%.*]], 5
+; CHECK-NEXT: br i1 [[CMP]], label [[CHECK_MAX:%.*]], label [[TRAP]]
+; CHECK: check.max:
+; CHECK-NEXT: [[IDX_SHL_1:%.*]] = shl nuw i8 [[IDX]], 1
+; CHECK-NEXT: [[ADD_PTR_SHL_1:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i8 [[IDX_SHL_1]]
+; CHECK-NEXT: [[C_MAX_0:%.*]] = icmp slt i32* [[ADD_PTR_SHL_1]], [[MAX]]
+; CHECK-NEXT: call void @use(i1 [[C_MAX_0]])
+; CHECK-NEXT: [[IDX_SHL_2:%.*]] = shl nuw i8 [[IDX]], 2
+; CHECK-NEXT: [[ADD_PTR_SHL_2:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i8 [[IDX_SHL_2]]
+; CHECK-NEXT: [[C_MAX_1:%.*]] = icmp slt i32* [[ADD_PTR_SHL_2]], [[MAX]]
+; CHECK-NEXT: call void @use(i1 [[C_MAX_1]])
+; CHECK-NEXT: [[IDX_SHL_NOT_NUW:%.*]] = shl i8 [[IDX]], 1
+; CHECK-NEXT: [[ADD_PTR_SHL_NOT_NUW:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i8 [[IDX_SHL_NOT_NUW]]
+; CHECK-NEXT: [[C_MAX_2:%.*]] = icmp slt i32* [[ADD_PTR_SHL_NOT_NUW]], [[MAX]]
+; CHECK-NEXT: call void @use(i1 [[C_MAX_2]])
+; CHECK-NEXT: [[IDX_SHL_3:%.*]] = shl nuw i8 [[IDX]], 3
+; CHECK-NEXT: [[ADD_PTR_SHL_3:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i8 [[IDX_SHL_3]]
+; CHECK-NEXT: [[C_MAX_3:%.*]] = icmp slt i32* [[ADD_PTR_SHL_3]], [[MAX]]
+; CHECK-NEXT: call void @use(i1 [[C_MAX_3]])
+; CHECK-NEXT: ret void
+;
+check.0.min:
+ %add.10 = getelementptr inbounds i32, i32* %src, i32 10
+ %c.add.10.max = icmp sgt i32* %add.10, %max
+ br i1 %c.add.10.max, label %trap, label %check.idx
+
+trap:
+ ret void
+
+check.idx: ; preds = %check.0.min
+ %cmp = icmp slt i8 %idx, 5
+ br i1 %cmp, label %check.max, label %trap
+
+check.max: ; preds = %check.0.min
+ %idx.shl.1 = shl nuw i8 %idx, 1
+ %add.ptr.shl.1 = getelementptr inbounds i32, i32* %src, i8 %idx.shl.1
+ %c.max.0 = icmp slt i32* %add.ptr.shl.1, %max
+ call void @use(i1 %c.max.0)
+
+ %idx.shl.2 = shl nuw i8 %idx, 2
+ %add.ptr.shl.2 = getelementptr inbounds i32, i32* %src, i8 %idx.shl.2
+ %c.max.1 = icmp slt i32* %add.ptr.shl.2, %max
+ call void @use(i1 %c.max.1)
+
+ %idx.shl.not.nuw = shl i8 %idx, 1
+ %add.ptr.shl.not.nuw = getelementptr inbounds i32, i32* %src, i8 %idx.shl.not.nuw
+ %c.max.2 = icmp slt i32* %add.ptr.shl.not.nuw, %max
+ call void @use(i1 %c.max.2)
+
+ %idx.shl.3 = shl nuw i8 %idx, 3
+ %add.ptr.shl.3 = getelementptr inbounds i32, i32* %src, i8 %idx.shl.3
+ %c.max.3 = icmp slt i32* %add.ptr.shl.3, %max
+ call void @use(i1 %c.max.3)
+
+ ret void
+}
+
+; Test which requires decomposing GEP %ptr, ZEXT(SHL()).
+define void @test.slt.gep.shl.zext(i32* readonly %src, i32* readnone %max, i32 %idx, i32 %j) {
+; CHECK-LABEL: @test.slt.gep.shl.zext(
+; CHECK-NEXT: check.0.min:
+; CHECK-NEXT: [[ADD_10:%.*]] = getelementptr inbounds i32, i32* [[SRC:%.*]], i32 10
+; CHECK-NEXT: [[C_ADD_10_MAX:%.*]] = icmp sgt i32* [[ADD_10]], [[MAX:%.*]]
+; CHECK-NEXT: br i1 [[C_ADD_10_MAX]], label [[TRAP:%.*]], label [[CHECK_IDX:%.*]]
+; CHECK: trap:
+; CHECK-NEXT: ret void
+; CHECK: check.idx:
+; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[IDX:%.*]], 5
+; CHECK-NEXT: br i1 [[CMP]], label [[CHECK_MAX:%.*]], label [[TRAP]]
+; CHECK: check.max:
+; CHECK-NEXT: [[IDX_SHL:%.*]] = shl nuw i32 [[IDX]], 1
+; CHECK-NEXT: [[EXT_1:%.*]] = zext i32 [[IDX_SHL]] to i64
+; CHECK-NEXT: [[ADD_PTR_SHL:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i64 [[EXT_1]]
+; CHECK-NEXT: [[C_MAX_0:%.*]] = icmp slt i32* [[ADD_PTR_SHL]], [[MAX]]
+; CHECK-NEXT: call void @use(i1 [[C_MAX_0]])
+; CHECK-NEXT: [[IDX_SHL_NOT_NUW:%.*]] = shl i32 [[IDX]], 1
+; CHECK-NEXT: [[EXT_2:%.*]] = zext i32 [[IDX_SHL_NOT_NUW]] to i64
+; CHECK-NEXT: [[ADD_PTR_SHL_NOT_NUW:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i64 [[EXT_2]]
+; CHECK-NEXT: [[C_MAX_1:%.*]] = icmp slt i32* [[ADD_PTR_SHL_NOT_NUW]], [[MAX]]
+; CHECK-NEXT: call void @use(i1 [[C_MAX_1]])
+; CHECK-NEXT: [[IDX_SHL_3:%.*]] = shl nuw i32 [[IDX]], 2
+; CHECK-NEXT: [[EXT_3:%.*]] = zext i32 [[IDX_SHL_3]] to i64
+; CHECK-NEXT: [[ADD_PTR_SHL_3:%.*]] = getelementptr inbounds i32, i32* [[SRC]], i64 [[EXT_3]]
+; CHECK-NEXT: [[C_MAX_2:%.*]] = icmp slt i32* [[ADD_PTR_SHL_3]], [[MAX]]
+; CHECK-NEXT: call void @use(i1 [[C_MAX_2]])
+; CHECK-NEXT: ret void
+;
+check.0.min:
+ %add.10 = getelementptr inbounds i32, i32* %src, i32 10
+ %c.add.10.max = icmp sgt i32* %add.10, %max
+ br i1 %c.add.10.max, label %trap, label %check.idx
+
+trap:
+ ret void
+
+check.idx: ; preds = %check.0.min
+ %cmp = icmp slt i32 %idx, 5
+ br i1 %cmp, label %check.max, label %trap
+
+check.max: ; preds = %check.0.min
+ %idx.shl = shl nuw i32 %idx, 1
+ %ext.1 = zext i32 %idx.shl to i64
+ %add.ptr.shl = getelementptr inbounds i32, i32* %src, i64 %ext.1
+ %c.max.0 = icmp slt i32* %add.ptr.shl, %max
+ call void @use(i1 %c.max.0)
+
+ %idx.shl.not.nuw = shl i32 %idx, 1
+ %ext.2 = zext i32 %idx.shl.not.nuw to i64
+ %add.ptr.shl.not.nuw = getelementptr inbounds i32, i32* %src, i64 %ext.2
+ %c.max.1 = icmp slt i32* %add.ptr.shl.not.nuw, %max
+ call void @use(i1 %c.max.1)
+
+ %idx.shl.3 = shl nuw i32 %idx, 2
+ %ext.3 = zext i32 %idx.shl.3 to i64
+ %add.ptr.shl.3 = getelementptr inbounds i32, i32* %src, i64 %ext.3
+ %c.max.2 = icmp slt i32* %add.ptr.shl.3, %max
+ call void @use(i1 %c.max.2)
+
+ ret void
+}
+
+; Make sure non-constant shift amounts are handled correctly.
+define i1 @test.slt.gep.shl.nonconst.zext(i16 %B, i16* readonly %src, i16* readnone %max, i16 %idx, i16 %j) {
+; CHECK-LABEL: @test.slt.gep.shl.nonconst.zext(
+; CHECK-NEXT: check.0.min:
+; CHECK-NEXT: [[ADD_10:%.*]] = getelementptr inbounds i16, i16* [[SRC:%.*]], i16 10
+; CHECK-NEXT: [[C_ADD_10_MAX:%.*]] = icmp sgt i16* [[ADD_10]], [[MAX:%.*]]
+; CHECK-NEXT: br i1 [[C_ADD_10_MAX]], label [[EXIT_1:%.*]], label [[CHECK_IDX:%.*]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret i1 true
+; CHECK: check.idx:
+; CHECK-NEXT: [[CMP:%.*]] = icmp slt i16 [[IDX:%.*]], 5
+; CHECK-NEXT: br i1 [[CMP]], label [[CHECK_MAX:%.*]], label [[TRAP:%.*]]
+; CHECK: check.max:
+; CHECK-NEXT: [[IDX_SHL:%.*]] = shl nuw i16 [[IDX]], [[B:%.*]]
+; CHECK-NEXT: [[EXT:%.*]] = zext i16 [[IDX_SHL]] to i64
+; CHECK-NEXT: [[ADD_PTR_SHL:%.*]] = getelementptr inbounds i16, i16* [[SRC]], i64 [[EXT]]
+; CHECK-NEXT: [[C_MAX:%.*]] = icmp slt i16* [[ADD_PTR_SHL]], [[MAX]]
+; CHECK-NEXT: ret i1 [[C_MAX]]
+; CHECK: trap:
+; CHECK-NEXT: [[IDX_SHL_1:%.*]] = shl nuw i16 [[IDX]], [[B]]
+; CHECK-NEXT: [[EXT_1:%.*]] = zext i16 [[IDX_SHL_1]] to i64
+; CHECK-NEXT: [[ADD_PTR_SHL_1:%.*]] = getelementptr inbounds i16, i16* [[SRC]], i64 [[EXT_1]]
+; CHECK-NEXT: [[C_MAX_1:%.*]] = icmp slt i16* [[ADD_PTR_SHL_1]], [[MAX]]
+; CHECK-NEXT: ret i1 [[C_MAX_1]]
+;
+check.0.min:
+ %add.10 = getelementptr inbounds i16, i16* %src, i16 10
+ %c.add.10.max = icmp sgt i16* %add.10, %max
+ br i1 %c.add.10.max, label %exit.1, label %check.idx
+
+exit.1:
+ ret i1 true
+
+
+check.idx: ; preds = %check.0.min
+ %cmp = icmp slt i16 %idx, 5
+ br i1 %cmp, label %check.max, label %trap
+
+check.max: ; preds = %check.idx
+ %idx.shl = shl nuw i16 %idx, %B
+ %ext = zext i16 %idx.shl to i64
+ %add.ptr.shl = getelementptr inbounds i16, i16* %src, i64 %ext
+ %c.max = icmp slt i16* %add.ptr.shl, %max
+ ret i1 %c.max
+
+trap: ; preds = %check.idx, %check.0.min
+ %idx.shl.1 = shl nuw i16 %idx, %B
+ %ext.1 = zext i16 %idx.shl.1 to i64
+ %add.ptr.shl.1 = getelementptr inbounds i16, i16* %src, i64 %ext.1
+ %c.max.1 = icmp slt i16* %add.ptr.shl.1, %max
+ ret i1 %c.max.1
+}
+
+declare void @use(i1)
diff --git a/llvm/test/Transforms/ConstraintElimination/geps.ll b/llvm/test/Transforms/ConstraintElimination/geps-unsigned-predicates.ll
similarity index 100%
rename from llvm/test/Transforms/ConstraintElimination/geps.ll
rename to llvm/test/Transforms/ConstraintElimination/geps-unsigned-predicates.ll
More information about the llvm-commits
mailing list