91 lines · plain
1! Test lowering of internal procedure host association for global variables2! A tuple function argument should not be created for associated globals, and3! instead globals should be instantiated with a fir.address_of inside the4! contained procedures.5! RUN: bbc -emit-fir -hlfir=false %s -o - | FileCheck %s6 7module test_mod_used_in_host8 integer :: i, j_in_equiv9 integer :: not_in_equiv10 equivalence (i,j_in_equiv)11end module12 13subroutine module_var()14 use test_mod_used_in_host15 call bar()16contains17 subroutine bar()18 print *, j_in_equiv, not_in_equiv19 end subroutine20end subroutine21! CHECK-LABEL: func.func private @_QFmodule_varPbar()22! CHECK: %[[VAL_0:.*]] = fir.address_of(@_QMtest_mod_used_in_hostEi) : !fir.ref<!fir.array<4xi8>>23! CHECK: %[[VAL_1:.*]] = arith.constant 0 : index24! CHECK: %[[VAL_2:.*]] = fir.coordinate_of %[[VAL_0]], %[[VAL_1]] : (!fir.ref<!fir.array<4xi8>>, index) -> !fir.ref<i8>25! CHECK: %[[VAL_3:.*]] = fir.convert %[[VAL_2]] : (!fir.ref<i8>) -> !fir.ptr<i32>26! CHECK: %[[VAL_4:.*]] = fir.address_of(@_QMtest_mod_used_in_hostEnot_in_equiv) : !fir.ref<i32>27 28subroutine test_common()29 integer :: i(2)30 integer :: j_in_equiv31 integer :: not_in_equiv32 equivalence (i(2),j_in_equiv)33 common /x/ i, not_in_equiv34 call bar()35contains36 subroutine bar()37 print *, j_in_equiv, not_in_equiv38 end subroutine39end subroutine40! CHECK-LABEL: func.func private @_QFtest_commonPbar() attributes {fir.host_symbol = {{.*}}, llvm.linkage = #llvm.linkage<internal>} {41! CHECK: %[[VAL_0:.*]] = fir.address_of(@x_) : !fir.ref<!fir.array<12xi8>>42! CHECK: %[[VAL_2:.*]] = arith.constant 4 : index43! CHECK: %[[VAL_3:.*]] = fir.coordinate_of %[[VAL_0]], %[[VAL_2]] : (!fir.ref<!fir.array<12xi8>>, index) -> !fir.ref<i8>44! CHECK: %[[VAL_4:.*]] = fir.convert %[[VAL_3]] : (!fir.ref<i8>) -> !fir.ptr<i32>45! CHECK: %[[VAL_6:.*]] = arith.constant 8 : index46! CHECK: %[[VAL_7:.*]] = fir.coordinate_of %[[VAL_0]], %[[VAL_6]] : (!fir.ref<!fir.array<12xi8>>, index) -> !fir.ref<i8>47! CHECK: %[[VAL_8:.*]] = fir.convert %[[VAL_7]] : (!fir.ref<i8>) -> !fir.ref<i32>48 49subroutine saved_equiv()50 integer, save :: i(2)51 integer, save :: j_in_equiv52 integer, save :: not_in_equiv53 equivalence (i(2),j_in_equiv)54 call bar()55contains56 subroutine bar()57 print *, j_in_equiv, not_in_equiv58 end subroutine59end subroutine60! CHECK-LABEL: func.func private @_QFsaved_equivPbar() attributes {fir.host_symbol = {{.*}}, llvm.linkage = #llvm.linkage<internal>} {61! CHECK: %[[VAL_0:.*]] = fir.address_of(@_QFsaved_equivEi) : !fir.ref<!fir.array<8xi8>>62! CHECK: %[[VAL_1:.*]] = arith.constant 4 : index63! CHECK: %[[VAL_2:.*]] = fir.coordinate_of %[[VAL_0]], %[[VAL_1]] : (!fir.ref<!fir.array<8xi8>>, index) -> !fir.ref<i8>64! CHECK: %[[VAL_3:.*]] = fir.convert %[[VAL_2]] : (!fir.ref<i8>) -> !fir.ptr<i32>65! CHECK: %[[VAL_4:.*]] = fir.address_of(@_QFsaved_equivEnot_in_equiv) : !fir.ref<i32>66 67subroutine mixed_capture()68 integer, save :: saved_i69 integer, save :: saved_j70 equivalence (saved_i, saved_j)71 integer :: i72 integer :: j73 equivalence (i,j)74 call bar()75contains76 subroutine bar()77 call test(saved_j, j)78 end subroutine79end subroutine80! CHECK-LABEL: func.func private @_QFmixed_capturePbar(81! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<tuple<!fir.ref<i32>>> {fir.host_assoc}) attributes {fir.host_symbol = {{.*}}, llvm.linkage = #llvm.linkage<internal>} {82! CHECK: %[[VAL_1:.*]] = fir.address_of(@_QFmixed_captureEsaved_i) : !fir.ref<!fir.array<4xi8>>83! CHECK: %[[VAL_2:.*]] = arith.constant 0 : index84! CHECK: %[[VAL_3:.*]] = fir.coordinate_of %[[VAL_1]], %[[VAL_2]] : (!fir.ref<!fir.array<4xi8>>, index) -> !fir.ref<i8>85! CHECK: %[[VAL_4:.*]] = fir.convert %[[VAL_3]] : (!fir.ref<i8>) -> !fir.ptr<i32>86! CHECK: %[[VAL_5:.*]] = arith.constant 0 : i3287! CHECK: %[[VAL_6:.*]] = fir.coordinate_of %[[VAL_0]], %[[VAL_5]] : (!fir.ref<tuple<!fir.ref<i32>>>, i32) -> !fir.llvm_ptr<!fir.ref<i32>>88! CHECK: %[[VAL_7:.*]] = fir.load %[[VAL_6]] : !fir.llvm_ptr<!fir.ref<i32>>89! CHECK: %[[VAL_9:.*]] = fir.convert %[[VAL_4]] : (!fir.ptr<i32>) -> !fir.ref<i32>90! CHECK: fir.call @_QPtest(%[[VAL_9]], %[[VAL_7]]) {{.*}} : (!fir.ref<i32>, !fir.ref<i32>) -> ()91