67 lines · plain
1! RUN: bbc -emit-hlfir %s -o - | FileCheck %s2! RUN: %flang_fc1 -emit-hlfir %s -o - | FileCheck %s3 4! CHECK-LABEL: func.func @_QPfree_ptr() {5subroutine free_ptr()6 integer :: x7 pointer (ptr_x, x)8 ! CHECK: %[[X:.*]] = fir.alloca !fir.box<!fir.ptr<i32>>9 ! CHECK: %[[X_PTR:.*]] = fir.alloca i64 {bindc_name = "ptr_x", uniq_name = "_QFfree_ptrEptr_x"}10 ! CHECK: %[[X_PTR_DECL:.*]]:2 = hlfir.declare %[[X_PTR]] {uniq_name = "_QFfree_ptrEptr_x"} : (!fir.ref<i64>) -> (!fir.ref<i64>, !fir.ref<i64>)11 ! CHECK: %[[X_DECL:.*]]:2 = hlfir.declare %[[X]] {fortran_attrs = #fir.var_attrs<pointer>, uniq_name = "_QFfree_ptrEx"} : (!fir.ref<!fir.box<!fir.ptr<i32>>>) -> (!fir.ref<!fir.box<!fir.ptr<i32>>>, !fir.ref<!fir.box<!fir.ptr<i32>>>)12 ! CHECK: %[[X_LD:.*]] = fir.load %[[X_PTR_DECL]]#0 : !fir.ref<i64>13 ! CHECK: fir.call @_FortranAFree(%[[X_LD]]) fastmath<contract> : (i64) -> ()14 ! CHECK: return15 call free(ptr_x)16end subroutine17 18! gfortran allows free to be used on integers, so we accept it with a warning.19 20! CHECK-LABEL: func.func @_QPfree_i8() {21subroutine free_i822 integer (kind=1) :: x23 ! CHECK: %[[X:.*]] = fir.alloca i8 {bindc_name = "x", uniq_name = "_QFfree_i8Ex"}24 ! CHECK: %[[X_DECL:.*]]:2 = hlfir.declare %[[X]] {uniq_name = "_QFfree_i8Ex"} : (!fir.ref<i8>) -> (!fir.ref<i8>, !fir.ref<i8>)25 ! CHECK: %[[X_LD:.*]] = fir.load %[[X_DECL]]#0 : !fir.ref<i8>26 ! CHECK: %[[X_I64:.*]] = fir.convert %[[X_LD]] : (i8) -> i6427 ! CHECK: fir.call @_FortranAFree(%[[X_I64]]) fastmath<contract> : (i64) -> ()28 ! CHECK: return29 call free(x)30end subroutine31 32 33! CHECK-LABEL: func.func @_QPfree_i16() {34subroutine free_i1635 integer (kind=2) :: x36 ! CHECK: %[[X:.*]] = fir.alloca i16 {bindc_name = "x", uniq_name = "_QFfree_i16Ex"}37 ! CHECK: %[[X_DECL:.*]]:2 = hlfir.declare %[[X]] {uniq_name = "_QFfree_i16Ex"} : (!fir.ref<i16>) -> (!fir.ref<i16>, !fir.ref<i16>)38 ! CHECK: %[[X_LD:.*]] = fir.load %[[X_DECL]]#0 : !fir.ref<i16>39 ! CHECK: %[[X_I64:.*]] = fir.convert %[[X_LD]] : (i16) -> i6440 ! CHECK: fir.call @_FortranAFree(%[[X_I64]]) fastmath<contract> : (i64) -> ()41 ! CHECK: return42 call free(x)43end subroutine44 45! CHECK-LABEL: func.func @_QPfree_i32() {46subroutine free_i3247 integer (kind=4) :: x48 ! CHECK: %[[X:.*]] = fir.alloca i32 {bindc_name = "x", uniq_name = "_QFfree_i32Ex"}49 ! CHECK: %[[X_DECL:.*]]:2 = hlfir.declare %[[X]] {uniq_name = "_QFfree_i32Ex"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)50 ! CHECK: %[[X_LD:.*]] = fir.load %[[X_DECL]]#0 : !fir.ref<i32>51 ! CHECK: %[[X_I64:.*]] = fir.convert %[[X_LD]] : (i32) -> i6452 ! CHECK: fir.call @_FortranAFree(%[[X_I64]]) fastmath<contract> : (i64) -> ()53 ! CHECK: return54 call free(x)55end subroutine56 57! CHECK-LABEL: func.func @_QPfree_i64() {58subroutine free_i6459 integer (kind=8) :: x60 ! CHECK: %[[X:.*]] = fir.alloca i64 {bindc_name = "x", uniq_name = "_QFfree_i64Ex"}61 ! CHECK: %[[X_DECL:.*]]:2 = hlfir.declare %[[X]] {uniq_name = "_QFfree_i64Ex"} : (!fir.ref<i64>) -> (!fir.ref<i64>, !fir.ref<i64>)62 ! CHECK: %[[X_LD:.*]] = fir.load %[[X_DECL]]#0 : !fir.ref<i64>63 ! CHECK: fir.call @_FortranAFree(%[[X_LD]]) fastmath<contract> : (i64) -> ()64 ! CHECK: return65 call free(x)66end subroutine67