1# RUN: toyc-ch4 %s -emit=mlir 2>&1 | FileCheck %s
2
3# User defined generic function that operates on unknown shaped arguments
4def multiply_transpose(a, b) {
5  return transpose(a) * transpose(b);
6}
7
8def main() {
9  var a<2, 3> = [[1, 2, 3], [4, 5, 6]];
10  var b<2, 3> = [1, 2, 3, 4, 5, 6];
11  var c = multiply_transpose(a, b);
12  var d = multiply_transpose(b, a);
13  print(d);
14}
15
16# CHECK-LABEL: func private @multiply_transpose(
17# CHECK-SAME:                           [[VAL_0:%.*]]: tensor<*xf64>, [[VAL_1:%.*]]: tensor<*xf64>) -> tensor<*xf64>
18# CHECK:         [[VAL_2:%.*]] = toy.transpose([[VAL_0]] : tensor<*xf64>) to tensor<*xf64>
19# CHECK-NEXT:    [[VAL_3:%.*]] = toy.transpose([[VAL_1]] : tensor<*xf64>) to tensor<*xf64>
20# CHECK-NEXT:    [[VAL_4:%.*]] = toy.mul [[VAL_2]], [[VAL_3]] :  tensor<*xf64>
21# CHECK-NEXT:    toy.return [[VAL_4]] : tensor<*xf64>
22
23# CHECK-LABEL: func @main()
24# 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>
25# CHECK-NEXT:    [[VAL_6:%.*]] = toy.reshape([[VAL_5]] : tensor<2x3xf64>) to tensor<2x3xf64>
26# 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>
27# CHECK-NEXT:    [[VAL_8:%.*]] = toy.reshape([[VAL_7]] : tensor<6xf64>) to tensor<2x3xf64>
28# CHECK-NEXT:    [[VAL_9:%.*]] = toy.generic_call @multiply_transpose([[VAL_6]], [[VAL_8]]) : (tensor<2x3xf64>, tensor<2x3xf64>) -> tensor<*xf64>
29# CHECK-NEXT:    [[VAL_10:%.*]] = toy.generic_call @multiply_transpose([[VAL_8]], [[VAL_6]]) : (tensor<2x3xf64>, tensor<2x3xf64>) -> tensor<*xf64>
30# CHECK-NEXT:    toy.print [[VAL_10]] : tensor<*xf64>
31# CHECK-NEXT:    toy.return
32