95 lines · plain
1// RUN: fir-opt %s --split-input-file --pass-pipeline="builtin.module(func.func(test-acc-pointer-like-interface{test-mode=free}))" 2>&1 | FileCheck %s2 3// The tests here use a synthetic hlfir.declare in order to ensure that the hlfir dialect is4// loaded. This is required because the pass used is part of OpenACC test passes outside of5// flang and the APIs being test may generate hlfir even when it does not appear.6 7func.func @test_ref_scalar_free() {8 %0 = fir.alloca f32 {test.ptr}9 %1:2 = hlfir.declare %0 {uniq_name = "load_hlfir"} : (!fir.ref<f32>) -> (!fir.ref<f32>, !fir.ref<f32>)10 // CHECK: Successfully generated free for operation: %{{.*}} = fir.alloca f32 {test.ptr}11 // CHECK-NOT: Generated12 return13}14 15// -----16 17func.func @test_heap_scalar_free() {18 %0 = fir.allocmem f32 {test.ptr}19 %var = fir.alloca f3220 %1:2 = hlfir.declare %var {uniq_name = "load_hlfir"} : (!fir.ref<f32>) -> (!fir.ref<f32>, !fir.ref<f32>)21 // CHECK: Successfully generated free for operation: %{{.*}} = fir.allocmem f32 {test.ptr}22 // CHECK: Generated: fir.freemem %{{.*}} : !fir.heap<f32>23 return24}25 26// -----27 28func.func @test_heap_array_free() {29 %0 = fir.allocmem !fir.array<10x20xf32> {test.ptr}30 %var = fir.alloca f3231 %1:2 = hlfir.declare %var {uniq_name = "load_hlfir"} : (!fir.ref<f32>) -> (!fir.ref<f32>, !fir.ref<f32>)32 // CHECK: Successfully generated free for operation: %{{.*}} = fir.allocmem !fir.array<10x20xf32> {test.ptr}33 // CHECK: Generated: fir.freemem %{{.*}} : !fir.heap<!fir.array<10x20xf32>>34 return35}36 37// -----38 39func.func @test_convert_walking_free() {40 %0 = fir.alloca f3241 %1 = fir.convert %0 {test.ptr} : (!fir.ref<f32>) -> !fir.ptr<f32>42 %2:2 = hlfir.declare %0 {uniq_name = "load_hlfir"} : (!fir.ref<f32>) -> (!fir.ref<f32>, !fir.ref<f32>)43 // CHECK: Successfully generated free for operation: %{{.*}} = fir.convert %{{.*}} {test.ptr} : (!fir.ref<f32>) -> !fir.ptr<f32>44 // CHECK-NOT: Generated45 return46}47 48// -----49 50func.func @test_declare_walking_free() {51 %0 = fir.alloca f3252 %1 = fir.declare %0 {test.ptr, uniq_name = "x"} : (!fir.ref<f32>) -> !fir.ref<f32>53 %2:2 = hlfir.declare %0 {uniq_name = "load_hlfir"} : (!fir.ref<f32>) -> (!fir.ref<f32>, !fir.ref<f32>)54 // CHECK: Successfully generated free for operation: %{{.*}} = fir.declare %{{.*}} {test.ptr, uniq_name = "x"} : (!fir.ref<f32>) -> !fir.ref<f32>55 // CHECK-NOT: Generated56 return57}58 59// -----60 61func.func @test_hlfir_declare_walking_free() {62 %0 = fir.alloca f3263 %1:2 = hlfir.declare %0 {test.ptr, uniq_name = "x"} : (!fir.ref<f32>) -> (!fir.ref<f32>, !fir.ref<f32>)64 %var = fir.alloca f3265 %2:2 = hlfir.declare %var {uniq_name = "load_hlfir"} : (!fir.ref<f32>) -> (!fir.ref<f32>, !fir.ref<f32>)66 // CHECK: Successfully generated free for operation67 // CHECK-NOT: Generated68 return69}70 71// -----72 73func.func @test_heap_through_convert_free() {74 %0 = fir.allocmem f3275 %1 = fir.convert %0 {test.ptr} : (!fir.heap<f32>) -> !fir.llvm_ptr<f32>76 %var = fir.alloca f3277 %2:2 = hlfir.declare %var {uniq_name = "load_hlfir"} : (!fir.ref<f32>) -> (!fir.ref<f32>, !fir.ref<f32>)78 // CHECK: Successfully generated free for operation: %{{.*}} = fir.convert %{{.*}} {test.ptr} : (!fir.heap<f32>) -> !fir.llvm_ptr<f32>79 // CHECK: Generated: %{{.*}} = fir.convert %{{.*}} : (!fir.llvm_ptr<f32>) -> !fir.heap<f32>80 // CHECK: Generated: fir.freemem %{{.*}} : !fir.heap<f32>81 return82}83 84// -----85 86func.func @test_heap_through_declare_free() {87 %0 = fir.allocmem f3288 %1 = fir.declare %0 {test.ptr, uniq_name = "x"} : (!fir.heap<f32>) -> !fir.heap<f32>89 %var = fir.alloca f3290 %2:2 = hlfir.declare %var {uniq_name = "load_hlfir"} : (!fir.ref<f32>) -> (!fir.ref<f32>, !fir.ref<f32>)91 // CHECK: Successfully generated free for operation: %{{.*}} = fir.declare %{{.*}} {test.ptr, uniq_name = "x"} : (!fir.heap<f32>) -> !fir.heap<f32>92 // CHECK: Generated: fir.freemem %{{.*}} : !fir.heap<f32>93 return94}95