diff --git a/flang/lib/Lower/OpenMP.cpp b/flang/lib/Lower/OpenMP.cpp --- a/flang/lib/Lower/OpenMP.cpp +++ b/flang/lib/Lower/OpenMP.cpp @@ -1506,9 +1506,11 @@ const Fortran::parser::OmpObjectList &ompObjectList = copyinClause->v; for (const Fortran::parser::OmpObject &ompObject : ompObjectList.v) { Fortran::semantics::Symbol *sym = getOmpObjectSymbol(ompObject); - if (sym->has()) - TODO(converter.getCurrentLocation(), - "common block in Copyin clause"); + if (const auto *commonDetails = + sym->detailsIf()) { + for (const auto &mem : commonDetails->objects()) + sym = &*mem; + } if (Fortran::semantics::IsAllocatableOrPointer(sym->GetUltimate())) TODO(converter.getCurrentLocation(), "pointer or allocatable variables in Copyin clause"); diff --git a/flang/test/Lower/OpenMP/copyin.f90 b/flang/test/Lower/OpenMP/copyin.f90 --- a/flang/test/Lower/OpenMP/copyin.f90 +++ b/flang/test/Lower/OpenMP/copyin.f90 @@ -204,3 +204,104 @@ !$omp end parallel sections end + + +!CHECK: func.func @_QPcommon_1() { +!CHECK: %[[val_0:.*]] = fir.address_of(@_QCc) : !fir.ref> +!CHECK: %[[val_1:.*]] = omp.threadprivate %[[val_0]] : !fir.ref> -> !fir.ref> +!CHECK: %[[val_2:.*]] = fir.convert %[[val_1]] : (!fir.ref>) -> !fir.ref> +!CHECK: %[[val_c0:.*]] = arith.constant 0 : index +!CHECK: %[[val_3:.*]] = fir.coordinate_of %[[val_2]], %[[val_c0]] : (!fir.ref>, index) -> !fir.ref +!CHECK: %[[val_4:.*]] = fir.convert %[[val_3]] : (!fir.ref) -> !fir.ref +!CHECK: %[[val_5:.*]] = fir.alloca i32 {bindc_name = "y", uniq_name = "_QFcommon_1Ey"} +!CHECK: omp.parallel { +!CHECK: %[[val_6:.*]] = omp.threadprivate %[[val_0]] : !fir.ref> -> !fir.ref> +!CHECK: %[[val_7:.*]] = fir.convert %[[val_6]] : (!fir.ref>) -> !fir.ref> +!CHECK: %[[val_c0_0:.*]] = arith.constant 0 : index +!CHECK: %[[val_8:.*]] = fir.coordinate_of %[[val_7]], %[[val_c0_0]] : (!fir.ref>, index) -> !fir.ref +!CHECK: %[[val_9:.*]] = fir.convert %[[val_8]] : (!fir.ref) -> !fir.ref +!CHECK: %[[val_10:.*]] = fir.load %[[val_4]] : !fir.ref +!CHECK: fir.store %[[val_10]] to %[[val_9]] : !fir.ref +!CHECK: omp.barrier +!CHECK: omp.sections { +!CHECK: omp.section { +!CHECK: %[[val_11:.*]] = fir.load %[[val_9]] : !fir.ref +!CHECK: %[[val_c1_i32:.*]] = arith.constant 1 : i32 +!CHECK: %[[val_12:.*]] = arith.addi %[[val_11]], %[[val_c1_i32]] : i32 +!CHECK: fir.store %[[val_12]] to %[[val_5]] : !fir.ref +!CHECK: omp.terminator +!CHECK: } +!CHECK: omp.section { +!CHECK: %[[val_11:.*]] = fir.load %[[val_5]] : !fir.ref +!CHECK: %[[val_12:.*]] = fir.load %[[val_5]] : !fir.ref +!CHECK: %[[val_13:.*]] = arith.muli %[[val_11]], %[[val_12]] : i32 +!CHECK: fir.store %[[val_13]] to %[[val_9]] : !fir.ref +!CHECK: omp.terminator +!CHECK: } +!CHECK: omp.terminator +!CHECK: } +!CHECK: return +!CHECK: } +subroutine common_1() + integer :: x + integer :: y + common /c/ x + !$omp threadprivate(/c/) + + !$omp parallel sections copyin(/c/) + !$omp section + y = x + 1 + !$omp section + x = y * y + !$omp end parallel sections +end subroutine + +!CHECK: func.func @_QPcommon_2() { +!CHECK: %[[val_0:.*]] = fir.alloca i32 {bindc_name = "i", uniq_name = "_QFcommon_2Ei"} +!CHECK: %[[val_1:.*]] = fir.address_of(@_QCd) : !fir.ref> +!CHECK: %[[val_2:.*]] = omp.threadprivate %[[val_1]] : !fir.ref> -> !fir.ref> +!CHECK: %[[val_3:.*]] = fir.convert %[[val_2]] : (!fir.ref>) -> !fir.ref> +!CHECK: %[[val_c4:.*]] = arith.constant 4 : index +!CHECK: %[[val_4:.*]] = fir.coordinate_of %[[val_3]], %[[val_c4]] : (!fir.ref>, index) -> !fir.ref +!CHECK: %[[val_5:.*]] = fir.convert %[[val_4]] : (!fir.ref) -> !fir.ref +!CHECK: omp.parallel { +!CHECK: %[[val_6:.*]] = fir.alloca i32 {adapt.valuebyref, pinned} +!CHECK: %[[val_7:.*]] = omp.threadprivate %[[val_1]] : !fir.ref> -> !fir.ref> +!CHECK: %[[val_8:.*]] = fir.convert %[[val_7]] : (!fir.ref>) -> !fir.ref> +!CHECK: %[[val_c0:.*]] = arith.constant 0 : index +!CHECK: %[[val_9:.*]] = fir.coordinate_of %[[val_8]], %[[val_c0]] : (!fir.ref>, index) -> !fir.ref +!CHECK: %[[val_10:.*]] = fir.convert %[[val_9]] : (!fir.ref) -> !fir.ref +!CHECK: %[[val_11:.*]] = fir.convert %[[val_7]] : (!fir.ref>) -> !fir.ref> +!CHECK: %[[val_c4_0:.*]] = arith.constant 4 : index +!CHECK: %[[val_12:.*]] = fir.coordinate_of %[[val_11]], %[[val_c4_0]] : (!fir.ref>, index) -> !fir.ref +!CHECK: %[[val_13:.*]] = fir.convert %[[val_12]] : (!fir.ref) -> !fir.ref +!CHECK: %[[val_14:.*]] = fir.load %[[val_5]] : !fir.ref +!CHECK: fir.store %[[val_14]] to %[[val_13]] : !fir.ref +!CHECK: omp.barrier +!CHECK: %[[val_c1_i32:.*]] = arith.constant 1 : i32 +!CHECK: %[[val_15:.*]] = fir.load %[[val_10]] : !fir.ref +!CHECK: %[[val_c1_i32_1:.*]] = arith.constant 1 : i32 +!CHECK: omp.wsloop for (%[[val_arg0:.*]]) : i32 = (%[[val_c1_i32]]) to (%[[val_15]]) inclusive step (%[[val_c1_i32_1]]) { +!CHECK: fir.store %[[val_arg0]] to %[[val_6]] : !fir.ref +!CHECK: %[[val_16:.*]] = fir.load %[[val_13]] : !fir.ref +!CHECK: %[[val_17:.*]] = fir.load %[[val_6]] : !fir.ref +!CHECK: %[[val_18:.*]] = arith.addi %[[val_16]], %[[val_17]] : i32 +!CHECK: fir.store %[[val_18]] to %[[val_13]] : !fir.ref +!CHECK: omp.yield +!CHECK: } +!CHECK: omp.terminator +!CHECK: } +!CHECK: return +!CHECK: } +subroutine common_2() + integer :: x + integer :: y + common /d/ x, y + !$omp threadprivate(/d/) + + !$omp parallel do copyin(/d/) + do i = 1, x + y = y + i + end do + !$omp end parallel do +end subroutine