[llvm] ecff028 - [LV] Update test after 4ac4726d00.
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Wed Jun 25 01:55:07 PDT 2025
Author: Florian Hahn
Date: 2025-06-25T09:54:54+01:00
New Revision: ecff028a96626357d17d4e4fdce824a7da89ec1c
URL: https://github.com/llvm/llvm-project/commit/ecff028a96626357d17d4e4fdce824a7da89ec1c
DIFF: https://github.com/llvm/llvm-project/commit/ecff028a96626357d17d4e4fdce824a7da89ec1c.diff
LOG: [LV] Update test after 4ac4726d00.
Update missed test checks after #144644.
Added:
Modified:
llvm/test/Transforms/LoopVectorize/RISCV/riscv-vector-reverse.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/LoopVectorize/RISCV/riscv-vector-reverse.ll b/llvm/test/Transforms/LoopVectorize/RISCV/riscv-vector-reverse.ll
index b23b0ce759d49..dd8b7d6ea7e42 100644
--- a/llvm/test/Transforms/LoopVectorize/RISCV/riscv-vector-reverse.ll
+++ b/llvm/test/Transforms/LoopVectorize/RISCV/riscv-vector-reverse.ll
@@ -274,7 +274,7 @@ define void @vector_reverse_i64(ptr nocapture noundef writeonly %A, ptr nocaptur
; CHECK-NEXT: IR %indvars.iv.next = add nsw i64 %indvars.iv, -1
; CHECK-NEXT: No successors
; CHECK-NEXT: }
-; CHECK-NEXT: LV: vectorizing VPBB:ir-bb<for.body.preheader> in BB:for.body.preheader
+; CHECK-NEXT: LV: vectorizing VPBB: ir-bb<for.body.preheader> in BB: for.body.preheader
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: for.body.preheader: ; preds = %entry
; CHECK-NEXT: %0 = zext i32 %n to i64
@@ -282,7 +282,7 @@ define void @vector_reverse_i64(ptr nocapture noundef writeonly %A, ptr nocaptur
; CHECK-NEXT: %2 = mul nuw i64 %1, 4
; CHECK-NEXT: %min.iters.check = icmp ult i64 %0, %2
; CHECK-NEXT: br i1 %min.iters.check, label %scalar.ph, label %vector.scevcheck
-; CHECK-NEXT: LV: vectorizing VPBB:ir-bb<vector.scevcheck> in BB:vector.scevcheck
+; CHECK-NEXT: LV: vectorizing VPBB: ir-bb<vector.scevcheck> in BB: vector.scevcheck
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: vector.scevcheck: ; preds = %for.body.preheader
; CHECK-NEXT: %3 = add nsw i64 %0, -1
@@ -297,8 +297,8 @@ define void @vector_reverse_i64(ptr nocapture noundef writeonly %A, ptr nocaptur
; CHECK-NEXT: %9 = icmp ugt i64 %3, 4294967295
; CHECK-NEXT: %10 = or i1 %8, %9
; CHECK-NEXT: br i1 %10, label %scalar.ph, label %vector.memcheck
-; CHECK-NEXT: LV: draw edge fromfor.body.preheader
-; CHECK-NEXT: LV: vectorizing VPBB:ir-bb<vector.memcheck> in BB:vector.memcheck
+; CHECK-NEXT: LV: draw edge from for.body.preheader
+; CHECK-NEXT: LV: vectorizing VPBB: ir-bb<vector.memcheck> in BB: vector.memcheck
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: vector.memcheck: ; preds = %vector.scevcheck
; CHECK-NEXT: %11 = call i64 @llvm.vscale.i64()
@@ -307,8 +307,8 @@ define void @vector_reverse_i64(ptr nocapture noundef writeonly %A, ptr nocaptur
; CHECK-NEXT: %14 = sub i64 %B1, %A2
; CHECK-NEXT: %
diff .check = icmp ult i64 %14, %13
; CHECK-NEXT: br i1 %
diff .check, label %scalar.ph, label %vector.ph
-; CHECK-NEXT: LV: draw edge fromvector.scevcheck
-; CHECK-NEXT: LV: vectorizing VPBB:ir-bb<vector.ph> in BB:vector.ph
+; CHECK-NEXT: LV: draw edge from vector.scevcheck
+; CHECK-NEXT: LV: vectorizing VPBB: ir-bb<vector.ph> in BB: vector.ph
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: vector.ph: ; preds = %vector.memcheck
; CHECK-NEXT: %15 = call i64 @llvm.vscale.i64()
@@ -321,10 +321,10 @@ define void @vector_reverse_i64(ptr nocapture noundef writeonly %A, ptr nocaptur
; CHECK-NEXT: %.cast = trunc i64 %n.vec to i32
; CHECK-NEXT: %20 = sub i32 %n, %.cast
; CHECK-NEXT: br
-; CHECK-NEXT: LV: draw edge fromvector.memcheck
+; CHECK-NEXT: LV: draw edge from vector.memcheck
; CHECK-NEXT: LV: created vector.body
-; CHECK-NEXT: LV: draw edge fromvector.ph
-; CHECK-NEXT: LV: vectorizing VPBB:vector.body in BB:vector.body
+; CHECK-NEXT: LV: draw edge from vector.ph
+; CHECK-NEXT: LV: vectorizing VPBB: vector.body in BB: vector.body
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: vector.body: ; preds = %vector.body, %vector.ph
; CHECK-NEXT: %index = phi i64 [ 0, %vector.ph ]
@@ -351,28 +351,28 @@ define void @vector_reverse_i64(ptr nocapture noundef writeonly %A, ptr nocaptur
; CHECK-NEXT: %34 = icmp eq i64 %index.next, %n.vec
; CHECK-NEXT: br i1 %34, <null operand!>, label %vector.body
; CHECK-NEXT: LV: created middle.block
-; CHECK-NEXT: LV: draw edge fromvector.body
-; CHECK-NEXT: LV: vectorizing VPBB:middle.block in BB:middle.block
+; CHECK-NEXT: LV: draw edge from vector.body
+; CHECK-NEXT: LV: vectorizing VPBB: middle.block in BB: middle.block
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: middle.block: ; preds = %vector.body
; CHECK-NEXT: %cmp.n = icmp eq i64 %0, %n.vec
; CHECK-NEXT: br i1 %cmp.n, <null operand!>, <null operand!>
-; CHECK-NEXT: LV: vectorizing VPBB:ir-bb<for.cond.cleanup.loopexit> in BB:for.cond.cleanup.loopexit
+; CHECK-NEXT: LV: vectorizing VPBB: ir-bb<for.cond.cleanup.loopexit> in BB: for.cond.cleanup.loopexit
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: for.cond.cleanup.loopexit: ; preds = %for.body
; CHECK-NEXT: br label %for.cond.cleanup
-; CHECK-NEXT: LV: draw edge frommiddle.block
-; CHECK-NEXT: LV: vectorizing VPBB:ir-bb<scalar.ph> in BB:scalar.ph
+; CHECK-NEXT: LV: draw edge from middle.block
+; CHECK-NEXT: LV: vectorizing VPBB: ir-bb<scalar.ph> in BB: scalar.ph
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: scalar.ph: ; preds = %vector.memcheck, %vector.scevcheck, %for.body.preheader
; CHECK-NEXT: %bc.resume.val = phi i64 [ %19, %middle.block ], [ %0, %for.body.preheader ], [ %0, %vector.scevcheck ], [ %0, %vector.memcheck ]
; CHECK-NEXT: %bc.resume.val5 = phi i32 [ %20, %middle.block ], [ %n, %for.body.preheader ], [ %n, %vector.scevcheck ], [ %n, %vector.memcheck ]
; CHECK-NEXT: br label %for.body
-; CHECK-NEXT: LV: draw edge frommiddle.block
-; CHECK-NEXT: LV: draw edge fromfor.body.preheader
-; CHECK-NEXT: LV: draw edge fromvector.scevcheck
-; CHECK-NEXT: LV: draw edge fromvector.memcheck
-; CHECK-NEXT: LV: vectorizing VPBB:ir-bb<for.body> in BB:for.body
+; CHECK-NEXT: LV: draw edge from middle.block
+; CHECK-NEXT: LV: draw edge from for.body.preheader
+; CHECK-NEXT: LV: draw edge from vector.scevcheck
+; CHECK-NEXT: LV: draw edge from vector.memcheck
+; CHECK-NEXT: LV: vectorizing VPBB: ir-bb<for.body> in BB: for.body
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: for.body: ; preds = %for.body, %scalar.ph
; CHECK-NEXT: %indvars.iv = phi i64 [ %bc.resume.val, %scalar.ph ], [ %indvars.iv.next, %for.body ]
@@ -387,7 +387,7 @@ define void @vector_reverse_i64(ptr nocapture noundef writeonly %A, ptr nocaptur
; CHECK-NEXT: %cmp = icmp ugt i64 %indvars.iv, 1
; CHECK-NEXT: %indvars.iv.next = add nsw i64 %indvars.iv, -1
; CHECK-NEXT: br i1 %cmp, label %for.body, label %for.cond.cleanup.loopexit, !llvm.loop !0
-; CHECK-NEXT: LV: draw edge fromscalar.ph
+; CHECK-NEXT: LV: draw edge from scalar.ph
; CHECK-NEXT: LV: Interleaving disabled by the pass manager
; CHECK-NEXT: LV: Vectorizing: innermost loop.
; CHECK-EMPTY:
@@ -683,7 +683,7 @@ define void @vector_reverse_f32(ptr nocapture noundef writeonly %A, ptr nocaptur
; CHECK-NEXT: IR %indvars.iv.next = add nsw i64 %indvars.iv, -1
; CHECK-NEXT: No successors
; CHECK-NEXT: }
-; CHECK-NEXT: LV: vectorizing VPBB:ir-bb<for.body.preheader> in BB:for.body.preheader
+; CHECK-NEXT: LV: vectorizing VPBB: ir-bb<for.body.preheader> in BB: for.body.preheader
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: for.body.preheader: ; preds = %entry
; CHECK-NEXT: %0 = zext i32 %n to i64
@@ -691,7 +691,7 @@ define void @vector_reverse_f32(ptr nocapture noundef writeonly %A, ptr nocaptur
; CHECK-NEXT: %2 = mul nuw i64 %1, 4
; CHECK-NEXT: %min.iters.check = icmp ult i64 %0, %2
; CHECK-NEXT: br i1 %min.iters.check, label %scalar.ph, label %vector.scevcheck
-; CHECK-NEXT: LV: vectorizing VPBB:ir-bb<vector.scevcheck> in BB:vector.scevcheck
+; CHECK-NEXT: LV: vectorizing VPBB: ir-bb<vector.scevcheck> in BB: vector.scevcheck
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: vector.scevcheck: ; preds = %for.body.preheader
; CHECK-NEXT: %3 = add nsw i64 %0, -1
@@ -706,8 +706,8 @@ define void @vector_reverse_f32(ptr nocapture noundef writeonly %A, ptr nocaptur
; CHECK-NEXT: %9 = icmp ugt i64 %3, 4294967295
; CHECK-NEXT: %10 = or i1 %8, %9
; CHECK-NEXT: br i1 %10, label %scalar.ph, label %vector.memcheck
-; CHECK-NEXT: LV: draw edge fromfor.body.preheader
-; CHECK-NEXT: LV: vectorizing VPBB:ir-bb<vector.memcheck> in BB:vector.memcheck
+; CHECK-NEXT: LV: draw edge from for.body.preheader
+; CHECK-NEXT: LV: vectorizing VPBB: ir-bb<vector.memcheck> in BB: vector.memcheck
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: vector.memcheck: ; preds = %vector.scevcheck
; CHECK-NEXT: %11 = call i64 @llvm.vscale.i64()
@@ -716,8 +716,8 @@ define void @vector_reverse_f32(ptr nocapture noundef writeonly %A, ptr nocaptur
; CHECK-NEXT: %14 = sub i64 %B1, %A2
; CHECK-NEXT: %
diff .check = icmp ult i64 %14, %13
; CHECK-NEXT: br i1 %
diff .check, label %scalar.ph, label %vector.ph
-; CHECK-NEXT: LV: draw edge fromvector.scevcheck
-; CHECK-NEXT: LV: vectorizing VPBB:ir-bb<vector.ph> in BB:vector.ph
+; CHECK-NEXT: LV: draw edge from vector.scevcheck
+; CHECK-NEXT: LV: vectorizing VPBB: ir-bb<vector.ph> in BB: vector.ph
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: vector.ph: ; preds = %vector.memcheck
; CHECK-NEXT: %15 = call i64 @llvm.vscale.i64()
@@ -730,10 +730,10 @@ define void @vector_reverse_f32(ptr nocapture noundef writeonly %A, ptr nocaptur
; CHECK-NEXT: %.cast = trunc i64 %n.vec to i32
; CHECK-NEXT: %20 = sub i32 %n, %.cast
; CHECK-NEXT: br
-; CHECK-NEXT: LV: draw edge fromvector.memcheck
+; CHECK-NEXT: LV: draw edge from vector.memcheck
; CHECK-NEXT: LV: created vector.body
-; CHECK-NEXT: LV: draw edge fromvector.ph
-; CHECK-NEXT: LV: vectorizing VPBB:vector.body in BB:vector.body
+; CHECK-NEXT: LV: draw edge from vector.ph
+; CHECK-NEXT: LV: vectorizing VPBB: vector.body in BB: vector.body
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: vector.body: ; preds = %vector.body, %vector.ph
; CHECK-NEXT: %index = phi i64 [ 0, %vector.ph ]
@@ -760,28 +760,28 @@ define void @vector_reverse_f32(ptr nocapture noundef writeonly %A, ptr nocaptur
; CHECK-NEXT: %34 = icmp eq i64 %index.next, %n.vec
; CHECK-NEXT: br i1 %34, <null operand!>, label %vector.body
; CHECK-NEXT: LV: created middle.block
-; CHECK-NEXT: LV: draw edge fromvector.body
-; CHECK-NEXT: LV: vectorizing VPBB:middle.block in BB:middle.block
+; CHECK-NEXT: LV: draw edge from vector.body
+; CHECK-NEXT: LV: vectorizing VPBB: middle.block in BB: middle.block
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: middle.block: ; preds = %vector.body
; CHECK-NEXT: %cmp.n = icmp eq i64 %0, %n.vec
; CHECK-NEXT: br i1 %cmp.n, <null operand!>, <null operand!>
-; CHECK-NEXT: LV: vectorizing VPBB:ir-bb<for.cond.cleanup.loopexit> in BB:for.cond.cleanup.loopexit
+; CHECK-NEXT: LV: vectorizing VPBB: ir-bb<for.cond.cleanup.loopexit> in BB: for.cond.cleanup.loopexit
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: for.cond.cleanup.loopexit: ; preds = %for.body
; CHECK-NEXT: br label %for.cond.cleanup
-; CHECK-NEXT: LV: draw edge frommiddle.block
-; CHECK-NEXT: LV: vectorizing VPBB:ir-bb<scalar.ph> in BB:scalar.ph
+; CHECK-NEXT: LV: draw edge from middle.block
+; CHECK-NEXT: LV: vectorizing VPBB: ir-bb<scalar.ph> in BB: scalar.ph
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: scalar.ph: ; preds = %vector.memcheck, %vector.scevcheck, %for.body.preheader
; CHECK-NEXT: %bc.resume.val = phi i64 [ %19, %middle.block ], [ %0, %for.body.preheader ], [ %0, %vector.scevcheck ], [ %0, %vector.memcheck ]
; CHECK-NEXT: %bc.resume.val5 = phi i32 [ %20, %middle.block ], [ %n, %for.body.preheader ], [ %n, %vector.scevcheck ], [ %n, %vector.memcheck ]
; CHECK-NEXT: br label %for.body
-; CHECK-NEXT: LV: draw edge frommiddle.block
-; CHECK-NEXT: LV: draw edge fromfor.body.preheader
-; CHECK-NEXT: LV: draw edge fromvector.scevcheck
-; CHECK-NEXT: LV: draw edge fromvector.memcheck
-; CHECK-NEXT: LV: vectorizing VPBB:ir-bb<for.body> in BB:for.body
+; CHECK-NEXT: LV: draw edge from middle.block
+; CHECK-NEXT: LV: draw edge from for.body.preheader
+; CHECK-NEXT: LV: draw edge from vector.scevcheck
+; CHECK-NEXT: LV: draw edge from vector.memcheck
+; CHECK-NEXT: LV: vectorizing VPBB: ir-bb<for.body> in BB: for.body
; CHECK-NEXT: LV: filled BB:
; CHECK-NEXT: for.body: ; preds = %for.body, %scalar.ph
; CHECK-NEXT: %indvars.iv = phi i64 [ %bc.resume.val, %scalar.ph ], [ %indvars.iv.next, %for.body ]
@@ -796,7 +796,7 @@ define void @vector_reverse_f32(ptr nocapture noundef writeonly %A, ptr nocaptur
; CHECK-NEXT: %cmp = icmp ugt i64 %indvars.iv, 1
; CHECK-NEXT: %indvars.iv.next = add nsw i64 %indvars.iv, -1
; CHECK-NEXT: br i1 %cmp, label %for.body, label %for.cond.cleanup.loopexit, !llvm.loop !0
-; CHECK-NEXT: LV: draw edge fromscalar.ph
+; CHECK-NEXT: LV: draw edge from scalar.ph
; CHECK-NEXT: LV: Interleaving disabled by the pass manager
; CHECK-NEXT: LV: Vectorizing: innermost loop.
;
More information about the llvm-commits
mailing list