Fix CHECK directives that weren't checking.
authorHans Wennborg <hans@hanshq.net>
Mon, 31 Aug 2015 21:10:35 +0000 (21:10 +0000)
committerHans Wennborg <hans@hanshq.net>
Mon, 31 Aug 2015 21:10:35 +0000 (21:10 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@246485 91177308-0d34-0410-b5e6-96231b3b80d8

13 files changed:
test/CodeGen/AArch64/arm64-coalescing-MOVi32imm.ll
test/CodeGen/AMDGPU/fcmp.ll
test/CodeGen/AMDGPU/flat-address-space.ll
test/CodeGen/ARM/thumb_indirect_calls.ll
test/CodeGen/SPARC/select-mask.ll
test/CodeGen/WinEH/wineh-cloning.ll
test/MC/AArch64/arm64-diags.s
test/MC/Sparc/sparc-relocations.s
test/Transforms/InstSimplify/shr-nop.ll
test/Transforms/LICM/pr23608.ll
test/Transforms/RewriteStatepointsForGC/codegen-cond.ll
test/Transforms/SROA/basictest.ll
test/Transforms/StructurizeCFG/nested-loop-order.ll

index 2adbcdf..528d253 100644 (file)
@@ -1,9 +1,9 @@
 ; RUN: llc < %s | FileCheck %s
 
-; CHECK:        orr     w0, wzr, #0x1
-; CHECK-NEXT :  bl      foo
-; CHECK-NEXT :  orr     w0, wzr, #0x1
-; CHECK-NEXT :  bl      foo
+; CHECK:       orr     w0, wzr, #0x1
+; CHECK-NEXT:  bl      foo
+; CHECK-NEXT:  orr     w0, wzr, #0x1
+; CHECK-NEXT:  bl      foo
 
 target triple = "aarch64--linux-android"
 declare i32 @foo(i32)
@@ -15,4 +15,3 @@ entry:
   %call1 = tail call i32 @foo(i32 1)
   ret i32 0
 }
-
index 5207ab5..97d954f 100644 (file)
@@ -20,7 +20,7 @@ entry:
 
 ; CHECK: {{^}}fcmp_br:
 ; CHECK: SET{{[N]*}}E_DX10 * T{{[0-9]+\.[XYZW],}}
