[llvm] r276373 - [IRCE] Don't misuse CHECK-LABEL; NFC
Sanjoy Das via llvm-commits
llvm-commits at lists.llvm.org
Thu Jul 21 17:41:02 PDT 2016
Author: sanjoy
Date: Thu Jul 21 19:41:02 2016
New Revision: 276373
URL: http://llvm.org/viewvc/llvm-project?rev=276373&view=rev
Log:
[IRCE] Don't misuse CHECK-LABEL; NFC
Modified:
llvm/trunk/test/Transforms/IRCE/bug-mismatched-types.ll
llvm/trunk/test/Transforms/IRCE/conjunctive-checks.ll
llvm/trunk/test/Transforms/IRCE/multiple-access-no-preloop.ll
llvm/trunk/test/Transforms/IRCE/single-access-no-preloop.ll
llvm/trunk/test/Transforms/IRCE/single-access-with-preloop.ll
Modified: llvm/trunk/test/Transforms/IRCE/bug-mismatched-types.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/IRCE/bug-mismatched-types.ll?rev=276373&r1=276372&r2=276373&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/IRCE/bug-mismatched-types.ll (original)
+++ llvm/trunk/test/Transforms/IRCE/bug-mismatched-types.ll Thu Jul 21 19:41:02 2016
@@ -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
Modified: llvm/trunk/test/Transforms/IRCE/conjunctive-checks.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/IRCE/conjunctive-checks.ll?rev=276373&r1=276372&r2=276373&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/IRCE/conjunctive-checks.ll (original)
+++ llvm/trunk/test/Transforms/IRCE/conjunctive-checks.ll Thu Jul 21 19:41:02 2016
@@ -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]]
Modified: llvm/trunk/test/Transforms/IRCE/multiple-access-no-preloop.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/IRCE/multiple-access-no-preloop.ll?rev=276373&r1=276372&r2=276373&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/IRCE/multiple-access-no-preloop.ll (original)
+++ llvm/trunk/test/Transforms/IRCE/multiple-access-no-preloop.ll Thu Jul 21 19:41:02 2016
@@ -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
Modified: llvm/trunk/test/Transforms/IRCE/single-access-no-preloop.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/IRCE/single-access-no-preloop.ll?rev=276373&r1=276372&r2=276373&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/IRCE/single-access-no-preloop.ll (original)
+++ llvm/trunk/test/Transforms/IRCE/single-access-no-preloop.ll Thu Jul 21 19:41:02 2016
@@ -25,30 +25,30 @@ define void @single_access_no_preloop_no
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_wi
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_wi
; 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
Modified: llvm/trunk/test/Transforms/IRCE/single-access-with-preloop.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/IRCE/single-access-with-preloop.ll?rev=276373&r1=276372&r2=276373&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/IRCE/single-access-with-preloop.ll (original)
+++ llvm/trunk/test/Transforms/IRCE/single-access-with-preloop.ll Thu Jul 21 19:41:02 2016
@@ -28,7 +28,8 @@ define void @single_access_with_preloop(
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(
; 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
More information about the llvm-commits
mailing list