[ConstraintElimination] Add multi-dimension GEP tests.
authorFlorian Hahn <flo@fhahn.com>
Mon, 22 Mar 2021 10:09:19 +0000 (10:09 +0000)
committerFlorian Hahn <flo@fhahn.com>
Mon, 22 Mar 2021 10:37:12 +0000 (10:37 +0000)
Add a set of interesting test cases with multi-dimensional GEPs for
upcoming patches.

llvm/test/Transforms/ConstraintElimination/geps-pointers-to-arrays.ll [new file with mode: 0644]
llvm/test/Transforms/ConstraintElimination/geps-pointers-to-structs.ll [new file with mode: 0644]
llvm/test/Transforms/ConstraintElimination/geps.2d.ll [deleted file]

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 (file)
index 0000000..fe4d3b8
--- /dev/null
@@ -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 (file)
index 0000000..750293b
--- /dev/null
@@ -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 (file)
index 35ffadb..0000000
+++ /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)