1! This test checks lowering of OpenMP parallel DO, with the loop bound being
2! a firstprivate variable
3
4! RUN: bbc -fopenmp -emit-fir %s -o - | FileCheck %s
5
6! CHECK: func @_QPomp_do_firstprivate(%[[ARG0:.*]]: !fir.ref<i32> {fir.bindc_name = "a"})
7subroutine omp_do_firstprivate(a)
8  integer::a
9  integer::n
10  n = a+1
11  !$omp parallel do firstprivate(a)
12  ! CHECK:  omp.parallel {
13  ! CHECK-NEXT: %[[CLONE:.*]] = fir.alloca i32 {bindc_name = "a", pinned
14  ! CHECK-NEXT: %[[LD:.*]] = fir.load %[[ARG0]] : !fir.ref<i32>
15  ! CHECK-NEXT: fir.store %[[LD]] to %[[CLONE]] : !fir.ref<i32>
16  ! CHECK-NEXT: omp.barrier
17  ! CHECK-NEXT: %[[REF:.*]] = fir.alloca i32 {adapt.valuebyref, pinned}
18  ! CHECK: %[[LB:.*]] = arith.constant 1 : i32
19  ! CHECK-NEXT: %[[UB:.*]] = fir.load %[[CLONE]] : !fir.ref<i32>
20  ! CHECK-NEXT: %[[STEP:.*]] = arith.constant 1 : i32
21  ! CHECK-NEXT: omp.wsloop   for  (%[[ARG1:.*]]) : i32 = (%[[LB]]) to (%[[UB]]) inclusive step (%[[STEP]])
22  ! CHECK-NEXT: fir.store %[[ARG1]] to %[[REF]] : !fir.ref<i32>
23  ! CHECK-NEXT: fir.call @_QPfoo(%[[REF]], %[[CLONE]]) : (!fir.ref<i32>, !fir.ref<i32>) -> ()
24  ! CHECK-NEXT: omp.yield
25    do i=1, a
26      call foo(i, a)
27    end do
28  !$omp end parallel do
29  !CHECK: fir.call @_QPbar(%[[ARG0]]) : (!fir.ref<i32>) -> ()
30  call bar(a)
31end subroutine omp_do_firstprivate
32
33! CHECK: func @_QPomp_do_firstprivate2(%[[ARG0:.*]]: !fir.ref<i32> {fir.bindc_name = "a"}, %[[ARG1:.*]]: !fir.ref<i32> {fir.bindc_name = "n"})
34subroutine omp_do_firstprivate2(a, n)
35  integer::a
36  integer::n
37  n = a+1
38  !$omp parallel do firstprivate(a, n)
39  ! CHECK:  omp.parallel {
40  ! CHECK-NEXT: %[[CLONE:.*]] = fir.alloca i32 {bindc_name = "a", pinned
41  ! CHECK-NEXT: %[[LD:.*]] = fir.load %[[ARG0]] : !fir.ref<i32>
42  ! CHECK-NEXT: fir.store %[[LD]] to %[[CLONE]] : !fir.ref<i32>
43  ! CHECK-NEXT: %[[CLONE1:.*]] = fir.alloca i32 {bindc_name = "n", pinned
44  ! CHECK-NEXT: %[[LD1:.*]] = fir.load %[[ARG1]] : !fir.ref<i32>
45  ! CHECK-NEXT: fir.store %[[LD1]] to %[[CLONE1]] : !fir.ref<i32>
46  ! CHECK-NEXT: omp.barrier
47  ! CHECK-NEXT: %[[REF:.*]] = fir.alloca i32 {adapt.valuebyref, pinned}
48
49
50  ! CHECK: %[[LB:.*]] = fir.load %[[CLONE]] : !fir.ref<i32>
51  ! CHECK-NEXT: %[[UB:.*]] = fir.load %[[CLONE1]] : !fir.ref<i32>
52  ! CHECK-NEXT: %[[STEP:.*]] = arith.constant 1 : i32
53  ! CHECK-NEXT: omp.wsloop   for  (%[[ARG2:.*]]) : i32 = (%[[LB]]) to (%[[UB]]) inclusive step (%[[STEP]])
54  ! CHECK-NEXT: fir.store %[[ARG2]] to %[[REF]] : !fir.ref<i32>
55  ! CHECK-NEXT: fir.call @_QPfoo(%[[REF]], %[[CLONE]]) : (!fir.ref<i32>, !fir.ref<i32>) -> ()
56  ! CHECK-NEXT: omp.yield
57    do i= a, n
58      call foo(i, a)
59    end do
60  !$omp end parallel do
61  !CHECK: fir.call @_QPbar(%[[ARG1]]) : (!fir.ref<i32>) -> ()
62  call bar(n)
63end subroutine omp_do_firstprivate2
64