1! test lowering of the SIGNAL intrinsic subroutine 2! RUN: bbc -emit-hlfir -o - %s | FileCheck %s 3 4module m 5contains 6! CHECK-LABEL: func.func @handler( 7! CHECK-SAME: %[[VAL_0:.*]]: i32 8 subroutine handler(signum) bind(C) 9 use iso_c_binding, only: c_int 10 integer(c_int), value :: signum 11 end subroutine 12 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 systems 17 integer, parameter :: SIGFPE = 8 18 integer, parameter :: SIGUSR1 = 10 19 integer, parameter :: SIGUSR2 = 12 20 integer, parameter :: SIGPIPE = 13 21 integer, parameter :: SIG_IGN = 1 22 integer :: stat = 0 23 integer, optional, intent(out) :: optional_status 24 25! CHECK: %[[VAL_1:.*]] = fir.alloca i32 26! CHECK: %[[VAL_2:.*]]:2 = hlfir.declare %[[VAL_0]] dummy_scope %{{[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 : i32 31! 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) -> i64 34! CHECK: %[[VAL_19:.*]] = fir.box_addr %[[VAL_17]] : (!fir.boxproc<() -> ()>) -> (() -> ()) 35! CHECK: %[[VAL_20:.*]] = fir.call @_FortranASignal(%[[VAL_18]], %[[VAL_19]]) fastmath<contract> : (i64, () -> ()) -> i64 36 37 call signal(SIGUSR1, handler, stat) 38! CHECK: %[[VAL_21:.*]] = arith.constant 10 : i32 39! 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) -> i64 42! CHECK: %[[VAL_25:.*]] = fir.box_addr %[[VAL_23]] : (!fir.boxproc<() -> ()>) -> (() -> ()) 43! CHECK: %[[VAL_26:.*]] = fir.call @_FortranASignal(%[[VAL_24]], %[[VAL_25]]) fastmath<contract> : (i64, () -> ()) -> i64 44! CHECK: %[[VAL_27:.*]] = fir.is_present %[[VAL_14]]#1 : (!fir.ref<i32>) -> i1 45! CHECK: fir.if %[[VAL_27]] { 46! CHECK: %[[VAL_28:.*]] = fir.convert %[[VAL_26]] : (i64) -> i32 47! CHECK: fir.store %[[VAL_28]] to %[[VAL_14]]#1 : !fir.ref<i32> 48! CHECK: } 49 50 call signal(SIGUSR2, SIG_IGN, stat) 51! CHECK: %[[VAL_29:.*]] = arith.constant 12 : i32 52! CHECK: %[[VAL_30:.*]] = arith.constant 1 : i32 53! CHECK: fir.store %[[VAL_30]] to %[[VAL_1]] : !fir.ref<i32> 54! CHECK: %[[VAL_31:.*]] = fir.convert %[[VAL_29]] : (i32) -> i64 55! 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<() -> ()>) -> i64 58! CHECK: %[[VAL_35:.*]] = fir.is_present %[[VAL_14]]#1 : (!fir.ref<i32>) -> i1 59! CHECK: fir.if %[[VAL_35]] { 60! CHECK: %[[VAL_36:.*]] = fir.convert %[[VAL_34]] : (i64) -> i32 61! CHECK: fir.store %[[VAL_36]] to %[[VAL_14]]#1 : !fir.ref<i32> 62! CHECK: } 63 64 call signal(SIGPIPE, handler, optional_status) 65! CHECK: %[[VAL_37:.*]] = arith.constant 13 : i32 66! 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) -> i64 69! CHECK: %[[VAL_41:.*]] = fir.box_addr %[[VAL_39]] : (!fir.boxproc<() -> ()>) -> (() -> ()) 70! CHECK: %[[VAL_42:.*]] = fir.call @_FortranASignal(%[[VAL_40]], %[[VAL_41]]) fastmath<contract> : (i64, () -> ()) -> i64 71! CHECK: %[[VAL_43:.*]] = fir.is_present %[[VAL_2]]#1 : (!fir.ref<i32>) -> i1 72! CHECK: fir.if %[[VAL_43]] { 73! CHECK: %[[VAL_44:.*]] = fir.convert %[[VAL_42]] : (i64) -> i32 74! CHECK: fir.store %[[VAL_44]] to %[[VAL_2]]#1 : !fir.ref<i32> 75! CHECK: } 76 end subroutine 77end module 78