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] */