-; CHECK-NEXT {{[0-9]+(5.0}}
+; CHECK-NEXT: {{[0-9]+\(5.0}}
 
 define void @fcmp_br(i32 addrspace(1)* %out, float %in) {
 entry:
index 8ceca07..571685c 100644 (file)
@@ -83,7 +83,7 @@ define void @store_flat_trunc_i8(i8 addrspace(1)* %gptr, i32 %x) #0 {
 
 
 
-; CHECK-LABEL @load_flat_i32:
+; CHECK-LABELload_flat_i32:
 ; CHECK: flat_load_dword
 define void @load_flat_i32(i32 addrspace(1)* noalias %out, i32 addrspace(1)* noalias %gptr) #0 {
   %fptr = addrspacecast i32 addrspace(1)* %gptr to i32 addrspace(4)*
@@ -92,7 +92,7 @@ define void @load_flat_i32(i32 addrspace(1)* noalias %out, i32 addrspace(1)* noa
   ret void
 }
 
-; CHECK-LABEL @load_flat_i64:
+; CHECK-LABELload_flat_i64:
 ; CHECK: flat_load_dwordx2
 define void @load_flat_i64(i64 addrspace(1)* noalias %out, i64 addrspace(1)* noalias %gptr) #0 {
   %fptr = addrspacecast i64 addrspace(1)* %gptr to i64 addrspace(4)*
@@ -101,7 +101,7 @@ define void @load_flat_i64(i64 addrspace(1)* noalias %out, i64 addrspace(1)* noa
   ret void
 }
 
-; CHECK-LABEL @load_flat_v4i32:
+; CHECK-LABELload_flat_v4i32:
 ; CHECK: flat_load_dwordx4
 define void @load_flat_v4i32(<4 x i32> addrspace(1)* noalias %out, <4 x i32> addrspace(1)* noalias %gptr) #0 {
   %fptr = addrspacecast <4 x i32> addrspace(1)* %gptr to <4 x i32> addrspace(4)*
@@ -110,7 +110,7 @@ define void @load_flat_v4i32(<4 x i32> addrspace(1)* noalias %out, <4 x i32> add
   ret void
 }
 
-; CHECK-LABEL @sextload_flat_i8:
+; CHECK-LABELsextload_flat_i8:
 ; CHECK: flat_load_sbyte
 define void @sextload_flat_i8(i32 addrspace(1)* noalias %out, i8 addrspace(1)* noalias %gptr) #0 {
   %fptr = addrspacecast i8 addrspace(1)* %gptr to i8 addrspace(4)*
@@ -120,7 +120,7 @@ define void @sextload_flat_i8(i32 addrspace(1)* noalias %out, i8 addrspace(1)* n
   ret void
 }
 
-; CHECK-LABEL @zextload_flat_i8:
+; CHECK-LABELzextload_flat_i8:
 ; CHECK: flat_load_ubyte
 define void @zextload_flat_i8(i32 addrspace(1)* noalias %out, i8 addrspace(1)* noalias %gptr) #0 {
   %fptr = addrspacecast i8 addrspace(1)* %gptr to i8 addrspace(4)*
@@ -130,7 +130,7 @@ define void @zextload_flat_i8(i32 addrspace(1)* noalias %out, i8 addrspace(1)* n
   ret void
 }
 
-; CHECK-LABEL @sextload_flat_i16:
+; CHECK-LABELsextload_flat_i16:
 ; CHECK: flat_load_sshort
 define void @sextload_flat_i16(i32 addrspace(1)* noalias %out, i16 addrspace(1)* noalias %gptr) #0 {
   %fptr = addrspacecast i16 addrspace(1)* %gptr to i16 addrspace(4)*
@@ -140,7 +140,7 @@ define void @sextload_flat_i16(i32 addrspace(1)* noalias %out, i16 addrspace(1)*
   ret void
 }
 
-; CHECK-LABEL @zextload_flat_i16:
+; CHECK-LABELzextload_flat_i16:
 ; CHECK: flat_load_ushort
 define void @zextload_flat_i16(i32 addrspace(1)* noalias %out, i16 addrspace(1)* noalias %gptr) #0 {
   %fptr = addrspacecast i16 addrspace(1)* %gptr to i16 addrspace(4)*
index 9f1950c..67346c6 100644 (file)
@@ -3,7 +3,7 @@
 
 @f = common global void (i32)* null, align 4
 
-; CHECK-LABEL foo:
+; CHECK-LABEL: foo:
 define void @foo(i32 %x) {
 entry:
   %0 = load void (i32)*, void (i32)** @f, align 4
@@ -21,7 +21,7 @@ entry:
 ; CHECK-V5T: blx [[CALLEE]]
 }
 
-; CHECK-LABEL bar:
+; CHECK-LABEL: bar:
 define void @bar(void (i32)* nocapture %g, i32 %x, void (i32)* nocapture %h) {
 entry:
   tail call void %g(i32 %x)
@@ -37,4 +37,3 @@ entry:
 ; CHECK-V5T: blx
 ; CHECK-V5T: blx
 }
-
index 12e5710..2e69a3b 100644 (file)
@@ -4,7 +4,7 @@
 ;; other than the first for SELECT. Thus, the 'trunc' got eliminated
 ;; as redundant. But, cmp does NOT ignore the other bits!
 
-; CHECK-LABEL select_mask:
+; CHECK-LABEL: select_mask:
 ; CHECK: ldub [%o0], [[R:%[goli][0-7]]]
 ; CHECK: and [[R]], 1, [[V:%[goli][0-7]]]
 ; CHECK: cmp [[V]], 0
index fff358b..39e5d40 100644 (file)
@@ -168,10 +168,10 @@ exit:
 ; CHECK:    br i1 [[b_E]], label %[[left_E:[^ ]+]], label %[[right_E:[^ ]+]]
 ; CHECK:  [[left_C]]:
 ; CHECK:    [[y_C:%[^ ]+]] = call i32 @g()
-; CHECK     br label %[[looptail_C]]
+; CHECK:    br label %[[looptail_C]]
 ; CHECK:  [[left_E]]:
 ; CHECK:    [[y_E:%[^ ]+]] = call i32 @g()
-; CHECK     br label %[[looptail_E]]
+; CHECK:    br label %[[looptail_E]]
 ; CHECK:  [[right_C]]:
 ; CHECK:    call void @h(i32 [[x_C]])
 ; CHECK:    br label %[[looptail_C]]
index 8fdba9f..e368d50 100644 (file)
@@ -461,7 +461,7 @@ tlbi vale3
 
 ; CHECK-ERRORS: error: invalid operand for instruction
 ; CHECK-ERRORS:   frsqrte.4s v0, v1, v2
-; CHECK-ERRORS                       ^
+; CHECK-ERRORS:                      ^
 ; CHECK-ERRORS: error: too few operands for instruction
 ; CHECK-ERRORS:   frsqrte.2s v0
 ; CHECK-ERRORS:   ^
index a5b7baf..58ad37e 100644 (file)
@@ -18,7 +18,7 @@
         call foo
 
         ! CHECK: or %g1, %lo(sym), %g3 ! encoding: [0x86,0x10,0b011000AA,A]
-        ! CHECK-NEXT                   !   fixup A - offset: 0, value: %lo(sym), kind: fixup_sparc_lo10
+        ! CHECK-NEXT:                  !   fixup A - offset: 0, value: %lo(sym), kind: fixup_sparc_lo10
         or %g1, %lo(sym), %g3
 
         ! CHECK: sethi %hi(sym), %l0  ! encoding: [0x21,0b00AAAAAA,A,A]
         sethi %hi(sym), %l0
 
         ! CHECK: sethi %h44(sym), %l0  ! encoding: [0x21,0b00AAAAAA,A,A]
-        ! CHECK-NEXT:                 !   fixup A - offset: 0, value: %h44(sym), kind: fixup_sparc_h44
+        ! CHECK-NEXT:                  !   fixup A - offset: 0, value: %h44(sym), kind: fixup_sparc_h44
         sethi %h44(sym), %l0
 
         ! CHECK: or %g1, %m44(sym), %g3 ! encoding: [0x86,0x10,0b011000AA,A]
-        ! CHECK-NEXT                   !   fixup A - offset: 0, value: %m44(sym), kind: fixup_sparc_m44
+        ! CHECK-NEXT:                   !   fixup A - offset: 0, value: %m44(sym), kind: fixup_sparc_m44
         or %g1, %m44(sym), %g3
 
         ! CHECK: or %g1, %l44(sym), %g3 ! encoding: [0x86,0x10,0b0110AAAA,A]
-        ! CHECK-NEXT                   !   fixup A - offset: 0, value: %l44(sym), kind: fixup_sparc_l44
+        ! CHECK-NEXT:                   !   fixup A - offset: 0, value: %l44(sym), kind: fixup_sparc_l44
         or %g1, %l44(sym), %g3
 
         ! CHECK: sethi %hh(sym), %l0  ! encoding: [0x21,0b00AAAAAA,A,A]
@@ -42,5 +42,5 @@
         sethi %hh(sym), %l0
 
         ! CHECK: or %g1, %hm(sym), %g3 ! encoding: [0x86,0x10,0b011000AA,A]
-        ! CHECK-NEXT                   !   fixup A - offset: 0, value: %hm(sym), kind: fixup_sparc_hm
+        ! CHECK-NEXT:                  !   fixup A - offset: 0, value: %hm(sym), kind: fixup_sparc_hm
         or %g1, %hm(sym), %g3
index b0dc873..edabcc3 100644 (file)
@@ -244,7 +244,7 @@ define i1 @ashr_ne_opposite_msb(i8 %a) {
 }
 
 ; CHECK-LABEL: @exact_ashr_eq_shift_gt
-; CHECK-NEXT : ret i1 false
+; CHECK-NEXT: ret i1 false
 define i1 @exact_ashr_eq_shift_gt(i8 %a) {
  %shr = ashr exact i8 -2, %a
  %cmp = icmp eq i8 %shr, -8
@@ -252,7 +252,7 @@ define i1 @exact_ashr_eq_shift_gt(i8 %a) {
 }
 
 ; CHECK-LABEL: @exact_ashr_ne_shift_gt
-; CHECK-NEXT : ret i1 true
+; CHECK-NEXT: ret i1 true
 define i1 @exact_ashr_ne_shift_gt(i8 %a) {
  %shr = ashr exact i8 -2, %a
  %cmp = icmp ne i8 %shr, -8
@@ -260,7 +260,7 @@ define i1 @exact_ashr_ne_shift_gt(i8 %a) {
 }
 
 ; CHECK-LABEL: @nonexact_ashr_eq_shift_gt
-; CHECK-NEXT : ret i1 false
+; CHECK-NEXT: ret i1 false
 define i1 @nonexact_ashr_eq_shift_gt(i8 %a) {
  %shr = ashr i8 -2, %a
  %cmp = icmp eq i8 %shr, -8
@@ -268,7 +268,7 @@ define i1 @nonexact_ashr_eq_shift_gt(i8 %a) {
 }
 
 ; CHECK-LABEL: @nonexact_ashr_ne_shift_gt
-; CHECK-NEXT : ret i1 true
+; CHECK-NEXT: ret i1 true
 define i1 @nonexact_ashr_ne_shift_gt(i8 %a) {
  %shr = ashr i8 -2, %a
  %cmp = icmp ne i8 %shr, -8
@@ -292,7 +292,7 @@ define i1 @exact_lshr_ne_shift_gt(i8 %a) {
 }
 
 ; CHECK-LABEL: @nonexact_lshr_eq_shift_gt
-; CHECK-NEXT : ret i1 false
+; CHECK-NEXT: ret i1 false
 define i1 @nonexact_lshr_eq_shift_gt(i8 %a) {
  %shr = lshr i8 2, %a
  %cmp = icmp eq i8 %shr, 8
@@ -300,7 +300,7 @@ define i1 @nonexact_lshr_eq_shift_gt(i8 %a) {
 }
 
 ; CHECK-LABEL: @nonexact_lshr_ne_shift_gt
-; CHECK-NEXT : ret i1 true
+; CHECK-NEXT: ret i1 true
 define i1 @nonexact_lshr_ne_shift_gt(i8 %a) {
  %shr = ashr i8 2, %a
  %cmp = icmp ne i8 %shr, 8
index 249bc6b..fe6fd1a 100644 (file)
@@ -31,7 +31,7 @@ bb2:                                              ; preds = %while.cond
   br i1 %tobool, label %bb13, label %bb15
 
 bb13:                                             ; preds = %bb2
-; CHECK-LABEL bb13:
+; CHECK-LABEL: bb13:
 ; CHECK: %tmp8.le = inttoptr
   %.lcssa7 = phi i32* [ %tmp8, %bb2 ]
   call void @__msan_warning_noreturn()
index 9698537..aedce03 100644 (file)
@@ -13,7 +13,7 @@ continue:
 ; CHECK-LABEL: continue:
 ; CHECK: phi
 ; CHECK-DAG: [ %p.relocated, %safepoint ]
-; CHECK-DAG [ %p, %entry ]
+; CHECK-DAG: [ %p, %entry ]
 ; CHECK: %cond = icmp
 ; CHECK: br i1 %cond
    br i1 %cond, label %taken, label %untaken
@@ -37,10 +37,10 @@ continue:
 ; CHECK-LABEL: continue:
 ; CHECK: phi
 ; CHECK-DAG: [ %q.relocated, %safepoint ]
-; CHECK-DAG [ %q, %entry ]
+; CHECK-DAG: [ %q, %entry ]
 ; CHECK: phi
 ; CHECK-DAG: [ %p.relocated, %safepoint ]
-; CHECK-DAG [ %p, %entry ]
+; CHECK-DAG: [ %p, %entry ]
 ; CHECK: %cond = icmp
 ; CHECK: br i1 %cond
    br i1 %cond, label %taken, label %untaken
index 25b8e8b..cfd8dd2 100644 (file)
@@ -1616,7 +1616,7 @@ define i16 @PR24463() {
 ; a sub-integer that requires extraction *and* extends past the end of the
 ; alloca. In this case, we should extract the i8 and then zext it to i16.
 ;
-; CHECK-LABEL @PR24463(
+; CHECK-LABEL: @PR24463(
 ; CHECK-NOT: alloca
 ; CHECK: %[[SHIFT:.*]] = lshr i16 0, 8
 ; CHECK: %[[TRUNC:.*]] = trunc i16 %[[SHIFT]] to i8
index fee1ff0..8a506c3 100644 (file)
@@ -41,7 +41,7 @@ ENDIF:                                            ; preds = %LOOP
   br i1 %tmp31, label %IF29, label %ENDIF28
 
 ; CHECK: Flow:
-; CHECK br i1 %{{[0-9]+}}, label %Flow, label %LOOP
+; CHECK: br i1 %{{[0-9]+}}, label %Flow2, label %LOOP
 
 ; CHECK: IF29:
 ; CHECK: br label %Flow1