133 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! RUN: %flang_fc1 -emit-fir -flang-deprecated-no-hlfir -fwrapv -o - %s | FileCheck %s --check-prefix=NO-NSW4 5! Tests for infinite loop.6 7! NO-NSW-NOT: overflow<nsw>8 9subroutine empty_infinite()10 do11 end do12end subroutine13! CHECK-LABEL: empty_infinite14! CHECK: cf.br ^[[BODY:.*]]15! CHECK: ^[[BODY]]:16! CHECK: cf.br ^[[BODY]]17 18subroutine simple_infinite(i)19 integer :: i20 do21 if (i .gt. 100) exit22 end do23end subroutine24! CHECK-LABEL: simple_infinite25! CHECK-SAME: %[[I_REF:.*]]: !fir.ref<i32>26! CHECK: cf.br ^[[BODY1:.*]]27! CHECK: ^[[BODY1]]:28! CHECK: %[[I:.*]] = fir.load %[[I_REF]] : !fir.ref<i32>29! CHECK: %[[C100:.*]] = arith.constant 100 : i3230! CHECK: %[[COND:.*]] = arith.cmpi sgt, %[[I]], %[[C100]] : i3231! CHECK: cf.cond_br %[[COND]], ^[[EXIT:.*]], ^[[BODY1:.*]]32! CHECK: ^[[EXIT]]:33! CHECK: cf.br ^[[RETURN:.*]]34! CHECK: ^[[RETURN]]:35! CHECK: return36! CHECK: }37 38subroutine infinite_with_two_body_blocks(i)39 integer :: i40 do41 i = i + 142 if (i .gt. 100) exit43 i = i * 244 end do45end subroutine46! CHECK-LABEL: infinite_with_two_body_blocks47! CHECK-SAME: %[[I_REF:.*]]: !fir.ref<i32>48! CHECK: cf.br ^[[BODY1:.*]]49! CHECK: ^[[BODY1]]:50! CHECK: %[[I:.*]] = fir.load %[[I_REF]] : !fir.ref<i32>51! CHECK: %[[C1:.*]] = arith.constant 1 : i3252! CHECK: %[[I_NEXT:.*]] = arith.addi %[[I]], %[[C1]] : i3253! CHECK: fir.store %[[I_NEXT]] to %[[I_REF]] : !fir.ref<i32>54! CHECK: %[[I:.*]] = fir.load %[[I_REF]] : !fir.ref<i32>55! CHECK: %[[C100:.*]] = arith.constant 100 : i3256! CHECK: %[[COND:.*]] = arith.cmpi sgt, %[[I]], %[[C100]] : i3257! CHECK: cf.cond_br %[[COND]], ^[[EXIT:.*]], ^[[BODY2:.*]]58! CHECK: ^[[EXIT]]:59! CHECK: cf.br ^[[RETURN:.*]]60! CHECK: ^[[BODY2]]:61! CHECK: %[[C2:.*]] = arith.constant 2 : i3262! CHECK: %[[I:.*]] = fir.load %[[I_REF]] : !fir.ref<i32>63! CHECK: %[[I_NEXT:.*]] = arith.muli %[[C2]], %[[I]] : i3264! CHECK: fir.store %[[I_NEXT]] to %[[I_REF]] : !fir.ref<i32>65! CHECK: cf.br ^[[BODY1]]66! CHECK: ^[[RETURN]]:67! CHECK: return68! CHECK: }69 70subroutine structured_loop_in_infinite(i)71 integer :: i72 integer :: j73 do74 if (i .gt. 100) exit75 do j=1,1076 end do77 end do78end subroutine79! CHECK-LABEL: structured_loop_in_infinite80! CHECK-SAME: %[[I_REF:.*]]: !fir.ref<i32>81! CHECK: %[[J_REF:.*]] = fir.alloca i32 {bindc_name = "j", uniq_name = "_QFstructured_loop_in_infiniteEj"}82! CHECK: cf.br ^[[BODY1:.*]]83! CHECK: ^[[BODY1]]:84! CHECK: %[[I:.*]] = fir.load %[[I_REF]] : !fir.ref<i32>85! CHECK: %[[C100:.*]] = arith.constant 100 : i3286! CHECK: %[[COND:.*]] = arith.cmpi sgt, %[[I]], %[[C100]] : i3287! CHECK: cf.cond_br %[[COND]], ^[[EXIT:.*]], ^[[BODY2:.*]]88! CHECK: ^[[EXIT]]:89! CHECK: cf.br ^[[RETURN:.*]]90! CHECK: ^[[BODY2:.*]]:91! CHECK: %[[C1:.*]] = arith.constant 1 : i3292! CHECK: %[[C1_INDEX:.*]] = fir.convert %[[C1]] : (i32) -> index93! CHECK: %[[C10:.*]] = arith.constant 10 : i3294! CHECK: %[[C10_INDEX:.*]] = fir.convert %[[C10]] : (i32) -> index95! CHECK: %[[C1_1:.*]] = arith.constant 1 : index96! CHECK: %[[J_LB:.*]] = fir.convert %[[C1_INDEX]] : (index) -> i3297! CHECK: %[[J_FINAL:.*]] = fir.do_loop %[[J:[^ ]*]] =98! CHECK-SAME: %[[C1_INDEX]] to %[[C10_INDEX]] step %[[C1_1]]99! CHECK-SAME: iter_args(%[[J_IV:.*]] = %[[J_LB]]) -> (i32) {100! CHECK: fir.store %[[J_IV]] to %[[J_REF]] : !fir.ref<i32>101! CHECK: %[[J_STEPCAST:.*]] = fir.convert %[[C1_1]] : (index) -> i32102! CHECK: %[[J_IVLOAD:.*]] = fir.load %[[J_REF]] : !fir.ref<i32>103! CHECK: %[[J_IVINC:.*]] = arith.addi %[[J_IVLOAD]], %[[J_STEPCAST]] overflow<nsw> : i32104! CHECK: fir.result %[[J_IVINC]] : i32105! CHECK: }106! CHECK: fir.store %[[J_FINAL]] to %[[J_REF]] : !fir.ref<i32>107! CHECK: cf.br ^[[BODY1]]108! CHECK: ^[[RETURN]]:109! CHECK: return110 111subroutine empty_infinite_in_while(i)112 integer :: i113 do while (i .gt. 50)114 do115 end do116 end do117end subroutine118 119! CHECK-LABEL: empty_infinite_in_while120! CHECK-SAME: %[[I_REF:.*]]: !fir.ref<i32>121! CHECK: cf.br ^bb1122! CHECK: ^bb1:123! CHECK: %[[I:.*]] = fir.load %[[I_REF]] : !fir.ref<i32>124! CHECK: %[[C50:.*]] = arith.constant 50 : i32125! CHECK: %[[COND:.*]] = arith.cmpi sgt, %[[I]], %[[C50]] : i32126! CHECK: cf.cond_br %[[COND]], ^[[INF_HEADER:.*]], ^[[EXIT:.*]]127! CHECK: ^[[INF_HEADER]]:128! CHECK: cf.br ^[[INF_BODY:.*]]129! CHECK: ^[[INF_BODY]]:130! CHECK: cf.br ^[[INF_HEADER]]131! CHECK: ^[[EXIT]]:132! CHECK: return133