316 lines · plain
1! Test lowering of IO statement involving INTEGER(8) and INTEGER(16) external2! unit number that may turn out at runtime to be too large to fit in a default3! integer. Unit numbers must fit on default integers. This file tests that the4! related generated runtime checks and error recovery code.5! RUN: bbc -emit-fir -hlfir=false %s -o - | FileCheck %s6 7 8! -----------------------------------------------------------------------------9! Test that runtime checks are not emitted when not needed10! -----------------------------------------------------------------------------11 12! CHECK-LABEL: func @_QPopen_413subroutine open_4(n4)14 integer(4) :: n415 ! CHECK-NOT: CheckUnitNumberInRange16 ! CHECK-NOT: fir.if17 open(n4)18end subroutine19 20! CHECK-LABEL: func @_QPwrite_421subroutine write_4(n4)22 integer(4) :: n423 ! CHECK-NOT: CheckUnitNumberInRange24 ! CHECK-NOT: fir.if25 write(n4, *) "hello"26end subroutine27 28! CHECK-LABEL: func @_QPwrite_4_recovery29subroutine write_4_recovery(n4, ios)30 integer(4) :: n4, ios31 ! CHECK-NOT: CheckUnitNumberInRange32 write(n4, *, iostat=ios) "hello"33end subroutine34 35! -----------------------------------------------------------------------------36! Test that runtime checks are emitted for integer(8/16) when there is37! no user error recovery.38! -----------------------------------------------------------------------------39 40! CHECK-LABEL: func @_QPopen_8(41! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<i64>42subroutine open_8(n)43 integer(8) :: n44! CHECK: %[[VAL_1:.*]] = fir.load %[[VAL_0]] : !fir.ref<i64>45! CHECK: %[[VAL_2:.*]] = arith.constant false46! CHECK: %[[VAL_3:.*]] = fir.zero_bits !fir.ref<i8>47! CHECK: %[[VAL_4:.*]] = arith.constant 0 : i6448! CHECK: %[[VAL_8:.*]] = fir.call @_FortranAioCheckUnitNumberInRange64(%[[VAL_1]], %[[VAL_2]], %[[VAL_3]], %[[VAL_4]], %{{.*}}, %{{.*}}) {{.*}}: (i64, i1, !fir.ref<i8>, i64, !fir.ref<i8>, i32) -> i3249! CHECK-NOT: fir.if50! CHECK: %[[VAL_9:.*]] = fir.convert %[[VAL_1]] : (i64) -> i3251! CHECK: %[[VAL_13:.*]] = fir.call @_FortranAioBeginOpenUnit(%[[VAL_9]], %{{.*}}, %{{.*}}) {{.*}}: (i32, !fir.ref<i8>, i32) -> !fir.ref<i8>52! CHECK: %[[VAL_14:.*]] = fir.call @_FortranAioEndIoStatement(%[[VAL_13]]) {{.*}}: (!fir.ref<i8>) -> i3253 open(n)54end subroutine55 56! CHECK-LABEL: func @_QPclose_8(57! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<i64>58subroutine close_8(n)59 integer(8) :: n60! CHECK: %[[VAL_1:.*]] = fir.load %[[VAL_0]] : !fir.ref<i64>61! CHECK: %[[VAL_2:.*]] = arith.constant false62! CHECK: %[[VAL_3:.*]] = fir.zero_bits !fir.ref<i8>63! CHECK: %[[VAL_4:.*]] = arith.constant 0 : i6464! CHECK: %[[VAL_8:.*]] = fir.call @_FortranAioCheckUnitNumberInRange64(%[[VAL_1]], %[[VAL_2]], %[[VAL_3]], %[[VAL_4]], %{{.*}}, %{{.*}}) {{.*}}: (i64, i1, !fir.ref<i8>, i64, !fir.ref<i8>, i32) -> i3265! CHECK-NOT: fir.if66! CHECK: BeginClose67 close(n)68end subroutine69 70! CHECK-LABEL: func @_QPrewind_8(71! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<i64>72subroutine rewind_8(n)73 integer(8) :: n74! CHECK: %[[VAL_1:.*]] = fir.load %[[VAL_0]] : !fir.ref<i64>75! CHECK: %[[VAL_2:.*]] = arith.constant false76! CHECK: %[[VAL_3:.*]] = fir.zero_bits !fir.ref<i8>77! CHECK: %[[VAL_4:.*]] = arith.constant 0 : i6478! CHECK: %[[VAL_8:.*]] = fir.call @_FortranAioCheckUnitNumberInRange64(%[[VAL_1]], %[[VAL_2]], %[[VAL_3]], %[[VAL_4]], %{{.*}}, %{{.*}}) {{.*}}: (i64, i1, !fir.ref<i8>, i64, !fir.ref<i8>, i32) -> i3279! CHECK-NOT: fir.if80! CHECK: BeginRewind81 rewind(n)82end subroutine83 84! CHECK-LABEL: func @_QPbackspace_8(85! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<i64>86subroutine backspace_8(n)87 integer(8) :: n88 backspace(n)89! CHECK: %[[VAL_1:.*]] = fir.load %[[VAL_0]] : !fir.ref<i64>90! CHECK: %[[VAL_2:.*]] = arith.constant false91! CHECK: %[[VAL_3:.*]] = fir.zero_bits !fir.ref<i8>92! CHECK: %[[VAL_4:.*]] = arith.constant 0 : i6493! CHECK: %[[VAL_8:.*]] = fir.call @_FortranAioCheckUnitNumberInRange64(%[[VAL_1]], %[[VAL_2]], %[[VAL_3]], %[[VAL_4]], %{{.*}}, %{{.*}}) {{.*}}: (i64, i1, !fir.ref<i8>, i64, !fir.ref<i8>, i32) -> i3294! CHECK-NOT: fir.if95! CHECK: BeginBackspace96end subroutine97 98! CHECK-LABEL: func @_QPinquire_8(99! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<i64>100subroutine inquire_8(n, fm)101 integer(8) :: n102 character(*), fm103! CHECK: %[[VAL_1:.*]] = fir.load %[[VAL_0]] : !fir.ref<i64>104! CHECK: %[[VAL_2:.*]] = arith.constant false105! CHECK: %[[VAL_3:.*]] = fir.zero_bits !fir.ref<i8>106! CHECK: %[[VAL_4:.*]] = arith.constant 0 : i64107! CHECK: %[[VAL_8:.*]] = fir.call @_FortranAioCheckUnitNumberInRange64(%[[VAL_1]], %[[VAL_2]], %[[VAL_3]], %[[VAL_4]], %{{.*}}, %{{.*}}) {{.*}}: (i64, i1, !fir.ref<i8>, i64, !fir.ref<i8>, i32) -> i32108! CHECK-NOT: fir.if109! CHECK: BeginInquire110 inquire(n, formatted=fm)111end subroutine112 113! CHECK-LABEL: func @_QPwrite_8(114! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<i64>115subroutine write_8(n)116 integer(8) :: n117! CHECK: %[[VAL_1:.*]] = fir.load %[[VAL_0]] : !fir.ref<i64>118! CHECK: %[[VAL_2:.*]] = arith.constant false119! CHECK: %[[VAL_3:.*]] = fir.zero_bits !fir.ref<i8>120! CHECK: %[[VAL_4:.*]] = arith.constant 0 : i64121! CHECK: %[[VAL_8:.*]] = fir.call @_FortranAioCheckUnitNumberInRange64(%[[VAL_1]], %[[VAL_2]], %[[VAL_3]], %[[VAL_4]], %{{.*}}, %{{.*}}) {{.*}}: (i64, i1, !fir.ref<i8>, i64, !fir.ref<i8>, i32) -> i32122! CHECK-NOT: fir.if123! CHECK: BeginExternalListOutput124 write(n, *) "hello"125end subroutine126 127! CHECK-LABEL: func @_QPread_8(128! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<i64>129subroutine read_8(n, var)130 integer(8) :: n131 integer(4) :: var132! CHECK: %[[VAL_1:.*]] = fir.load %[[VAL_0]] : !fir.ref<i64>133! CHECK: %[[VAL_2:.*]] = arith.constant false134! CHECK: %[[VAL_3:.*]] = fir.zero_bits !fir.ref<i8>135! CHECK: %[[VAL_4:.*]] = arith.constant 0 : i64136! CHECK: %[[VAL_8:.*]] = fir.call @_FortranAioCheckUnitNumberInRange64(%[[VAL_1]], %[[VAL_2]], %[[VAL_3]], %[[VAL_4]], %{{.*}}, %{{.*}}) {{.*}}: (i64, i1, !fir.ref<i8>, i64, !fir.ref<i8>, i32) -> i32137! CHECK-NOT: fir.if138! CHECK: BeginExternalListInput139 read(n, *) var140end subroutine141 142! CHECK-LABEL: func @_QPopen_16(143! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<i128>144subroutine open_16(n)145 integer(16) :: n146! CHECK: %[[VAL_1:.*]] = fir.load %[[VAL_0]] : !fir.ref<i128>147! CHECK: %[[VAL_2:.*]] = arith.constant false148! CHECK: %[[VAL_3:.*]] = fir.zero_bits !fir.ref<i8>149! CHECK: %[[VAL_4:.*]] = arith.constant 0 : i64150! CHECK: %[[VAL_8:.*]] = fir.call @_FortranAioCheckUnitNumberInRange128(%[[VAL_1]], %[[VAL_2]], %[[VAL_3]], %[[VAL_4]], %{{.*}}, %{{.*}}) {{.*}}: (i128, i1, !fir.ref<i8>, i64, !fir.ref<i8>, i32) -> i32151 open(n)152end subroutine153 154! -----------------------------------------------------------------------------155! Test generation of user error recovery if-nests with INTEGER(8/16)156! unit numbers.157! -----------------------------------------------------------------------------158 159! CHECK-LABEL: func @_QPopen_8_error_recovery_1(160! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<i64>161! CHECK-SAME: , %[[VAL_1:.*]]: !fir.ref<i32>162subroutine open_8_error_recovery_1(n, ios)163 integer(8) :: n164 integer(4) :: ios165! CHECK: %[[VAL_2:.*]] = fir.load %[[VAL_0]] : !fir.ref<i64>166! CHECK: %[[VAL_3:.*]] = arith.constant true167! CHECK: %[[VAL_4:.*]] = fir.zero_bits !fir.ref<i8>168! CHECK: %[[VAL_5:.*]] = arith.constant 0 : i64169! CHECK: %[[VAL_9:.*]] = fir.call @_FortranAioCheckUnitNumberInRange64(%[[VAL_2]], %[[VAL_3]], %[[VAL_4]], %[[VAL_5]], %{{.*}}, %{{.*}}) {{.*}}: (i64, i1, !fir.ref<i8>, i64, !fir.ref<i8>, i32) -> i32170! CHECK: %[[VAL_10:.*]] = arith.constant 0 : i32171! CHECK: %[[VAL_11:.*]] = arith.cmpi eq, %[[VAL_9]], %[[VAL_10]] : i32172! CHECK: %[[VAL_12:.*]] = fir.if %[[VAL_11]] -> (i32) {173! CHECK: %[[VAL_13:.*]] = fir.convert %[[VAL_2]] : (i64) -> i32174! CHECK: %[[VAL_17:.*]] = fir.call @_FortranAioBeginOpenUnit(%[[VAL_13]], %{{.*}}, {{.*}}) {{.*}}: (i32, !fir.ref<i8>, i32) -> !fir.ref<i8>175! CHECK: %[[VAL_18:.*]] = arith.constant true176! CHECK: %[[VAL_19:.*]] = arith.constant false177! CHECK: %[[VAL_20:.*]] = arith.constant false178! CHECK: %[[VAL_21:.*]] = arith.constant false179! CHECK: %[[VAL_22:.*]] = arith.constant false180! CHECK: fir.call @_FortranAioEnableHandlers(%[[VAL_17]], %[[VAL_18]], %[[VAL_19]], %[[VAL_20]], %[[VAL_21]], %[[VAL_22]]) {{.*}}: (!fir.ref<i8>, i1, i1, i1, i1, i1) -> ()181! CHECK: %[[VAL_24:.*]] = fir.call @_FortranAioEndIoStatement(%[[VAL_17]]) {{.*}}: (!fir.ref<i8>) -> i32182! CHECK: fir.result %[[VAL_24]] : i32183! CHECK: } else {184! CHECK: fir.result %[[VAL_9]] : i32185! CHECK: }186! CHECK: fir.store %[[VAL_25:.*]] to %[[VAL_1]] : !fir.ref<i32>187 open(n, iostat=ios)188end subroutine189 190! CHECK-LABEL: func @_QPopen_8_error_recovery_2(191! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<i64>192! CHECK-SAME: , %[[VAL_1:.*]]: !fir.boxchar<1>193subroutine open_8_error_recovery_2(n, msg)194 integer(8) :: n195 character(*) :: msg196! CHECK: %[[VAL_2:.*]]:2 = fir.unboxchar %[[VAL_1]] : (!fir.boxchar<1>) -> (!fir.ref<!fir.char<1,?>>, index)197! CHECK: %[[VAL_3:.*]] = fir.load %[[VAL_0]] : !fir.ref<i64>198! CHECK: %[[VAL_4:.*]] = arith.constant true199! CHECK: %[[VAL_5:.*]] = fir.convert %[[VAL_2]]#0 : (!fir.ref<!fir.char<1,?>>) -> !fir.ref<i8>200! CHECK: %[[VAL_6:.*]] = fir.convert %[[VAL_2]]#1 : (index) -> i64201! CHECK: %[[VAL_10:.*]] = fir.call @_FortranAioCheckUnitNumberInRange64(%[[VAL_3]], %[[VAL_4]], %[[VAL_5]], %[[VAL_6]], %{{.*}}, %{{.*}}) {{.*}}: (i64, i1, !fir.ref<i8>, i64, !fir.ref<i8>, i32) -> i32202! CHECK: %[[VAL_11:.*]] = arith.constant 0 : i32203! CHECK: %[[VAL_12:.*]] = arith.cmpi eq, %[[VAL_10]], %[[VAL_11]] : i32204! CHECK: %[[VAL_13:.*]] = fir.if %[[VAL_12]] -> (i32) {205! CHECK: %[[VAL_14:.*]] = fir.convert %[[VAL_3]] : (i64) -> i32206! CHECK: %[[VAL_18:.*]] = fir.call @_FortranAioBeginOpenUnit(%[[VAL_14]], %{{.*}}, %{{.*}}) {{.*}}: (i32, !fir.ref<i8>, i32) -> !fir.ref<i8>207! CHECK: %[[VAL_19:.*]] = arith.constant false208! CHECK: %[[VAL_20:.*]] = arith.constant true209! CHECK: %[[VAL_21:.*]] = arith.constant false210! CHECK: %[[VAL_22:.*]] = arith.constant false211! CHECK: %[[VAL_23:.*]] = arith.constant true212! CHECK: fir.call @_FortranAioEnableHandlers(%[[VAL_18]], %[[VAL_19]], %[[VAL_20]], %[[VAL_21]], %[[VAL_22]], %[[VAL_23]]) {{.*}}: (!fir.ref<i8>, i1, i1, i1, i1, i1) -> ()213! CHECK: %[[VAL_25:.*]] = fir.convert %[[VAL_2]]#0 : (!fir.ref<!fir.char<1,?>>) -> !fir.ref<i8>214! CHECK: %[[VAL_26:.*]] = fir.convert %[[VAL_2]]#1 : (index) -> i64215! CHECK: fir.call @_FortranAioGetIoMsg(%[[VAL_18]], %[[VAL_25]], %[[VAL_26]]) {{.*}}: (!fir.ref<i8>, !fir.ref<i8>, i64) -> ()216! CHECK: %[[VAL_28:.*]] = fir.call @_FortranAioEndIoStatement(%[[VAL_18]]) {{.*}}: (!fir.ref<i8>) -> i32217! CHECK: fir.result %[[VAL_28]] : i32218! CHECK: } else {219! CHECK: fir.result %[[VAL_10]] : i32220! CHECK: }221! CHECK: %[[VAL_29:.*]] = fir.convert %[[VAL_30:.*]] : (i32) -> index222! CHECK: fir.select %[[VAL_29]] : index [0, ^bb1, unit, ^bb2]223! CHECK: ^bb1:224! CHECK: br ^bb3225! CHECK: ^bb2:226! CHECK: fir.call @_QPi_failed() {{.*}}: () -> ()227! CHECK: br ^bb3228! CHECK: ^bb3:229! CHECK: return230 open(n, err=30, iomsg=msg)231 return23230 call i_failed()233end subroutine234 235! Torture test for temp clean-ups when user recovery is enabled.236! Checks that temps are cleaned-up in the right nests.237subroutine temp_cleanup(n, msg, ios)238 interface239 function make_temp0()240 integer, allocatable :: make_temp0241 end function242 function make_temp1()243 integer, allocatable :: make_temp1244 end function245 function make_temp2()246 integer, allocatable :: make_temp2247 end function248 function make_temp3()249 integer, allocatable :: make_temp3250 end function251 function make_temp4()252 integer, allocatable :: make_temp4253 end function254 function make_temp5()255 integer, allocatable :: make_temp5256 end function257 end interface258 integer(8) :: n(2)259 character(80) :: msg260 Integer ios(2)261 write(n(make_temp0()), iostat=ios(make_temp1()), iomsg=msg(make_temp2():make_temp3())) make_temp4(), make_temp5()262! CHECK-LABEL: func @_QPtemp_cleanup(263! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<!fir.array<2xi64>> {fir.bindc_name = "n"},264! CHECK-SAME: %[[VAL_1:.*]]: !fir.boxchar<1> {fir.bindc_name = "msg"},265! CHECK-SAME: %[[VAL_2:.*]]: !fir.ref<!fir.array<2xi32>> {fir.bindc_name = "ios"}) {266! CHECK: %[[VAL_10:.*]] = fir.call @_QPmake_temp2() {{.*}}: () -> !fir.box<!fir.heap<i32>>267! CHECK: fir.save_result %[[VAL_10]] to %[[VAL_8:.*]] : !fir.box<!fir.heap<i32>>, !fir.ref<!fir.box<!fir.heap<i32>>>268! CHECK: %[[VAL_15:.*]] = fir.call @_QPmake_temp3() {{.*}}: () -> !fir.box<!fir.heap<i32>>269! CHECK: fir.save_result %[[VAL_15]] to %[[VAL_7:.*]] : !fir.box<!fir.heap<i32>>, !fir.ref<!fir.box<!fir.heap<i32>>>270! CHECK: fir.load %[[VAL_7]]271! CHECK: %[[VAL_32:.*]] = fir.load %[[VAL_7]] : !fir.ref<!fir.box<!fir.heap<i32>>>272! CHECK: %[[VAL_33:.*]] = fir.box_addr %[[VAL_32]] : (!fir.box<!fir.heap<i32>>) -> !fir.heap<i32>273! CHECK: fir.freemem %[[VAL_33]] : !fir.heap<i32>274! CHECK: %[[VAL_37:.*]] = fir.load %[[VAL_8]] : !fir.ref<!fir.box<!fir.heap<i32>>>275! CHECK: %[[VAL_38:.*]] = fir.box_addr %[[VAL_37]] : (!fir.box<!fir.heap<i32>>) -> !fir.heap<i32>276! CHECK: fir.freemem %[[VAL_38]] : !fir.heap<i32>277! CHECK: %[[VAL_42:.*]] = fir.call @_QPmake_temp0() {{.*}}: () -> !fir.box<!fir.heap<i32>>278! CHECK: fir.save_result %[[VAL_42]] to %[[VAL_6:.*]] : !fir.box<!fir.heap<i32>>, !fir.ref<!fir.box<!fir.heap<i32>>>279! CHECK: %[[VAL_57:.*]] = fir.call @_FortranAioCheckUnitNumberInRange64(280! CHECK: %[[VAL_58:.*]] = arith.constant 0 : i32281! CHECK: %[[VAL_59:.*]] = arith.cmpi eq, %[[VAL_57]], %[[VAL_58]] : i32282! CHECK: %[[VAL_60:.*]] = fir.if %[[VAL_59]] -> (i32) {283! CHECK: fir.call @_FortranAioBeginUnformattedOutput(284! CHECK: fir.call @_FortranAioEnableHandlers(285! CHECK: %[[VAL_72:.*]] = fir.call @_QPmake_temp4() {{.*}}: () -> !fir.box<!fir.heap<i32>>286! CHECK: fir.save_result %[[VAL_72]] to %[[VAL_5:.*]] : !fir.box<!fir.heap<i32>>, !fir.ref<!fir.box<!fir.heap<i32>>>287! CHECK: %[[VAL_77:.*]] = fir.call @_FortranAioOutputDescriptor(288! CHECK: %[[VAL_77_1:.*]] = fir.load %[[VAL_5]] : !fir.ref<!fir.box<!fir.heap<i32>>>289! CHECK: %[[VAL_77_2:.*]] = fir.box_addr %[[VAL_77_1]] : (!fir.box<!fir.heap<i32>>) -> !fir.heap<i32>290! CHECK: fir.freemem %[[VAL_77_2]] : !fir.heap<i32>291! CHECK: fir.if %[[VAL_77]] {292! CHECK: %[[VAL_78:.*]] = fir.call @_QPmake_temp5() {{.*}}: () -> !fir.box<!fir.heap<i32>>293! CHECK: fir.save_result %[[VAL_78]] to %[[VAL_4:.*]] : !fir.box<!fir.heap<i32>>, !fir.ref<!fir.box<!fir.heap<i32>>>294! CHECK: fir.call @_FortranAioOutputDescriptor(295! CHECK: %[[VAL_84:.*]] = fir.load %[[VAL_4]] : !fir.ref<!fir.box<!fir.heap<i32>>>296! CHECK: %[[VAL_85:.*]] = fir.box_addr %[[VAL_84]] : (!fir.box<!fir.heap<i32>>) -> !fir.heap<i32>297! CHECK: fir.freemem %[[VAL_85]] : !fir.heap<i32>298! CHECK: }299! CHECK-NOT: fir.call @_QPmake_temp3300! CHECK: fir.call @_FortranAioGetIoMsg(301! CHECK: %[[VAL_97:.*]] = fir.call @_FortranAioEndIoStatement(302! CHECK: fir.result %[[VAL_97]] : i32303! CHECK: } else {304! CHECK: fir.result %[[VAL_57]] : i32305! CHECK: }306! CHECK: %[[VAL_98:.*]] = fir.call @_QPmake_temp1() {{.*}}: () -> !fir.box<!fir.heap<i32>>307! CHECK: fir.save_result %[[VAL_98]] to %[[VAL_3:.*]] : !fir.box<!fir.heap<i32>>, !fir.ref<!fir.box<!fir.heap<i32>>>308! CHECK: fir.load %[[VAL_3]]309! CHECK: %[[VAL_107:.*]] = fir.load %[[VAL_3]] : !fir.ref<!fir.box<!fir.heap<i32>>>310! CHECK: %[[VAL_108:.*]] = fir.box_addr %[[VAL_107]] : (!fir.box<!fir.heap<i32>>) -> !fir.heap<i32>311! CHECK: fir.freemem %[[VAL_108]] : !fir.heap<i32>312! CHECK: %[[VAL_112:.*]] = fir.load %[[VAL_6]] : !fir.ref<!fir.box<!fir.heap<i32>>>313! CHECK: %[[VAL_113:.*]] = fir.box_addr %[[VAL_112]] : (!fir.box<!fir.heap<i32>>) -> !fir.heap<i32>314! CHECK: fir.freemem %[[VAL_113]] : !fir.heap<i32>315end316