164 lines · plain
1! RUN: bbc -emit-fir -hlfir=false --enable-delayed-privatization=false -o - %s | FileCheck %s2 3! CHECK-LABEL: loop_test4subroutine loop_test5 ! CHECK: %[[VAL_11:.*]] = fir.alloca !fir.array<5x5x5xi32> {bindc_name = "a", uniq_name = "_QFloop_testEa"}6 ! CHECK: %[[VAL_12:.*]] = fir.alloca i32 {bindc_name = "asum", uniq_name = "_QFloop_testEasum"}7 ! CHECK: %[[VAL_13:.*]] = fir.alloca i32 {bindc_name = "i", uniq_name = "_QFloop_testEi"}8 ! CHECK: %[[VAL_14:.*]] = fir.alloca i32 {bindc_name = "j", uniq_name = "_QFloop_testEj"}9 ! CHECK: %[[VAL_15:.*]] = fir.alloca i32 {bindc_name = "k", uniq_name = "_QFloop_testEk"}10 ! CHECK: %[[VAL_16:.*]] = fir.alloca f32 {bindc_name = "x", uniq_name = "_QFloop_testEx"}11 ! CHECK: %[[VAL_17:.*]] = fir.alloca i32 {bindc_name = "xsum", uniq_name = "_QFloop_testExsum"}12 13 integer(4) :: a(5,5,5), i, j, k, asum, xsum14 15 i = 10016 j = 20017 k = 30018 19 ! CHECK: fir.do_concurrent.loop (%{{.*}}, %{{.*}}, %{{.*}}) = {{.*}}20 do concurrent (i=1:5, j=1:5, k=1:5) ! shared(a)21 ! CHECK: fir.coordinate_of22 a(i,j,k) = 023 enddo24 ! CHECK: fir.call @_FortranAioBeginExternalListOutput25 print*, 'A:', i, j, k26 27 ! CHECK: fir.do_concurrent.loop (%{{.*}}, %{{.*}}, %{{.*}}) = {{.*}}28 ! CHECK: fir.if29 do concurrent (integer(1)::i=1:5, j=1:5, k=1:5, i.ne.j .and. k.ne.3) shared(a)30 ! CHECK-COUNT-2: fir.coordinate_of31 a(i,j,k) = a(i,j,k) + 132 enddo33 34 ! CHECK-COUNT-3: fir.do_loop {{[^un]*}} -> (i32)35 asum = 036 do i=1,537 do j=1,538 do k=1,539 ! CHECK: fir.coordinate_of40 asum = asum + a(i,j,k)41 enddo42 enddo43 enddo44 ! CHECK: fir.call @_FortranAioBeginExternalListOutput45 print*, 'B:', i, j, k, '-', asum46 47 ! CHECK: fir.do_concurrent.loop (%{{.*}}) = {{.*}}48 ! CHECK-COUNT-2: fir.if49 do concurrent (integer(2)::i=1:5, i.ne.3)50 if (i.eq.2 .or. i.eq.4) goto 5 ! fir.if51 ! CHECK: fir.call @_FortranAioBeginExternalListOutput52 print*, 'C:', i53 5 continue54 enddo55 56 ! CHECK: fir.do_concurrent.loop (%{{.*}}) = {{.*}}57 ! CHECK-COUNT-2: fir.if58 do concurrent (integer(2)::i=1:5, i.ne.3)59 if (i.eq.2 .or. i.eq.4) then ! fir.if60 goto 661 endif62 ! CHECK: fir.call @_FortranAioBeginExternalListOutput63 print*, 'D:', i64 6 continue65 enddo66 67 ! CHECK-NOT: fir.do_loop68 ! CHECK-NOT: fir.if69 do concurrent (integer(2)::i=1:5, i.ne.3)70 goto (7, 7) i+171 ! CHECK: fir.call @_FortranAioBeginExternalListOutput72 print*, 'E:', i73 7 continue74 enddo75 76 xsum = 0.077 ! CHECK-NOT: fir.do_loop78 do x = 1.5, 3.5, 0.379 xsum = xsum + 180 enddo81 ! CHECK: fir.call @_FortranAioBeginExternalFormattedOutput82 print '(" F:",X,F3.1,A,I2)', x, ' -', xsum83end subroutine loop_test84 85! CHECK-LABEL: c.func @_QPlis86subroutine lis(n)87 ! CHECK-DAG: fir.alloca i32 {bindc_name = "j", uniq_name = "_QFlisEj"}88 ! CHECK-DAG: fir.alloca i32 {bindc_name = "k", uniq_name = "_QFlisEk"}89 ! CHECK-DAG: fir.alloca !fir.box<!fir.ptr<!fir.array<?x?x?xi32>>> {bindc_name = "p", uniq_name = "_QFlisEp"}90 ! CHECK-DAG: fir.alloca !fir.array<?x?x?xi32>, %{{.*}}, %{{.*}}, %{{.*}} {bindc_name = "a", fir.target, uniq_name = "_QFlisEa"}91 ! CHECK-DAG: fir.alloca !fir.array<?x?xi32>, %{{.*}}, %{{.*}} {bindc_name = "r", uniq_name = "_QFlisEr"}92 ! CHECK-DAG: fir.alloca !fir.array<?x?xi32>, %{{.*}}, %{{.*}} {bindc_name = "s", uniq_name = "_QFlisEs"}93 integer, target :: a(n,n,n) ! operand via p94 integer :: r(n,n) ! result, unspecified locality95 integer :: s(n,n) ! shared locality96 integer :: t(n,n) ! local locality97 integer, pointer :: p(:,:,:) ! local_init locality98 99 p => a100 ! CHECK: fir.do_loop %arg1 = %c0{{.*}} to %{{.*}} step %c1{{.*}} unordered iter_args(%arg2 = %{{.*}}) -> (!fir.array<?x?xi32>) {101 ! CHECK: fir.do_loop %arg3 = %c0{{.*}} to %{{.*}} step %c1{{.*}} unordered iter_args(%arg4 = %arg2) -> (!fir.array<?x?xi32>) {102 ! CHECK: }103 ! CHECK: }104 r = 0105 106 ! CHECK: fir.do_concurrent {107 ! CHECK: fir.do_concurrent.loop (%{{.*}}) = (%{{.*}}) to (%{{.*}}) step (%{{.*}}) {108 ! CHECK: }109 ! CHECK: }110 do concurrent (integer(kind=1)::i=n:1:-1)111 do j = 1,n112 a(i,j,:) = 2*(i+j)113 s(i,j) = -i-j114 enddo115 enddo116 117 ! CHECK: fir.do_concurrent.loop (%{{.*}}, %{{.*}}) = (%{{.*}}, %{{.*}}) to (%{{.*}}, %{{.*}}) step (%{{.*}}, %{{.*}}) {118 ! CHECK: fir.if %{{.*}} {119 ! CHECK: %[[V_95:[0-9]+]] = fir.alloca !fir.array<?x?xi32>, %{{.*}}, %{{.*}} {bindc_name = "t", pinned, uniq_name = "_QFlisEt"}120 ! CHECK: %[[V_96:[0-9]+]] = fir.alloca !fir.box<!fir.ptr<!fir.array<?x?x?xi32>>> {bindc_name = "p", pinned, uniq_name = "_QFlisEp"}121 ! CHECK: fir.store %{{.*}} to %[[V_96]] : !fir.ref<!fir.box<!fir.ptr<!fir.array<?x?x?xi32>>>>122 ! CHECK: fir.do_loop %arg3 = %{{.*}} to %{{.*}} step %c1{{.*}} iter_args(%arg4 = %{{.*}}) -> (i32) {123 ! CHECK: fir.do_concurrent {124 ! CHECK: fir.alloca i32 {bindc_name = "m"}125 ! CHECK: fir.do_concurrent.loop (%{{.*}}) = (%{{.*}}) to (%{{.*}}) step (%{{.*}}) {126 ! CHECK: fir.load %[[V_96]] : !fir.ref<!fir.box<!fir.ptr<!fir.array<?x?x?xi32>>>>127 ! CHECK: fir.convert %[[V_95]] : (!fir.ref<!fir.array<?x?xi32>>) -> !fir.ref<!fir.array<?xi32>>128 ! CHECK: }129 ! CHECK: }130 ! CHECK: }131 ! CHECK: fir.convert %[[V_95]] : (!fir.ref<!fir.array<?x?xi32>>) -> !fir.ref<!fir.array<?xi32>>132 ! CHECK: }133 ! CHECK: }134 ! CHECK: }135 do concurrent (i=1:n,j=1:n,i.ne.j) local(t) local_init(p) shared(s)136 do k=1,n137 do concurrent (m=1:n)138 t(k,m) = p(k,m,k)139 enddo140 enddo141 r(i,j) = t(i,j) + s(i,j)142 enddo143 144 print*, sum(r) ! n=6 -> 210145end146 147! CHECK-LABEL: print_nothing148subroutine print_nothing(k1, k2)149 if (k1 > 0) then150 ! CHECK: br [[header:\^bb[0-9]+]]151 ! CHECK: [[header]]152 do while (k1 > k2)153 print*, k1, k2 ! no output154 k2 = k2 + 1155 ! CHECK: br [[header]]156 end do157 end if158end159 160 call loop_test161 call lis(6)162 call print_nothing(2, 2)163end164