• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1// RUN: mlir-opt -allow-unregistered-dialect %s | FileCheck %s
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
3
4// CHECK-LABEL: func @wrapping_op
5// CHECK-GENERIC: "func"
6func @wrapping_op(%arg0 : i32, %arg1 : f32) -> (i3, i2, i1) {
7// CHECK: %0:3 = test.wrapping_region wraps "some.op"(%arg1, %arg0) {test.attr = "attr"} : (f32, i32) -> (i1, i2, i3)
8// CHECK-GENERIC: "test.wrapping_region"() ( {
9// CHECK-GENERIC:   %[[NESTED_RES:.*]]:3 = "some.op"(%arg1, %arg0) {test.attr = "attr"} : (f32, i32) -> (i1, i2, i3) loc("some_NameLoc")
10// CHECK-GENERIC:   "test.return"(%[[NESTED_RES]]#0, %[[NESTED_RES]]#1, %[[NESTED_RES]]#2) : (i1, i2, i3) -> () loc("some_NameLoc")
11// CHECK-GENERIC: }) : () -> (i1, i2, i3) loc("some_NameLoc")
12  %res:3 = test.wrapping_region wraps "some.op"(%arg1, %arg0) { test.attr = "attr" } : (f32, i32) -> (i1, i2, i3) loc("some_NameLoc")
13  return %res#2, %res#1, %res#0 : i3, i2, i1
14}
15// CHECK-GENERIC: sym_name = "wrapping_op"
16