| // RUN: mlir-opt %s --split-input-file --pass-pipeline="builtin.module(func.func(test-acc-pointer-like-interface{test-mode=free}))" 2>&1 | FileCheck %s |
| |
| func.func @test_static_memref_free() { |
| %0 = memref.alloca() {test.ptr} : memref<10x20xf32> |
| // CHECK: Successfully generated free for operation: %[[ORIG:.*]] = memref.alloca() {test.ptr} : memref<10x20xf32> |
| // CHECK-NOT: Generated |
| return |
| } |
| |
| // ----- |
| |
| func.func @test_dynamic_memref_free() { |
| %c10 = arith.constant 10 : index |
| %c20 = arith.constant 20 : index |
| %orig = memref.alloc(%c10, %c20) {test.ptr} : memref<?x?xf32> |
| |
| // CHECK: Successfully generated free for operation: %[[ORIG:.*]] = memref.alloc(%[[C10:.*]], %[[C20:.*]]) {test.ptr} : memref<?x?xf32> |
| // CHECK: Generated: memref.dealloc %[[ORIG]] : memref<?x?xf32> |
| return |
| } |
| |
| // ----- |
| |
| func.func @test_cast_walking_free() { |
| %0 = memref.alloca() : memref<10x20xf32> |
| %1 = memref.cast %0 {test.ptr} : memref<10x20xf32> to memref<?x?xf32> |
| |
| // CHECK: Successfully generated free for operation: %[[CAST:.*]] = memref.cast %[[ALLOCA:.*]] {test.ptr} : memref<10x20xf32> to memref<?x?xf32> |
| // CHECK-NOT: Generated |
| return |
| } |
