コード例 #1
0
ats_ptr_type
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_symenv_2esats__symenv_make_nil () {
/* local vardec */
ATSlocal (ats_ptr_type, tmp11) ;
ATSlocal (ats_ptr_type, tmp12) ;
ATSlocal (ats_ptr_type, tmp14) ;
ATSlocal (ats_ptr_type, tmp15) ;
ATSlocal (ats_ptr_type, tmp16) ;
ATSlocal (ats_ptr_type, tmp17) ;
ATSlocal (ats_ptr_type, tmp18) ;

__ats_lab__2home_2hwxi_2research_2Postiats_2git_2src_2pats_symenv_2esats__symenv_make_nil:
tmp12 = ptr_alloc_01070_anairiats_rec_2 () ;
tmp14 = ats_selsin_mac(tmp12, atslab_2) ;
tmp15 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_symmap_2esats__symmap_make_nil () ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_2, tmp14), atslab_map) = tmp15 ;
tmp16 = (ats_sum_ptr_type)0 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_2, tmp14), atslab_maplst) = tmp16 ;
tmp17 = (ats_sum_ptr_type)0 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_2, tmp14), atslab_savedlst) = tmp17 ;
tmp18 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_symmap_2esats__symmap_make_nil () ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_2, tmp14), atslab_pervasive) = tmp18 ;
tmp11 = tmp14 ;
return (tmp11) ;
} /* end of [_2home_2hwxi_2research_2Postiats_2git_2src_2pats_symenv_2esats__symenv_make_nil] */
コード例 #2
0
ats_ptr_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_symtbl_2esats__symtbl_make (ats_int_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp0) ;
ATSlocal (ats_ptr_type, tmp1) ;
ATSlocal (ats_ptr_type, tmp2) ;
ATSlocal (ats_int_type, tmp3) ;
ATSlocal (ats_ptr_type, tmp4) ;
ATSlocal (ats_ptr_type, tmp5) ;
ATSlocal (ats_ptr_type, tmp6) ;
// ATSlocal_void (tmp7) ;
// ATSlocal_void (tmp13) ;
// ATSlocal_void (tmp14) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_symtbl_2esats__symtbl_make:
tmp1 = atspre_ptr_alloc_tsz (sizeof(anairiats_rec_0)) ;
tmp2 = ats_selsin_mac(tmp1, atslab_2) ;
tmp3 = atspre_imax (arg0, 1) ;
tmp4 = ats_array_ptr_alloc_tsz (tmp3, sizeof(ats_ptr_type)) ;
tmp5 = ats_selsin_mac(tmp4, atslab_2) ;
/* ats_ptr_type tmp6 ; */
tmp6 = (ats_sum_ptr_type)0 ;
/* tmp7 = */ array_ptr_initialize_elt_01930_ats_ptr_type (tmp5, tmp3, tmp6) ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_0, tmp2), atslab_ptr) = tmp5 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_0, tmp2), atslab_size) = tmp3 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_0, tmp2), atslab_nitm) = 0 ;
/* tmp13 = */ atspre_vbox_make_view_ptr (tmp2) ;
/* tmp14 = ats_selsin_mac(tmp13, atslab_1) */ ;
tmp0 = tmp2 ;
return (tmp0) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_symtbl_2esats__symtbl_make] */
コード例 #3
0
ats_int_type
_compare_d2con_d2con_22 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_int_type, tmp64) ;
ATSlocal (ats_ptr_type, tmp65) ;
ATSlocal (atsopt_count_type, tmp66) ;
ATSlocal (ats_ptr_type, tmp67) ;
ATSlocal (atsopt_count_type, tmp68) ;

