[llvm] cb3b5f0 - [ConstraintElimination] Add multi-dimension GEP tests.
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Mon Mar 22 03:37:45 PDT 2021
Author: Florian Hahn
Date: 2021-03-22T10:37:12Z
New Revision: cb3b5f0770aac3f6cd66edcaa70403501d0758df
URL: https://github.com/llvm/llvm-project/commit/cb3b5f0770aac3f6cd66edcaa70403501d0758df
DIFF: https://github.com/llvm/llvm-project/commit/cb3b5f0770aac3f6cd66edcaa70403501d0758df.diff
LOG: [ConstraintElimination] Add multi-dimension GEP tests.
Add a set of interesting test cases with multi-dimensional GEPs for
upcoming patches.
Added:
llvm/test/Transforms/ConstraintElimination/geps-pointers-to-arrays.ll
llvm/test/Transforms/ConstraintElimination/geps-pointers-to-structs.ll
Modified:
Removed:
llvm/test/Transforms/ConstraintElimination/geps.2d.ll
################################################################################
diff --git a/llvm/test/Transforms/ConstraintElimination/geps-pointers-to-arrays.ll b/llvm/test/Transforms/ConstraintElimination/geps-pointers-to-arrays.ll
new file mode 100644
index 000000000000..fe4d3b83a6d8
--- /dev/null
+++ b/llvm/test/Transforms/ConstraintElimination/geps-pointers-to-arrays.ll
@@ -0,0 +1,254 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -constraint-elimination -S %s | FileCheck %s
+
+define void @pointer.to.array.test.ult.true.due.to.first.dimension([10 x i8]* %start, i8* %high) {
+; CHECK-LABEL: @pointer.to.array.test.ult.true.due.to.first.dimension(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START:%.*]], i64 9, i64 3
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR_I]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 5, i64 0
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: ret void
+; CHECK: if.end:
+; CHECK-NEXT: ret void
+;
+entry:
+ %add.ptr.i = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 9, i64 3
+ %c.1 = icmp ule i8* %add.ptr.i, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %start.0 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 5, i64 0
+ %c.0 = icmp ult i8* %start.0, %high
+ call void @use(i1 %c.0)
+
+ ret void
+
+if.end: ; preds = %entry
+ ret void
+}
+
+define void @pointer.to.array.test.ult.unknown.due.to.first.dimension([10 x i8]* %start, i8* %high) {
+; CHECK-LABEL: @pointer.to.array.test.ult.unknown.due.to.first.dimension(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START:%.*]], i64 5, i64 3
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR_I]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 10, i64 0
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: ret void
+; CHECK: if.end:
+; CHECK-NEXT: ret void
+;
+entry:
+ %add.ptr.i = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 5, i64 3
+ %c.1 = icmp ule i8* %add.ptr.i, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %start.0 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 10, i64 0
+ %c.0 = icmp ult i8* %start.0, %high
+ call void @use(i1 %c.0)
+
+ ret void
+
+if.end: ; preds = %entry
+ ret void
+}
+
+define void @pointer.to.array.test.ult.true.due.to.second.dimension([10 x i8]* %start, i8* %high) {
+; CHECK-LABEL: @pointer.to.array.test.ult.true.due.to.second.dimension(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START:%.*]], i64 5, i64 1
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR_I]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 5, i64 0
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: ret void
+; CHECK: if.end:
+; CHECK-NEXT: ret void
+;
+entry:
+ %add.ptr.i = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 5, i64 1
+ %c.1 = icmp ule i8* %add.ptr.i, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %start.0 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 5, i64 0
+ %c.0 = icmp ult i8* %start.0, %high
+ call void @use(i1 %c.0)
+
+ ret void
+
+if.end: ; preds = %entry
+ ret void
+}
+
+define void @pointer.to.array.test.ult.unknown.to.second.dimension([10 x i8]* %start, i8* %high) {
+; CHECK-LABEL: @pointer.to.array.test.ult.unknown.to.second.dimension(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START:%.*]], i64 5, i64 0
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR_I]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 5, i64 1
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: ret void
+; CHECK: if.end:
+; CHECK-NEXT: ret void
+;
+entry:
+ %add.ptr.i = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 5, i64 0
+ %c.1 = icmp ule i8* %add.ptr.i, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %start.0 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 5, i64 1
+ %c.0 = icmp ult i8* %start.0, %high
+ call void @use(i1 %c.0)
+
+ ret void
+
+if.end: ; preds = %entry
+ ret void
+}
+
+define void @pointer.to.array.test.not.uge.ult([10 x i8]* %start, i8* %high) {
+; CHECK-LABEL: @pointer.to.array.test.not.uge.ult(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START:%.*]], i64 1, i64 3
+; 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: ret void
+; CHECK: if.end:
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 10, i64 0
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: ret void
+;
+entry:
+ %add.ptr.i = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 1, i64 3
+ %c.1 = icmp uge 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
+ %start.0 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 10, i64 0
+ %c.0 = icmp ult i8* %start.0, %high
+ call void @use(i1 %c.0)
+ ret void
+}
+
+define void @pointer.to.array.test.not.uge.ule([10 x i8]* %start, i8* %high) {
+; CHECK-LABEL: @pointer.to.array.test.not.uge.ule(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START:%.*]], i64 1, i64 3
+; CHECK-NEXT: [[C:%.*]] = icmp uge i8* [[ADD_PTR_I]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: ret void
+; CHECK: if.end:
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 10, i64 0
+; CHECK-NEXT: [[C_0:%.*]] = icmp ule i8* [[START_0]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[START_1:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 2, i64 1
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[START_1]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_1]])
+; CHECK-NEXT: ret void
+;
+entry:
+ %add.ptr.i = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 1, i64 3
+ %c = icmp uge i8* %add.ptr.i, %high
+ br i1 %c, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ ret void
+
+if.end: ; preds = %entry
+ %start.0 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 10, i64 0
+ %c.0 = icmp ule i8* %start.0, %high
+ call void @use(i1 %c.0)
+ %start.1 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 2, i64 1
+ %c.1 = icmp ule i8* %start.1, %high
+ call void @use(i1 %c.1)
+ ret void
+}
+
+define void @pointer.to.array.test.not.uge.ugt([10 x i8]* %start, i8* %high) {
+; CHECK-LABEL: @pointer.to.array.test.not.uge.ugt(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START:%.*]], i64 1, i64 3
+; CHECK-NEXT: [[C:%.*]] = icmp uge i8* [[ADD_PTR_I]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: ret void
+; CHECK: if.end:
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 3, i64 0
+; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8* [[START_0]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[START_1:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 3, i64 1
+; CHECK-NEXT: [[C_1:%.*]] = icmp ugt i8* [[START_1]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_1]])
+; CHECK-NEXT: ret void
+;
+entry:
+ %add.ptr.i = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 1, i64 3
+ %c = icmp uge i8* %add.ptr.i, %high
+ br i1 %c, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ ret void
+
+if.end: ; preds = %entry
+ %start.0 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 3, i64 0
+ %c.0 = icmp ugt i8* %start.0, %high
+ call void @use(i1 %c.0)
+
+ %start.1 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 3, i64 1
+ %c.1 = icmp ugt i8* %start.1, %high
+ call void @use(i1 %c.1)
+ ret void
+}
+
+define void @pointer.to.array.test.not.uge.uge([10 x i8]* %start, i8* %high) {
+; CHECK-LABEL: @pointer.to.array.test.not.uge.uge(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START:%.*]], i64 1, i64 3
+; 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: ret void
+; CHECK: if.end:
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 3, i64 0
+; CHECK-NEXT: [[C_0:%.*]] = icmp uge i8* [[START_0]], [[HIGH]]
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: ret void
+;
+entry:
+ %add.ptr.i = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 1, i64 3
+ %c.1 = icmp uge 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
+ %start.0 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 3, i64 0
+ %c.0 = icmp uge i8* %start.0, %high
+ call void @use(i1 %c.0)
+
+ ret void
+}
+
+declare void @use(i1)
diff --git a/llvm/test/Transforms/ConstraintElimination/geps-pointers-to-structs.ll b/llvm/test/Transforms/ConstraintElimination/geps-pointers-to-structs.ll
new file mode 100644
index 000000000000..750293b8c26a
--- /dev/null
+++ b/llvm/test/Transforms/ConstraintElimination/geps-pointers-to-structs.ll
@@ -0,0 +1,437 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -constraint-elimination -S %s | FileCheck %s
+
+%struct.1 = type { i32, i64, i8 }
+
+define i1 @test.ult.true.due.to.first.dimension(%struct.1* %start, i8* %high) {
+; CHECK-LABEL: @test.ult.true.due.to.first.dimension(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], %struct.1* [[START:%.*]], i64 6, i32 0
+; CHECK-NEXT: [[ADD_PTR_CAST:%.*]] = bitcast i32* [[ADD_PTR]] to i8*
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR_CAST]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], %struct.1* [[START]], i64 5, i32 0
+; CHECK-NEXT: [[START_0_CAST:%.*]] = bitcast i32* [[START_0]] to i8*
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0_CAST]], [[HIGH]]
+; CHECK-NEXT: ret i1 [[C_0]]
+; CHECK: if.end:
+; CHECK-NEXT: ret i1 true
+;
+entry:
+ %add.ptr = getelementptr inbounds %struct.1, %struct.1* %start, i64 6, i32 0
+ %add.ptr.cast = bitcast i32* %add.ptr to i8*
+ %c.1 = icmp ule i8* %add.ptr.cast, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %start.0 = getelementptr inbounds %struct.1, %struct.1* %start, i64 5, i32 0
+ %start.0.cast = bitcast i32* %start.0 to i8*
+ %c.0 = icmp ult i8* %start.0.cast, %high
+ ret i1 %c.0
+
+if.end: ; preds = %entry
+ ret i1 1
+}
+
+define i1 @test.ult.true.due.to.first.dimension.var.index.0(%struct.1* %start, i8* %high, i32 %idx) {
+; CHECK-LABEL: @test.ult.true.due.to.first.dimension.var.index.0(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[IDX_EXT_PLUS_1:%.*]] = add nuw nsw i32 [[IDX:%.*]], 1
+; CHECK-NEXT: [[IDX_EXT_PLUS_1_EXT:%.*]] = zext i32 [[IDX_EXT_PLUS_1]] to i64
+; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], %struct.1* [[START:%.*]], i64 [[IDX_EXT_PLUS_1_EXT]], i32 0
+; CHECK-NEXT: [[ADD_PTR_CAST:%.*]] = bitcast i32* [[ADD_PTR]] to i8*
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR_CAST]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i32 [[IDX]] to i64
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], %struct.1* [[START]], i64 [[IDX_EXT]], i32 0
+; CHECK-NEXT: [[START_0_CAST:%.*]] = bitcast i32* [[START_0]] to i8*
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0_CAST]], [[HIGH]]
+; CHECK-NEXT: ret i1 [[C_0]]
+; CHECK: if.end:
+; CHECK-NEXT: ret i1 true
+;
+entry:
+ %idx.ext.plus.1 = add nuw nsw i32 %idx, 1
+ %idx.ext.plus.1.ext = zext i32 %idx.ext.plus.1 to i64
+ %add.ptr = getelementptr inbounds %struct.1, %struct.1* %start, i64 %idx.ext.plus.1.ext, i32 0
+ %add.ptr.cast = bitcast i32* %add.ptr to i8*
+ %c.1 = icmp ule i8* %add.ptr.cast, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %idx.ext = zext i32 %idx to i64
+ %start.0 = getelementptr inbounds %struct.1, %struct.1* %start, i64 %idx.ext, i32 0
+ %start.0.cast = bitcast i32* %start.0 to i8*
+ %c.0 = icmp ult i8* %start.0.cast, %high
+ ret i1 %c.0
+
+if.end: ; preds = %entry
+ ret i1 1
+}
+
+define i1 @test.ult.true.due.to.first.dimension.var.index.1(%struct.1* %start, i8* %high, i32 %idx) {
+; CHECK-LABEL: @test.ult.true.due.to.first.dimension.var.index.1(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[IDX_EXT_PLUS_1:%.*]] = add nuw nsw i32 [[IDX:%.*]], 1
+; CHECK-NEXT: [[IDX_EXT_PLUS_1_EXT:%.*]] = zext i32 [[IDX_EXT_PLUS_1]] to i64
+; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], %struct.1* [[START:%.*]], i64 [[IDX_EXT_PLUS_1_EXT]], i32 0
+; CHECK-NEXT: [[ADD_PTR_CAST:%.*]] = bitcast i32* [[ADD_PTR]] to i8*
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR_CAST]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i32 [[IDX]] to i64
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], %struct.1* [[START]], i64 [[IDX_EXT]], i32 1
+; CHECK-NEXT: [[START_0_CAST:%.*]] = bitcast i64* [[START_0]] to i8*
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0_CAST]], [[HIGH]]
+; CHECK-NEXT: ret i1 [[C_0]]
+; CHECK: if.end:
+; CHECK-NEXT: ret i1 true
+;
+entry:
+ %idx.ext.plus.1 = add nuw nsw i32 %idx, 1
+ %idx.ext.plus.1.ext = zext i32 %idx.ext.plus.1 to i64
+ %add.ptr = getelementptr inbounds %struct.1, %struct.1* %start, i64 %idx.ext.plus.1.ext, i32 0
+ %add.ptr.cast = bitcast i32* %add.ptr to i8*
+ %c.1 = icmp ule i8* %add.ptr.cast, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %idx.ext = zext i32 %idx to i64
+ %start.0 = getelementptr inbounds %struct.1, %struct.1* %start, i64 %idx.ext, i32 1
+ %start.0.cast = bitcast i64* %start.0 to i8*
+ %c.0 = icmp ult i8* %start.0.cast, %high
+ ret i1 %c.0
+
+if.end: ; preds = %entry
+ ret i1 1
+}
+
+define i1 @test.ult.true.due.to.first.dimension.var.index.2(%struct.1* %start, i8* %high, i32 %idx) {
+; CHECK-LABEL: @test.ult.true.due.to.first.dimension.var.index.2(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[IDX_EXT_PLUS_1:%.*]] = add nuw nsw i32 [[IDX:%.*]], 1
+; CHECK-NEXT: [[IDX_EXT_PLUS_1_EXT:%.*]] = zext i32 [[IDX_EXT_PLUS_1]] to i64
+; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], %struct.1* [[START:%.*]], i64 [[IDX_EXT_PLUS_1_EXT]], i32 0
+; CHECK-NEXT: [[ADD_PTR_CAST:%.*]] = bitcast i32* [[ADD_PTR]] to i8*
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR_CAST]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i32 [[IDX]] to i64
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], %struct.1* [[START]], i64 [[IDX_EXT]], i32 2
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0]], [[HIGH]]
+; CHECK-NEXT: ret i1 [[C_0]]
+; CHECK: if.end:
+; CHECK-NEXT: ret i1 true
+;
+entry:
+ %idx.ext.plus.1 = add nuw nsw i32 %idx, 1
+ %idx.ext.plus.1.ext = zext i32 %idx.ext.plus.1 to i64
+ %add.ptr = getelementptr inbounds %struct.1, %struct.1* %start, i64 %idx.ext.plus.1.ext, i32 0
+ %add.ptr.cast = bitcast i32* %add.ptr to i8*
+ %c.1 = icmp ule i8* %add.ptr.cast, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %idx.ext = zext i32 %idx to i64
+ %start.0 = getelementptr inbounds %struct.1, %struct.1* %start, i64 %idx.ext, i32 2
+ %c.0 = icmp ult i8* %start.0, %high
+ ret i1 %c.0
+
+if.end: ; preds = %entry
+ ret i1 1
+}
+
+define i1 @test.ult.unknown.due.to.first.dimension(%struct.1* %start, i8* %high) {
+; CHECK-LABEL: @test.ult.unknown.due.to.first.dimension(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], %struct.1* [[START:%.*]], i64 5, i32 0
+; CHECK-NEXT: [[ADD_PTR_CAST:%.*]] = bitcast i32* [[ADD_PTR]] to i8*
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR_CAST]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], %struct.1* [[START]], i64 6, i32 0
+; CHECK-NEXT: [[START_0_CAST:%.*]] = bitcast i32* [[START_0]] to i8*
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0_CAST]], [[HIGH]]
+; CHECK-NEXT: ret i1 [[C_0]]
+; CHECK: if.end:
+; CHECK-NEXT: ret i1 true
+;
+entry:
+ %add.ptr = getelementptr inbounds %struct.1, %struct.1* %start, i64 5, i32 0
+ %add.ptr.cast = bitcast i32* %add.ptr to i8*
+ %c.1 = icmp ule i8* %add.ptr.cast, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %start.0 = getelementptr inbounds %struct.1, %struct.1* %start, i64 6, i32 0
+ %start.0.cast = bitcast i32* %start.0 to i8*
+ %c.0 = icmp ult i8* %start.0.cast, %high
+ ret i1 %c.0
+
+if.end: ; preds = %entry
+ ret i1 1
+}
+
+define i1 @test.ult.true.due.to.second.dimension(%struct.1* %start, i8* %high) {
+; CHECK-LABEL: @test.ult.true.due.to.second.dimension(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], %struct.1* [[START:%.*]], i64 5, i32 2
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], %struct.1* [[START]], i64 5, i32 1
+; CHECK-NEXT: [[START_0_CAST:%.*]] = bitcast i64* [[START_0]] to i8*
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0_CAST]], [[HIGH]]
+; CHECK-NEXT: ret i1 [[C_0]]
+; CHECK: if.end:
+; CHECK-NEXT: ret i1 true
+;
+entry:
+ %add.ptr = getelementptr inbounds %struct.1, %struct.1* %start, i64 5, i32 2
+ %c.1 = icmp ule i8* %add.ptr, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %start.0 = getelementptr inbounds %struct.1, %struct.1* %start, i64 5, i32 1
+ %start.0.cast = bitcast i64 * %start.0 to i8*
+ %c.0 = icmp ult i8* %start.0.cast, %high
+ ret i1 %c.0
+
+if.end: ; preds = %entry
+ ret i1 1
+}
+
+define i1 @test.ult.unknown.due.to.second.dimension(%struct.1* %start, i8* %high) {
+; CHECK-LABEL: @test.ult.unknown.due.to.second.dimension(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], %struct.1* [[START:%.*]], i64 5, i32 2
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], %struct.1* [[START]], i64 5, i32 2
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0]], [[HIGH]]
+; CHECK-NEXT: ret i1 [[C_0]]
+; CHECK: if.end:
+; CHECK-NEXT: ret i1 true
+;
+entry:
+ %add.ptr = getelementptr inbounds %struct.1, %struct.1* %start, i64 5, i32 2
+ %c.1 = icmp ule i8* %add.ptr, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %start.0 = getelementptr inbounds %struct.1, %struct.1* %start, i64 5, i32 2
+ %c.0 = icmp ult i8* %start.0, %high
+ ret i1 %c.0
+
+if.end: ; preds = %entry
+ ret i1 1
+}
+
+define i1 @test.ult.unknown.due.to.second.dimension.var.index.0(%struct.1* %start, i8* %high, i32 %idx) {
+; CHECK-LABEL: @test.ult.unknown.due.to.second.dimension.var.index.0(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i32 [[IDX:%.*]] to i64
+; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], %struct.1* [[START:%.*]], i64 [[IDX_EXT]], i32 0
+; CHECK-NEXT: [[ADD_PTR_CAST:%.*]] = bitcast i32* [[ADD_PTR]] to i8*
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR_CAST]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], %struct.1* [[START]], i64 [[IDX_EXT]], i32 1
+; CHECK-NEXT: [[START_0_CAST:%.*]] = bitcast i64* [[START_0]] to i8*
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0_CAST]], [[HIGH]]
+; CHECK-NEXT: ret i1 [[C_0]]
+; CHECK: if.end:
+; CHECK-NEXT: ret i1 true
+;
+entry:
+ %idx.ext = zext i32 %idx to i64
+ %add.ptr = getelementptr inbounds %struct.1, %struct.1* %start, i64 %idx.ext, i32 0
+ %add.ptr.cast = bitcast i32* %add.ptr to i8*
+ %c.1 = icmp ule i8* %add.ptr.cast, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %start.0 = getelementptr inbounds %struct.1, %struct.1* %start, i64 %idx.ext, i32 1
+ %start.0.cast = bitcast i64* %start.0 to i8*
+ %c.0 = icmp ult i8* %start.0.cast, %high
+ ret i1 %c.0
+
+if.end: ; preds = %entry
+ ret i1 1
+}
+
+define i1 @test.ult.unknown.due.to.second.dimension.var.index.1(%struct.1* %start, i8* %high, i32 %idx) {
+; CHECK-LABEL: @test.ult.unknown.due.to.second.dimension.var.index.1(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i32 [[IDX:%.*]] to i64
+; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_1:%.*]], %struct.1* [[START:%.*]], i64 [[IDX_EXT]], i32 1
+; CHECK-NEXT: [[ADD_PTR_CAST:%.*]] = bitcast i64* [[ADD_PTR]] to i8*
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR_CAST]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [[STRUCT_1]], %struct.1* [[START]], i64 [[IDX_EXT]], i32 2
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0]], [[HIGH]]
+; CHECK-NEXT: ret i1 [[C_0]]
+; CHECK: if.end:
+; CHECK-NEXT: ret i1 true
+;
+entry:
+ %idx.ext = zext i32 %idx to i64
+ %add.ptr = getelementptr inbounds %struct.1, %struct.1* %start, i64 %idx.ext, i32 1
+ %add.ptr.cast = bitcast i64* %add.ptr to i8*
+ %c.1 = icmp ule i8* %add.ptr.cast, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %start.0 = getelementptr inbounds %struct.1, %struct.1* %start, i64 %idx.ext, i32 2
+ %c.0 = icmp ult i8* %start.0, %high
+ ret i1 %c.0
+
+if.end: ; preds = %entry
+ ret i1 1
+}
+
+%struct.2 = type { i32, [20 x i64], i8 }
+
+define i1 @ptr.int.struct.test.ult.true.due.to.first.dimension(%struct.2* %start, i8* %high) {
+; CHECK-LABEL: @ptr.int.struct.test.ult.true.due.to.first.dimension(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_2:%.*]], %struct.2* [[START:%.*]], i64 6, i32 1, i32 5
+; CHECK-NEXT: [[ADD_PTR_CAST:%.*]] = bitcast i64* [[ADD_PTR]] to i8*
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR_CAST]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [[STRUCT_2]], %struct.2* [[START]], i64 6, i32 0
+; CHECK-NEXT: [[START_0_CAST:%.*]] = bitcast i32* [[START_0]] to i8*
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0_CAST]], [[HIGH]]
+; CHECK-NEXT: ret i1 [[C_0]]
+; CHECK: if.end:
+; CHECK-NEXT: ret i1 true
+;
+entry:
+ %add.ptr = getelementptr inbounds %struct.2, %struct.2* %start, i64 6, i32 1, i32 5
+ %add.ptr.cast = bitcast i64* %add.ptr to i8*
+ %c.1 = icmp ule i8* %add.ptr.cast, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %start.0 = getelementptr inbounds %struct.2, %struct.2* %start, i64 6, i32 0
+ %start.0.cast = bitcast i32* %start.0 to i8*
+ %c.0 = icmp ult i8* %start.0.cast, %high
+ ret i1 %c.0
+
+if.end: ; preds = %entry
+ ret i1 1
+}
+
+define i1 @ptr.int.struct.test.ult.true.due.to.third.dimension.var.index(%struct.2* %start, i8* %high, i32 %idx) {
+; CHECK-LABEL: @ptr.int.struct.test.ult.true.due.to.third.dimension.var.index(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[IDX_EXT_PLUS_1:%.*]] = add nuw nsw i32 [[IDX:%.*]], 1
+; CHECK-NEXT: [[IDX_EXT_PLUS_1_EXT:%.*]] = zext i32 [[IDX_EXT_PLUS_1]] to i64
+; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_2:%.*]], %struct.2* [[START:%.*]], i64 6, i32 1, i64 [[IDX_EXT_PLUS_1_EXT]]
+; CHECK-NEXT: [[ADD_PTR_CAST:%.*]] = bitcast i64* [[ADD_PTR]] to i8*
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR_CAST]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i32 [[IDX]] to i64
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [[STRUCT_2]], %struct.2* [[START]], i64 6, i32 1, i64 [[IDX_EXT]]
+; CHECK-NEXT: [[START_0_CAST:%.*]] = bitcast i64* [[START_0]] to i8*
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0_CAST]], [[HIGH]]
+; CHECK-NEXT: ret i1 [[C_0]]
+; CHECK: if.end:
+; CHECK-NEXT: ret i1 true
+;
+entry:
+ %idx.ext.plus.1 = add nuw nsw i32 %idx, 1
+ %idx.ext.plus.1.ext = zext i32 %idx.ext.plus.1 to i64
+ %add.ptr = getelementptr inbounds %struct.2, %struct.2* %start, i64 6, i32 1, i64 %idx.ext.plus.1.ext
+ %add.ptr.cast = bitcast i64* %add.ptr to i8*
+ %c.1 = icmp ule i8* %add.ptr.cast, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %idx.ext = zext i32 %idx to i64
+ %start.0 = getelementptr inbounds %struct.2, %struct.2* %start, i64 6, i32 1, i64 %idx.ext
+ %start.0.cast = bitcast i64* %start.0 to i8*
+ %c.0 = icmp ult i8* %start.0.cast, %high
+ ret i1 %c.0
+
+if.end: ; preds = %entry
+ ret i1 1
+}
+
+define i1 @ptr.int.struct.test.ult.due.to.second.dimension.var.index(%struct.2* %start, i8* %high, i32 %idx) {
+; CHECK-LABEL: @ptr.int.struct.test.ult.due.to.second.dimension.var.index(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[IDX_EXT_PLUS_1:%.*]] = add nuw nsw i32 [[IDX:%.*]], 1
+; CHECK-NEXT: [[IDX_EXT_PLUS_1_EXT:%.*]] = zext i32 [[IDX_EXT_PLUS_1]] to i64
+; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_2:%.*]], %struct.2* [[START:%.*]], i64 6, i32 1, i64 [[IDX_EXT_PLUS_1_EXT]]
+; CHECK-NEXT: [[ADD_PTR_CAST:%.*]] = bitcast i64* [[ADD_PTR]] to i8*
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR_CAST]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i32 [[IDX]] to i64
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [[STRUCT_2]], %struct.2* [[START]], i64 6, i32 0
+; CHECK-NEXT: [[START_0_CAST:%.*]] = bitcast i32* [[START_0]] to i8*
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0_CAST]], [[HIGH]]
+; CHECK-NEXT: ret i1 [[C_0]]
+; CHECK: if.end:
+; CHECK-NEXT: ret i1 true
+;
+entry:
+ %idx.ext.plus.1 = add nuw nsw i32 %idx, 1
+ %idx.ext.plus.1.ext = zext i32 %idx.ext.plus.1 to i64
+ %add.ptr = getelementptr inbounds %struct.2, %struct.2* %start, i64 6, i32 1, i64 %idx.ext.plus.1.ext
+ %add.ptr.cast = bitcast i64* %add.ptr to i8*
+ %c.1 = icmp ule i8* %add.ptr.cast, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %idx.ext = zext i32 %idx to i64
+ %start.0 = getelementptr inbounds %struct.2, %struct.2* %start, i64 6, i32 0
+ %start.0.cast = bitcast i32* %start.0 to i8*
+ %c.0 = icmp ult i8* %start.0.cast, %high
+ ret i1 %c.0
+
+if.end: ; preds = %entry
+ ret i1 1
+}
+
+define i1 @ptr.int.struct.test.ult.unknown.due.to.second.dimension.var.index(%struct.2* %start, i8* %high, i32 %idx) {
+; CHECK-LABEL: @ptr.int.struct.test.ult.unknown.due.to.second.dimension.var.index(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[IDX_EXT_PLUS_1:%.*]] = add nuw nsw i32 [[IDX:%.*]], 1
+; CHECK-NEXT: [[IDX_EXT_PLUS_1_EXT:%.*]] = zext i32 [[IDX_EXT_PLUS_1]] to i64
+; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds [[STRUCT_2:%.*]], %struct.2* [[START:%.*]], i64 6, i32 1, i64 [[IDX_EXT_PLUS_1_EXT]]
+; CHECK-NEXT: [[ADD_PTR_CAST:%.*]] = bitcast i64* [[ADD_PTR]] to i8*
+; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[ADD_PTR_CAST]], [[HIGH:%.*]]
+; CHECK-NEXT: br i1 [[C_1]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
+; CHECK: if.then:
+; CHECK-NEXT: [[IDX_EXT:%.*]] = zext i32 [[IDX]] to i64
+; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [[STRUCT_2]], %struct.2* [[START]], i64 6, i32 2
+; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0]], [[HIGH]]
+; CHECK-NEXT: ret i1 [[C_0]]
+; CHECK: if.end:
+; CHECK-NEXT: ret i1 true
+;
+entry:
+ %idx.ext.plus.1 = add nuw nsw i32 %idx, 1
+ %idx.ext.plus.1.ext = zext i32 %idx.ext.plus.1 to i64
+ %add.ptr = getelementptr inbounds %struct.2, %struct.2* %start, i64 6, i32 1, i64 %idx.ext.plus.1.ext
+ %add.ptr.cast = bitcast i64* %add.ptr to i8*
+ %c.1 = icmp ule i8* %add.ptr.cast, %high
+ br i1 %c.1, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %idx.ext = zext i32 %idx to i64
+ %start.0 = getelementptr inbounds %struct.2, %struct.2* %start, i64 6, i32 2
+ %c.0 = icmp ult i8* %start.0, %high
+ ret i1 %c.0
+
+if.end: ; preds = %entry
+ ret i1 1
+}
diff --git a/llvm/test/Transforms/ConstraintElimination/geps.2d.ll b/llvm/test/Transforms/ConstraintElimination/geps.2d.ll
deleted file mode 100644
index 35ffadbd85ea..000000000000
--- a/llvm/test/Transforms/ConstraintElimination/geps.2d.ll
+++ /dev/null
@@ -1,134 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt -constraint-elimination -S %s | FileCheck %s
-
-define void @test.not.uge.ult([10 x i8]* %start, i8* %low, i8* %high) {
-; CHECK-LABEL: @test.not.uge.ult(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START:%.*]], i64 1, i64 3
-; 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: ret void
-; CHECK: if.end:
-; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 10, i64 0
-; CHECK-NEXT: [[C_0:%.*]] = icmp ult i8* [[START_0]], [[HIGH]]
-; CHECK-NEXT: call void @use(i1 [[C_0]])
-; CHECK-NEXT: ret void
-;
-entry:
- %add.ptr.i = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 1, i64 3
- %c.1 = icmp uge 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
- %start.0 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 10, i64 0
- %c.0 = icmp ult i8* %start.0, %high
- call void @use(i1 %c.0)
- ret void
-}
-
-define void @test.not.uge.ule([10 x i8]* %start, i8* %low, i8* %high) {
-; CHECK-LABEL: @test.not.uge.ule(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START:%.*]], i64 1, i64 3
-; CHECK-NEXT: [[C:%.*]] = icmp uge i8* [[ADD_PTR_I]], [[HIGH:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
-; CHECK: if.then:
-; CHECK-NEXT: ret void
-; CHECK: if.end:
-; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 10, i64 0
-; CHECK-NEXT: [[C_0:%.*]] = icmp ule i8* [[START_0]], [[HIGH]]
-; CHECK-NEXT: call void @use(i1 [[C_0]])
-; CHECK-NEXT: [[START_1:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 2, i64 1
-; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8* [[START_1]], [[HIGH]]
-; CHECK-NEXT: call void @use(i1 [[C_1]])
-; CHECK-NEXT: ret void
-;
-entry:
- %add.ptr.i = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 1, i64 3
- %c = icmp uge i8* %add.ptr.i, %high
- br i1 %c, label %if.then, label %if.end
-
-if.then: ; preds = %entry
- ret void
-
-if.end: ; preds = %entry
- %start.0 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 10, i64 0
- %c.0 = icmp ule i8* %start.0, %high
- call void @use(i1 %c.0)
- %start.1 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 2, i64 1
- %c.1 = icmp ule i8* %start.1, %high
- call void @use(i1 %c.1)
- ret void
-}
-
-define void @test.not.uge.ugt([10 x i8]* %start, i8* %low, i8* %high) {
-; CHECK-LABEL: @test.not.uge.ugt(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START:%.*]], i64 1, i64 3
-; CHECK-NEXT: [[C:%.*]] = icmp uge i8* [[ADD_PTR_I]], [[HIGH:%.*]]
-; CHECK-NEXT: br i1 [[C]], label [[IF_THEN:%.*]], label [[IF_END:%.*]]
-; CHECK: if.then:
-; CHECK-NEXT: ret void
-; CHECK: if.end:
-; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 3, i64 0
-; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8* [[START_0]], [[HIGH]]
-; CHECK-NEXT: call void @use(i1 [[C_0]])
-; CHECK-NEXT: [[START_1:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 3, i64 1
-; CHECK-NEXT: [[C_1:%.*]] = icmp ugt i8* [[START_1]], [[HIGH]]
-; CHECK-NEXT: call void @use(i1 [[C_1]])
-; CHECK-NEXT: ret void
-;
-entry:
- %add.ptr.i = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 1, i64 3
- %c = icmp uge i8* %add.ptr.i, %high
- br i1 %c, label %if.then, label %if.end
-
-if.then: ; preds = %entry
- ret void
-
-if.end: ; preds = %entry
- %start.0 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 3, i64 0
- %c.0 = icmp ugt i8* %start.0, %high
- call void @use(i1 %c.0)
-
- %start.1 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 3, i64 1
- %c.1 = icmp ugt i8* %start.1, %high
- call void @use(i1 %c.1)
- ret void
-}
-
-define void @test.not.uge.uge([10 x i8]* %start, i8* %low, i8* %high) {
-; CHECK-LABEL: @test.not.uge.uge(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START:%.*]], i64 1, i64 3
-; 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: ret void
-; CHECK: if.end:
-; CHECK-NEXT: [[START_0:%.*]] = getelementptr inbounds [10 x i8], [10 x i8]* [[START]], i64 3, i64 0
-; CHECK-NEXT: [[C_0:%.*]] = icmp uge i8* [[START_0]], [[HIGH]]
-; CHECK-NEXT: call void @use(i1 [[C_0]])
-; CHECK-NEXT: ret void
-;
-entry:
- %add.ptr.i = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 1, i64 3
- %c.1 = icmp uge 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
- %start.0 = getelementptr inbounds [10 x i8], [10 x i8]* %start, i64 3, i64 0
- %c.0 = icmp uge i8* %start.0, %high
- call void @use(i1 %c.0)
-
- ret void
-}
-
-declare void @use(i1)
More information about the llvm-commits
mailing list