fixup! [ModuloSchedule] Implement modulo variable expansion for pipelining

Author: ytmukai

llvm/test/CodeGen/AArch64/sms-acceptable-loop3.mir

@@ -1,11 +1,11 @@
 # RUN: llc --verify-machineinstrs -mtriple=aarch64 -o - %s -run-pass pipeliner -aarch64-enable-pipeliner -pipeliner-enable-copytophi=0 -debug-only=pipeliner 2>&1 | FileCheck %s
 # REQUIRES: asserts
 
-# UNSUPPORTED: target={{.*}}
 # Compare and branch instructions are not supported now.
+# CHECK: Unable to analyzeLoop, can NOT pipeline Loop
 
-# An acceptable loop by pipeliner: TBB == ExitBB, FBB == LoopBB, Compare and branch
-# CHECK: Schedule Found? 1
+# (if supported) An acceptable loop by pipeliner: TBB == ExitBB, FBB == LoopBB, Compare and branch
+# CHECK(if supported): Schedule Found? 1
 
 --- |
   define dso_local void @func(ptr noalias nocapture noundef writeonly %a, ptr nocapture noundef readonly %b, i32 noundef %n) local_unnamed_addr #0 {

llvm/test/CodeGen/AArch64/sms-acceptable-loop4.mir

@@ -1,11 +1,11 @@
 # RUN: llc --verify-machineinstrs -mtriple=aarch64 -o - %s -run-pass pipeliner -aarch64-enable-pipeliner -pipeliner-enable-copytophi=0 -debug-only=pipeliner 2>&1 | FileCheck %s
 # REQUIRES: asserts
 
-# UNSUPPORTED: target={{.*}}
 # Compare and branch instructions are not supported now.
+# CHECK: Unable to analyzeLoop, can NOT pipeline Loop
 
-# An acceptable loop by pipeliner TBB == LoopBB, FBB == ExitBB, Compare and branch
-# CHECK: Schedule Found? 1
+# (if supported) An acceptable loop by pipeliner TBB == LoopBB, FBB == ExitBB, Compare and branch
+# CHECK(if supported): Schedule Found? 1
 
 --- |
   define dso_local void @func(ptr noalias nocapture noundef writeonly %a, ptr nocapture noundef readonly %b, i32 noundef %n) local_unnamed_addr #0 {

llvm/test/CodeGen/AArch64/sms-unpipeline-insts2.mir

@@ -1,12 +1,12 @@
 # RUN: llc --verify-machineinstrs -mtriple=aarch64 -o - %s -run-pass pipeliner -aarch64-enable-pipeliner -pipeliner-enable-copytophi=0 -debug-only=pipeliner 2>&1 | FileCheck %s
 # REQUIRES: asserts
 
-# UNSUPPORTED: target={{.*}}
 # Compare and branch instructions are not supported now.
+# CHECK: Unable to analyzeLoop, can NOT pipeline Loop
 
-# An acceptable loop by pipeliner TBB == LoopBB, FBB == ExitBB, Compare and branch
-# CHECK: SU([[SU0:[0-9]+]]):   [[V0:%[0-9]+]]:gpr64common = SUBXri [[V1:%[0-9]+]]:gpr64common, 1, 0
-# CHECK: Do not pipeline SU([[SU0:[0-9]+]])
+# (if supported) Check that instructions for loop control are not pipelined when compare and branch is used.
+# CHECK(if supported): SU([[SU0:[0-9]+]]):   [[V0:%[0-9]+]]:gpr64common = SUBXri [[V1:%[0-9]+]]:gpr64common, 1, 0
+# CHECK(if supported): Do not pipeline SU([[SU0:[0-9]+]])
 
 --- |
   define dso_local void @func(ptr noalias nocapture noundef writeonly %a, ptr nocapture noundef readonly %b, i32 noundef %n) local_unnamed_addr #0 {