38 lines · plain
1// RUN: mlir-opt %s -test-func-insert-result -split-input-file | FileCheck %s2 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