flang/test/Driver/bbc-implicit-use-module.f90

! Test bbc's test-only implicit USE module hook.

! RUN: split-file %s %t
! RUN: mkdir -p %t/self
! RUN: bbc -module %t/self -implicit-use-module implicit_mod %t/implicit_mod.f90 -o /dev/null
! RUN: bbc -module %t %t/implicit_mod.f90 -o /dev/null
! RUN: not bbc -emit-hlfir -I %t -implicit-use-module implicit_mod %t/use_in_module.f90 -o - 2>&1 | FileCheck %s --check-prefix=MODULE-SCOPE
! RUN: not bbc -emit-hlfir -fcuda -I %t -implicit-use-module implicit_mod %t/use_in_cuda_device.cuf -o - 2>&1 | FileCheck %s --check-prefix=CUDA-DEVICE
! RUN: not bbc -emit-hlfir -fcuda -I %t -implicit-use-module implicit_mod %t/use_in_cuda_global.cuf -o - 2>&1 | FileCheck %s --check-prefix=CUDA-GLOBAL
! RUN: bbc -emit-hlfir -fopenacc -I %t -implicit-use-module implicit_mod %t/use_implicit.f90 -o - | FileCheck %s

!--- implicit_mod.f90
module implicit_mod
  implicit none
  integer :: common_value
  integer :: module_value = 42
  common /implicit_common/ common_value
contains
  subroutine contained
    integer :: x
    x = module_value
  end subroutine
end module

!--- use_implicit.f90
subroutine use_implicit
  real :: x
  !$acc data copy(/implicit_common/)
  x = module_value + common_value
  !$acc end data
end subroutine

!--- use_in_module.f90
module use_in_module
  implicit none
  integer :: x = module_value
end module

!--- use_in_cuda_device.cuf
attributes(device) subroutine use_in_cuda_device
  implicit none
  integer :: x
  x = module_value
end subroutine

!--- use_in_cuda_global.cuf
attributes(global) subroutine use_in_cuda_global
  implicit none
  integer :: x
  x = module_value
end subroutine

! MODULE-SCOPE: No explicit type declared for 'module_value'
! CUDA-DEVICE: No explicit type declared for 'module_value'
! CUDA-GLOBAL: No explicit type declared for 'module_value'

! CHECK-LABEL: func.func @_QPuse_implicit()
! CHECK-DAG: fir.address_of(@_QMimplicit_modEmodule_value) : !fir.ref<i32>
! CHECK-DAG: %[[COMMON:.*]] = fir.address_of(@implicit_common_) : !fir.ref<!fir.array<4xi8>>
! CHECK-DAG: acc.copyin varPtr(%[[COMMON]] : !fir.ref<!fir.array<4xi8>>) -> !fir.ref<!fir.array<4xi8>>  {dataClause = #acc<data_clause acc_copy>, name = "implicit_common"}