__ats_lab__compare_d2con_d2con_22:
tmp65 = ats_selsin_mac(arg0, atslab_1) ;
tmp66 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp65), atslab_d2con_stamp) ;
tmp67 = ats_selsin_mac(arg1, atslab_1) ;
tmp68 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp67), atslab_d2con_stamp) ;
tmp64 = _2opt_2ats_2d0_2e2_2e9_2src_2ats_stamp_2esats__compare_stamp_stamp (tmp66, tmp68) ;
return (tmp64) ;
} /* end of [_compare_d2con_d2con_22] */
コード例 #4
0
ats_ptr_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) {
    /* local vardec */
    ATSlocal (ats_ptr_type, tmp0) ;
    ATSlocal (ats_int_type, tmp4) ;
    ATSlocal (atsopt_count_type, tmp5) ;
    ATSlocal (ats_ptr_type, tmp6) ;
    ATSlocal (ats_ptr_type, tmp7) ;
// ATSlocal_void (tmp8) ;
// ATSlocal_void (tmp9) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_make:
    tmp4 = aux_1 (arg3) ;
    tmp5 = _2opt_2ats_2d0_2e2_2e9_2src_2ats_stamp_2esats__d2mac_stamp_make () ;
    tmp6 = atspre_ptr_alloc_tsz (sizeof(anairiats_rec_1)) ;
    tmp7 = ats_selsin_mac(tmp6, atslab_2) ;
    ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp7), atslab_d2mac_loc) = arg0 ;
    ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp7), atslab_d2mac_sym) = arg1 ;
    ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp7), atslab_d2mac_kind) = arg2 ;
    ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp7), atslab_d2mac_narg) = tmp4 ;
    ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp7), atslab_d2mac_arglst) = arg3 ;
    ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp7), atslab_d2mac_def) = arg4 ;
    ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp7), atslab_d2mac_stamp) = tmp5 ;
    /* tmp8 = */ atspre_vbox_make_view_ptr (tmp7) ;
    /* tmp9 = ats_selsin_mac(tmp8, atslab_1) */ ;
    tmp0 = tmp7 ;
    return (tmp0) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_make] */
コード例 #5
0
ats_void_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_set_tag (ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
// ATSlocal_void (tmp52) ;
ATSlocal (ats_ptr_type, tmp53) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_set_tag:
tmp53 = ats_selsin_mac(arg0, atslab_1) ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp53), atslab_d2con_tag) = arg1 ;
return /* (tmp52) */ ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_set_tag] */
コード例 #6
0
ats_int_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_get_tag (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_int_type, tmp50) ;
ATSlocal (ats_ptr_type, tmp51) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_get_tag:
tmp51 = ats_selsin_mac(arg0, atslab_1) ;
tmp50 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp51), atslab_d2con_tag) ;
return (tmp50) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_get_tag] */
コード例 #7
0
ats_ptr_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_get_ind (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp48) ;
ATSlocal (ats_ptr_type, tmp49) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_get_ind:
tmp49 = ats_selsin_mac(arg0, atslab_1) ;
tmp48 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp49), atslab_d2con_ind) ;
return (tmp48) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_get_ind] */
コード例 #8
0
ats_ptr_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_get_typ (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp46) ;
ATSlocal (ats_ptr_type, tmp47) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_get_typ:
tmp47 = ats_selsin_mac(arg0, atslab_1) ;
tmp46 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp47), atslab_d2con_typ) ;
return (tmp46) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_get_typ] */
コード例 #9
0
ats_int_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_get_arity_real (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_int_type, tmp44) ;
ATSlocal (ats_ptr_type, tmp45) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_get_arity_real:
tmp45 = ats_selsin_mac(arg0, atslab_1) ;
tmp44 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp45), atslab_d2con_arity_real) ;
return (tmp44) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_get_arity_real] */
コード例 #10
0
ats_ptr_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_get_scst (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp32) ;
ATSlocal (ats_ptr_type, tmp33) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_get_scst:
tmp33 = ats_selsin_mac(arg0, atslab_1) ;
tmp32 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp33), atslab_d2con_scst) ;
return (tmp32) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_get_scst] */
コード例 #11
0
ats_size_type
ATS_2d0_2e2_2e12_2libats_2SATS_2hashtable_linprb_2esats__hashtbl_total (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_size_type, tmp2) ;
ATSlocal (ats_ptr_type, tmp3) ;

