Update new lit test to run a single pass.

Author: bjope

llvm/test/Transforms/LowerConstantIntrinsics/builtin-object-size-idxsize.ll

@@ -1,6 +1,5 @@
 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
-; RUN: opt -passes='sroa,instcombine,lower-constant-intrinsics,dce' -S < %s | FileCheck --check-prefixes CHECK,CHECK-REF %s
-; RUN: opt -passes=lower-constant-intrinsics,dce -S < %s | FileCheck --check-prefixes CHECK,CHECK-TST %s
+; RUN: opt -passes=lower-constant-intrinsics -S < %s | FileCheck %s
 
 ; Some extra tests using 16-bit pointers and 16-bit index type size. This
 ; allows us to for example test what happens when the index type used in a
@@ -14,6 +13,9 @@ define i32 @possible_out_of_bounds_gep_i8(i1 %c0, i1 %c1) {
 ; CHECK-LABEL: define i32 @possible_out_of_bounds_gep_i8(
 ; CHECK-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
 ; CHECK-NEXT:  [[ENTRY:.*:]]
+; CHECK-NEXT:    [[OBJ:%.*]] = alloca [5 x i8], align 1
+; CHECK-NEXT:    [[OFFSET:%.*]] = select i1 [[C0]], i8 2, i8 10
+; CHECK-NEXT:    [[PTR_SLIDE:%.*]] = getelementptr i8, ptr [[OBJ]], i8 [[OFFSET]]
 ; CHECK-NEXT:    [[RES:%.*]] = select i1 [[C1]], i32 3, i32 0
 ; CHECK-NEXT:    ret i32 [[RES]]
 ;
@@ -31,6 +33,9 @@ define i32 @possible_out_of_bounds_gep_i16(i1 %c0, i1 %c1) {
 ; CHECK-LABEL: define i32 @possible_out_of_bounds_gep_i16(
 ; CHECK-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
 ; CHECK-NEXT:  [[ENTRY:.*:]]
+; CHECK-NEXT:    [[OBJ:%.*]] = alloca [5 x i8], align 1
+; CHECK-NEXT:    [[OFFSET:%.*]] = select i1 [[C0]], i16 2, i16 10
+; CHECK-NEXT:    [[PTR_SLIDE:%.*]] = getelementptr i8, ptr [[OBJ]], i16 [[OFFSET]]
 ; CHECK-NEXT:    [[RES:%.*]] = select i1 [[C1]], i32 3, i32 0
 ; CHECK-NEXT:    ret i32 [[RES]]
 ;
@@ -48,6 +53,9 @@ define i32 @possible_out_of_bounds_gep_i32(i1 %c0, i1 %c1) {
 ; CHECK-LABEL: define i32 @possible_out_of_bounds_gep_i32(
 ; CHECK-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
 ; CHECK-NEXT:  [[ENTRY:.*:]]
+; CHECK-NEXT:    [[OBJ:%.*]] = alloca [5 x i8], align 1
+; CHECK-NEXT:    [[OFFSET:%.*]] = select i1 [[C0]], i32 2, i32 10
+; CHECK-NEXT:    [[PTR_SLIDE:%.*]] = getelementptr i8, ptr [[OBJ]], i32 [[OFFSET]]
 ; CHECK-NEXT:    [[RES:%.*]] = select i1 [[C1]], i32 3, i32 0
 ; CHECK-NEXT:    ret i32 [[RES]]
 ;
@@ -62,19 +70,17 @@ entry:
 }
 
 ; SROA would produce IR like this if applied to @possible_out_of_bounds_gep_i16.
-; FIXME: The %objsize_min result here looks wrong.
+; FIXME: The %objsize_min result here is invalid.
 define i32 @possible_out_of_bounds_gep_i16_sroa(i1 %c0, i1 %c1) {
-; CHECK-REF-LABEL: define i32 @possible_out_of_bounds_gep_i16_sroa(
-; CHECK-REF-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
-; CHECK-REF-NEXT:  [[ENTRY:.*:]]
-; CHECK-REF-NEXT:    [[RES:%.*]] = select i1 [[C1]], i32 3, i32 0
-; CHECK-REF-NEXT:    ret i32 [[RES]]
-;
-; CHECK-TST-LABEL: define i32 @possible_out_of_bounds_gep_i16_sroa(
-; CHECK-TST-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
-; CHECK-TST-NEXT:  [[ENTRY:.*:]]
-; CHECK-TST-NEXT:    [[RES:%.*]] = select i1 [[C1]], i32 3, i32 65531
-; CHECK-TST-NEXT:    ret i32 [[RES]]
+; CHECK-LABEL: define i32 @possible_out_of_bounds_gep_i16_sroa(
+; CHECK-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
+; CHECK-NEXT:  [[ENTRY:.*:]]
+; CHECK-NEXT:    [[OBJ:%.*]] = alloca [5 x i8], align 1
+; CHECK-NEXT:    [[DOTSROA_GEP:%.*]] = getelementptr i8, ptr [[OBJ]], i16 2
+; CHECK-NEXT:    [[DOTSROA_GEP1:%.*]] = getelementptr i8, ptr [[OBJ]], i16 10
+; CHECK-NEXT:    [[OFFSET_SROA_SEL:%.*]] = select i1 [[C0]], ptr [[DOTSROA_GEP]], ptr [[DOTSROA_GEP1]]
+; CHECK-NEXT:    [[RES:%.*]] = select i1 [[C1]], i32 3, i32 65531
+; CHECK-NEXT:    ret i32 [[RES]]
 ;
 entry:
   %obj = alloca [5 x i8], align 1
@@ -88,20 +94,18 @@ entry:
 }
 
 ; Indices are truncated to the pointer size in a gep. So "i32 -65526" should
-; be truncated to "i16 10".
-; FIXME: The TST result here is incorrect!
+; be treated as "i16 10" and we expect same result as for
+; @possible_out_of_bounds_gep_i16 above.
+; FIXME: The result here is incorrect (max/min is swapped).
 define i32 @possible_out_of_bounds_gep_i32_trunc(i1 %c0, i1 %c1) {
-; CHECK-REF-LABEL: define i32 @possible_out_of_bounds_gep_i32_trunc(
-; CHECK-REF-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
-; CHECK-REF-NEXT:  [[ENTRY:.*:]]
-; CHECK-REF-NEXT:    [[RES:%.*]] = select i1 [[C1]], i32 3, i32 0
-; CHECK-REF-NEXT:    ret i32 [[RES]]
-;
-; CHECK-TST-LABEL: define i32 @possible_out_of_bounds_gep_i32_trunc(
-; CHECK-TST-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
-; CHECK-TST-NEXT:  [[ENTRY:.*:]]
-; CHECK-TST-NEXT:    [[RES:%.*]] = select i1 [[C1]], i32 0, i32 3
-; CHECK-TST-NEXT:    ret i32 [[RES]]
+; CHECK-LABEL: define i32 @possible_out_of_bounds_gep_i32_trunc(
+; CHECK-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
+; CHECK-NEXT:  [[ENTRY:.*:]]
+; CHECK-NEXT:    [[OBJ:%.*]] = alloca [5 x i8], align 1
+; CHECK-NEXT:    [[OFFSET:%.*]] = select i1 [[C0]], i32 2, i32 -65526
+; CHECK-NEXT:    [[PTR_SLIDE:%.*]] = getelementptr i8, ptr [[OBJ]], i32 [[OFFSET]]
+; CHECK-NEXT:    [[RES:%.*]] = select i1 [[C1]], i32 0, i32 3
+; CHECK-NEXT:    ret i32 [[RES]]
 ;
 entry:
   %obj = alloca [5 x i8]
@@ -114,17 +118,13 @@ entry:
 }
 
 define i32 @out_of_bounds_gep_i8(i1 %c0, i1 %c1) {
-; CHECK-REF-LABEL: define i32 @out_of_bounds_gep_i8(
-; CHECK-REF-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
-; CHECK-REF-NEXT:  [[ENTRY:.*:]]
-; CHECK-REF-NEXT:    [[RES:%.*]] = sext i1 [[C1]] to i32
-; CHECK-REF-NEXT:    ret i32 [[RES]]
-;
-; CHECK-TST-LABEL: define i32 @out_of_bounds_gep_i8(
-; CHECK-TST-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
-; CHECK-TST-NEXT:  [[ENTRY:.*:]]
-; CHECK-TST-NEXT:    [[RES:%.*]] = select i1 [[C1]], i32 -1, i32 0
-; CHECK-TST-NEXT:    ret i32 [[RES]]
+; CHECK-LABEL: define i32 @out_of_bounds_gep_i8(
+; CHECK-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
+; CHECK-NEXT:  [[ENTRY:.*:]]
+; CHECK-NEXT:    [[OBJ:%.*]] = alloca [5 x i8], align 1
+; CHECK-NEXT:    [[PTR_SLIDE:%.*]] = getelementptr i8, ptr [[OBJ]], i8 -128
+; CHECK-NEXT:    [[RES:%.*]] = select i1 [[C1]], i32 -1, i32 0
+; CHECK-NEXT:    ret i32 [[RES]]
 ;
 entry:
   %obj = alloca [5 x i8]
@@ -139,6 +139,8 @@ define i32 @out_of_bounds_gep_i32(i1 %c0, i1 %c1) {
 ; CHECK-LABEL: define i32 @out_of_bounds_gep_i32(
 ; CHECK-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
 ; CHECK-NEXT:  [[ENTRY:.*:]]
+; CHECK-NEXT:    [[OBJ:%.*]] = alloca [5 x i8], align 1
+; CHECK-NEXT:    [[PTR_SLIDE:%.*]] = getelementptr i8, ptr [[OBJ]], i32 10
 ; CHECK-NEXT:    ret i32 0
 ;
 entry:
@@ -154,6 +156,8 @@ define i32 @out_of_bounds_gep_i32_trunc(i1 %c0, i1 %c1) {
 ; CHECK-LABEL: define i32 @out_of_bounds_gep_i32_trunc(
 ; CHECK-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
 ; CHECK-NEXT:  [[ENTRY:.*:]]
+; CHECK-NEXT:    [[OBJ:%.*]] = alloca [5 x i8], align 1
+; CHECK-NEXT:    [[PTR_SLIDE:%.*]] = getelementptr i8, ptr [[OBJ]], i32 -65526
 ; CHECK-NEXT:    ret i32 0
 ;
 entry:
@@ -168,19 +172,18 @@ entry:
 ; In this test the index will be out-of-bounds, but the current analysis won't
 ; detect that. The analysis will find out that %offset is in the range [-2,
 ; 10] which includes valid offsets that aren't out-of-bounds. Therefore we can
-; expect the result -1 for %objsize_max.
+; expect to get -1 for %objsize_max even if an advanced analysis should be
+; able to derive that we are out-of-bounds (returning 0 also for
+; %objsize_max).
 define i32 @out_of_bounds_gep_i16_pos_neg(i1 %c0, i1 %c1) {
-; CHECK-REF-LABEL: define i32 @out_of_bounds_gep_i16_pos_neg(
-; CHECK-REF-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
-; CHECK-REF-NEXT:  [[ENTRY:.*:]]
-; CHECK-REF-NEXT:    [[RES:%.*]] = sext i1 [[C1]] to i32
-; CHECK-REF-NEXT:    ret i32 [[RES]]
-;
-; CHECK-TST-LABEL: define i32 @out_of_bounds_gep_i16_pos_neg(
-; CHECK-TST-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
-; CHECK-TST-NEXT:  [[ENTRY:.*:]]
-; CHECK-TST-NEXT:    [[RES:%.*]] = select i1 [[C1]], i32 -1, i32 0
-; CHECK-TST-NEXT:    ret i32 [[RES]]
+; CHECK-LABEL: define i32 @out_of_bounds_gep_i16_pos_neg(
+; CHECK-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
+; CHECK-NEXT:  [[ENTRY:.*:]]
+; CHECK-NEXT:    [[OBJ:%.*]] = alloca [5 x i8], align 1
+; CHECK-NEXT:    [[OFFSET:%.*]] = select i1 [[C0]], i32 10, i32 -2
+; CHECK-NEXT:    [[PTR_SLIDE:%.*]] = getelementptr i8, ptr [[OBJ]], i32 [[OFFSET]]
+; CHECK-NEXT:    [[RES:%.*]] = select i1 [[C1]], i32 -1, i32 0
+; CHECK-NEXT:    ret i32 [[RES]]
 ;
 entry:
   %obj = alloca [5 x i8]
@@ -195,19 +198,16 @@ entry:
 ; With 16-bit index size %offset is either 32767 or -32768. Thus, when
 ; aggregating the possible offsets it we know that it is in the range [-32768,
 ; 32767], which includes valid offsets that aren't out-of-bounds. This is
-; similar to the out_of_bounds_gep_i16_pos_neg test above, and we can expect
-; the result -1 for %objsize_max.
+; similar to the out_of_bounds_gep_i16_pos_neg test above, and the current
+; implementation is expected to derive the result -1 for %objsize_max.
 define i32 @out_of_bounds_gep_i32_trunc_select(i1 %c0, i1 %c1) {
-; CHECK-REF-LABEL: define i32 @out_of_bounds_gep_i32_trunc_select(
-; CHECK-REF-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
-; CHECK-REF-NEXT:  [[ENTRY:.*:]]
-; CHECK-REF-NEXT:    [[RES:%.*]] = sext i1 [[C1]] to i32
-; CHECK-REF-NEXT:    ret i32 [[RES]]
-;
-; CHECK-TST-LABEL: define i32 @out_of_bounds_gep_i32_trunc_select(
-; CHECK-TST-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
-; CHECK-TST-NEXT:  [[ENTRY:.*:]]
-; CHECK-TST-NEXT:    ret i32 0
+; CHECK-LABEL: define i32 @out_of_bounds_gep_i32_trunc_select(
+; CHECK-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
+; CHECK-NEXT:  [[ENTRY:.*:]]
+; CHECK-NEXT:    [[OBJ:%.*]] = alloca [5 x i8], align 1
+; CHECK-NEXT:    [[OFFSET:%.*]] = select i1 [[C0]], i32 32767, i32 32768
+; CHECK-NEXT:    [[PTR_SLIDE:%.*]] = getelementptr i8, ptr [[OBJ]], i32 [[OFFSET]]
+; CHECK-NEXT:    ret i32 0
 ;
 entry:
   %obj = alloca [5 x i8]
@@ -224,6 +224,9 @@ define i32 @possible_out_of_bounds_gep_i8_neg(i1 %c0, i1 %c1) {
 ; CHECK-LABEL: define i32 @possible_out_of_bounds_gep_i8_neg(
 ; CHECK-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
 ; CHECK-NEXT:  [[ENTRY:.*:]]
+; CHECK-NEXT:    [[OBJ:%.*]] = alloca [5 x i8], align 1
+; CHECK-NEXT:    [[OFFSET:%.*]] = select i1 [[C0]], i8 2, i8 -10
+; CHECK-NEXT:    [[PTR_SLIDE:%.*]] = getelementptr i8, ptr [[OBJ]], i8 [[OFFSET]]
 ; CHECK-NEXT:    [[RES:%.*]] = select i1 [[C1]], i32 -1, i32 3
 ; CHECK-NEXT:    ret i32 [[RES]]
 ;
@@ -242,6 +245,9 @@ define i32 @possible_out_of_bounds_gep_i16_neg(i1 %c0, i1 %c1) {
 ; CHECK-LABEL: define i32 @possible_out_of_bounds_gep_i16_neg(
 ; CHECK-SAME: i1 [[C0:%.*]], i1 [[C1:%.*]]) {
 ; CHECK-NEXT:  [[ENTRY:.*:]]
+; CHECK-NEXT:    [[OBJ:%.*]] = alloca [5 x i8], align 1
+; CHECK-NEXT:    [[OFFSET:%.*]] = select i1 [[C0]], i16 2, i16 -10
+; CHECK-NEXT:    [[PTR_SLIDE:%.*]] = getelementptr i8, ptr [[OBJ]], i16 [[OFFSET]]
 ; CHECK-NEXT:    [[RES:%.*]] = select i1 [[C1]], i32 -1, i32 3
 ; CHECK-NEXT:    ret i32 [[RES]]
 ;