diff mlir/test/mlir-tblgen/op-format.mlir @ 150:1d019706d866

LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children 0572611fdcc8
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mlir/test/mlir-tblgen/op-format.mlir	Thu Feb 13 15:10:13 2020 +0900
@@ -0,0 +1,40 @@
+// RUN: mlir-opt %s | mlir-opt -verify-diagnostics | FileCheck %s
+
+// CHECK: %[[I64:.*]] =
+%i64 = "foo.op"() : () -> (i64)
+// CHECK: %[[MEMREF:.*]] =
+%memref = "foo.op"() : () -> (memref<1xf64>)
+
+// CHECK: test.format_literal_op keyword_$. -> :, = <> () [] {foo.some_attr}
+test.format_literal_op keyword_$. -> :, = <> () [] {foo.some_attr}
+
+// CHECK: test.format_attr_op 10
+// CHECK-NOT: {attr
+test.format_attr_op 10
+
+// CHECK: test.format_buildable_type_op %[[I64]]
+%ignored = test.format_buildable_type_op %i64
+
+// CHECK: test.format_result_a_op memref<1xf64>
+%ignored_a:2 = test.format_result_a_op memref<1xf64>
+
+// CHECK: test.format_result_b_op i64, memref<1xf64>
+%ignored_b:2 = test.format_result_b_op i64, memref<1xf64>
+
+// CHECK: test.format_result_c_op (i64) -> memref<1xf64>
+%ignored_c:2 = test.format_result_c_op (i64) -> memref<1xf64>
+
+// CHECK: test.format_operand_a_op %[[I64]], %[[MEMREF]] : i64, memref<1xf64>
+test.format_operand_a_op %i64, %memref : i64, memref<1xf64>
+
+// CHECK: test.format_operand_b_op %[[I64]], %[[MEMREF]] : memref<1xf64>
+test.format_operand_b_op %i64, %memref : memref<1xf64>
+
+// CHECK: test.format_operand_c_op %[[I64]], %[[MEMREF]] : i64, memref<1xf64>
+test.format_operand_c_op %i64, %memref : i64, memref<1xf64>
+
+// CHECK: test.format_operand_d_op %[[I64]], %[[MEMREF]] : memref<1xf64>
+test.format_operand_d_op %i64, %memref : memref<1xf64>
+
+// CHECK: test.format_operand_e_op %[[I64]], %[[MEMREF]] : i64, memref<1xf64>
+test.format_operand_e_op %i64, %memref : i64, memref<1xf64>