xref: /llvm-project/mlir/test/Conversion/MemRefToLLVM/generic-functions.mlir (revision b28a296cdfb6309fed328e5a299d392a0a841ce1)
1*b28a296cSChristian Ulmann// RUN: mlir-opt -pass-pipeline="builtin.module(finalize-memref-to-llvm{use-generic-functions=1})" -split-input-file %s \
2a8601f11SMichele Scuttari// RUN: | FileCheck %s --check-prefix="CHECK-NOTALIGNED"
3a8601f11SMichele Scuttari
4*b28a296cSChristian Ulmann// RUN: mlir-opt -pass-pipeline="builtin.module(finalize-memref-to-llvm{use-generic-functions=1 use-aligned-alloc=1})" -split-input-file %s \
5a8601f11SMichele Scuttari// RUN: | FileCheck %s --check-prefix="CHECK-ALIGNED"
6a8601f11SMichele Scuttari
7a8601f11SMichele Scuttari// CHECK-LABEL: func @alloc()
8a8601f11SMichele Scuttarifunc.func @zero_d_alloc() -> memref<f32> {
950ea17b8SMarkus Böck// CHECK-NOTALIGNED: llvm.call @_mlir_memref_to_llvm_alloc(%{{.*}}) : (i64) -> !llvm.ptr
1050ea17b8SMarkus Böck// CHECK-ALIGNED: llvm.call @_mlir_memref_to_llvm_aligned_alloc(%{{.*}}, %{{.*}}) : (i64, i64) -> !llvm.ptr
11a8601f11SMichele Scuttari  %0 = memref.alloc() : memref<f32>
12a8601f11SMichele Scuttari  return %0 : memref<f32>
13a8601f11SMichele Scuttari}
14a8601f11SMichele Scuttari
15a8601f11SMichele Scuttari// -----
16a8601f11SMichele Scuttari
17a8601f11SMichele Scuttari// CHECK-LABEL: func @dealloc()
18a8601f11SMichele Scuttarifunc.func @dealloc(%arg0: memref<f32>) {
1950ea17b8SMarkus Böck// CHECK-NOTALIGNED: llvm.call @_mlir_memref_to_llvm_free(%{{.*}}) : (!llvm.ptr) -> ()
2050ea17b8SMarkus Böck// CHECK-ALIGNED: llvm.call @_mlir_memref_to_llvm_free(%{{.*}}) : (!llvm.ptr) -> ()
21a8601f11SMichele Scuttari  memref.dealloc %arg0 : memref<f32>
22a8601f11SMichele Scuttari  return
23a8601f11SMichele Scuttari}
24