78 lines · plain
1! test lowering of the SIGNAL intrinsic subroutine2! RUN: bbc -emit-hlfir -o - %s | FileCheck %s3 4module m5contains6! CHECK-LABEL: func.func @handler(7! CHECK-SAME: %[[VAL_0:.*]]: i328 subroutine handler(signum) bind(C)9 use iso_c_binding, only: c_int10 integer(c_int), value :: signum11 end subroutine12 13! CHECK-LABEL: func.func @_QMmPsetup_signals(14! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<i32>15 subroutine setup_signals(optional_status)16 ! not portable accross systems17 integer, parameter :: SIGFPE = 818 integer, parameter :: SIGUSR1 = 1019 integer, parameter :: SIGUSR2 = 1220 integer, parameter :: SIGPIPE = 1321 integer, parameter :: SIG_IGN = 122 integer :: stat = 023 integer, optional, intent(out) :: optional_status24 25! CHECK: %[[VAL_1:.*]] = fir.alloca i3226! CHECK: %[[VAL_2:.*]]:2 = hlfir.declare %[[VAL_0]] dummy_scope %{{[0-9]+}} arg {{[0-9]+}} {fortran_attrs = #fir.var_attrs<intent_out, optional>, uniq_name = "_QMmFsetup_signalsEoptional_status"} : (!fir.ref<i32>, !fir.dscope) -> (!fir.ref<i32>, !fir.ref<i32>)27! CHECK: %[[VAL_14:.*]]:2 = hlfir.declare %{{.*}} {uniq_name = "_QMmFsetup_signalsEstat"} : (!fir.ref<i32>) -> (!fir.ref<i32>, !fir.ref<i32>)28 29 call signal(SIGFPE, handler)30! CHECK: %[[VAL_15:.*]] = arith.constant 8 : i3231! CHECK: %[[VAL_16:.*]] = fir.address_of(@handler) : (i32) -> ()32! CHECK: %[[VAL_17:.*]] = fir.emboxproc %[[VAL_16]] : ((i32) -> ()) -> !fir.boxproc<() -> ()>33! CHECK: %[[VAL_18:.*]] = fir.convert %[[VAL_15]] : (i32) -> i6434! CHECK: %[[VAL_19:.*]] = fir.box_addr %[[VAL_17]] : (!fir.boxproc<() -> ()>) -> (() -> ())35! CHECK: %[[VAL_20:.*]] = fir.call @_FortranASignal(%[[VAL_18]], %[[VAL_19]]) fastmath<contract> : (i64, () -> ()) -> i6436 37 call signal(SIGUSR1, handler, stat)38! CHECK: %[[VAL_21:.*]] = arith.constant 10 : i3239! CHECK: %[[VAL_22:.*]] = fir.address_of(@handler) : (i32) -> ()40! CHECK: %[[VAL_23:.*]] = fir.emboxproc %[[VAL_22]] : ((i32) -> ()) -> !fir.boxproc<() -> ()>41! CHECK: %[[VAL_24:.*]] = fir.convert %[[VAL_21]] : (i32) -> i6442! CHECK: %[[VAL_25:.*]] = fir.box_addr %[[VAL_23]] : (!fir.boxproc<() -> ()>) -> (() -> ())43! CHECK: %[[VAL_26:.*]] = fir.call @_FortranASignal(%[[VAL_24]], %[[VAL_25]]) fastmath<contract> : (i64, () -> ()) -> i6444! CHECK: %[[VAL_27:.*]] = fir.is_present %[[VAL_14]]#0 : (!fir.ref<i32>) -> i145! CHECK: fir.if %[[VAL_27]] {46! CHECK: %[[VAL_28:.*]] = fir.convert %[[VAL_26]] : (i64) -> i3247! CHECK: fir.store %[[VAL_28]] to %[[VAL_14]]#0 : !fir.ref<i32>48! CHECK: }49 50 call signal(SIGUSR2, SIG_IGN, stat)51! CHECK: %[[VAL_29:.*]] = arith.constant 12 : i3252! CHECK: %[[VAL_30:.*]] = arith.constant 1 : i3253! CHECK: fir.store %[[VAL_30]] to %[[VAL_1]] : !fir.ref<i32>54! CHECK: %[[VAL_31:.*]] = fir.convert %[[VAL_29]] : (i32) -> i6455! CHECK: %[[VAL_32:.*]] = fir.load %[[VAL_1]] : !fir.ref<i32>56! CHECK: %[[VAL_33:.*]] = fir.convert %[[VAL_32]] : (i32) -> !fir.llvm_ptr<() -> ()>57! CHECK: %[[VAL_34:.*]] = fir.call @_FortranASignal(%[[VAL_31]], %[[VAL_33]]) fastmath<contract> : (i64, !fir.llvm_ptr<() -> ()>) -> i6458! CHECK: %[[VAL_35:.*]] = fir.is_present %[[VAL_14]]#0 : (!fir.ref<i32>) -> i159! CHECK: fir.if %[[VAL_35]] {60! CHECK: %[[VAL_36:.*]] = fir.convert %[[VAL_34]] : (i64) -> i3261! CHECK: fir.store %[[VAL_36]] to %[[VAL_14]]#0 : !fir.ref<i32>62! CHECK: }63 64 call signal(SIGPIPE, handler, optional_status)65! CHECK: %[[VAL_37:.*]] = arith.constant 13 : i3266! CHECK: %[[VAL_38:.*]] = fir.address_of(@handler) : (i32) -> ()67! CHECK: %[[VAL_39:.*]] = fir.emboxproc %[[VAL_38]] : ((i32) -> ()) -> !fir.boxproc<() -> ()>68! CHECK: %[[VAL_40:.*]] = fir.convert %[[VAL_37]] : (i32) -> i6469! CHECK: %[[VAL_41:.*]] = fir.box_addr %[[VAL_39]] : (!fir.boxproc<() -> ()>) -> (() -> ())70! CHECK: %[[VAL_42:.*]] = fir.call @_FortranASignal(%[[VAL_40]], %[[VAL_41]]) fastmath<contract> : (i64, () -> ()) -> i6471! CHECK: %[[VAL_43:.*]] = fir.is_present %[[VAL_2]]#0 : (!fir.ref<i32>) -> i172! CHECK: fir.if %[[VAL_43]] {73! CHECK: %[[VAL_44:.*]] = fir.convert %[[VAL_42]] : (i64) -> i3274! CHECK: fir.store %[[VAL_44]] to %[[VAL_2]]#0 : !fir.ref<i32>75! CHECK: }76 end subroutine77end module78