|
2 | 2 | // RUN: mlir-gen --kernel=args --seed=0 --float-type=bf16 --batch=128 --layers=2304,768 --tiles=64,48,64 2>&1 | FileCheck %s --check-prefix=BF16 |
3 | 3 | // RUN: mlir-gen --kernel=args --seed=0 --float-type=f16 --batch=128 --layers=2304,768 --tiles=64,48,64 2>&1 | FileCheck %s --check-prefix=FP16 |
4 | 4 |
|
| 5 | +// RUN: mlir-gen --kernel=args --seed=0 --float-type=mx-bf16 --batch=128 --layers=2304,768 --tiles=64,48,64 2>&1 | FileCheck %s --check-prefix=MXBF16-GENERIC |
| 6 | +// RUN: mlir-gen --kernel=args --seed=0 --float-type=mx-i8 --batch=128 --layers=2304,768 --tiles=64,48,64 2>&1 | FileCheck %s --check-prefix=MXI8-GENERIC |
| 7 | +// RUN: mlir-gen --kernel=args --seed=0 --float-type=mx-f16 --batch=128 --layers=2304,768 --tiles=64,48,64 2>&1 | FileCheck %s --check-prefix=MXF16-GENERIC |
| 8 | + |
| 9 | +// RUN: mlir-gen --kernel=args --seed=0 --float-type=mx-bf16 --batch=128 --layers=2304,768 --tiles=64,48,64 --output=contract 2>&1 | FileCheck %s --check-prefix=MXBF16-CONTRACT |
| 10 | +// RUN: mlir-gen --kernel=args --seed=0 --float-type=mx-i8 --batch=128 --layers=2304,768 --tiles=64,48,64 --output=contract 2>&1 | FileCheck %s --check-prefix=MXI8-CONTRACT |
| 11 | +// RUN: mlir-gen --kernel=args --seed=0 --float-type=mx-f16 --batch=128 --layers=2304,768 --tiles=64,48,64 --output=contract 2>&1 | FileCheck %s --check-prefix=MXF16-CONTRACT |
| 12 | + |
5 | 13 | // FP32: // RUN{{.*}}tpp-run %s -n {{\d*}} |
6 | 14 | // FP32: // RUN{{.*}}-e entry -entry-point-result=void |
7 | 15 | // FP32: // BENCH_TOTAL_FLOPS: 452984832 |
|
40 | 48 | // FP16: arith.mulf |
41 | 49 | // FP16: arith.addf |
42 | 50 | // FP16-NOT: dealloc |
| 51 | + |
| 52 | +// MXBF16-GENERIC: #[[$ATTR_0:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d0, d2, d3, d5)> |
| 53 | +// MXBF16-GENERIC: #[[$ATTR_1:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d1, d2, d5, d4)> |
| 54 | +// MXBF16-GENERIC: #[[$ATTR_2:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d0, d1, d3, d4)> |
| 55 | +// MXBF16-GENERIC-LABEL: func.func @entry( |
| 56 | +// MXBF16-GENERIC-SAME: %[[ARG0:.*]]: tensor<2x36x64x64xbf16>, |
| 57 | +// MXBF16-GENERIC-SAME: %[[ARG1:.*]]: tensor<16x36x64x48xbf16>, |
| 58 | +// MXBF16-GENERIC-SAME: %[[ARG2:.*]]: tensor<2x16x64x48xf32>) -> tensor<2x16x64x48xf32> { |
| 59 | +// MXBF16-GENERIC: %[[VAL_0:.*]] = linalg.generic {indexing_maps = [#[[$ATTR_0]], #[[$ATTR_1]], #[[$ATTR_2]]], iterator_types = ["parallel", "parallel", "reduction", "parallel", "parallel", "reduction"]} ins(%[[ARG0]], %[[ARG1]] : tensor<2x36x64x64xbf16>, tensor<16x36x64x48xbf16>) outs(%[[ARG2]] : tensor<2x16x64x48xf32>) { |
| 60 | +// MXBF16-GENERIC: ^bb0(%[[VAL_1:.*]]: bf16, %[[VAL_2:.*]]: bf16, %[[VAL_3:.*]]: f32): |
| 61 | +// MXBF16-GENERIC: %[[VAL_4:.*]] = arith.extf %[[VAL_1]] : bf16 to f32 |
| 62 | +// MXBF16-GENERIC: %[[VAL_5:.*]] = arith.extf %[[VAL_2]] : bf16 to f32 |
| 63 | +// MXBF16-GENERIC: %[[VAL_6:.*]] = arith.mulf %[[VAL_4]], %[[VAL_5]] : f32 |
| 64 | +// MXBF16-GENERIC: %[[VAL_7:.*]] = arith.addf %[[VAL_3]], %[[VAL_6]] : f32 |
| 65 | +// MXBF16-GENERIC: linalg.yield %[[VAL_7]] : f32 |
| 66 | +// MXBF16-GENERIC: } -> tensor<2x16x64x48xf32> |
| 67 | +// MXBF16-GENERIC: return %[[VAL_0]] : tensor<2x16x64x48xf32> |
| 68 | +// MXBF16-GENERIC: } |
| 69 | + |
| 70 | +// MXI8-GENERIC: #[[$ATTR_0:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d0, d2, d3, d5)> |
| 71 | +// MXI8-GENERIC: #[[$ATTR_1:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d1, d2, d5, d4)> |
| 72 | +// MXI8-GENERIC: #[[$ATTR_2:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d0, d1, d3, d4)> |
| 73 | +// MXI8-GENERIC-LABEL: func.func @entry( |
| 74 | +// MXI8-GENERIC-SAME: %[[ARG0:.*]]: tensor<2x36x64x64xi8>, |
| 75 | +// MXI8-GENERIC-SAME: %[[ARG1:.*]]: tensor<16x36x64x48xi8>, |
| 76 | +// MXI8-GENERIC-SAME: %[[ARG2:.*]]: tensor<2x16x64x48xi32>) -> tensor<2x16x64x48xi32> { |
| 77 | +// MXI8-GENERIC: %[[VAL_0:.*]] = linalg.generic {indexing_maps = [#[[$ATTR_0]], #[[$ATTR_1]], #[[$ATTR_2]]], iterator_types = ["parallel", "parallel", "reduction", "parallel", "parallel", "reduction"]} ins(%[[ARG0]], %[[ARG1]] : tensor<2x36x64x64xi8>, tensor<16x36x64x48xi8>) outs(%[[ARG2]] : tensor<2x16x64x48xi32>) { |
| 78 | +// MXI8-GENERIC: ^bb0(%[[VAL_1:.*]]: i8, %[[VAL_2:.*]]: i8, %[[VAL_3:.*]]: i32): |
| 79 | +// MXI8-GENERIC: %[[VAL_4:.*]] = arith.extsi %[[VAL_1]] : i8 to i32 |
| 80 | +// MXI8-GENERIC: %[[VAL_5:.*]] = arith.extsi %[[VAL_2]] : i8 to i32 |
| 81 | +// MXI8-GENERIC: %[[VAL_6:.*]] = arith.muli %[[VAL_4]], %[[VAL_5]] : i32 |
| 82 | +// MXI8-GENERIC: %[[VAL_7:.*]] = arith.addi %[[VAL_3]], %[[VAL_6]] : i32 |
| 83 | +// MXI8-GENERIC: linalg.yield %[[VAL_7]] : i32 |
| 84 | +// MXI8-GENERIC: } -> tensor<2x16x64x48xi32> |
| 85 | +// MXI8-GENERIC: return %[[VAL_0]] : tensor<2x16x64x48xi32> |
| 86 | +// MXI8-GENERIC: } |
| 87 | + |
| 88 | +// MXBF16-CONTRACT: #[[$ATTR_0:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d0, d2, d3, d5)> |
| 89 | +// MXBF16-CONTRACT: #[[$ATTR_1:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d1, d2, d5, d4)> |
| 90 | +// MXBF16-CONTRACT: #[[$ATTR_2:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d0, d1, d3, d4)> |
| 91 | +// MXBF16-CONTRACT-LABEL: func.func @entry( |
| 92 | +// MXBF16-CONTRACT-SAME: %[[ARG0:.*]]: tensor<2x36x64x64xbf16>, |
| 93 | +// MXBF16-CONTRACT-SAME: %[[ARG1:.*]]: tensor<16x36x64x48xbf16>, |
| 94 | +// MXBF16-CONTRACT-SAME: %[[ARG2:.*]]: tensor<2x16x64x48xf32>) -> tensor<2x16x64x48xf32> { |
| 95 | +// MXBF16-CONTRACT: %[[VAL_0:.*]] = linalg.contract indexing_maps = [#[[$ATTR_0]], #[[$ATTR_1]], #[[$ATTR_2]]] ins(%[[ARG0]], %[[ARG1]] : tensor<2x36x64x64xbf16>, tensor<16x36x64x48xbf16>) outs(%[[ARG2]] : tensor<2x16x64x48xf32>) -> tensor<2x16x64x48xf32> |
| 96 | +// MXBF16-CONTRACT: return %[[VAL_0]] : tensor<2x16x64x48xf32> |
| 97 | +// MXBF16-CONTRACT: } |
| 98 | + |
| 99 | +// MXI8-CONTRACT: #[[$ATTR_0:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d0, d2, d3, d5)> |
| 100 | +// MXI8-CONTRACT: #[[$ATTR_1:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d1, d2, d5, d4)> |
| 101 | +// MXI8-CONTRACT: #[[$ATTR_2:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d0, d1, d3, d4)> |
| 102 | +// MXI8-CONTRACT-LABEL: func.func @entry( |
| 103 | +// MXI8-CONTRACT-SAME: %[[ARG0:.*]]: tensor<2x36x64x64xi8>, |
| 104 | +// MXI8-CONTRACT-SAME: %[[ARG1:.*]]: tensor<16x36x64x48xi8>, |
| 105 | +// MXI8-CONTRACT-SAME: %[[ARG2:.*]]: tensor<2x16x64x48xi32>) -> tensor<2x16x64x48xi32> { |
| 106 | +// MXI8-CONTRACT: %[[VAL_0:.*]] = linalg.contract indexing_maps = [#[[$ATTR_0]], #[[$ATTR_1]], #[[$ATTR_2]]] ins(%[[ARG0]], %[[ARG1]] : tensor<2x36x64x64xi8>, tensor<16x36x64x48xi8>) outs(%[[ARG2]] : tensor<2x16x64x48xi32>) -> tensor<2x16x64x48xi32> |
| 107 | +// MXI8-CONTRACT: return %[[VAL_0]] : tensor<2x16x64x48xi32> |
| 108 | +// MXI8-CONTRACT: } |
| 109 | + |
| 110 | +// MXF16-GENERIC: #[[$ATTR_0:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d0, d2, d3, d5)> |
| 111 | +// MXF16-GENERIC: #[[$ATTR_1:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d1, d2, d5, d4)> |
| 112 | +// MXF16-GENERIC: #[[$ATTR_2:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d0, d1, d3, d4)> |
| 113 | +// MXF16-GENERIC-LABEL: func.func @entry( |
| 114 | +// MXF16-GENERIC-SAME: %[[ARG0:.*]]: tensor<2x36x64x64xf16>, |
| 115 | +// MXF16-GENERIC-SAME: %[[ARG1:.*]]: tensor<16x36x64x48xf16>, |
| 116 | +// MXF16-GENERIC-SAME: %[[ARG2:.*]]: tensor<2x16x64x48xf32>) -> tensor<2x16x64x48xf32> { |
| 117 | +// MXF16-GENERIC: %[[VAL_0:.*]] = linalg.generic {indexing_maps = [#[[$ATTR_0]], #[[$ATTR_1]], #[[$ATTR_2]]], iterator_types = ["parallel", "parallel", "reduction", "parallel", "parallel", "reduction"]} ins(%[[ARG0]], %[[ARG1]] : tensor<2x36x64x64xf16>, tensor<16x36x64x48xf16>) outs(%[[ARG2]] : tensor<2x16x64x48xf32>) { |
| 118 | +// MXF16-GENERIC: ^bb0(%[[VAL_1:.*]]: f16, %[[VAL_2:.*]]: f16, %[[VAL_3:.*]]: f32): |
| 119 | +// MXF16-GENERIC: %[[VAL_4:.*]] = arith.extf %[[VAL_1]] : f16 to f32 |
| 120 | +// MXF16-GENERIC: %[[VAL_5:.*]] = arith.extf %[[VAL_2]] : f16 to f32 |
| 121 | +// MXF16-GENERIC: %[[VAL_6:.*]] = arith.mulf %[[VAL_4]], %[[VAL_5]] : f32 |
| 122 | +// MXF16-GENERIC: %[[VAL_7:.*]] = arith.addf %[[VAL_3]], %[[VAL_6]] : f32 |
| 123 | +// MXF16-GENERIC: linalg.yield %[[VAL_7]] : f32 |
| 124 | +// MXF16-GENERIC: } -> tensor<2x16x64x48xf32> |
| 125 | +// MXF16-GENERIC: return %[[VAL_0]] : tensor<2x16x64x48xf32> |
| 126 | +// MXF16-GENERIC: } |
| 127 | + |
| 128 | +// MXF16-CONTRACT: #[[$ATTR_0:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d0, d2, d3, d5)> |
| 129 | +// MXF16-CONTRACT: #[[$ATTR_1:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d1, d2, d5, d4)> |
| 130 | +// MXF16-CONTRACT: #[[$ATTR_2:.+]] = affine_map<(d0, d1, d2, d3, d4, d5) -> (d0, d1, d3, d4)> |
| 131 | +// MXF16-CONTRACT-LABEL: func.func @entry( |
| 132 | +// MXF16-CONTRACT-SAME: %[[ARG0:.*]]: tensor<2x36x64x64xf16>, |
| 133 | +// MXF16-CONTRACT-SAME: %[[ARG1:.*]]: tensor<16x36x64x48xf16>, |
| 134 | +// MXF16-CONTRACT-SAME: %[[ARG2:.*]]: tensor<2x16x64x48xf32>) -> tensor<2x16x64x48xf32> { |
| 135 | +// MXF16-CONTRACT: %[[VAL_0:.*]] = linalg.contract indexing_maps = [#[[$ATTR_0]], #[[$ATTR_1]], #[[$ATTR_2]]] ins(%[[ARG0]], %[[ARG1]] : tensor<2x36x64x64xf16>, tensor<16x36x64x48xf16>) outs(%[[ARG2]] : tensor<2x16x64x48xf32>) -> tensor<2x16x64x48xf32> |
| 136 | +// MXF16-CONTRACT: return %[[VAL_0]] : tensor<2x16x64x48xf32> |
| 137 | +// MXF16-CONTRACT: } |
0 commit comments