123 lines · plain
1! RUN: bbc -emit-fir -hlfir=false -o - %s | FileCheck %s2! RUN: %flang_fc1 -emit-fir -flang-deprecated-no-hlfir -o - %s | FileCheck %s3 4! Test while loop inside do loop.5! CHECK-LABEL: while_inside_do_loop6subroutine while_inside_do_loop7 ! CHECK-DAG: %[[T_REF:.*]] = fir.alloca i328 ! CHECK-DAG: %[[I_REF:.*]] = fir.alloca i32 {bindc_name = "i", uniq_name = "_QFwhile_inside_do_loopEi"}9 ! CHECK-DAG: %[[J_REF:.*]] = fir.alloca i32 {bindc_name = "j", uniq_name = "_QFwhile_inside_do_loopEj"}10 integer :: i, j11 12 ! CHECK-DAG: %[[C1:.*]] = arith.constant 1 : i3213 ! CHECK-DAG: %[[C8:.*]] = arith.constant 8 : i3214 ! CHECK-DAG: %[[C13:.*]] = arith.constant 13 : i3215 ! CHECK: %[[DIFF:.*]] = arith.subi %[[C13]], %[[C8]] : i3216 ! CHECK: %[[RANGE:.*]] = arith.addi %[[DIFF]], %[[C1]] : i3217 ! CHECK: %[[HIGH:.*]] = arith.divsi %[[RANGE]], %[[C1]] : i3218 ! CHECK: fir.store %[[HIGH]] to %[[T_REF]] : !fir.ref<i32>19 ! CHECK: fir.store %[[C8]] to %[[I_REF]] : !fir.ref<i32>20 21 ! CHECK: br ^[[HDR1:.*]]22 ! CHECK: ^[[HDR1]]: // 2 preds: ^{{.*}}, ^[[EXIT2:.*]]23 ! CHECK-DAG: %[[T:.*]] = fir.load %[[T_REF]] : !fir.ref<i32>24 ! CHECK-DAG: %[[C0:.*]] = arith.constant 0 : i3225 ! CHECK: %[[COND:.*]] = arith.cmpi sgt, %[[T]], %[[C0]] : i3226 ! CHECK: cond_br %[[COND]], ^[[BODY1:.*]], ^[[EXIT1:.*]]27 do i=8,1328 ! CHECK: ^[[BODY1]]: // pred: ^[[HDR1]]29 ! CHECK: %[[C3:.*]] = arith.constant 3 : i3230 ! CHECK: fir.store %[[C3]] to %[[J_REF]] : !fir.ref<i32>31 j=332 33 ! CHECK: br ^[[HDR2:.*]]34 ! CHECK: ^[[HDR2]]: // 2 preds: ^[[BODY1]], ^[[BODY2:.*]]35 ! CHECK-DAG: %[[J:.*]] = fir.load %[[J_REF]] : !fir.ref<i32>36 ! CHECK-DAG: %[[I:.*]] = fir.load %[[I_REF]] : !fir.ref<i32>37 ! CHECK: %[[COND2:.*]] = arith.cmpi slt, %[[J]], %[[I]] : i3238 ! CHECK: cond_br %[[COND2]], ^[[BODY2]], ^[[EXIT2]]39 do while (j .lt. i)40 ! CHECK: ^[[BODY2]]: // pred: ^[[HDR2]]41 ! CHECK-DAG: %[[J2:.*]] = fir.load %[[J_REF]] : !fir.ref<i32>42 ! CHECK-DAG: %[[C2:.*]] = arith.constant 2 : i3243 ! CHECK: %[[INC2:.*]] = arith.muli %[[C2]], %[[J2]] : i3244 ! CHECK: fir.store %[[INC2]] to %[[J_REF]] : !fir.ref<i32>45 j=j*246 ! CHECK: br ^[[HDR2]]47 end do48 49 ! CHECK: ^[[EXIT2]]: // pred: ^[[HDR2]]50 ! CHECK-DAG: %[[T2:.*]] = fir.load %[[T_REF]] : !fir.ref<i32>51 ! CHECK-DAG: %[[C1_AGAIN:.*]] = arith.constant 1 : i3252 ! CHECK: %[[TDEC:.*]] = arith.subi %[[T2]], %[[C1_AGAIN]] : i3253 ! CHECK: fir.store %[[TDEC]] to %[[T_REF]]54 ! CHECK: %[[I3:.*]] = fir.load %[[I_REF]] : !fir.ref<i32>55 ! CHECK: %[[C1_2:.*]] = arith.constant 1 : i3256 ! CHECK: %[[IINC:.*]] = arith.addi %[[I3]], %[[C1_2]] overflow<nsw> : i3257 ! CHECK: fir.store %[[IINC]] to %[[I_REF]] : !fir.ref<i32>58 ! CHECK: br ^[[HDR1]]59 end do60 61 ! CHECK: ^[[EXIT1]]: // pred: ^[[HDR1]]62 ! CHECK: %[[IPRINT:.*]] = fir.load %[[I_REF]] : !fir.ref<i32>63 ! CHECK: fir.call @_FortranAioOutputInteger32(%{{.*}}, %[[IPRINT]]) {{.*}}: (!fir.ref<i8>, i32) -> i164 ! CHECK: %[[JPRINT:.*]] = fir.load %[[J_REF]] : !fir.ref<i32>65 ! CHECK: fir.call @_FortranAioOutputInteger32(%{{.*}}, %[[JPRINT]]) {{.*}}: (!fir.ref<i8>, i32) -> i166 print *, i, j67end subroutine68 69! Test do loop inside while loop.70! CHECK-LABEL: do_inside_while_loop71subroutine do_inside_while_loop72 ! CHECK-DAG: %[[I_REF:.*]] = fir.alloca i32 {bindc_name = "i", uniq_name = "_QFdo_inside_while_loopEi"}73 ! CHECK-DAG: %[[J_REF:.*]] = fir.alloca i32 {bindc_name = "j", uniq_name = "_QFdo_inside_while_loopEj"}74 integer :: i, j75 76 ! CHECK: %[[C3:.*]] = arith.constant 3 : i3277 ! CHECK: fir.store %[[C3]] to %[[J_REF]] : !fir.ref<i32>78 j=379 80 ! CHECK: br ^[[HDR1:.*]]81 ! CHECK: ^[[HDR1]]: // 2 preds: ^{{.*}}, ^[[BODY1:.*]]82 ! CHECK-DAG: %[[J:.*]] = fir.load %[[J_REF]] : !fir.ref<i32>83 ! CHECK-DAG: %[[UL:.*]] = arith.constant 21 : i3284 ! CHECK: %[[COND:.*]] = arith.cmpi slt, %[[J]], %[[UL]] : i3285 ! CHECK: cond_br %[[COND]], ^[[BODY1]], ^[[EXIT1:.*]]86 do while (j .lt. 21)87 ! CHECK: ^[[BODY1]]: // pred: ^[[HDR1]]88 89 ! CHECK-DAG: %[[C8_I32:.*]] = arith.constant 8 : i3290 ! CHECK-DAG: %[[C8:.*]] = fir.convert %[[C8_I32]] : (i32) -> index91 ! CHECK-DAG: %[[C13_I32:.*]] = arith.constant 13 : i3292 ! CHECK-DAG: %[[C13:.*]] = fir.convert %[[C13_I32]] : (i32) -> index93 ! CHECK-DAG: %[[C1:.*]] = arith.constant 1 : index94 ! CHECK: %[[I_LB:.*]] = fir.convert %[[C8]] : (index) -> i3295 ! CHECK: %[[RESULT:.*]] = fir.do_loop %[[IDX:[^ ]*]] =96 ! CHECK-SAME: %[[C8]] to %[[C13]] step %[[C1]]97 ! CHECK-SAME: iter_args(%[[I_IV:.*]] = %[[I_LB]]) -> (i32) {98 ! CHECK: fir.store %[[I_IV]] to %[[I_REF]] : !fir.ref<i32>99 ! CHECK-DAG: %[[J2:.*]] = fir.load %[[J_REF]] : !fir.ref<i32>100 ! CHECK-DAG: %[[C2:.*]] = arith.constant 2 : i32101 ! CHECK: %[[JINC:.*]] = arith.muli %[[C2]], %[[J2]] : i32102 ! CHECK: fir.store %[[JINC]] to %[[J_REF]] : !fir.ref<i32>103 ! CHECK: %[[I_STEPCAST:.*]] = fir.convert %[[C1]] : (index) -> i32104 ! CHECK: %[[I_IVLOAD:.*]] = fir.load %[[I_REF]] : !fir.ref<i32>105 ! CHECK: %[[I_IVINC:.*]] = arith.addi %[[I_IVLOAD]], %[[I_STEPCAST]] overflow<nsw> : i32106 ! CHECK: fir.result %[[I_IVINC]] : i32107 do i=8,13108 j=j*2109 110 ! CHECK: fir.store %[[RESULT]] to %[[I_REF]] : !fir.ref<i32>111 end do112 113 ! CHECK: br ^[[HDR1]]114 end do115 116 ! CHECK: ^[[EXIT1]]: // pred: ^[[HDR1]]117 ! CHECK: %[[IPRINT:.*]] = fir.load %[[I_REF]] : !fir.ref<i32>118 ! CHECK: fir.call @_FortranAioOutputInteger32(%{{.*}}, %[[IPRINT]]) {{.*}}: (!fir.ref<i8>, i32) -> i1119 ! CHECK: %[[JPRINT:.*]] = fir.load %[[J_REF]] : !fir.ref<i32>120 ! CHECK: fir.call @_FortranAioOutputInteger32(%{{.*}}, %[[JPRINT]]) {{.*}}: (!fir.ref<i8>, i32) -> i1121 print *, i, j122end subroutine123