150
|
1 // RUN: mlir-opt %s | mlir-opt -verify-diagnostics | FileCheck %s
|
|
2
|
|
3 // CHECK: %[[I64:.*]] =
|
|
4 %i64 = "foo.op"() : () -> (i64)
|
|
5 // CHECK: %[[MEMREF:.*]] =
|
|
6 %memref = "foo.op"() : () -> (memref<1xf64>)
|
|
7
|
|
8 // CHECK: test.format_literal_op keyword_$. -> :, = <> () [] {foo.some_attr}
|
|
9 test.format_literal_op keyword_$. -> :, = <> () [] {foo.some_attr}
|
|
10
|
|
11 // CHECK: test.format_attr_op 10
|
|
12 // CHECK-NOT: {attr
|
|
13 test.format_attr_op 10
|
|
14
|
|
15 // CHECK: test.format_buildable_type_op %[[I64]]
|
|
16 %ignored = test.format_buildable_type_op %i64
|
|
17
|
|
18 // CHECK: test.format_result_a_op memref<1xf64>
|
|
19 %ignored_a:2 = test.format_result_a_op memref<1xf64>
|
|
20
|
|
21 // CHECK: test.format_result_b_op i64, memref<1xf64>
|
|
22 %ignored_b:2 = test.format_result_b_op i64, memref<1xf64>
|
|
23
|
|
24 // CHECK: test.format_result_c_op (i64) -> memref<1xf64>
|
|
25 %ignored_c:2 = test.format_result_c_op (i64) -> memref<1xf64>
|
|
26
|
|
27 // CHECK: test.format_operand_a_op %[[I64]], %[[MEMREF]] : i64, memref<1xf64>
|
|
28 test.format_operand_a_op %i64, %memref : i64, memref<1xf64>
|
|
29
|
|
30 // CHECK: test.format_operand_b_op %[[I64]], %[[MEMREF]] : memref<1xf64>
|
|
31 test.format_operand_b_op %i64, %memref : memref<1xf64>
|
|
32
|
|
33 // CHECK: test.format_operand_c_op %[[I64]], %[[MEMREF]] : i64, memref<1xf64>
|
|
34 test.format_operand_c_op %i64, %memref : i64, memref<1xf64>
|
|
35
|
|
36 // CHECK: test.format_operand_d_op %[[I64]], %[[MEMREF]] : memref<1xf64>
|
|
37 test.format_operand_d_op %i64, %memref : memref<1xf64>
|
|
38
|
|
39 // CHECK: test.format_operand_e_op %[[I64]], %[[MEMREF]] : i64, memref<1xf64>
|
|
40 test.format_operand_e_op %i64, %memref : i64, memref<1xf64>
|