annotate mlir/test/IR/wrapping_op.mlir @ 214:0cf2d4ade63d

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 13 Jul 2021 09:53:52 +0900
parents 2e18cbf3894f
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1 // RUN: mlir-opt -allow-unregistered-dialect %s | FileCheck %s
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
2 // RUN: mlir-opt -allow-unregistered-dialect -mlir-print-op-generic -mlir-print-debuginfo -mlir-print-local-scope %s | FileCheck %s --check-prefix=CHECK-GENERIC
150
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 // CHECK-LABEL: func @wrapping_op
anatofuz
parents:
diff changeset
5 // CHECK-GENERIC: "func"
anatofuz
parents:
diff changeset
6 func @wrapping_op(%arg0 : i32, %arg1 : f32) -> (i3, i2, i1) {
anatofuz
parents:
diff changeset
7 // CHECK: %0:3 = test.wrapping_region wraps "some.op"(%arg1, %arg0) {test.attr = "attr"} : (f32, i32) -> (i1, i2, i3)
anatofuz
parents:
diff changeset
8 // CHECK-GENERIC: "test.wrapping_region"() ( {
anatofuz
parents:
diff changeset
9 // CHECK-GENERIC: %[[NESTED_RES:.*]]:3 = "some.op"(%arg1, %arg0) {test.attr = "attr"} : (f32, i32) -> (i1, i2, i3) loc("some_NameLoc")
anatofuz
parents:
diff changeset
10 // CHECK-GENERIC: "test.return"(%[[NESTED_RES]]#0, %[[NESTED_RES]]#1, %[[NESTED_RES]]#2) : (i1, i2, i3) -> () loc("some_NameLoc")
anatofuz
parents:
diff changeset
11 // CHECK-GENERIC: }) : () -> (i1, i2, i3) loc("some_NameLoc")
anatofuz
parents:
diff changeset
12 %res:3 = test.wrapping_region wraps "some.op"(%arg1, %arg0) { test.attr = "attr" } : (f32, i32) -> (i1, i2, i3) loc("some_NameLoc")
anatofuz
parents:
diff changeset
13 return %res#2, %res#1, %res#0 : i3, i2, i1
anatofuz
parents:
diff changeset
14 }
anatofuz
parents:
diff changeset
15 // CHECK-GENERIC: sym_name = "wrapping_op"