__ats_lab_ATS_2d0_2e2_2e12_2libats_2SATS_2hashtable_linprb_2esats__hashtbl_total:
tmp3 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_2) ;
tmp2 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_0, tmp3), atslab_tot) ;
return (tmp2) ;
} /* end of [ATS_2d0_2e2_2e12_2libats_2SATS_2hashtable_linprb_2esats__hashtbl_total] */
コード例 #12
0
atsopt_count_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_stamp (ats_ptr_type arg0) {
    /* local vardec */
    ATSlocal (atsopt_count_type, tmp24) ;
    ATSlocal (ats_ptr_type, tmp25) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_stamp:
    tmp25 = ats_selsin_mac(arg0, atslab_1) ;
    tmp24 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp25), atslab_d2mac_stamp) ;
    return (tmp24) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_stamp] */
コード例 #13
0
ats_ptr_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_def (ats_ptr_type arg0) {
    /* local vardec */
    ATSlocal (ats_ptr_type, tmp20) ;
    ATSlocal (ats_ptr_type, tmp21) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_def:
    tmp21 = ats_selsin_mac(arg0, atslab_1) ;
    tmp20 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp21), atslab_d2mac_def) ;
    return (tmp20) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_def] */
コード例 #14
0
ats_void_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_set_def (ats_ptr_type arg0, ats_ptr_type arg1) {
    /* local vardec */
// ATSlocal_void (tmp22) ;
    ATSlocal (ats_ptr_type, tmp23) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_set_def:
    tmp23 = ats_selsin_mac(arg0, atslab_1) ;
    ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp23), atslab_d2mac_def) = arg1 ;
    return /* (tmp22) */ ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_set_def] */
コード例 #15
0
ats_int_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_narg (ats_ptr_type arg0) {
    /* local vardec */
    ATSlocal (ats_int_type, tmp16) ;
    ATSlocal (ats_ptr_type, tmp17) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_narg:
    tmp17 = ats_selsin_mac(arg0, atslab_1) ;
    tmp16 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp17), atslab_d2mac_narg) ;
    return (tmp16) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_narg] */
コード例 #16
0
ats_ptr_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_arglst (ats_ptr_type arg0) {
    /* local vardec */
    ATSlocal (ats_ptr_type, tmp18) ;
    ATSlocal (ats_ptr_type, tmp19) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_arglst:
    tmp19 = ats_selsin_mac(arg0, atslab_1) ;
    tmp18 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp19), atslab_d2mac_arglst) ;
    return (tmp18) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_arglst] */
コード例 #17
0
ats_ptr_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_sym (ats_ptr_type arg0) {
    /* local vardec */
    ATSlocal (ats_ptr_type, tmp12) ;
    ATSlocal (ats_ptr_type, tmp13) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_sym:
    tmp13 = ats_selsin_mac(arg0, atslab_1) ;
    tmp12 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp13), atslab_d2mac_sym) ;
    return (tmp12) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_sym] */
コード例 #18
0
ats_int_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_kind (ats_ptr_type arg0) {
    /* local vardec */
    ATSlocal (ats_int_type, tmp14) ;
    ATSlocal (ats_ptr_type, tmp15) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_kind:
    tmp15 = ats_selsin_mac(arg0, atslab_1) ;
    tmp14 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp15), atslab_d2mac_kind) ;
    return (tmp14) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_dynexp2_2esats__d2mac_get_kind] */
ats_size_type
ATS_2d0_2e2_2e10_2prelude_2SATS_2matrix0_2esats__matrix0_col (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_size_type, tmp10) ;
ATSlocal (ats_ptr_type, tmp11) ;

__ats_lab_ATS_2d0_2e2_2e10_2prelude_2SATS_2matrix0_2esats__matrix0_col:
tmp11 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ;
tmp10 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp11), atslab_5) ;
return (tmp10) ;
} /* end of [ATS_2d0_2e2_2e10_2prelude_2SATS_2matrix0_2esats__matrix0_col] */
ats_size_type
ATS_2d0_2e2_2e10_2prelude_2SATS_2matrix0_2esats__matrix0_row (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_size_type, tmp8) ;
ATSlocal (ats_ptr_type, tmp9) ;

