xref: /llvm-project/mlir/test/Examples/Toy/Ch7/struct-ast.toy (revision 5633813bf376ef12056cc8ce34c03c445d0dbce5)
16b4e30b7SRiver Riddle# RUN: toyc-ch7 %s -emit=ast 2>&1 | FileCheck %s
26b4e30b7SRiver Riddle
36b4e30b7SRiver Riddlestruct Struct {
46b4e30b7SRiver Riddle  var a;
56b4e30b7SRiver Riddle  var b;
66b4e30b7SRiver Riddle}
76b4e30b7SRiver Riddle
86b4e30b7SRiver Riddle# User defined generic function may operate on struct types as well.
96b4e30b7SRiver Riddledef multiply_transpose(Struct value) {
106b4e30b7SRiver Riddle  # We can access the elements of a struct via the '.' operator.
116b4e30b7SRiver Riddle  return transpose(value.a) * transpose(value.b);
126b4e30b7SRiver Riddle}
136b4e30b7SRiver Riddle
146b4e30b7SRiver Riddledef main() {
156b4e30b7SRiver Riddle  # We initialize struct values using a composite initializer.
166b4e30b7SRiver Riddle  Struct value = {[[1, 2, 3], [4, 5, 6]], [[1, 2, 3], [4, 5, 6]]};
176b4e30b7SRiver Riddle
186b4e30b7SRiver Riddle  # We pass these arguments to functions like we do with variables.
196b4e30b7SRiver Riddle  var c = multiply_transpose(value);
206b4e30b7SRiver Riddle  print(c);
216b4e30b7SRiver Riddle}
226b4e30b7SRiver Riddle
236b4e30b7SRiver Riddle# CHECK:  Module:
246b4e30b7SRiver Riddle# CHECK-NEXT:    Struct: Struct @{{.*}}struct-ast.toy:3:1
256b4e30b7SRiver Riddle# CHECK-NEXT:  Variables: [
266b4e30b7SRiver Riddle# CHECK-NEXT:    VarDecl a<> @{{.*}}struct-ast.toy:4:3
276b4e30b7SRiver Riddle# CHECK-NEXT:    VarDecl b<> @{{.*}}struct-ast.toy:5:3
286b4e30b7SRiver Riddle# CHECK-NEXT:  ]
296b4e30b7SRiver Riddle# CHECK-NEXT:Function
30*5633813bSRahul Joshi# CHECK-NEXT:  Proto 'multiply_transpose' @{{.*}}struct-ast.toy:9:1
316b4e30b7SRiver Riddle# CHECK-NEXT:  Params: [value]
326b4e30b7SRiver Riddle# CHECK-NEXT:  Block {
336b4e30b7SRiver Riddle# CHECK-NEXT:    Return
346b4e30b7SRiver Riddle# CHECK-NEXT:      BinOp: * @{{.*}}struct-ast.toy:11:31
356b4e30b7SRiver Riddle# CHECK-NEXT:        Call 'transpose' [ @{{.*}}struct-ast.toy:11:10
366b4e30b7SRiver Riddle# CHECK-NEXT:          BinOp: . @{{.*}}struct-ast.toy:11:26
376b4e30b7SRiver Riddle# CHECK-NEXT:            var: value @{{.*}}struct-ast.toy:11:20
386b4e30b7SRiver Riddle# CHECK-NEXT:            var: a @{{.*}}struct-ast.toy:11:26
396b4e30b7SRiver Riddle# CHECK-NEXT:        ]
406b4e30b7SRiver Riddle# CHECK-NEXT:        Call 'transpose' [ @{{.*}}struct-ast.toy:11:31
416b4e30b7SRiver Riddle# CHECK-NEXT:          BinOp: . @{{.*}}struct-ast.toy:11:47
426b4e30b7SRiver Riddle# CHECK-NEXT:            var: value @{{.*}}struct-ast.toy:11:41
436b4e30b7SRiver Riddle# CHECK-NEXT:            var: b @{{.*}}struct-ast.toy:11:47
446b4e30b7SRiver Riddle# CHECK-NEXT:        ]
456b4e30b7SRiver Riddle# CHECK-NEXT:  }
466b4e30b7SRiver Riddle# CHECK-NEXT:Function
47*5633813bSRahul Joshi# CHECK-NEXT:  Proto 'main' @{{.*}}struct-ast.toy:14:1
486b4e30b7SRiver Riddle# CHECK-NEXT:  Params: []
496b4e30b7SRiver Riddle# CHECK-NEXT:  Block {
506b4e30b7SRiver Riddle# CHECK-NEXT:    VarDecl value<Struct> @{{.*}}struct-ast.toy:16:3
516b4e30b7SRiver Riddle# CHECK-NEXT:      Struct Literal:             Literal: <2, 3>[ <3>[ 1.000000e+00, 2.000000e+00, 3.000000e+00], <3>[ 4.000000e+00, 5.000000e+00, 6.000000e+00]] @{{.*}}struct-ast.toy:16:19
526b4e30b7SRiver Riddle# CHECK-NEXT:        Literal: <2, 3>[ <3>[ 1.000000e+00, 2.000000e+00, 3.000000e+00], <3>[ 4.000000e+00, 5.000000e+00, 6.000000e+00]] @{{.*}}struct-ast.toy:16:43
536b4e30b7SRiver Riddle# CHECK-NEXT:       @{{.*}}struct-ast.toy:16:18
546b4e30b7SRiver Riddle# CHECK-NEXT:    VarDecl c<> @{{.*}}struct-ast.toy:19:3
556b4e30b7SRiver Riddle# CHECK-NEXT:      Call 'multiply_transpose' [ @{{.*}}struct-ast.toy:19:11
566b4e30b7SRiver Riddle# CHECK-NEXT:        var: value @{{.*}}struct-ast.toy:19:30
576b4e30b7SRiver Riddle# CHECK-NEXT:      ]
586b4e30b7SRiver Riddle# CHECK-NEXT:    Print [ @{{.*}}struct-ast.toy:20:3
596b4e30b7SRiver Riddle# CHECK-NEXT:      var: c @{{.*}}struct-ast.toy:20:9
606b4e30b7SRiver Riddle# CHECK-NEXT:    ]
616b4e30b7SRiver Riddle# CHECK-NEXT:  }