1213dda68SMehdi Amini# RUN: toyc-ch2 %s -emit=mlir 2>&1 | FileCheck %s 2213dda68SMehdi Amini 3213dda68SMehdi Amini# User defined generic function that operates on unknown shaped arguments 4213dda68SMehdi Aminidef multiply_transpose(a, b) { 5941a1c43SRiver Riddle return transpose(a) * transpose(b); 6213dda68SMehdi Amini} 7213dda68SMehdi Amini 8213dda68SMehdi Aminidef main() { 9213dda68SMehdi Amini var a<2, 3> = [[1, 2, 3], [4, 5, 6]]; 10213dda68SMehdi Amini var b<2, 3> = [1, 2, 3, 4, 5, 6]; 11213dda68SMehdi Amini var c = multiply_transpose(a, b); 12213dda68SMehdi Amini var d = multiply_transpose(b, a); 13213dda68SMehdi Amini print(d); 14213dda68SMehdi Amini} 15213dda68SMehdi Amini 16*ee2c6cd9SRiver Riddle# CHECK-LABEL: toy.func @multiply_transpose( 17941a1c43SRiver Riddle# CHECK-SAME: [[VAL_0:%.*]]: tensor<*xf64>, [[VAL_1:%.*]]: tensor<*xf64>) -> tensor<*xf64> 180050e8f0SRiver Riddle# CHECK: [[VAL_2:%.*]] = toy.transpose([[VAL_0]] : tensor<*xf64>) to tensor<*xf64> 190050e8f0SRiver Riddle# CHECK-NEXT: [[VAL_3:%.*]] = toy.transpose([[VAL_1]] : tensor<*xf64>) to tensor<*xf64> 200050e8f0SRiver Riddle# CHECK-NEXT: [[VAL_4:%.*]] = toy.mul [[VAL_2]], [[VAL_3]] : tensor<*xf64> 210050e8f0SRiver Riddle# CHECK-NEXT: toy.return [[VAL_4]] : tensor<*xf64> 22213dda68SMehdi Amini 23*ee2c6cd9SRiver Riddle# CHECK-LABEL: toy.func @main() 240050e8f0SRiver Riddle# CHECK-NEXT: [[VAL_5:%.*]] = toy.constant dense<{{\[\[}}1.000000e+00, 2.000000e+00, 3.000000e+00], [4.000000e+00, 5.000000e+00, 6.000000e+00]]> : tensor<2x3xf64> 250050e8f0SRiver Riddle# CHECK-NEXT: [[VAL_6:%.*]] = toy.reshape([[VAL_5]] : tensor<2x3xf64>) to tensor<2x3xf64> 260050e8f0SRiver Riddle# CHECK-NEXT: [[VAL_7:%.*]] = toy.constant dense<[1.000000e+00, 2.000000e+00, 3.000000e+00, 4.000000e+00, 5.000000e+00, 6.000000e+00]> : tensor<6xf64> 270050e8f0SRiver Riddle# CHECK-NEXT: [[VAL_8:%.*]] = toy.reshape([[VAL_7]] : tensor<6xf64>) to tensor<2x3xf64> 280050e8f0SRiver Riddle# CHECK-NEXT: [[VAL_9:%.*]] = toy.generic_call @multiply_transpose([[VAL_6]], [[VAL_8]]) : (tensor<2x3xf64>, tensor<2x3xf64>) -> tensor<*xf64> 290050e8f0SRiver Riddle# CHECK-NEXT: [[VAL_10:%.*]] = toy.generic_call @multiply_transpose([[VAL_8]], [[VAL_6]]) : (tensor<2x3xf64>, tensor<2x3xf64>) -> tensor<*xf64> 300050e8f0SRiver Riddle# CHECK-NEXT: toy.print [[VAL_10]] : tensor<*xf64> 310050e8f0SRiver Riddle# CHECK-NEXT: toy.return 32