From b00a4057b3205ba8faa6f27d435ef77cd9e6d311 Mon Sep 17 00:00:00 2001 From: Sanjoy Das Date: Fri, 22 Jul 2016 00:41:02 +0000 Subject: [PATCH] [IRCE] Don't misuse CHECK-LABEL; NFC git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@276373 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/IRCE/bug-mismatched-types.ll | 4 ++-- test/Transforms/IRCE/conjunctive-checks.ll | 4 ++-- test/Transforms/IRCE/multiple-access-no-preloop.ll | 12 +++++----- test/Transforms/IRCE/single-access-no-preloop.ll | 28 +++++++++++----------- test/Transforms/IRCE/single-access-with-preloop.ll | 13 +++++----- 5 files changed, 31 insertions(+), 30 deletions(-) diff --git a/test/Transforms/IRCE/bug-mismatched-types.ll b/test/Transforms/IRCE/bug-mismatched-types.ll index 9ff72493393..05f4a93f3aa 100644 --- a/test/Transforms/IRCE/bug-mismatched-types.ll +++ b/test/Transforms/IRCE/bug-mismatched-types.ll @@ -9,7 +9,7 @@ define void @mismatched_types_1() { ; loop is of type [i32, i32) while the backedge taken count is of type ; i64. -; CHECK-LABEL: mismatched_types_1 +; CHECK-LABEL: @mismatched_types_1( entry: br label %for.body @@ -36,7 +36,7 @@ define void @mismatched_types_2() { ; safe range of type [i32, i32) and one with a safe range of type ; [i64, i64). -; CHECK-LABEL: mismatched_types_2 +; CHECK-LABEL: @mismatched_types_2( entry: br label %for.body.a diff --git a/test/Transforms/IRCE/conjunctive-checks.ll b/test/Transforms/IRCE/conjunctive-checks.ll index be5cfef8f0e..8d752131ced 100644 --- a/test/Transforms/IRCE/conjunctive-checks.ll +++ b/test/Transforms/IRCE/conjunctive-checks.ll @@ -3,7 +3,7 @@ define void @f_0(i32 *%arr, i32 *%a_len_ptr, i32 %n, i1* %cond_buf) { ; CHECK-LABEL: @f_0( -; CHECK-LABEL: loop.preheader: +; CHECK: loop.preheader: ; CHECK: [[not_n:[^ ]+]] = sub i32 -1, %n ; CHECK: [[not_safe_range_end:[^ ]+]] = sub i32 3, %len ; CHECK: [[not_exit_main_loop_at_hiclamp_cmp:[^ ]+]] = icmp sgt i32 [[not_n]], [[not_safe_range_end]] @@ -50,7 +50,7 @@ define void @f_1( i32* %arr_a, i32* %a_len_ptr, i32* %arr_b, i32* %b_len_ptr, i32 %n) { ; CHECK-LABEL: @f_1( -; CHECK-LABEL: loop.preheader: +; CHECK: loop.preheader: ; CHECK: [[not_len_b:[^ ]+]] = sub i32 -1, %len.b ; CHECK: [[not_len_a:[^ ]+]] = sub i32 -1, %len.a ; CHECK: [[smax_not_len_cond:[^ ]+]] = icmp sgt i32 [[not_len_b]], [[not_len_a]] diff --git a/test/Transforms/IRCE/multiple-access-no-preloop.ll b/test/Transforms/IRCE/multiple-access-no-preloop.ll index 9963a57185b..eedfc420bdb 100644 --- a/test/Transforms/IRCE/multiple-access-no-preloop.ll +++ b/test/Transforms/IRCE/multiple-access-no-preloop.ll @@ -34,9 +34,9 @@ define void @multiple_access_no_preloop( ret void } -; CHECK-LABEL: multiple_access_no_preloop +; CHECK-LABEL: @multiple_access_no_preloop( -; CHECK-LABEL: loop.preheader: +; CHECK: loop.preheader: ; CHECK: [[not_len_b:[^ ]+]] = sub i32 -1, %len.b ; CHECK: [[not_len_a:[^ ]+]] = sub i32 -1, %len.a ; CHECK: [[smax_not_len_cond:[^ ]+]] = icmp sgt i32 [[not_len_b]], [[not_len_a]] @@ -48,17 +48,17 @@ define void @multiple_access_no_preloop( ; CHECK: [[upper_limit_cmp:[^ ]+]] = icmp sgt i32 [[upper_limit_loclamp]], 0 ; CHECK: [[upper_limit:[^ ]+]] = select i1 [[upper_limit_cmp]], i32 [[upper_limit_loclamp]], i32 0 -; CHECK-LABEL: loop: +; CHECK: loop: ; CHECK: br i1 true, label %in.bounds.a, label %out.of.bounds -; CHECK-LABEL: in.bounds.a: +; CHECK: in.bounds.a: ; CHECK: br i1 true, label %in.bounds.b, label %out.of.bounds -; CHECK-LABEL: in.bounds.b: +; CHECK: in.bounds.b: ; CHECK: [[main_loop_cond:[^ ]+]] = icmp slt i32 %idx.next, [[upper_limit]] ; CHECK: br i1 [[main_loop_cond]], label %loop, label %main.exit.selector -; CHECK-LABEL: in.bounds.b.postloop: +; CHECK: in.bounds.b.postloop: ; CHECK: %next.postloop = icmp slt i32 %idx.next.postloop, %n ; CHECK: br i1 %next.postloop, label %loop.postloop, label %exit.loopexit diff --git a/test/Transforms/IRCE/single-access-no-preloop.ll b/test/Transforms/IRCE/single-access-no-preloop.ll index 4824d9560c6..76f134cf8d1 100644 --- a/test/Transforms/IRCE/single-access-no-preloop.ll +++ b/test/Transforms/IRCE/single-access-no-preloop.ll @@ -25,30 +25,30 @@ define void @single_access_no_preloop_no_offset(i32 *%arr, i32 *%a_len_ptr, i32 ret void } -; CHECK-LABEL: single_access_no_preloop +; CHECK-LABEL: @single_access_no_preloop_no_offset( -; CHECK-LABEL: loop: +; CHECK: loop: ; CHECK: br i1 true, label %in.bounds, label %out.of.bounds -; CHECK-LABEL: main.exit.selector: +; CHECK: main.exit.selector: ; CHECK-NEXT: [[continue:%[^ ]+]] = icmp slt i32 %idx.next, %n ; CHECK-NEXT: br i1 [[continue]], label %main.pseudo.exit, label %exit.loopexit -; CHECK-LABEL: main.pseudo.exit: +; CHECK: main.pseudo.exit: ; CHECK-NEXT: %idx.copy = phi i32 [ 0, %loop.preheader ], [ %idx.next, %main.exit.selector ] ; CHECK-NEXT: %indvar.end = phi i32 [ 0, %loop.preheader ], [ %idx.next, %main.exit.selector ] ; CHECK-NEXT: br label %postloop -; CHECK-LABEL: postloop: +; CHECK: postloop: ; CHECK-NEXT: br label %loop.postloop -; CHECK-LABEL: loop.postloop: +; CHECK: loop.postloop: ; CHECK-NEXT: %idx.postloop = phi i32 [ %idx.next.postloop, %in.bounds.postloop ], [ %idx.copy, %postloop ] ; CHECK-NEXT: %idx.next.postloop = add i32 %idx.postloop, 1 ; CHECK-NEXT: %abc.postloop = icmp slt i32 %idx.postloop, %len ; CHECK-NEXT: br i1 %abc.postloop, label %in.bounds.postloop, label %out.of.bounds -; CHECK-LABEL: in.bounds.postloop: +; CHECK: in.bounds.postloop: ; CHECK-NEXT: %addr.postloop = getelementptr i32, i32* %arr, i32 %idx.postloop ; CHECK-NEXT: store i32 0, i32* %addr.postloop ; CHECK-NEXT: %next.postloop = icmp slt i32 %idx.next.postloop, %n @@ -81,9 +81,9 @@ define void @single_access_no_preloop_with_offset(i32 *%arr, i32 *%a_len_ptr, i3 ret void } -; CHECK-LABEL: single_access_no_preloop_with_offset +; CHECK-LABEL: @single_access_no_preloop_with_offset( -; CHECK-LABEL: loop.preheader: +; CHECK: loop.preheader: ; CHECK: [[not_n:[^ ]+]] = sub i32 -1, %n ; CHECK: [[not_safe_range_end:[^ ]+]] = sub i32 3, %len ; CHECK: [[not_exit_main_loop_at_hiclamp_cmp:[^ ]+]] = icmp sgt i32 [[not_n]], [[not_safe_range_end]] @@ -94,21 +94,21 @@ define void @single_access_no_preloop_with_offset(i32 *%arr, i32 *%a_len_ptr, i3 ; CHECK: [[enter_main_loop:[^ ]+]] = icmp slt i32 0, [[exit_main_loop_at_loclamp]] ; CHECK: br i1 [[enter_main_loop]], label %loop, label %main.pseudo.exit -; CHECK-LABEL: loop: +; CHECK: loop: ; CHECK: br i1 true, label %in.bounds, label %out.of.bounds -; CHECK-LABEL: in.bounds: +; CHECK: in.bounds: ; CHECK: [[continue_main_loop:[^ ]+]] = icmp slt i32 %idx.next, [[exit_main_loop_at_loclamp]] ; CHECK: br i1 [[continue_main_loop]], label %loop, label %main.exit.selector -; CHECK-LABEL: main.pseudo.exit: +; CHECK: main.pseudo.exit: ; CHECK: %idx.copy = phi i32 [ 0, %loop.preheader ], [ %idx.next, %main.exit.selector ] ; CHECK: br label %postloop -; CHECK-LABEL: loop.postloop: +; CHECK: loop.postloop: ; CHECK: %idx.postloop = phi i32 [ %idx.next.postloop, %in.bounds.postloop ], [ %idx.copy, %postloop ] -; CHECK-LABEL: in.bounds.postloop: +; CHECK: in.bounds.postloop: ; CHECK: %next.postloop = icmp slt i32 %idx.next.postloop, %n ; CHECK: br i1 %next.postloop, label %loop.postloop, label %exit.loopexit diff --git a/test/Transforms/IRCE/single-access-with-preloop.ll b/test/Transforms/IRCE/single-access-with-preloop.ll index e581014ad18..f80c4634791 100644 --- a/test/Transforms/IRCE/single-access-with-preloop.ll +++ b/test/Transforms/IRCE/single-access-with-preloop.ll @@ -28,7 +28,8 @@ define void @single_access_with_preloop(i32 *%arr, i32 *%a_len_ptr, i32 %n, i32 ret void } -; CHECK-LABEL: loop.preheader: +; CHECK-LABEL: @single_access_with_preloop( +; CHECK: loop.preheader: ; CHECK: [[not_safe_start:[^ ]+]] = add i32 %offset, -1 ; CHECK: [[not_n:[^ ]+]] = sub i32 -1, %n ; CHECK: [[not_exit_preloop_at_cond_loclamp:[^ ]+]] = icmp sgt i32 [[not_safe_start]], [[not_n]] @@ -47,23 +48,23 @@ define void @single_access_with_preloop(i32 *%arr, i32 *%a_len_ptr, i32 %n, i32 ; CHECK: [[exit_mainloop_at:[^ ]+]] = select i1 [[exit_mainloop_at_cmp]], i32 [[exit_mainloop_at_loclamp]], i32 0 -; CHECK-LABEL: in.bounds: +; CHECK: in.bounds: ; CHECK: [[continue_mainloop_cond:[^ ]+]] = icmp slt i32 %idx.next, [[exit_mainloop_at]] ; CHECK: br i1 [[continue_mainloop_cond]], label %loop, label %main.exit.selector -; CHECK-LABEL: main.exit.selector: +; CHECK: main.exit.selector: ; CHECK: [[mainloop_its_left:[^ ]+]] = icmp slt i32 %idx.next, %n ; CHECK: br i1 [[mainloop_its_left]], label %main.pseudo.exit, label %exit.loopexit -; CHECK-LABEL: in.bounds.preloop: +; CHECK: in.bounds.preloop: ; CHECK: [[continue_preloop_cond:[^ ]+]] = icmp slt i32 %idx.next.preloop, [[exit_preloop_at]] ; CHECK: br i1 [[continue_preloop_cond]], label %loop.preloop, label %preloop.exit.selector -; CHECK-LABEL: preloop.exit.selector: +; CHECK: preloop.exit.selector: ; CHECK: [[preloop_its_left:[^ ]+]] = icmp slt i32 %idx.next.preloop, %n ; CHECK: br i1 [[preloop_its_left]], label %preloop.pseudo.exit, label %exit.loopexit -; CHECK-LABEL: in.bounds.postloop: +; CHECK: in.bounds.postloop: ; CHECK: %next.postloop = icmp slt i32 %idx.next.postloop, %n ; CHECK: br i1 %next.postloop, label %loop.postloop, label %exit.loopexit -- 2.11.0