115 lines · plain
1! RUN: bbc --hlfir -o - %s | FileCheck %s2 3! Test jumping to the body of a do loop.4subroutine sub1()5! CHECK-LABEL: func @_QPsub1() {6 implicit none7 integer :: i8 external foo9! CHECK: %[[C2:.*]] = arith.constant 2 : i3210! CHECK: %[[C0:.*]] = arith.constant 0 : i3211! CHECK: %[[C1:.*]] = arith.constant 1 : i3212! CHECK: %[[TRIP:.*]] = fir.alloca i3213! CHECK: %[[I_REF:.*]] = fir.alloca i32 {bindc_name = "i", {{.*}}}14! CHECK: %[[I:.*]]:2 = hlfir.declare %[[I_REF]] {uniq_name = "_QFsub1Ei"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)15 16 do i = 1, 317 if (i .eq. 2) goto 7018! CHECK: %[[TMP1:.*]] = fir.load %[[I]]#0 : !fir.ref<i32>19! CHECK: %[[COND:.*]] = arith.cmpi eq, %[[TMP1]], %[[C2]] : i3220! CHECK: cf.cond_br %[[COND]], ^[[BODY:.*]], ^{{.*}}21 22 end do23 24 call foo25! CHECK: fir.call @_QPfoo()26 27 do i = 1, 228! CHECK: fir.store %[[C2]] to %[[TRIP]] : !fir.ref<i32>29! CHECK: fir.store %[[C1]] to %[[I]]#0 : !fir.ref<i32>30! CHECK: cf.br ^[[HEADER:.*]]31! CHECK: ^[[HEADER]]:32! CHECK: %[[TMP2:.*]] = fir.load %[[TRIP]] : !fir.ref<i32>33! CHECK: %[[TMP3:.*]] = arith.cmpi sgt, %[[TMP2]], %[[C0]] : i3234! CHECK: cf.cond_br %[[TMP3]], ^[[BODY]], ^[[EXIT:.*]]35 36 70 call foo37! CHECK: ^[[BODY]]:38! CHECK: fir.call @_QPfoo()39! CHECK: %[[TMP4:.*]] = fir.load %[[TRIP]] : !fir.ref<i32>40! CHECK: %[[TMP5:.*]] = arith.subi %[[TMP4]], %[[C1]] : i3241! CHECK: fir.store %[[TMP5]] to %[[TRIP]] : !fir.ref<i32>42! CHECK: %[[TMP6:.*]] = fir.load %[[I]]#0 : !fir.ref<i32>43! CHECK: %[[TMP7:.*]] = arith.addi %[[TMP6]], %[[C1]] overflow<nsw> : i3244! CHECK: fir.store %[[TMP7]] to %[[I]]#0 : !fir.ref<i32>45! CHECK: cf.br ^[[HEADER]]46 end do47end subroutine48! CHECK: ^[[EXIT]]:49! CHECK: return50! CHECK: }51 52! Test jumping to the body of a do loop with a step expression.53subroutine sub2()54! CHECK-LABEL: func @_QPsub2() {55 implicit none56 integer :: i, j57 external foo58! CHECK: %[[C_7:.*]] = arith.constant -7 : i3259! CHECK: %[[C8:.*]] = arith.constant 8 : i3260! CHECK: %[[C2:.*]] = arith.constant 2 : i3261! CHECK: %[[C0:.*]] = arith.constant 0 : i3262! CHECK: %[[C3:.*]] = arith.constant 3 : i3263! CHECK: %[[C1:.*]] = arith.constant 1 : i3264! CHECK: %[[TRIP:.*]] = fir.alloca i3265! CHECK: %[[I_REF:.*]] = fir.alloca i32 {bindc_name = "i", {{.*}}}66! CHECK: %[[I:.*]]:2 = hlfir.declare %[[I_REF]] {uniq_name = "_QFsub2Ei"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)67! CHECK: %[[J_REF:.*]] = fir.alloca i32 {bindc_name = "j", {{.*}}}68! CHECK: %[[J:.*]]:2 = hlfir.declare %[[J_REF]] {uniq_name = "_QFsub2Ej"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)69 70 do i = 1, 371 if (i .eq. 2) goto 7072! CHECK: %[[TMP1:.*]] = fir.load %[[I]]#0 : !fir.ref<i32>73! CHECK: %[[COND:.*]] = arith.cmpi eq, %[[TMP1]], %[[C2]] : i3274! CHECK: cf.cond_br %[[COND]], ^[[BODY:.*]], ^{{.*}}75 76 end do77 78 call foo79! CHECK: fir.call @_QPfoo()80 81 j = 382! CHECK: hlfir.assign %[[C3]] to %[[J]]#0 : i32, !fir.ref<i32>83 84 do i = 1, 2, 3 * j - 885! CHECK: %[[TMP2:.*]] = fir.load %[[J]]#0 : !fir.ref<i32>86! CHECK: %[[TMP3:.*]] = arith.muli %[[TMP2]], %[[C3]] overflow<nsw> : i3287! CHECK: %[[STEP:.*]] = arith.subi %[[TMP3]], %[[C8]] overflow<nsw> : i3288! CHECK: fir.store %[[STEP]] to %[[STEP_VAR:.*]] : !fir.ref<i32>89! CHECK: %[[TMP4:.*]] = arith.addi %[[TMP3]], %[[C_7]] : i3290! CHECK: %[[TMP5:.*]] = arith.divsi %[[TMP4]], %[[STEP]] : i3291! CHECK: fir.store %[[TMP5]] to %[[TRIP]] : !fir.ref<i32>92! CHECK: fir.store %[[C1]] to %[[I]]#0 : !fir.ref<i32>93! CHECK: cf.br ^[[HEADER:.*]]94! CHECK: ^[[HEADER]]:95! CHECK: %[[TMP6:.*]] = fir.load %[[TRIP]] : !fir.ref<i32>96! CHECK: %[[TMP7:.*]] = arith.cmpi sgt, %[[TMP6]], %[[C0]] : i3297! CHECK: cf.cond_br %[[TMP7]], ^[[BODY]], ^[[EXIT:.*]]98 99 70 call foo100! CHECK: ^[[BODY]]:101! CHECK: fir.call @_QPfoo()102! CHECK: %[[TMP8:.*]] = fir.load %[[TRIP]] : !fir.ref<i32>103! CHECK: %[[TMP9:.*]] = arith.subi %[[TMP8]], %[[C1]] : i32104! CHECK: fir.store %[[TMP9]] to %[[TRIP]] : !fir.ref<i32>105! CHECK: %[[TMP10:.*]] = fir.load %[[I]]#0 : !fir.ref<i32>106! CHECK: %[[STEP_VAL:.*]] = fir.load %[[STEP_VAR]] : !fir.ref<i32>107! CHECK: %[[TMP11:.*]] = arith.addi %[[TMP10]], %[[STEP_VAL]] overflow<nsw> : i32108! CHECK: fir.store %[[TMP11]] to %[[I]]#0 : !fir.ref<i32>109! CHECK: cf.br ^[[HEADER]]110 end do111end subroutine112! CHECK: ^[[EXIT]]:113! CHECK: return114! CHECK: }115