| // RUN: mlir-opt %s -test-sparsification="vectorization-strategy=0 ptr-type=2 ind-type=2 vl=16" | \ |
| // RUN: FileCheck %s --check-prefix=CHECK-VEC0 |
| // RUN: mlir-opt %s -test-sparsification="vectorization-strategy=1 ptr-type=2 ind-type=2 vl=16" | \ |
| // RUN: FileCheck %s --check-prefix=CHECK-VEC1 |
| // RUN: mlir-opt %s -test-sparsification="vectorization-strategy=2 ptr-type=2 ind-type=2 vl=16" | \ |
| // RUN: FileCheck %s --check-prefix=CHECK-VEC2 |
| |
| #trait_scale_d = { |
| indexing_maps = [ |
| affine_map<(i) -> (i)>, // a |
| affine_map<(i) -> (i)> // x (out) |
| ], |
| sparse = [ |
| [ "D" ], // a |
| [ "D" ] // x |
| ], |
| iterator_types = ["parallel"], |
| doc = "x(i) = a(i) * b" |
| } |
| |
| // |
| // CHECK-VEC0-LABEL: func @scale_d |
| // CHECK-VEC0-DAG: %[[c0:.*]] = constant 0 : index |
| // CHECK-VEC0-DAG: %[[c1:.*]] = constant 1 : index |
| // CHECK-VEC0-DAG: %[[c1024:.*]] = constant 1024 : index |
| // CHECK-VEC0: scf.for %[[i:.*]] = %[[c0]] to %[[c1024]] step %[[c1]] { |
| // CHECK-VEC0: %[[l:.*]] = load %{{.*}}[%[[i]]] : memref<1024xf32> |
| // CHECK-VEC0: %[[m:.*]] = mulf %[[l]], %{{.*}} : f32 |
| // CHECK-VEC0: store %[[m]], %{{.*}}[%[[i]]] : memref<1024xf32> |
| // CHECK-VEC0: } |
| // CHECK-VEC0: return |
| // |
| // CHECK-VEC1-LABEL: func @scale_d |
| // CHECK-VEC1-DAG: %[[c0:.*]] = constant 0 : index |
| // CHECK-VEC1-DAG: %[[c16:.*]] = constant 16 : index |
| // CHECK-VEC1-DAG: %[[c1024:.*]] = constant 1024 : index |
| // CHECK-VEC1: scf.for %[[i:.*]] = %[[c0]] to %[[c1024]] step %[[c16]] { |
| // CHECK-VEC1: %[[r:.*]] = vector.transfer_read %{{.*}}[%[[i]]], %{{.*}} {masked = [false]} : memref<1024xf32>, vector<16xf32> |
| // CHECK-VEC1: %[[b:.*]] = vector.broadcast %{{.*}} : f32 to vector<16xf32> |
| // CHECK-VEC1: %[[m:.*]] = mulf %[[r]], %[[b]] : vector<16xf32> |
| // CHECK-VEC1: vector.transfer_write %[[m]], %{{.*}}[%[[i]]] {masked = [false]} : vector<16xf32>, memref<1024xf32> |
| // CHECK-VEC1: } |
| // CHECK-VEC1: return |
| // |
| // CHECK-VEC2-LABEL: func @scale_d |
| // CHECK-VEC2-DAG: %[[c0:.*]] = constant 0 : index |
| // CHECK-VEC2-DAG: %[[c16:.*]] = constant 16 : index |
| // CHECK-VEC2-DAG: %[[c1024:.*]] = constant 1024 : index |
| // CHECK-VEC2: scf.for %[[i:.*]] = %[[c0]] to %[[c1024]] step %[[c16]] { |
| // CHECK-VEC2: %[[r:.*]] = vector.transfer_read %{{.*}}[%[[i]]], %{{.*}} {masked = [false]} : memref<1024xf32>, vector<16xf32> |
| // CHECK-VEC2: %[[b:.*]] = vector.broadcast %{{.*}} : f32 to vector<16xf32> |
| // CHECK-VEC2: %[[m:.*]] = mulf %[[r]], %[[b]] : vector<16xf32> |
| // CHECK-VEC2: vector.transfer_write %[[m]], %{{.*}}[%[[i]]] {masked = [false]} : vector<16xf32>, memref<1024xf32> |
| // CHECK-VEC2: } |
| // CHECK-VEC2: return |
| // |
| func @scale_d(%arga: tensor<1024xf32>, %scale: f32) -> tensor<1024xf32> { |
| %0 = linalg.generic #trait_scale_d |
| ins(%arga: tensor<1024xf32>) |
| outs(%arga: tensor<1024xf32>) { |
| ^bb(%a: f32, %s : f32): |
| %0 = mulf %a, %scale : f32 |
| linalg.yield %0 : f32 |
| } -> tensor<1024xf32> |
| return %0 : tensor<1024xf32> |
| } |
| |
| #trait_mul_s = { |
| indexing_maps = [ |
| affine_map<(i) -> (i)>, // a |
| affine_map<(i) -> (i)>, // b |
| affine_map<(i) -> (i)> // x (out) |
| ], |
| sparse = [ |
| [ "S" ], // a |
| [ "D" ], // b |
| [ "D" ] // x |
| ], |
| iterator_types = ["parallel"], |
| doc = "x(i) = a(i) * b(i)" |
| } |
| |
| // |
| // CHECK-VEC0-LABEL: func @mul_s |
| // CHECK-VEC0-DAG: %[[c0:.*]] = constant 0 : index |
| // CHECK-VEC0-DAG: %[[c1:.*]] = constant 1 : index |
| // CHECK-VEC0: %[[p:.*]] = load %{{.*}}[%[[c0]]] : memref<?xi32> |
| // CHECK-VEC0: %[[q:.*]] = index_cast %[[p]] : i32 to index |
| // CHECK-VEC0: %[[r:.*]] = load %{{.*}}[%[[c1]]] : memref<?xi32> |
| // CHECK-VEC0: %[[s:.*]] = index_cast %[[r]] : i32 to index |
| // CHECK-VEC0: scf.for %[[i:.*]] = %[[q]] to %[[s]] step %[[c1]] { |
| // CHECK-VEC0: %[[li:.*]] = load %{{.*}}[%[[i]]] : memref<?xi32> |
| // CHECK-VEC0: %[[ci:.*]] = index_cast %[[li]] : i32 to index |
| // CHECK-VEC0: %[[la:.*]] = load %{{.*}}[%[[i]]] : memref<?xf32> |
| // CHECK-VEC0: %[[lb:.*]] = load %{{.*}}[%[[ci]]] : memref<1024xf32> |
| // CHECK-VEC0: %[[m:.*]] = mulf %[[la]], %[[lb]] : f32 |
| // CHECK-VEC0: store %[[m]], %{{.*}}[%[[ci]]] : memref<1024xf32> |
| // CHECK-VEC0: } |
| // CHECK-VEC0: return |
| // |
| // CHECK-VEC1-LABEL: func @mul_s |
| // CHECK-VEC1-DAG: %[[c0:.*]] = constant 0 : index |
| // CHECK-VEC1-DAG: %[[c1:.*]] = constant 1 : index |
| // CHECK-VEC1: %[[p:.*]] = load %{{.*}}[%[[c0]]] : memref<?xi32> |
| // CHECK-VEC1: %[[q:.*]] = index_cast %[[p]] : i32 to index |
| // CHECK-VEC1: %[[r:.*]] = load %{{.*}}[%[[c1]]] : memref<?xi32> |
| // CHECK-VEC1: %[[s:.*]] = index_cast %[[r]] : i32 to index |
| // CHECK-VEC1: scf.for %[[i:.*]] = %[[q]] to %[[s]] step %[[c1]] { |
| // CHECK-VEC1: %[[li:.*]] = load %{{.*}}[%[[i]]] : memref<?xi32> |
| // CHECK-VEC1: %[[ci:.*]] = index_cast %[[li]] : i32 to index |
| // CHECK-VEC1: %[[la:.*]] = load %{{.*}}[%[[i]]] : memref<?xf32> |
| // CHECK-VEC1: %[[lb:.*]] = load %{{.*}}[%[[ci]]] : memref<1024xf32> |
| // CHECK-VEC1: %[[m:.*]] = mulf %[[la]], %[[lb]] : f32 |
| // CHECK-VEC1: store %[[m]], %{{.*}}[%[[ci]]] : memref<1024xf32> |
| // CHECK-VEC1: } |
| // CHECK-VEC1: return |
| // |
| // CHECK-VEC2-LABEL: func @mul_s |
| // CHECK-VEC2-DAG: %[[c0:.*]] = constant 0 : index |
| // CHECK-VEC2-DAG: %[[c1:.*]] = constant 1 : index |
| // CHECK-VEC2-DAG: %[[c16:.*]] = constant 16 : index |
| // CHECK-VEC2: %[[p:.*]] = load %{{.*}}[%[[c0]]] : memref<?xi32> |
| // CHECK-VEC2: %[[q:.*]] = index_cast %[[p]] : i32 to index |
| // CHECK-VEC2: %[[r:.*]] = load %{{.*}}[%[[c1]]] : memref<?xi32> |
| // CHECK-VEC2: %[[s:.*]] = index_cast %[[r]] : i32 to index |
| // CHECK-VEC2: scf.for %[[i:.*]] = %[[q]] to %[[s]] step %[[c16]] { |
| // CHECK-VEC2: %[[sub:.*]] = subi %[[s]], %[[i]] : index |
| // CHECK-VEC2: %[[mask:.*]] = vector.create_mask %[[sub]] : vector<16xi1> |
| // CHECK-VEC2: %[[li:.*]] = vector.maskedload %{{.*}}[%[[i]]], %[[mask]], %{{.*}} : memref<?xi32>, vector<16xi1>, vector<16xi32> into vector<16xi32> |
| // CHECK-VEC2: %[[la:.*]] = vector.maskedload %{{.*}}[%[[i]]], %[[mask]], %{{.*}} : memref<?xf32>, vector<16xi1>, vector<16xf32> into vector<16xf32> |
| // CHECK-VEC2: %[[lb:.*]] = vector.gather %{{.*}}[%[[li]]], %[[mask]], %{{.*}} : memref<1024xf32>, vector<16xi32>, vector<16xi1>, vector<16xf32> into vector<16xf32> |
| // CHECK-VEC2: %[[m:.*]] = mulf %[[la]], %[[lb]] : vector<16xf32> |
| // CHECK-VEC2: vector.scatter %{{.*}}[%[[li]]], %[[mask]], %[[m]] : memref<1024xf32>, vector<16xi32>, vector<16xi1>, vector<16xf32> |
| // CHECK-VEC2: } |
| // CHECK-VEC2: return |
| // |
| func @mul_s(%arga: tensor<1024xf32>, %argb: tensor<1024xf32>) -> tensor<1024xf32> { |
| %0 = linalg.generic #trait_mul_s |
| ins(%arga, %argb: tensor<1024xf32>, tensor<1024xf32>) |
| outs(%arga: tensor<1024xf32>) { |
| ^bb(%a: f32, %b: f32, %s : f32): |
| %0 = mulf %a, %b : f32 |
| linalg.yield %0 : f32 |
| } -> tensor<1024xf32> |
| return %0 : tensor<1024xf32> |
| } |
| |
| #trait_reduction_d = { |
| indexing_maps = [ |
| affine_map<(i) -> (i)>, // a |
| affine_map<(i) -> (i)>, // b |
| affine_map<(i) -> ()> // x (out) |
| ], |
| sparse = [ |
| [ "D" ], // a |
| [ "D" ], // b |
| [ ] // x |
| ], |
| iterator_types = ["reduction"], |
| doc = "x += a(i) * b(i)" |
| } |
| |
| // |
| // CHECK-VEC0-LABEL: func @reduction_d |
| // CHECK-VEC0-DAG: %[[c0:.*]] = constant 0 : index |
| // CHECK-VEC0-DAG: %[[c1:.*]] = constant 1 : index |
| // CHECK-VEC0-DAG: %[[c1024:.*]] = constant 1024 : index |
| // CHECK-VEC0: %[[red:.*]] = scf.for %[[i:.*]] = %[[c0]] to %[[c1024]] step %[[c1]] iter_args(%[[red_in:.*]] = %{{.*}}) -> (f32) { |
| // CHECK-VEC0: %[[la:.*]] = load %{{.*}}[%[[i]]] : memref<1024xf32> |
| // CHECK-VEC0: %[[lb:.*]] = load %{{.*}}[%[[i]]] : memref<1024xf32> |
| // CHECK-VEC0: %[[m:.*]] = mulf %[[la]], %[[lb]] : f32 |
| // CHECK-VEC0: %[[a:.*]] = addf %[[red_in]], %[[m]] : f32 |
| // CHECK-VEC0: scf.yield %[[a]] : f32 |
| // CHECK-VEC0: } |
| // CHECK-VEC0: return |
| // |
| // CHECK-VEC1-LABEL: func @reduction_d |
| // CHECK-VEC1-DAG: %[[c0:.*]] = constant 0 : index |
| // CHECK-VEC1-DAG: %[[c16:.*]] = constant 16 : index |
| // CHECK-VEC1-DAG: %[[c1024:.*]] = constant 1024 : index |
| // CHECK-VEC1-DAG: %[[v0:.*]] = constant dense<0.000000e+00> : vector<16xf32> |
| // CHECK-VEC1: %[[red:.*]] = scf.for %[[i:.*]] = %[[c0]] to %[[c1024]] step %[[c16]] iter_args(%[[red_in:.*]] = %[[v0]]) -> (vector<16xf32>) { |
| // CHECK-VEC1: %[[la:.*]] = vector.transfer_read %{{.*}}[%[[i]]], %cst_0 {masked = [false]} : memref<1024xf32>, vector<16xf32> |
| // CHECK-VEC1: %[[lb:.*]] = vector.transfer_read %{{.*}}[%[[i]]], %cst_0 {masked = [false]} : memref<1024xf32>, vector<16xf32> |
| // CHECK-VEC1: %[[m:.*]] = mulf %[[la]], %[[lb]] : vector<16xf32> |
| // CHECK-VEC1: %[[a:.*]] = addf %[[red_in]], %[[m]] : vector<16xf32> |
| // CHECK-VEC1: scf.yield %[[a]] : vector<16xf32> |
| // CHECK-VEC1: } |
| // CHECK-VEC1: %{{.*}} = vector.reduction "add", %[[red]], %{{.*}} : vector<16xf32> into f32 |
| // CHECK-VEC1: return |
| // |
| // CHECK-VEC2-LABEL: func @reduction_d |
| // CHECK-VEC2-DAG: %[[c0:.*]] = constant 0 : index |
| // CHECK-VEC2-DAG: %[[c16:.*]] = constant 16 : index |
| // CHECK-VEC2-DAG: %[[c1024:.*]] = constant 1024 : index |
| // CHECK-VEC2-DAG: %[[v0:.*]] = constant dense<0.000000e+00> : vector<16xf32> |
| // CHECK-VEC2: %[[red:.*]] = scf.for %[[i:.*]] = %[[c0]] to %[[c1024]] step %[[c16]] iter_args(%[[red_in:.*]] = %[[v0]]) -> (vector<16xf32>) { |
| // CHECK-VEC2: %[[la:.*]] = vector.transfer_read %{{.*}}[%[[i]]], %cst_0 {masked = [false]} : memref<1024xf32>, vector<16xf32> |
| // CHECK-VEC2: %[[lb:.*]] = vector.transfer_read %{{.*}}[%[[i]]], %cst_0 {masked = [false]} : memref<1024xf32>, vector<16xf32> |
| // CHECK-VEC2: %[[m:.*]] = mulf %[[la]], %[[lb]] : vector<16xf32> |
| // CHECK-VEC2: %[[a:.*]] = addf %[[red_in]], %[[m]] : vector<16xf32> |
| // CHECK-VEC2: scf.yield %[[a]] : vector<16xf32> |
| // CHECK-VEC2: } |
| // CHECK-VEC2: %{{.*}} = vector.reduction "add", %[[red]], %{{.*}} : vector<16xf32> into f32 |
| // CHECK-VEC2: return |
| // |
| func @reduction_d(%arga: tensor<1024xf32>, %argb: tensor<1024xf32>, %argx: tensor<f32>) -> tensor<f32> { |
| %0 = linalg.generic #trait_reduction_d |
| ins(%arga, %argb: tensor<1024xf32>, tensor<1024xf32>) |
| outs(%argx: tensor<f32>) { |
| ^bb(%a: f32, %b : f32, %x : f32): |
| %0 = mulf %a, %b : f32 |
| %1 = addf %x, %0 : f32 |
| linalg.yield %1 : f32 |
| } -> tensor<f32> |
| return %0 : tensor<f32> |
| } |
| |
| #trait_mul_ds = { |
| indexing_maps = [ |
| affine_map<(i,j) -> (i,j)>, // a |
| affine_map<(i,j) -> (i,j)>, // b |
| affine_map<(i,j) -> (i,j)> // x (out) |
| ], |
| sparse = [ |
| [ "D", "S" ], // a |
| [ "D", "D" ], // b |
| [ "D", "D" ] // x |
| ], |
| iterator_types = ["parallel", "parallel"], |
| doc = "x(i,j) = a(i,j) * b(i,j)" |
| } |
| |
| // |
| // CHECK-VEC0-LABEL: func @mul_ds |
| // CHECK-VEC0-DAG: %[[c0:.*]] = constant 0 : index |
| // CHECK-VEC0-DAG: %[[c1:.*]] = constant 1 : index |
| // CHECK-VEC0-DAG: %[[c512:.*]] = constant 512 : index |
| // CHECK-VEC0: scf.for %[[i:.*]] = %[[c0]] to %[[c512]] step %[[c1]] { |
| // CHECK-VEC0: %[[p:.*]] = load %{{.*}}[%[[i]]] : memref<?xi32> |
| // CHECK-VEC0: %[[q:.*]] = index_cast %[[p]] : i32 to index |
| // CHECK-VEC0: %[[a:.*]] = addi %[[i]], %[[c1]] : index |
| // CHECK-VEC0: %[[r:.*]] = load %{{.*}}[%[[a]]] : memref<?xi32> |
| // CHECK-VEC0: %[[s:.*]] = index_cast %[[r]] : i32 to index |
| // CHECK-VEC0: scf.for %[[j:.*]] = %[[q]] to %[[s]] step %[[c1]] { |
| // CHECK-VEC0: %[[lj:.*]] = load %{{.*}}[%[[j]]] : memref<?xi32> |
| // CHECK-VEC0: %[[cj:.*]] = index_cast %[[lj]] : i32 to index |
| // CHECK-VEC0: %[[la:.*]] = load %{{.*}}[%[[j]]] : memref<?xf32> |
| // CHECK-VEC0: %[[lb:.*]] = load %{{.*}}[%[[i]], %[[cj]]] : memref<512x1024xf32> |
| // CHECK-VEC0: %[[m:.*]] = mulf %[[la]], %[[lb]] : f32 |
| // CHECK-VEC0: store %[[m]], %{{.*}}[%[[i]], %[[cj]]] : memref<512x1024xf32> |
| // CHECK-VEC0: } |
| // CHECK-VEC0: } |
| // CHECK-VEC0: return |
| // |
| // CHECK-VEC1-LABEL: func @mul_ds |
| // CHECK-VEC1-DAG: %[[c0:.*]] = constant 0 : index |
| // CHECK-VEC1-DAG: %[[c1:.*]] = constant 1 : index |
| // CHECK-VEC1-DAG: %[[c512:.*]] = constant 512 : index |
| // CHECK-VEC1: scf.for %[[i:.*]] = %[[c0]] to %[[c512]] step %[[c1]] { |
| // CHECK-VEC1: %[[p:.*]] = load %{{.*}}[%[[i]]] : memref<?xi32> |
| // CHECK-VEC1: %[[q:.*]] = index_cast %[[p]] : i32 to index |
| // CHECK-VEC1: %[[a:.*]] = addi %[[i]], %[[c1]] : index |
| // CHECK-VEC1: %[[r:.*]] = load %{{.*}}[%[[a]]] : memref<?xi32> |
| // CHECK-VEC1: %[[s:.*]] = index_cast %[[r]] : i32 to index |
| // CHECK-VEC1: scf.for %[[j:.*]] = %[[q]] to %[[s]] step %[[c1]] { |
| // CHECK-VEC1: %[[lj:.*]] = load %{{.*}}[%[[j]]] : memref<?xi32> |
| // CHECK-VEC1: %[[cj:.*]] = index_cast %[[lj]] : i32 to index |
| // CHECK-VEC1: %[[la:.*]] = load %{{.*}}[%[[j]]] : memref<?xf32> |
| // CHECK-VEC1: %[[lb:.*]] = load %{{.*}}[%[[i]], %[[cj]]] : memref<512x1024xf32> |
| // CHECK-VEC1: %[[m:.*]] = mulf %[[la]], %[[lb]] : f32 |
| // CHECK-VEC1: store %[[m]], %{{.*}}[%[[i]], %[[cj]]] : memref<512x1024xf32> |
| // CHECK-VEC1: } |
| // CHECK-VEC1: } |
| // CHECK-VEC1: return |
| // |
| // CHECK-VEC2-LABEL: func @mul_ds |
| // CHECK-VEC2-DAG: %[[c0:.*]] = constant 0 : index |
| // CHECK-VEC2-DAG: %[[c1:.*]] = constant 1 : index |
| // CHECK-VEC2-DAG: %[[c16:.*]] = constant 16 : index |
| // CHECK-VEC2-DAG: %[[c512:.*]] = constant 512 : index |
| // CHECK-VEC2: scf.for %[[i:.*]] = %[[c0]] to %[[c512]] step %[[c1]] { |
| // CHECK-VEC2: %[[p:.*]] = load %{{.*}}[%[[i]]] : memref<?xi32> |
| // CHECK-VEC2: %[[q:.*]] = index_cast %[[p]] : i32 to index |
| // CHECK-VEC2: %[[a:.*]] = addi %[[i]], %[[c1]] : index |
| // CHECK-VEC2: %[[r:.*]] = load %{{.*}}[%[[a]]] : memref<?xi32> |
| // CHECK-VEC2: %[[s:.*]] = index_cast %[[r]] : i32 to index |
| // CHECK-VEC2: scf.for %[[j:.*]] = %[[q]] to %[[s]] step %[[c16]] { |
| // CHECK-VEC2: %[[sub:.*]] = subi %[[s]], %[[j]] : index |
| // CHECK-VEC2: %[[mask:.*]] = vector.create_mask %[[sub]] : vector<16xi1> |
| // CHECK-VEC2: %[[lj:.*]] = vector.maskedload %{{.*}}[%arg3], %[[mask]], %{{.*}} : memref<?xi32>, vector<16xi1>, vector<16xi32> into vector<16xi32> |
| // CHECK-VEC2: %[[la:.*]] = vector.maskedload %{{.*}}[%arg3], %[[mask]], %{{.*}} : memref<?xf32>, vector<16xi1>, vector<16xf32> into vector<16xf32> |
| // CHECK-VEC2: %[[lb:.*]] = vector.gather %{{.*}}[%[[lj]]], %[[mask]], %{{.*}} : memref<512x1024xf32>, vector<16xi32>, vector<16xi1>, vector<16xf32> into vector<16xf32> |
| // CHECK-VEC2: %[[m:.*]] = mulf %[[la]], %[[lb]] : vector<16xf32> |
| // CHECK-VEC2: vector.scatter %{{.*}}[%[[lj]]], %[[mask]], %[[m]] : memref<512x1024xf32>, vector<16xi32>, vector<16xi1>, vector<16xf32> |
| // CHECK-VEC2: } |
| // CHECK-VEC2: } |
| // CHECK-VEC2: return |
| // |
| func @mul_ds(%arga: tensor<512x1024xf32>, %argb: tensor<512x1024xf32>) -> tensor<512x1024xf32> { |
| %0 = linalg.generic #trait_mul_ds |
| ins(%arga, %argb: tensor<512x1024xf32>, tensor<512x1024xf32>) |
| outs(%arga: tensor<512x1024xf32>) { |
| ^bb(%a: f32, %b: f32, %s : f32): |
| %0 = mulf %a, %b : f32 |
| linalg.yield %0 : f32 |
| } -> tensor<512x1024xf32> |
| return %0 : tensor<512x1024xf32> |
| } |
| |