__ats_lab_ATS_2d0_2e2_2e10_2prelude_2SATS_2matrix0_2esats__matrix0_row:
tmp9 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ;
tmp8 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp9), atslab_4) ;
return (tmp8) ;
} /* end of [ATS_2d0_2e2_2e10_2prelude_2SATS_2matrix0_2esats__matrix0_row] */
コード例 #21
0
ats_bool_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_is_msg (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_bool_type, tmp73) ;
ATSlocal (ats_ptr_type, tmp74) ;
ATSlocal (ats_int_type, tmp75) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_is_msg:
tmp74 = ats_selsin_mac(arg0, atslab_1) ;
tmp75 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp74), atslab_d2con_tag) ;
tmp73 = atspre_eq_int_int (tmp75, -2) ;
return (tmp73) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_is_msg] */
コード例 #22
0
ats_bool_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_is_exn (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_bool_type, tmp70) ;
ATSlocal (ats_ptr_type, tmp71) ;
ATSlocal (ats_int_type, tmp72) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_is_exn:
tmp71 = ats_selsin_mac(arg0, atslab_1) ;
tmp72 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp71), atslab_d2con_tag) ;
tmp70 = atspre_eq_int_int (tmp72, -1) ;
return (tmp70) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_is_exn] */
コード例 #23
0
ats_ptr_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_symtbl_2esats__symtbl_search (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp23) ;
ATSlocal (ats_ulint_type, tmp24) ;
ATSlocal (ats_uint_type, tmp25) ;
ATSlocal (ats_ptr_type, tmp26) ;
ATSlocal (ats_int_type, tmp27) ;
ATSlocal (ats_int_type, tmp28) ;
ATSlocal (ats_ptr_type, tmp29) ;
ATSlocal (ats_int_type, tmp30) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_symtbl_2esats__symtbl_search:
tmp24 = atspre_string_hash_33 (arg1) ;
tmp25 = atspre_uint_of_ulint (tmp24) ;
tmp26 = ats_selsin_mac(arg0, atslab_1) ;
tmp28 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_0, tmp26), atslab_size) ;
tmp27 = atspre_uimod (ats_castfn_mac(ats_uint_type, tmp25), tmp28) ;
tmp29 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_0, tmp26), atslab_ptr) ;
tmp30 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_0, tmp26), atslab_size) ;
tmp23 = symtbl_search_probe_3 (tmp29, tmp30, tmp27, arg1) ;
return (tmp23) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_symtbl_2esats__symtbl_search] */
コード例 #24
0
ats_void_type
loop_17 (ats_ref_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp128) ;
ATSlocal (ats_ptr_type, tmp129) ;
ATSlocal (ats_ptr_type, tmp130) ;
ATSlocal (ats_ptr_type, tmp131) ;
ATSlocal (ats_bool_type, tmp132) ;
ATSlocal (ats_uint_type, tmp133) ;
ATSlocal (ats_ptr_type, tmp134) ;

__ats_lab_loop_17:
do {
/* branch: __ats_lab_11 */
__ats_lab_11_0:
if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_12_0 ; }
__ats_lab_11_1:
tmp129 = &ats_caselptrlab_mac(anairiats_sum_3, arg1, atslab_0) ;
tmp130 = ats_caselptrlab_mac(anairiats_sum_3, arg1, atslab_1) ;
/* ats_ptr_type tmp131 ; */
tmp133 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_2, tmp129), atslab_0) ;
tmp134 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_2, tmp129), atslab_1) ;
tmp132 = linmap_insert_01722_ats_uint_type_2cats_ptr_type (arg0, tmp133, tmp134, ats_castfn_mac(ats_clo_ref_type, atspre_null_ptr), (&tmp131)) ;
ATS_FREE(arg1) ;
arg0 = arg0 ;
arg1 = tmp130 ;
goto __ats_lab_loop_17 ; // tail call
break ;

