1// RUN: mlir-opt %s -test-func-insert-result -split-input-file | FileCheck %s
2
3// CHECK: func private @f() -> (f32 {test.A})
4func.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})
10func.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})
16func.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})
22func.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})
28func.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})
35func.func private @f() -> (f32 {test.C}) attributes {test.insert_results = [
36  [0, f32, {test.A}],
37  [0, f32, {test.B}]]}
38