ats_ptr_type aux1_1 (ats_int_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp3) ; ATSlocal (ats_ptr_type, tmp4) ; ATSlocal (ats_bool_type, tmp5) ; ATSlocal (ats_int_type, tmp6) ; __ats_lab_aux1_1: do { /* branch: __ats_lab_0 */ __ats_lab_0_0: if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_1_0 ; } __ats_lab_0_1: tmp4 = ats_caselptrlab_mac(anairiats_sum_0, arg1, atslab_1) ; tmp5 = atspre_gt_int_int (arg0, 0) ; if (tmp5) { tmp6 = atspre_sub_int_int (arg0, 1) ; arg0 = tmp6 ; arg1 = tmp4 ; goto __ats_lab_aux1_1 ; // tail call } else { tmp3 = arg1 ; } /* end of [if] */ break ; /* branch: __ats_lab_1 */ __ats_lab_1_0: // if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } __ats_lab_1_1: tmp3 = (ats_sum_ptr_type)0 ; break ; } while (0) ; return (tmp3) ; } /* end of [aux1_1] */
ats_int_type _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__precedence_dec (ats_int_type arg0, ats_int_type arg1) { /* local vardec */ ATSlocal (ats_int_type, tmp14) ; ATSlocal (ats_int_type, tmp15) ; __ats_lab__2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__precedence_dec: tmp15 = atspre_sub_int_int (arg0, arg1) ; tmp14 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__prec_make_int (tmp15) ; return (tmp14) ; } /* end of [_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__precedence_dec] */
ats_void_type _2home_2hwxi_2research_2Postiats_2git_2src_2pats_location_2esats__position_decby_count (ats_ref_type arg0, ats_uint_type arg1) { /* local vardec */ // ATSlocal_void (tmp26) ; ATSlocal (ats_lint_type, tmp27) ; ATSlocal (ats_lint_type, tmp28) ; ATSlocal (ats_lint_type, tmp29) ; ATSlocal (ats_int_type, tmp30) ; ATSlocal (ats_int_type, tmp31) ; __ats_lab__2home_2hwxi_2research_2Postiats_2git_2src_2pats_location_2esats__position_decby_count: tmp28 = ats_select_mac(ats_ptrget_mac(pats_position_struct, arg0), ntot) ; tmp29 = atspre_lint_of_uint (arg1) ; tmp27 = atspre_sub_lint_lint (tmp28, tmp29) ; ats_select_mac(ats_ptrget_mac(pats_position_struct, arg0), ntot) = tmp27 ; tmp31 = ats_select_mac(ats_ptrget_mac(pats_position_struct, arg0), ncol) ; tmp30 = atspre_sub_int_int (tmp31, ats_castfn_mac(ats_int_type, arg1)) ; ats_select_mac(ats_ptrget_mac(pats_position_struct, arg0), ncol) = tmp30 ; return /* (tmp26) */ ; } /* end of [_2home_2hwxi_2research_2Postiats_2git_2src_2pats_location_2esats__position_decby_count] */
ats_void_type _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_prec_2edats__dynload () { _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_prec_2edats__dynload_flag = 1 ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_prec_2edats__staload () ; #ifdef _ATS_PROOFCHECK #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&statmp1, sizeof(ats_int_type)) ; ATS_GC_MARKROOT(&statmp2, sizeof(ats_int_type)) ; ATS_GC_MARKROOT(&statmp3, sizeof(ats_int_type)) ; ATS_GC_MARKROOT(&statmp4, sizeof(ats_int_type)) ; ATS_GC_MARKROOT(&statmp5, sizeof(ats_int_type)) ; ATS_GC_MARKROOT(&statmp6, sizeof(ats_int_type)) ; ATS_GC_MARKROOT(&statmp7, sizeof(ats_int_type)) ; /* marking external values for GC */ /* code for dynamic loading */ ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__neginf_prec, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__neginf_prec = -1000000 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__posinf_prec, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__posinf_prec = 1000000 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec = 70 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__select_prec, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__select_prec = 80 ; statmp1 = atspre_add_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__backslash_prec, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__backslash_prec = statmp1 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__infixtemp_prec, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__infixtemp_prec = 0 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__exi_prec_sta, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__exi_prec_sta = 0 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__uni_prec_sta, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__uni_prec_sta = 0 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__delay_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__delay_prec_dyn = 0 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__exist_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__exist_prec_dyn = 0 ; statmp2 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__select_prec, 1) ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__ptrof_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__ptrof_prec_dyn = statmp2 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__addrat_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__addrat_prec_dyn = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__ptrof_prec_dyn ; statmp3 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__foldat_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__foldat_prec_dyn = statmp3 ; statmp4 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__freeat_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__freeat_prec_dyn = statmp4 ; statmp5 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__viewat_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__viewat_prec_dyn = statmp5 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__invar_prec_sta, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__invar_prec_sta = 1 ; statmp6 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__qmark_prec_sta, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__qmark_prec_sta = statmp6 ; statmp7 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__qmarkbang_prec_sta, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__qmarkbang_prec_sta = statmp7 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__trans_prec_sta, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__trans_prec_sta = 0 ; ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__deref_prec_dyn, sizeof(ats_int_type)) ; _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__deref_prec_dyn = 100 ; return ; } /* end of [dynload function] */