104 lines · plain
1// RUN: mlir-opt %s -test-lower-to-llvm | \2// RUN: mlir-runner -e entry -entry-point-result=void \3// RUN: -shared-libs=%mlir_c_runner_utils | \4// RUN: FileCheck %s5 6func.func @maskedstore16(%base: memref<?xf32>,7 %mask: vector<16xi1>, %value: vector<16xf32>) {8 %c0 = arith.constant 0: index9 vector.maskedstore %base[%c0], %mask, %value10 : memref<?xf32>, vector<16xi1>, vector<16xf32>11 return12}13 14func.func @maskedstore16_at8(%base: memref<?xf32>,15 %mask: vector<16xi1>, %value: vector<16xf32>) {16 %c8 = arith.constant 8: index17 vector.maskedstore %base[%c8], %mask, %value18 : memref<?xf32>, vector<16xi1>, vector<16xf32>19 return20}21 22func.func @printmem16(%A: memref<?xf32>) {23 %c0 = arith.constant 0: index24 %c1 = arith.constant 1: index25 %c16 = arith.constant 16: index26 %z = arith.constant 0.0: f3227 %m = vector.broadcast %z : f32 to vector<16xf32>28 %mem = scf.for %i = %c0 to %c16 step %c129 iter_args(%m_iter = %m) -> (vector<16xf32>) {30 %c = memref.load %A[%i] : memref<?xf32>31 %m_new = vector.insert %c, %m_iter[%i] : f32 into vector<16xf32>32 scf.yield %m_new : vector<16xf32>33 }34 vector.print %mem : vector<16xf32>35 return36}37 38func.func @entry() {39 // Set up memory.40 %f0 = arith.constant 0.0: f3241 %c0 = arith.constant 0: index42 %c1 = arith.constant 1: index43 %c16 = arith.constant 16: index44 %A = memref.alloc(%c16) : memref<?xf32>45 scf.for %i = %c0 to %c16 step %c1 {46 memref.store %f0, %A[%i] : memref<?xf32>47 }48 49 // Set up value vector.50 %v = vector.broadcast %f0 : f32 to vector<16xf32>51 %val = scf.for %i = %c0 to %c16 step %c152 iter_args(%v_iter = %v) -> (vector<16xf32>) {53 %i32 = arith.index_cast %i : index to i3254 %fi = arith.sitofp %i32 : i32 to f3255 %v_new = vector.insert %fi, %v_iter[%i] : f32 into vector<16xf32>56 scf.yield %v_new : vector<16xf32>57 }58 59 // Set up masks.60 %t = arith.constant 1: i161 %none = vector.constant_mask [0] : vector<16xi1>62 %some = vector.constant_mask [8] : vector<16xi1>63 %more = vector.insert %t, %some[13] : i1 into vector<16xi1>64 %all = vector.constant_mask [16] : vector<16xi1>65 66 //67 // Masked store tests.68 //69 70 vector.print %val : vector<16xf32>71 // CHECK: ( 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 )72 73 call @printmem16(%A) : (memref<?xf32>) -> ()74 // CHECK: ( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 )75 76 call @maskedstore16(%A, %none, %val)77 : (memref<?xf32>, vector<16xi1>, vector<16xf32>) -> ()78 call @printmem16(%A) : (memref<?xf32>) -> ()79 // CHECK: ( 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 )80 81 call @maskedstore16(%A, %some, %val)82 : (memref<?xf32>, vector<16xi1>, vector<16xf32>) -> ()83 call @printmem16(%A) : (memref<?xf32>) -> ()84 // CHECK: ( 0, 1, 2, 3, 4, 5, 6, 7, 0, 0, 0, 0, 0, 0, 0, 0 )85 86 call @maskedstore16(%A, %more, %val)87 : (memref<?xf32>, vector<16xi1>, vector<16xf32>) -> ()88 call @printmem16(%A) : (memref<?xf32>) -> ()89 // CHECK: ( 0, 1, 2, 3, 4, 5, 6, 7, 0, 0, 0, 0, 0, 13, 0, 0 )90 91 call @maskedstore16(%A, %all, %val)92 : (memref<?xf32>, vector<16xi1>, vector<16xf32>) -> ()93 call @printmem16(%A) : (memref<?xf32>) -> ()94 // CHECK: ( 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 )95 96 call @maskedstore16_at8(%A, %some, %val)97 : (memref<?xf32>, vector<16xi1>, vector<16xf32>) -> ()98 call @printmem16(%A) : (memref<?xf32>) -> ()99 // CHECK: ( 0, 1, 2, 3, 4, 5, 6, 7, 0, 1, 2, 3, 4, 5, 6, 7 )100 101 memref.dealloc %A : memref<?xf32>102 return103}104