[llvm] [LV] NFC: Address post-merge comments on splice-cost.ll (PR #192624)

[Sander de Smalen via llvm-commits]

https://github.com/sdesmalen-arm created https://github.com/llvm/llvm-project/pull/192624

Addresses comments left on #192473 after merging.

>From 50c93a85390d7256a7540d0c8a96d25b6dd034f1 Mon Sep 17 00:00:00 2001
From: Sander de Smalen <sander.desmalen at arm.com>
Date: Fri, 17 Apr 2026 10:09:57 +0000
Subject: [PATCH] [LV] NFC: Address post-merge comments on splice-cost.ll

Addresses comments left on #192473 after merging.
---
 .../LoopVectorize/AArch64/splice-cost.ll      | 37 +++++++++----------
 1 file changed, 18 insertions(+), 19 deletions(-)

diff --git a/llvm/test/Transforms/LoopVectorize/AArch64/splice-cost.ll b/llvm/test/Transforms/LoopVectorize/AArch64/splice-cost.ll
index f99e61d70404a..ccb1a2b0f2501 100644
--- a/llvm/test/Transforms/LoopVectorize/AArch64/splice-cost.ll
+++ b/llvm/test/Transforms/LoopVectorize/AArch64/splice-cost.ll
@@ -1,31 +1,30 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --filter "Cost of .*: EMIT vp<.*> = first-order splice" --version 6
 ; RUN: opt < %s -passes=loop-vectorize -disable-output -debug-only=loop-vectorize 2>&1 | FileCheck %s
 ; REQUIRES: asserts
 target triple = "aarch64"
 
-; CHECK: Cost of 1 for VF 2: EMIT vp<{{.*}}> = first-order splice
-; CHECK: Cost of 3 for VF vscale x 2: EMIT vp<{{.*}}> = first-order splice
-
 define void @foo(ptr noalias %in, ptr noalias %out, i64 %n) "target-features"="+sve" {
+; CHECK-LABEL: 'foo'
+; CHECK:  Cost of 1 for VF 2: EMIT vp<[[VP6:%[0-9]+]]> = first-order splice ir<%prev>, ir<%cur>
+; CHECK:  Cost of Invalid for VF vscale x 1: EMIT vp<[[VP6]]> = first-order splice ir<%prev>, ir<%cur>
+; CHECK:  Cost of 3 for VF vscale x 2: EMIT vp<[[VP6]]> = first-order splice ir<%prev>, ir<%cur>
+;
 entry:
-  %load.prev = load i64, ptr %in, align 8
+  %prev.init = load i64, ptr %in, align 8
   br label %for.body
 
 for.body:
-  %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
-  %prev = phi i64 [ %load.prev, %entry ], [ %load.cur, %for.body ]
-  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
-  %arrayidx.load = getelementptr inbounds nuw i64, ptr %in, i64 %indvars.iv.next
-  %load.cur = load i64, ptr %arrayidx.load
-  %add = add i64 %load.cur, %prev
-  %arrayidx.store = getelementptr inbounds nuw i64, ptr %out, i64 %indvars.iv
-  store i64 %add, ptr %arrayidx.store
-  %exitcond.not = icmp eq i64 %indvars.iv.next, %n
-  br i1 %exitcond.not, label %for.cond.cleanup, label %for.body, !llvm.loop !0
+  %iv = phi i64 [ 0, %entry ], [ %iv.next, %for.body ]
+  %prev = phi i64 [ %prev.init, %entry ], [ %cur, %for.body ]
+  %iv.next = add nuw nsw i64 %iv, 1
+  %cur.idx = getelementptr inbounds nuw i64, ptr %in, i64 %iv.next
+  %cur = load i64, ptr %cur.idx
+  %add = add i64 %cur, %prev
+  %store.idx = getelementptr inbounds nuw i64, ptr %out, i64 %iv
+  store i64 %add, ptr %store.idx
+  %exitcond.not = icmp eq i64 %iv.next, %n
+  br i1 %exitcond.not, label %exit, label %for.body
 
-for.cond.cleanup:
+exit:
   ret void
 }
-
-!0 = distinct !{!0, !1, !2}
-!1 = !{!"llvm.loop.mustprogress"}
-!2 = !{!"llvm.loop.unroll.disable"}