/* branch: __ats_lab_12 */
__ats_lab_12_0:
// if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_12_1:
break ;
} while (0) ;
return /* (tmp128) */ ;
} /* end of [loop_17] */
コード例 #25
0
ats_bool_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_is_proof (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_bool_type, tmp76) ;
ATSlocal (ats_ptr_type, tmp77) ;
ATSlocal (ats_ptr_type, tmp78) ;
ATSlocal (ats_ptr_type, tmp79) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_is_proof:
tmp77 = ats_selsin_mac(arg0, atslab_1) ;
tmp78 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp77), atslab_d2con_scst) ;
tmp79 = _2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__s2cst_get_srt (tmp78) ;
tmp76 = _2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__s2rt_is_proof_fun (tmp79) ;
return (tmp76) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_is_proof] */
コード例 #26
0
ats_ptr_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_int_type arg4, ats_ptr_type arg5, ats_int_type arg6, ats_ptr_type arg7, ats_ptr_type arg8) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp0) ;
ATSlocal (atsopt_count_type, tmp1) ;
ATSlocal (ats_int_type, tmp2) ;
ATSlocal (ats_int_type, tmp12) ;
ATSlocal (ats_ptr_type, tmp13) ;
ATSlocal (ats_ptr_type, tmp20) ;
ATSlocal (ats_ptr_type, tmp21) ;
ATSlocal (ats_ptr_type, tmp22) ;
ATSlocal (ats_ptr_type, tmp23) ;
ATSlocal (ats_ptr_type, tmp24) ;
ATSlocal (ats_ptr_type, tmp25) ;
// ATSlocal_void (tmp26) ;
// ATSlocal_void (tmp27) ;

__ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_make:
tmp1 = _2opt_2ats_2d0_2e2_2e9_2src_2ats_stamp_2esats__d2con_stamp_make () ;
tmp2 = _2opt_2ats_2d0_2e2_2e9_2src_2ats_list_2esats__list_length (arg7) ;
tmp13 = aux1_1 (arg6, arg7) ;
tmp12 = aux2_2 (0, tmp13) ;
do {
/* branch: __ats_lab_6 */
__ats_lab_6_0:
if (arg8 == (ats_sum_ptr_type)0) { goto __ats_lab_7_0 ; }
__ats_lab_6_1:
tmp21 = ats_caselptrlab_mac(anairiats_sum_3, arg8, atslab_0) ;
tmp20 = _2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__s2exp_cstapp (arg3, tmp21) ;
break ;

/* branch: __ats_lab_7 */
__ats_lab_7_0:
// if (arg8 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_7_1:
tmp20 = _2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__s2exp_cst (arg3) ;
break ;
} while (0) ;
tmp23 = _2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__s2exp_confun (arg6, arg7, tmp20) ;
tmp22 = aux_3 (tmp23, arg5) ;
tmp24 = atspre_ptr_alloc_tsz (sizeof(anairiats_rec_4)) ;
tmp25 = ats_selsin_mac(tmp24, atslab_2) ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp25), atslab_d2con_loc) = arg0 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp25), atslab_d2con_fil) = arg1 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp25), atslab_d2con_sym) = arg2 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp25), atslab_d2con_scst) = arg3 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp25), atslab_d2con_vwtp) = arg4 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp25), atslab_d2con_qua) = arg5 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp25), atslab_d2con_npf) = arg6 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp25), atslab_d2con_arg) = arg7 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp25), atslab_d2con_arity_full) = tmp2 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp25), atslab_d2con_arity_real) = tmp12 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp25), atslab_d2con_ind) = arg8 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp25), atslab_d2con_typ) = tmp22 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp25), atslab_d2con_tag) = -1 ;
ats_selptr_mac(ats_castptr_mac(anairiats_rec_4, tmp25), atslab_d2con_stamp) = tmp1 ;
/* tmp26 = */ atspre_vbox_make_view_ptr (tmp25) ;
/* tmp27 = ats_selsin_mac(tmp26, atslab_1) */ ;
tmp0 = tmp25 ;
return (tmp0) ;
} /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_staexp2_2esats__d2con_make] */