ats_int_type _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__compare_prec_prec (ats_int_type arg0, ats_int_type arg1) { /* local vardec */ ATSlocal (ats_int_type, tmp16) ; __ats_lab__2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__compare_prec_prec: tmp16 = atspre_compare_int_int (arg0, arg1) ; return (tmp16) ; } /* end of [_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__compare_prec_prec] */
ats_int_type _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__compare_count_count (ats_int_type arg0, ats_int_type arg1) { /* local vardec */ ATSlocal (ats_int_type, tmp7) ; __ats_lab__2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__compare_count_count: tmp7 = atspre_compare_int_int (arg0, arg1) ; return (tmp7) ; } /* end of [_2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__compare_count_count] */
ats_int_type _2opt_2ats_2d0_2e2_2e9_2src_2ats_label_2esats__compare_label_label (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_int_type, tmp26) ; ATSlocal (ats_int_type, tmp27) ; ATSlocal (ats_int_type, tmp28) ; ATSlocal (ats_ptr_type, tmp29) ; ATSlocal (ats_ptr_type, tmp30) ; __ats_lab__2opt_2ats_2d0_2e2_2e9_2src_2ats_label_2esats__compare_label_label: do { /* branch: __ats_lab_10 */ __ats_lab_10_0: if (((ats_sum_ptr_type)arg0)->tag != 0) { goto __ats_lab_11_0 ; } __ats_lab_10_1: if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_12_1 ; } __ats_lab_10_2: tmp27 = ats_caselptrlab_mac(anairiats_sum_0, arg0, atslab_0) ; tmp28 = ats_caselptrlab_mac(anairiats_sum_0, arg1, atslab_0) ; tmp26 = atspre_compare_int_int (tmp27, tmp28) ; break ; /* branch: __ats_lab_11 */ __ats_lab_11_0: if (((ats_sum_ptr_type)arg0)->tag != 1) { goto __ats_lab_12_0 ; } __ats_lab_11_1: if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_13_1 ; } __ats_lab_11_2: tmp29 = ats_caselptrlab_mac(anairiats_sum_1, arg0, atslab_0) ; tmp30 = ats_caselptrlab_mac(anairiats_sum_1, arg1, atslab_0) ; tmp26 = _2opt_2ats_2d0_2e2_2e9_2src_2ats_symbol_2esats__compare_symbol_symbol (tmp29, tmp30) ; break ; /* branch: __ats_lab_12 */ __ats_lab_12_0: if (((ats_sum_ptr_type)arg0)->tag != 0) { goto __ats_lab_13_0 ; } __ats_lab_12_1: // if (((ats_sum_ptr_type)arg1)->tag != 1) { ats_deadcode_failure_handle () ; } __ats_lab_12_2: tmp26 = -1 ; break ; /* branch: __ats_lab_13 */ __ats_lab_13_0: // if (((ats_sum_ptr_type)arg0)->tag != 1) { ats_deadcode_failure_handle () ; } __ats_lab_13_1: // if (((ats_sum_ptr_type)arg1)->tag != 0) { ats_deadcode_failure_handle () ; } __ats_lab_13_2: tmp26 = 1 ; break ; } while (0) ; return (tmp26) ; } /* end of [_2opt_2ats_2d0_2e2_2e9_2src_2ats_label_2esats__compare_label_label] */
ats_int_type _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__compare_label_label (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_int_type, tmp21) ; ATSlocal (ats_int_type, tmp22) ; ATSlocal (ats_int_type, tmp23) ; ATSlocal (ats_ptr_type, tmp24) ; ATSlocal (ats_ptr_type, tmp25) ; __ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__compare_label_label: do { /* branch: __ats_lab_10 */ __ats_lab_10_0: if (((ats_sum_ptr_type)arg0)->tag != 0) { goto __ats_lab_11_0 ; } __ats_lab_10_1: if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_12_1 ; } __ats_lab_10_2: tmp22 = ats_caselptrlab_mac(anairiats_sum_0, arg0, atslab_0) ; tmp23 = ats_caselptrlab_mac(anairiats_sum_0, arg1, atslab_0) ; tmp21 = atspre_compare_int_int (tmp22, tmp23) ; break ; /* branch: __ats_lab_11 */ __ats_lab_11_0: if (((ats_sum_ptr_type)arg0)->tag != 1) { goto __ats_lab_12_0 ; } __ats_lab_11_1: if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_13_1 ; } __ats_lab_11_2: tmp24 = ats_caselptrlab_mac(anairiats_sum_1, arg0, atslab_0) ; tmp25 = ats_caselptrlab_mac(anairiats_sum_1, arg1, atslab_0) ; tmp21 = _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__compare_symbol_symbol (tmp24, tmp25) ; break ; /* branch: __ats_lab_12 */ __ats_lab_12_0: if (((ats_sum_ptr_type)arg0)->tag != 0) { goto __ats_lab_13_0 ; } __ats_lab_12_1: // if (((ats_sum_ptr_type)arg1)->tag != 1) { ats_deadcode_failure_handle () ; } __ats_lab_12_2: tmp21 = -1 ; break ; /* branch: __ats_lab_13 */ __ats_lab_13_0: // if (((ats_sum_ptr_type)arg0)->tag != 1) { ats_deadcode_failure_handle () ; } __ats_lab_13_1: // if (((ats_sum_ptr_type)arg1)->tag != 0) { ats_deadcode_failure_handle () ; } __ats_lab_13_2: tmp21 = 1 ; break ; } while (0) ; return (tmp21) ; } /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__compare_label_label] */