67 lines · plain
1// RUN: mlir-opt %s -pass-pipeline="builtin.module(func.func(convert-scf-to-cf,convert-arith-to-llvm),finalize-memref-to-llvm,convert-func-to-llvm{use-bare-ptr-memref-call-conv=1},convert-cf-to-llvm,reconcile-unrealized-casts)" | mlir-runner -shared-libs=%mlir_c_runner_utils -entry-point-result=void | FileCheck %s2 3// Verify bare pointer memref calling convention. `simple_add1_add2_test`4// gets two 2xf32 memrefs, adds 1.0f to the first one and 2.0f to the second5// one. 'main' calls 'simple_add1_add2_test' with {1, 1} and {2, 2} so {2, 2}6// and {4, 4} are the expected outputs.7 8func.func @simple_add1_add2_test(%arg0: memref<2xf32>, %arg1: memref<2xf32>) {9 %c2 = arith.constant 2 : index10 %c0 = arith.constant 0 : index11 %c1 = arith.constant 1 : index12 %cst = arith.constant 1.000000e+00 : f3213 %cst_0 = arith.constant 2.000000e+00 : f3214 scf.for %arg2 = %c0 to %c2 step %c1 {15 %0 = memref.load %arg0[%arg2] : memref<2xf32>16 %1 = arith.addf %0, %cst : f3217 memref.store %1, %arg0[%arg2] : memref<2xf32>18 // CHECK: 2, 219 20 %2 = memref.load %arg1[%arg2] : memref<2xf32>21 %3 = arith.addf %1, %cst_0 : f3222 memref.store %3, %arg1[%arg2] : memref<2xf32>23 // CHECK-NEXT: 4, 424 }25 return26}27 28// External declarations.29func.func private @printF32(%arg0: f32)30func.func private @printComma()31func.func private @printNewline()32 33func.func @main()34{35 %c2 = arith.constant 2 : index36 %c0 = arith.constant 0 : index37 %c1 = arith.constant 1 : index38 %cst = arith.constant 1.000000e+00 : f3239 %cst_0 = arith.constant 2.000000e+00 : f3240 %a = memref.alloc() : memref<2xf32>41 %b = memref.alloc() : memref<2xf32>42 scf.for %i = %c0 to %c2 step %c1 {43 memref.store %cst, %a[%i] : memref<2xf32>44 memref.store %cst, %b[%i] : memref<2xf32>45 }46 47 call @simple_add1_add2_test(%a, %b) : (memref<2xf32>, memref<2xf32>) -> ()48 49 %l0 = memref.load %a[%c0] : memref<2xf32>50 call @printF32(%l0) : (f32) -> ()51 call @printComma() : () -> ()52 %l1 = memref.load %a[%c1] : memref<2xf32>53 call @printF32(%l1) : (f32) -> ()54 call @printNewline() : () -> ()55 56 %l2 = memref.load %b[%c0] : memref<2xf32>57 call @printF32(%l2) : (f32) -> ()58 call @printComma() : () -> ()59 %l3 = memref.load %b[%c1] : memref<2xf32>60 call @printF32(%l3) : (f32) -> ()61 call @printNewline() : () -> ()62 63 memref.dealloc %a : memref<2xf32>64 memref.dealloc %b : memref<2xf32>65 return66}67