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