[MLIR][CF] Update control-flow-cycles test (#159743)

Author: benwu25

mlir/test/Transforms/control-flow-cycles.mlir

@@ -2,10 +2,10 @@
 
 // Test that control-flow cycles are not simplified infinitely.
 
-// CHECK-LABEL: @cycle_2_blocks
-// CHECK-NEXT: cf.br ^bb1
-// CHECK-NEXT: ^bb1:
-// CHECK-NEXT: cf.br ^bb1
+// CHECK-LABEL:   @cycle_2_blocks
+// CHECK:           cf.br ^bb1
+// CHECK:         ^bb1:
+// CHECK:           cf.br ^bb1
 func.func @cycle_2_blocks() {
   cf.br ^bb1
   ^bb1:
@@ -14,9 +14,9 @@ func.func @cycle_2_blocks() {
     cf.br ^bb1
 }
 
-// CHECK-LABEL: @no_cycle_2_blocks
-// CHECK-NEXT: %c1_i32 = arith.constant 1 : i32
-// CHECK-NEXT: return %c1_i32 : i32
+// CHECK-LABEL:   @no_cycle_2_blocks
+// CHECK:           %[[VAL_0:.*]] = arith.constant 1 : i32
+// CHECK:           return %[[VAL_0]] : i32
 func.func @no_cycle_2_blocks() -> i32 {
   cf.br ^bb1
   ^bb1:
@@ -28,10 +28,10 @@ func.func @no_cycle_2_blocks() -> i32 {
     return %ret : i32
 }
 
-// CHECK-LABEL: @cycle_4_blocks
-// CHECK-NEXT: cf.br ^bb1
-// CHECK-NEXT: ^bb1:
-// CHECK-NEXT: cf.br ^bb1
+// CHECK-LABEL:   @cycle_4_blocks
+// CHECK:           cf.br ^bb1
+// CHECK:         ^bb1:
+// CHECK:           cf.br ^bb1
 func.func @cycle_4_blocks() {
   cf.br ^bb1
   ^bb1:
@@ -44,9 +44,9 @@ func.func @cycle_4_blocks() {
     cf.br ^bb1
 }
 
-// CHECK-LABEL: @no_cycle_4_blocks
-// CHECK-NEXT: %c1_i32 = arith.constant 1 : i32
-// CHECK-NEXT: return %c1_i32 : i32
+// CHECK-LABEL:   @no_cycle_4_blocks
+// CHECK:           %[[VAL_0:.*]] = arith.constant 1 : i32
+// CHECK:           return %[[VAL_0]] : i32
 func.func @no_cycle_4_blocks() -> i32 {
   cf.br ^bb1
   ^bb1:
@@ -62,10 +62,10 @@ func.func @no_cycle_4_blocks() -> i32 {
     return %ret : i32
 }
 
-// CHECK-LABEL: @delayed_3_cycle
-// CHECK-NEXT: cf.br ^bb1
-// CHECK-NEXT: ^bb1:
-// CHECK-NEXT: cf.br ^bb1
+// CHECK-LABEL:   @delayed_3_cycle
+// CHECK:           cf.br ^bb1
+// CHECK:         ^bb1:
+// CHECK:           cf.br ^bb1
 func.func @delayed_3_cycle() {
   cf.br ^bb1
   ^bb1: