Lines Matching refs:OPT
2 // RUN: toyc-ch6 %s -emit=mlir-affine -opt 2>&1 | FileCheck %s --check-prefix=OPT
43 // OPT-LABEL: func @main()
44 // OPT: [[VAL_0:%.*]] = constant 1.000000e+00 : f64
45 // OPT: [[VAL_1:%.*]] = constant 2.000000e+00 : f64
46 // OPT: [[VAL_2:%.*]] = constant 3.000000e+00 : f64
47 // OPT: [[VAL_3:%.*]] = constant 4.000000e+00 : f64
48 // OPT: [[VAL_4:%.*]] = constant 5.000000e+00 : f64
49 // OPT: [[VAL_5:%.*]] = constant 6.000000e+00 : f64
50 // OPT: [[VAL_6:%.*]] = alloc() : memref<3x2xf64>
51 // OPT: [[VAL_7:%.*]] = alloc() : memref<2x3xf64>
52 // OPT: affine.store [[VAL_0]], [[VAL_7]][0, 0] : memref<2x3xf64>
53 // OPT: affine.store [[VAL_1]], [[VAL_7]][0, 1] : memref<2x3xf64>
54 // OPT: affine.store [[VAL_2]], [[VAL_7]][0, 2] : memref<2x3xf64>
55 // OPT: affine.store [[VAL_3]], [[VAL_7]][1, 0] : memref<2x3xf64>
56 // OPT: affine.store [[VAL_4]], [[VAL_7]][1, 1] : memref<2x3xf64>
57 // OPT: affine.store [[VAL_5]], [[VAL_7]][1, 2] : memref<2x3xf64>
58 // OPT: affine.for [[VAL_8:%.*]] = 0 to 3 {
59 // OPT: affine.for [[VAL_9:%.*]] = 0 to 2 {
60 // OPT: [[VAL_10:%.*]] = affine.load [[VAL_7]]{{\[}}[[VAL_9]], [[VAL_8]]] : memref<2x3x…
61 // OPT: [[VAL_11:%.*]] = mulf [[VAL_10]], [[VAL_10]] : f64
62 // OPT: affine.store [[VAL_11]], [[VAL_6]]{{\[}}[[VAL_8]], [[VAL_9]]] : memref<3x2xf64>
63 // OPT: toy.print [[VAL_6]] : memref<3x2xf64>
64 // OPT: dealloc [[VAL_7]] : memref<2x3xf64>
65 // OPT: dealloc [[VAL_6]] : memref<3x2xf64>