mlir/test/IR/test-func-insert-result.mlir

   1 // RUN: mlir-opt %s -test-func-insert-result -split-input-file | FileCheck %s
   2
   3 // CHECK: func private @f() -> (f32 {test.A})
   4 func.func private @f() attributes {test.insert_results = [
   5   [0, f32, {test.A}]]}
   6
   7 // -----
   8
   9 // CHECK: func private @f() -> (f32 {test.A}, f32 {test.B})
  10 func.func private @f() -> (f32 {test.B}) attributes {test.insert_results = [
  11   [0, f32, {test.A}]]}
  12
  13 // -----
  14
  15 // CHECK: func private @f() -> (f32 {test.A}, f32 {test.B})
  16 func.func private @f() -> (f32 {test.A}) attributes {test.insert_results = [
  17   [1, f32, {test.B}]]}
  18
  19 // -----
  20
  21 // CHECK: func private @f() -> (f32 {test.A}, f32 {test.B}, f32 {test.C})
  22 func.func private @f() -> (f32 {test.A}, f32 {test.C}) attributes {test.insert_results = [
  23   [1, f32, {test.B}]]}
  24
  25 // -----
  26
  27 // CHECK: func private @f() -> (f32 {test.A}, f32 {test.B}, f32 {test.C})
  28 func.func private @f() -> (f32 {test.B}) attributes {test.insert_results = [
  29   [0, f32, {test.A}],
  30   [1, f32, {test.C}]]}
  31
  32 // -----
  33
  34 // CHECK: func private @f() -> (f32 {test.A}, f32 {test.B}, f32 {test.C})
  35 func.func private @f() -> (f32 {test.C}) attributes {test.insert_results = [
  36   [0, f32, {test.A}],
  37   [0, f32, {test.B}]]}