Skip to content

Commit f0b0c02

Browse files
klensyklensy
andauthored
[mlir][test] Fix filecheck annotation typos (#92897)
Moved fixes for mlir from #91854, plus few additional in second commit. --------- Co-authored-by: klensy <nightouser@gmail.com>
1 parent 77ae18b commit f0b0c02

25 files changed

+68
-68
lines changed

mlir/test/Analysis/DataFlow/test-next-access.mlir

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -63,7 +63,7 @@ func.func @branch(%arg0: memref<f32>, %arg1: f32, %arg2: i1) -> f32 {
6363
return %phi : f32
6464
}
6565

66-
// CHECK-LABEL @dead_branch
66+
// CHECK-LABEL: @dead_branch
6767
func.func @dead_branch(%arg0: memref<f32>, %arg1: f32) -> f32 {
6868
// CHECK: name = "store"
6969
// CHECK-SAME: next_access = ["unknown", ["load 2"]]
@@ -191,7 +191,7 @@ func.func @loop_cf(%arg0: memref<?xf32>, %arg1: f32, %arg2: index, %arg3: index,
191191
return %8 : f32
192192
}
193193

194-
// CHECK-LABEL @conditional_cf
194+
// CHECK-LABEL: @conditional_cf
195195
func.func @conditional_cf(%arg0: i1, %arg1: memref<f32>) {
196196
// CHECK: name = "pre"
197197
// CHECK-SAME: next_access = {{\[}}["then", "post"]]

mlir/test/Conversion/BufferizationToMemRef/bufferization-to-memref.mlir

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -79,7 +79,7 @@ func.func @conversion_dealloc_simple(%arg0: memref<2xf32>, %arg1: i1) {
7979
return
8080
}
8181

82-
// CHECk: scf.if [[ARG1]] {
83-
// CHECk-NEXT: memref.dealloc [[ARG0]] : memref<2xf32>
84-
// CHECk-NEXT: }
85-
// CHECk-NEXT: return
82+
// CHECK: scf.if [[ARG1]] {
83+
// CHECK-NEXT: memref.dealloc [[ARG0]] : memref<2xf32>
84+
// CHECK-NEXT: }
85+
// CHECK-NEXT: return

mlir/test/Conversion/NVGPUToNVVM/nvgpu-to-nvvm.mlir

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -778,11 +778,11 @@ func.func @create_tensor_map(%devicePtr2d : memref<64x128xf32>, %devicePtr1d : m
778778
%crd0 = arith.constant 64 : index
779779
%crd1 = arith.constant 128 : index
780780
%devicePtr2d_unranked = memref.cast %devicePtr2d : memref<64x128xf32> to memref<*xf32>
781-
// CHECK : llvm.call @mgpuTensorMapEncodeTiledMemref
781+
// CHECK: llvm.call @mgpuTensorMapEncodeTiledMemref
782782
%tensorMap2d = nvgpu.tma.create.descriptor %devicePtr2d_unranked box[%crd0, %crd1] : memref<*xf32> -> !tensorMap2d
783783

784784
%devicePtr1d_unranked = memref.cast %devicePtr1d : memref<128xf32> to memref<*xf32>
785-
// CHECK : llvm.call @mgpuTensorMapEncodeTiledMemref
785+
// CHECK: llvm.call @mgpuTensorMapEncodeTiledMemref
786786
%tensorMap1d = nvgpu.tma.create.descriptor %devicePtr1d_unranked box[%crd1] : memref<*xf32> -> !tensorMap1d
787787
func.return
788788
}

mlir/test/Conversion/PDLToPDLInterp/pdl-to-pdl-interp-matcher.mlir

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -588,7 +588,7 @@ module @variadic_results_all {
588588
// CHECK-DAG: %[[OPS:.*]] = pdl_interp.get_users of %[[VAL0]] : !pdl.value
589589
// CHECK-DAG: pdl_interp.foreach %[[OP:.*]] : !pdl.operation in %[[OPS]]
590590
// CHECK-DAG: %[[OPERANDS:.*]] = pdl_interp.get_operands of %[[OP]]
591-
// CHECK-DAG pdl_interp.are_equal %[[VALS]], %[[OPERANDS]] -> ^{{.*}}, ^[[CONTINUE:.*]]
591+
// CHECK-DAG: pdl_interp.are_equal %[[VALS]], %[[OPERANDS]] -> ^{{.*}}, ^[[CONTINUE:.*]]
592592
// CHECK-DAG: pdl_interp.is_not_null %[[OP]]
593593
// CHECK-DAG: pdl_interp.check_result_count of %[[OP]] is 0
594594
pdl.pattern @variadic_results_all : benefit(1) {
@@ -701,7 +701,7 @@ module @common_connector {
701701
// CHECK-DAG: pdl_interp.are_equal %[[ROOTA_OP]], %[[VAL0]] : !pdl.value
702702
// CHECK-DAG: %[[ROOTB_OP:.*]] = pdl_interp.get_operand 0 of %[[ROOTB]]
703703
// CHECK-DAG: pdl_interp.are_equal %[[ROOTB_OP]], %[[VAL0]] : !pdl.value
704-
// CHECK-DAG } -> ^[[CONTA:.*]]
704+
// CHECK-DAG: } -> ^[[CONTA:.*]]
705705
pdl.pattern @common_connector : benefit(1) {
706706
%type = type
707707
%op = operation -> (%type, %type : !pdl.type, !pdl.type)
@@ -742,7 +742,7 @@ module @common_connector_range {
742742
// CHECK-DAG: pdl_interp.are_equal %[[ROOTA_OPS]], %[[VALS0]] : !pdl.range<value>
743743
// CHECK-DAG: %[[ROOTB_OPS:.*]] = pdl_interp.get_operands of %[[ROOTB]]
744744
// CHECK-DAG: pdl_interp.are_equal %[[ROOTB_OPS]], %[[VALS0]] : !pdl.range<value>
745-
// CHECK-DAG } -> ^[[CONTA:.*]]
745+
// CHECK-DAG: } -> ^[[CONTA:.*]]
746746
pdl.pattern @common_connector_range : benefit(1) {
747747
%types = types
748748
%op = operation -> (%types, %types : !pdl.range<type>, !pdl.range<type>)

mlir/test/Conversion/SPIRVToLLVM/spirv-storage-class-mapping.mlir

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -91,5 +91,5 @@ spirv.func @pointerCodeSectionINTEL(!spirv.ptr<i1, CodeSectionINTEL>) "None"
9191
spirv.func @pointerDeviceOnlyINTEL(!spirv.ptr<i1, DeviceOnlyINTEL>) "None"
9292

9393
// CHECK-OPENCL: llvm.func @pointerHostOnlyINTEL(!llvm.ptr<6>)
94-
// CHECK-UNKOWN: llvm.func @pointerHostOnlyINTEL(!llvm.ptr)
94+
// CHECK-UNKNOWN: llvm.func @pointerHostOnlyINTEL(!llvm.ptr)
9595
spirv.func @pointerHostOnlyINTEL(!spirv.ptr<i1, HostOnlyINTEL>) "None"

mlir/test/Dialect/Arith/unsigned-when-equivalent.mlir

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
// RUN: mlir-opt -arith-unsigned-when-equivalent %s | FileCheck %s
22

3-
// CHECK-LABEL func @not_with_maybe_overflow
3+
// CHECK-LABEL: func @not_with_maybe_overflow
44
// CHECK: arith.divsi
55
// CHECK: arith.ceildivsi
66
// CHECK: arith.floordivsi
@@ -32,7 +32,7 @@ func.func @not_with_maybe_overflow(%arg0 : i32) {
3232
func.return
3333
}
3434

35-
// CHECK-LABEL func @yes_with_no_overflow
35+
// CHECK-LABEL: func @yes_with_no_overflow
3636
// CHECK: arith.divui
3737
// CHECK: arith.ceildivui
3838
// CHECK: arith.divui

mlir/test/Dialect/ArmSME/tile-allocation-liveness.mlir

Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -366,15 +366,15 @@ func.func @avoidable_spill(%a: vector<[4]xf32>, %b: vector<[4]xf32>, %c: vector<
366366

367367
// CHECK-LIVE-RANGE-LABEL: @cond_branch_with_backedge
368368
// CHECK-LIVE-RANGE: ^bb1:
369-
// CHECK-LIVE-RANGE--NEXT: ||| | arith.cmpi
370-
// CHECK-LIVE-RANGE--NEXT: EEE E cf.cond_br
369+
// CHECK-LIVE-RANGE-NEXT: ||| | arith.cmpi
370+
// CHECK-LIVE-RANGE-NEXT: EEE E cf.cond_br
371371
//
372-
// CHECK-LIVE-RANGE--NEXT: ^[[BB3_COPIES:[[:alnum:]]+]]:
373-
// CHECK-LIVE-RANGE--NEXT: ||| ES arm_sme.copy_tile
374-
// CHECK-LIVE-RANGE--NEXT: E|| |S arm_sme.copy_tile
375-
// CHECK-LIVE-RANGE--NEXT: E| ||S arm_sme.copy_tile
376-
// CHECK-LIVE-RANGE--NEXT: E |||S arm_sme.copy_tile
377-
// CHECK-LIVE-RANGE--NEXT: EEEE cf.br
372+
// CHECK-LIVE-RANGE-NEXT: ^[[BB3_COPIES:[[:alnum:]]+]]:
373+
// CHECK-LIVE-RANGE-NEXT: ||| ES arm_sme.copy_tile
374+
// CHECK-LIVE-RANGE-NEXT: E|| |S arm_sme.copy_tile
375+
// CHECK-LIVE-RANGE-NEXT: E| ||S arm_sme.copy_tile
376+
// CHECK-LIVE-RANGE-NEXT: E |||S arm_sme.copy_tile
377+
// CHECK-LIVE-RANGE-NEXT: EEEE cf.br
378378
//
379379
// It is important to note that the first three live ranges in ^bb1 do not end
380380
// at the `cf.cond_br` they are live-out via the backedge bb1 -> bb2 -> bb1.
@@ -389,15 +389,15 @@ func.func @avoidable_spill(%a: vector<[4]xf32>, %b: vector<[4]xf32>, %c: vector<
389389
//
390390
// CHECK-LIVE-RANGE: ========== Coalesced Live Ranges:
391391
// CHECK-LIVE-RANGE: ^bb1:
392-
// CHECK-LIVE-RANGE--NEXT: |||| arith.cmpi
393-
// CHECK-LIVE-RANGE--NEXT: EEEE cf.cond_br
392+
// CHECK-LIVE-RANGE-NEXT: |||| arith.cmpi
393+
// CHECK-LIVE-RANGE-NEXT: EEEE cf.cond_br
394394
//
395-
// CHECK-LIVE-RANGE--NEXT: ^[[BB3_COPIES]]:
396-
// CHECK-LIVE-RANGE--NEXT: |||| arm_sme.copy_tile
397-
// CHECK-LIVE-RANGE--NEXT: |||| arm_sme.copy_tile
398-
// CHECK-LIVE-RANGE--NEXT: |||| arm_sme.copy_tile
399-
// CHECK-LIVE-RANGE--NEXT: |||| arm_sme.copy_tile
400-
// CHECK-LIVE-RANGE--NEXT: EEEE cf.br
395+
// CHECK-LIVE-RANGE-NEXT: ^[[BB3_COPIES]]:
396+
// CHECK-LIVE-RANGE-NEXT: |||| arm_sme.copy_tile
397+
// CHECK-LIVE-RANGE-NEXT: |||| arm_sme.copy_tile
398+
// CHECK-LIVE-RANGE-NEXT: |||| arm_sme.copy_tile
399+
// CHECK-LIVE-RANGE-NEXT: |||| arm_sme.copy_tile
400+
// CHECK-LIVE-RANGE-NEXT: EEEE cf.br
401401

402402
// CHECK-LABEL: @cond_branch_with_backedge
403403
// CHECK-NOT: tile_id = 16

mlir/test/Dialect/Bufferization/Transforms/lower-deallocations-func.mlir

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,10 +9,10 @@ func.func @conversion_dealloc_simple(%arg0: memref<2xf32>, %arg1: i1) {
99
return
1010
}
1111

12-
// CHECk: scf.if [[ARG1]] {
13-
// CHECk-NEXT: memref.dealloc [[ARG0]] : memref<2xf32>
14-
// CHECk-NEXT: }
15-
// CHECk-NEXT: return
12+
// CHECK: scf.if [[ARG1]] {
13+
// CHECK-NEXT: memref.dealloc [[ARG0]] : memref<2xf32>
14+
// CHECK-NEXT: }
15+
// CHECK-NEXT: return
1616

1717
// -----
1818

mlir/test/Dialect/Bufferization/Transforms/lower-deallocations.mlir

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -29,10 +29,10 @@ func.func @conversion_dealloc_simple(%arg0: memref<2xf32>, %arg1: i1) {
2929
return
3030
}
3131

32-
// CHECk: scf.if [[ARG1]] {
33-
// CHECk-NEXT: memref.dealloc [[ARG0]] : memref<2xf32>
34-
// CHECk-NEXT: }
35-
// CHECk-NEXT: return
32+
// CHECK: scf.if [[ARG1]] {
33+
// CHECK-NEXT: memref.dealloc [[ARG0]] : memref<2xf32>
34+
// CHECK-NEXT: }
35+
// CHECK-NEXT: return
3636

3737
// -----
3838

mlir/test/Dialect/GPU/barrier-elimination.mlir

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -61,7 +61,7 @@ func.func @write_in_a_loop(%arg0: memref<?xf32>, %arg1: f32) attributes {__paral
6161
return
6262
}
6363

64-
// CHECK-LABEL @read_read_write_loop
64+
// CHECK-LABEL: @read_read_write_loop
6565
func.func @read_read_write_loop(%arg0: memref<?xf32>, %arg1: f32) attributes {__parallel_region_boundary_for_test} {
6666
%c0 = arith.constant 0 : index
6767
%c42 = arith.constant 42 : index

0 commit comments

Comments
 (0)