C++ (Cpp) ats_castfn_macの例

コード例 #1

ファイル: pats_basics_dats.c プロジェクト: ats-lang/ats-lang.github.io

ats_int_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__test_polkind (ats_int_type arg0) {
    /* local vardec */
    ATSlocal (ats_int_type, tmp14) ;
    ATSlocal (ats_int_type, tmp15) ;
    ATSlocal (ats_uint_type, tmp16) ;
    ATSlocal (ats_bool_type, tmp17) ;
    ATSlocal (ats_bool_type, tmp18) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__test_polkind:
    tmp15 = atspre_asl_int_int1 (3, 3) ;
    tmp16 = atspre_land_uint_uint (ats_castfn_mac(ats_uint_type, arg0), ats_castfn_mac(ats_uint_type, tmp15)) ;
    tmp17 = atspre_eq_uint_uint (tmp16, 0u) ;
    if (tmp17) {
        tmp14 = 0 ;
    } else {
        tmp18 = atspre_lt_uint_uint (tmp16, ats_castfn_mac(ats_uint_type, tmp15)) ;
        if (tmp18) {
            tmp14 = 1 ;
        } else {
            tmp14 = -1 ;
        } /* end of [if] */
    } /* end of [if] */
    return (tmp14) ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__test_polkind] */

コード例 #2

ファイル: pats_namespace_dats.c プロジェクト: Charon-Shi/ats-lang.github.io

ats_ptr_type
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2esats__the_namespace_search (ats_clo_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp20) ;
ATSlocal (ats_ptr_type, tmp29) ;
ATSlocal (ats_ptr_type, tmp30) ;
ATSlocal (ats_ptr_type, tmp31) ;

__ats_lab__2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2esats__the_namespace_search:
tmp30 = ats_ptrget_mac(ats_ptr_type, ats_castfn_mac(ats_ptr_type, statmp8)) ;
tmp29 = auxlst_7 (arg0, tmp30) ;
do {
/* branch: __ats_lab_12 */
__ats_lab_12_0:
if (tmp29 != (ats_sum_ptr_type)0) { goto __ats_lab_13_0 ; }
__ats_lab_12_1:
tmp31 = ats_ptrget_mac(ats_ptr_type, ats_castfn_mac(ats_ptr_type, statmp12)) ;
tmp20 = auxlstlst_8 (arg0, tmp31) ;
break ;

/* branch: __ats_lab_13 */
__ats_lab_13_0:
__ats_lab_13_1:
tmp20 = tmp29 ;
break ;
} while (0) ;
return (tmp20) ;
} /* end of [_2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2esats__the_namespace_search] */

コード例 #3

ファイル: _2fscratch_2fopt_2fats_2d0_2e2_2e9_2fbootstrap0_2flibc_2fDATS_2frandom_2edats.c プロジェクト: wdblair/ats-anairiats-bootstrap

ats_void_type
atslib_randsize_r (ats_ref_type arg0, ats_size_type arg1, ats_ref_type arg2) {
/* local vardec */
// ATSlocal_void (tmp57) ;
ATSlocal (ats_double_type, tmp58) ;
ATSlocal (ats_int_type, tmp59) ;
ATSlocal (ats_ullint_type, tmp60) ;
ATSlocal (ats_double_type, tmp61) ;
ATSlocal (ats_double_type, tmp62) ;
ATSlocal (ats_bool_type, tmp63) ;
ATSlocal (ats_size_type, tmp64) ;

__ats_lab_atslib_randsize_r:
/* ats_double_type tmp58 ; */
tmp59 = atslib_drand48_r (arg0, (&tmp58)) ;
tmp62 = atspre_double_of_size (arg1) ;
tmp61 = atspre_mul_double_double (tmp58, tmp62) ;
tmp60 = atspre_ullint_of_double (tmp61) ;
tmp63 = atspre_lt_size1_size1 (ats_castfn_mac(ats_size_type, ats_castfn_mac(ats_size_type, tmp60)), arg1) ;
if (tmp63) {
ats_ptrget_mac(ats_size_type, arg2) = ats_castfn_mac(ats_size_type, ats_castfn_mac(ats_size_type, tmp60)) ;
} else {
tmp64 = atspre_size1_of_int1 (0) ;
ats_ptrget_mac(ats_size_type, arg2) = tmp64 ;
} /* end of [if] */
return /* (tmp57) */ ;
} /* end of [atslib_randsize_r] */

コード例 #4

ファイル: pats_namespace_dats.c プロジェクト: Charon-Shi/ats-lang.github.io

ats_void_type
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2esats__the_namespace_localjoin () {
/* local vardec */
// ATSlocal_void (tmp46) ;
ATSlocal (ats_ptr_type, tmp47) ;
ATSlocal (ats_ptr_type, tmp48) ;
ATSlocal (ats_ptr_type, tmp49) ;
ATSlocal (ats_ptr_type, tmp50) ;
// ATSlocal_void (tmp51) ;
ATSlocal (ats_ptr_type, tmp52) ;
ATSlocal (ats_ptr_type, tmp53) ;
ATSlocal (ats_ptr_type, tmp54) ;
ATSlocal (ats_ptr_type, tmp55) ;
ATSlocal (ats_ptr_type, tmp61) ;

__ats_lab__2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2esats__the_namespace_localjoin:
tmp47 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp12), atslab_1) ;
tmp48 = ats_ptrget_mac(ats_ptr_type, tmp47) ;
if (tmp48 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/home/hwxi/research/Postiats/git/src/pats_namespace.dats: 4632(line=191, offs=9) -- 4661(line=191, offs=38)") ; }
tmp49 = ats_caselptrlab_mac(anairiats_sum_1, tmp48, atslab_0) ;
tmp50 = ats_caselptrlab_mac(anairiats_sum_1, tmp48, atslab_1) ;
ATS_FREE(tmp48) ;
/* tmp51 = */ fenvlst_vt_free_0 (tmp49) ;
if (tmp50 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/home/hwxi/research/Postiats/git/src/pats_namespace.dats: 4705(line=193, offs=9) -- 4735(line=193, offs=39)") ; }
tmp52 = ats_caselptrlab_mac(anairiats_sum_1, tmp50, atslab_0) ;
tmp53 = ats_caselptrlab_mac(anairiats_sum_1, tmp50, atslab_1) ;
ATS_FREE(tmp50) ;
ats_ptrget_mac(ats_ptr_type, tmp47) = tmp53 ;
tmp54 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp8), atslab_1) ;
tmp61 = ats_ptrget_mac(ats_ptr_type, tmp54) ;
tmp55 = list_vt_append_01504_ats_ptr_type (tmp61, tmp52) ;
ats_ptrget_mac(ats_ptr_type, tmp54) = tmp55 ;
return /* (tmp46) */ ;
} /* end of [_2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2esats__the_namespace_localjoin] */

コード例 #5

ファイル: pats_namespace_dats.c プロジェクト: Charon-Shi/ats-lang.github.io

ats_void_type
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2esats__the_namespace_pop () {
/* local vardec */
// ATSlocal_void (tmp32) ;
ATSlocal (ats_ptr_type, tmp33) ;
ATSlocal (ats_ptr_type, tmp34) ;
ATSlocal (ats_ptr_type, tmp35) ;
ATSlocal (ats_ptr_type, tmp36) ;
ATSlocal (ats_ptr_type, tmp37) ;
ATSlocal (ats_ptr_type, tmp38) ;

__ats_lab__2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2esats__the_namespace_pop:
tmp33 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp12), atslab_1) ;
tmp34 = ats_ptrget_mac(ats_ptr_type, tmp33) ;
if (tmp34 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/home/hwxi/research/Postiats/git/src/pats_namespace.dats: 3781(line=148, offs=9) -- 3809(line=148, offs=37)") ; }
tmp35 = ats_caselptrlab_mac(anairiats_sum_1, tmp34, atslab_0) ;
tmp36 = ats_caselptrlab_mac(anairiats_sum_1, tmp34, atslab_1) ;
ATS_FREE(tmp34) ;
ats_ptrget_mac(ats_ptr_type, tmp33) = tmp36 ;
tmp37 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp8), atslab_1) ;
tmp38 = ats_ptrget_mac(ats_ptr_type, tmp37) ;
ats_ptrget_mac(ats_ptr_type, tmp37) = tmp35 ;
/* tmp32 = */ fenvlst_vt_free_0 (tmp38) ;
return /* (tmp32) */ ;
} /* end of [_2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2esats__the_namespace_pop] */

コード例 #6

ファイル: pats_namespace_dats.c プロジェクト: Charon-Shi/ats-lang.github.io

ats_void_type
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2esats__the_namespace_save () {
/* local vardec */
// ATSlocal_void (tmp62) ;
ATSlocal (ats_ptr_type, tmp63) ;
ATSlocal (ats_ptr_type, tmp64) ;
ATSlocal (ats_ptr_type, tmp65) ;
ATSlocal (ats_ptr_type, tmp66) ;
ATSlocal (ats_ptr_type, tmp67) ;
ATSlocal (ats_ptr_type, tmp68) ;
ATSlocal (ats_ptr_type, tmp69) ;
ATSlocal (ats_ptr_type, tmp70) ;
ATSlocal (anairiats_rec_2, tmp71) ;
ATSlocal (ats_ptr_type, tmp72) ;

__ats_lab__2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2esats__the_namespace_save:
tmp63 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp8), atslab_1) ;
tmp64 = ats_ptrget_mac(ats_ptr_type, tmp63) ;
tmp65 = (ats_sum_ptr_type)0 ;
ats_ptrget_mac(ats_ptr_type, tmp63) = tmp65 ;
tmp66 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp12), atslab_1) ;
tmp67 = ats_ptrget_mac(ats_ptr_type, tmp66) ;
tmp68 = (ats_sum_ptr_type)0 ;
ats_ptrget_mac(ats_ptr_type, tmp66) = tmp68 ;
tmp69 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp14), atslab_1) ;
tmp71.atslab_0 = tmp64 ;
tmp71.atslab_1 = tmp67 ;

tmp72 = ats_ptrget_mac(ats_ptr_type, tmp69) ;
tmp70 = ATS_MALLOC(sizeof(anairiats_sum_3)) ;
ats_selptrset_mac(anairiats_sum_3, tmp70, atslab_0, tmp71) ;
ats_selptrset_mac(anairiats_sum_3, tmp70, atslab_1, tmp72) ;
ats_ptrget_mac(ats_ptr_type, tmp69) = tmp70 ;
return /* (tmp62) */ ;
} /* end of [_2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2esats__the_namespace_save] */

コード例 #7

ファイル: pats_label_dats.c プロジェクト: ats-lang/ats-lang.github.io

ats_ptr_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__label_dotize (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp10) ;
ATSlocal (ats_ptr_type, tmp11) ;
ATSlocal (ats_int_type, tmp12) ;
ATSlocal (ats_ptr_type, tmp13) ;
ATSlocal (ats_ptr_type, tmp14) ;
ATSlocal (ats_ptr_type, tmp15) ;
ATSlocal (ats_ptr_type, tmp16) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__label_dotize:
do {
/* branch: __ats_lab_8 */
__ats_lab_8_0:
if (((ats_sum_ptr_type)arg0)->tag != 0) { goto __ats_lab_9_0 ; }
__ats_lab_8_1:
tmp12 = ats_caselptrlab_mac(anairiats_sum_0, arg0, atslab_0) ;
tmp13 = atspre_tostringf (ATSstrcst(".%i"), tmp12) ;
tmp11 = ats_castfn_mac(ats_ptr_type, tmp13) ;
break ;

/* branch: __ats_lab_9 */
__ats_lab_9_0:
// if (((ats_sum_ptr_type)arg0)->tag != 1) { ats_deadcode_failure_handle () ; }
__ats_lab_9_1:
tmp14 = ats_caselptrlab_mac(anairiats_sum_1, arg0, atslab_0) ;
tmp16 = _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_get_name (tmp14) ;
tmp15 = atspre_tostringf (ATSstrcst(".%s"), tmp16) ;
tmp11 = ats_castfn_mac(ats_ptr_type, tmp15) ;
break ;
} while (0) ;
tmp10 = _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_make_string (tmp11) ;
return (tmp10) ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__label_dotize] */

コード例 #8

ファイル: _2fscratch_2fopt_2fats_2d0_2e2_2e9_2fbootstrap0_2flibc_2fDATS_2frandom_2edats.c プロジェクト: wdblair/ats-anairiats-bootstrap

ats_int_type
ATS_2d0_2e2_2e10_2libc_2SATS_2random_2esats__srand48_with_gettimeofday () {
/* local vardec */
ATSlocal (ats_int_type, tmp0) ;
ATSlocal (ats_timeval_type, tmp1) ;
ATSlocal (ats_int_type, tmp2) ;
// ATSlocal_void (tmp3) ;
ATSlocal (ats_bool_type, tmp4) ;
ATSlocal (ats_lint_type, tmp5) ;
ATSlocal (ats_lint_type, tmp6) ;
ATSlocal (ats_time_type, tmp7) ;
ATSlocal (ats_suseconds_type, tmp8) ;

__ats_lab_ATS_2d0_2e2_2e10_2libc_2SATS_2random_2esats__srand48_with_gettimeofday:
/* ats_timeval_type tmp1 ; */
tmp2 = atslib_gettimeofday_tv ((&tmp1)) ;
tmp4 = atspre_ieq (tmp2, 0) ;
if (tmp4) {
tmp7 = ats_select_mac(tmp1, tv_sec) ;
tmp6 = atspre_mul_lint_lint (ats_castfn_mac(ats_lint_type, tmp7), 1000000L) ;
tmp8 = ats_select_mac(tmp1, tv_usec) ;
tmp5 = atspre_add_lint_lint (tmp6, ats_castfn_mac(ats_lint_type, tmp8)) ;
/* tmp3 = */ atslib_srand48 (tmp5) ;
} else {
/* empty */
} /* end of [if] */
tmp0 = tmp2 ;
return (tmp0) ;
} /* end of [ATS_2d0_2e2_2e10_2libc_2SATS_2random_2esats__srand48_with_gettimeofday] */

コード例 #9

ファイル: DATS_fcntl_dats.c プロジェクト: Charon-Shi/ats-lang.github.io

ats_size_type
loop_4 (ats_int_type arg0, ats_ptr_type arg1, ats_size_type arg2, ats_ref_type arg3) {
/* local vardec */
ATSlocal (ats_size_type, tmp14) ;
ATSlocal (ats_bool_type, tmp15) ;
ATSlocal (ats_ssize_type, tmp16) ;
ATSlocal (ats_bool_type, tmp17) ;
ATSlocal (ats_ptr_type, tmp18) ;
ATSlocal (ats_size_type, tmp19) ;
ATSlocal (ats_bool_type, tmp20) ;
ATSlocal (ats_bool_type, tmp21) ;
ATSlocal (ats_int_type, tmp22) ;
ATSlocal (ats_bool_type, tmp24) ;
ATSlocal (ats_int_type, tmp25) ;

__ats_lab_loop_4:
tmp15 = atspre_gt_size1_int1 (arg2, 0) ;
if (tmp15) {
tmp16 = atslib_fildes_read_err (arg0, arg1, arg2) ;
tmp17 = atspre_gt_ssize1_int1 (tmp16, 0) ;
if (tmp17) {
tmp18 = atspre_padd_size (arg1, ats_castfn_mac(ats_size_type, tmp16)) ;
tmp19 = atspre_sub_size1_size1 (arg2, ats_castfn_mac(ats_size_type, tmp16)) ;
arg0 = arg0 ;
arg1 = tmp18 ;
arg2 = tmp19 ;
arg3 = arg3 ;
goto __ats_lab_loop_4 ; // tail call
} else {
tmp21 = atspre_lt_ssize1_int1 (tmp16, 0) ;
if (tmp21) {
tmp22 = atslib_errno_get () ;
tmp20 = atslib_eq_errno_errno (tmp22, EINTR) ;
} else {
tmp20 = ats_false_bool ;
} /* end of [if] */
if (tmp20) {
arg0 = arg0 ;
arg1 = arg1 ;
arg2 = arg2 ;
arg3 = arg3 ;
goto __ats_lab_loop_4 ; // tail call
} else {
tmp24 = atspre_lt_ssize1_int1 (tmp16, 0) ;
if (tmp24) {
tmp25 = atspre_add_int_int (ats_ptrget_mac(ats_int_type, arg3), 1) ;
ats_ptrget_mac(ats_int_type, arg3) = tmp25 ;
} else {
/* empty */
} /* end of [if] */
tmp14 = arg2 ;
} /* end of [if] */
} /* end of [if] */
} else {
tmp14 = atspre_size1_of_int1 (0) ;
} /* end of [if] */
return (tmp14) ;
} /* end of [loop_4] */

コード例 #10

ファイル: DATS_fcntl_dats.c プロジェクト: Charon-Shi/ats-lang.github.io

ats_size_type
loop_7 (ats_int_type arg0, ats_ptr_type arg1, ats_size_type arg2, ats_ref_type arg3) {
/* local vardec */
ATSlocal (ats_size_type, tmp35) ;
ATSlocal (ats_bool_type, tmp36) ;
ATSlocal (ats_ssize_type, tmp37) ;
ATSlocal (ats_bool_type, tmp38) ;
ATSlocal (ats_ptr_type, tmp39) ;
ATSlocal (ats_size_type, tmp40) ;
ATSlocal (ats_bool_type, tmp41) ;
ATSlocal (ats_bool_type, tmp42) ;
ATSlocal (ats_int_type, tmp43) ;
ATSlocal (ats_int_type, tmp44) ;

__ats_lab_loop_7:
tmp36 = atspre_gt_size1_int1 (arg2, 0) ;
if (tmp36) {
tmp37 = atslib_fildes_write_err (arg0, arg1, arg2) ;
tmp38 = atspre_gt_ssize1_int1 (tmp37, 0) ;
if (tmp38) {
tmp39 = atspre_padd_size (arg1, ats_castfn_mac(ats_size_type, tmp37)) ;
tmp40 = atspre_sub_size1_size1 (arg2, ats_castfn_mac(ats_size_type, tmp37)) ;
arg0 = arg0 ;
arg1 = tmp39 ;
arg2 = tmp40 ;
arg3 = arg3 ;
goto __ats_lab_loop_7 ; // tail call
} else {
tmp42 = atspre_lt_ssize1_int1 (tmp37, 0) ;
if (tmp42) {
tmp43 = atslib_errno_get () ;
tmp41 = atslib_eq_errno_errno (tmp43, EINTR) ;
} else {
tmp41 = ats_true_bool ;
} /* end of [if] */
if (tmp41) {
arg0 = arg0 ;
arg1 = arg1 ;
arg2 = arg2 ;
arg3 = arg3 ;
goto __ats_lab_loop_7 ; // tail call
} else {
tmp44 = atspre_add_int_int (ats_ptrget_mac(ats_int_type, arg3), 1) ;
ats_ptrget_mac(ats_int_type, arg3) = tmp44 ;
tmp35 = arg2 ;
} /* end of [if] */
} /* end of [if] */
} else {
tmp35 = atspre_size1_of_int1 (0) ;
} /* end of [if] */
return (tmp35) ;
} /* end of [loop_7] */

コード例 #11

ファイル: pats_basics_dats.c プロジェクト: ats-lang/ats-lang.github.io

ats_int_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__impkind_linearize (ats_int_type arg0) {
    /* local vardec */
    ATSlocal (ats_int_type, tmp19) ;
    ATSlocal (ats_int_type, tmp20) ;
    ATSlocal (ats_uint_type, tmp21) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__impkind_linearize:
    tmp20 = atspre_asl_int_int1 (1, 1) ;
    tmp21 = atspre_lor_uint_uint (ats_castfn_mac(ats_uint_type, arg0), ats_castfn_mac(ats_uint_type, tmp20)) ;
    tmp19 = ats_castfn_mac(ats_int_type, tmp21) ;
    return (tmp19) ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__impkind_linearize] */

コード例 #12

ファイル: pats_basics_dats.c プロジェクト: ats-lang/ats-lang.github.io

ats_bool_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__test_linkind (ats_int_type arg0) {
    /* local vardec */
    ATSlocal (ats_bool_type, tmp5) ;
    ATSlocal (ats_int_type, tmp6) ;
    ATSlocal (ats_uint_type, tmp7) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__test_linkind:
    tmp6 = atspre_asl_int_int1 (1, 1) ;
    tmp7 = atspre_land_uint_uint (ats_castfn_mac(ats_uint_type, arg0), ats_castfn_mac(ats_uint_type, tmp6)) ;
    tmp5 = atspre_gt_uint_uint (tmp7, 0u) ;
    return (tmp5) ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__test_linkind] */

コード例 #13

ファイル: pats_basics_dats.c プロジェクト: ats-lang/ats-lang.github.io

ats_bool_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__test_prgmkind (ats_int_type arg0) {
    /* local vardec */
    ATSlocal (ats_bool_type, tmp11) ;
    ATSlocal (ats_int_type, tmp12) ;
    ATSlocal (ats_uint_type, tmp13) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__test_prgmkind:
    tmp12 = atspre_asl_int_int1 (1, 2) ;
    tmp13 = atspre_land_uint_uint (ats_castfn_mac(ats_uint_type, arg0), ats_castfn_mac(ats_uint_type, tmp12)) ;
    tmp11 = atspre_eq_uint_uint (tmp13, 0u) ;
    return (tmp11) ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__test_prgmkind] */

コード例 #14

ファイル: pats_basics_dats.c プロジェクト: ats-lang/ats-lang.github.io

ats_int_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__impkind_neutralize (ats_int_type arg0) {
    /* local vardec */
    ATSlocal (ats_int_type, tmp22) ;
    ATSlocal (ats_int_type, tmp23) ;
    ATSlocal (ats_uint_type, tmp24) ;
    ATSlocal (ats_uint_type, tmp25) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__impkind_neutralize:
    tmp23 = atspre_asl_int_int1 (3, 3) ;
    tmp25 = atspre_lnot_uint (ats_castfn_mac(ats_uint_type, tmp23)) ;
    tmp24 = atspre_land_uint_uint (ats_castfn_mac(ats_uint_type, arg0), tmp25) ;
    tmp22 = ats_castfn_mac(ats_int_type, tmp24) ;
    return (tmp22) ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__impkind_neutralize] */

コード例 #15

ファイル: pats_trans3_env_lamlp_dats.c プロジェクト: ats-lang/ats-lang.github.io

ats_ptr_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__the_lamlpenv_top () {
/* local vardec */
ATSlocal (ats_ptr_type, tmp5) ;
ATSlocal (ats_ptr_type, tmp6) ;
ATSlocal (ats_ptr_type, tmp7) ;
ATSlocal (ats_ptr_type, tmp8) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__the_lamlpenv_top:
tmp6 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp1), atslab_1) ;
tmp7 = ats_ptrget_mac(ats_ptr_type, tmp6) ;
do {
/* branch: __ats_lab_0 */
__ats_lab_0_0:
if (tmp7 == (ats_sum_ptr_type)0) { goto __ats_lab_1_0 ; }
__ats_lab_0_1:
tmp8 = ats_caselptrlab_mac(anairiats_sum_1, tmp7, atslab_0) ;
tmp5 = ATS_MALLOC(sizeof(anairiats_sum_2)) ;
ats_selptrset_mac(anairiats_sum_2, tmp5, atslab_0, tmp8) ;
break ;

/* branch: __ats_lab_1 */
__ats_lab_1_0:
// if (tmp7 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_1_1:
tmp5 = (ats_sum_ptr_type)0 ;
break ;
} while (0) ;
return (tmp5) ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__the_lamlpenv_top] */

コード例 #16

ファイル: pats_label_dats.c プロジェクト: ats-lang/ats-lang.github.io

ats_ptr_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__tostring_label (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp26) ;
ATSlocal (ats_int_type, tmp27) ;
ATSlocal (ats_ptr_type, tmp28) ;
ATSlocal (ats_ptr_type, tmp29) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__tostring_label:
do {
/* branch: __ats_lab_14 */
__ats_lab_14_0:
if (((ats_sum_ptr_type)arg0)->tag != 0) { goto __ats_lab_15_0 ; }
__ats_lab_14_1:
tmp27 = ats_caselptrlab_mac(anairiats_sum_0, arg0, atslab_0) ;
tmp28 = atspre_tostrptr_int (tmp27) ;
tmp26 = ats_castfn_mac(ats_ptr_type, tmp28) ;
break ;

/* branch: __ats_lab_15 */
__ats_lab_15_0:
// if (((ats_sum_ptr_type)arg0)->tag != 1) { ats_deadcode_failure_handle () ; }
__ats_lab_15_1:
tmp29 = ats_caselptrlab_mac(anairiats_sum_1, arg0, atslab_0) ;
tmp26 = _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_get_name (tmp29) ;
break ;
} while (0) ;
return (tmp26) ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__tostring_label] */

コード例 #17

ファイル: pats_trans3_env_svar_dats.c プロジェクト: ats-lang/ats-lang.github.io

ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__the_s2varbindmap_freetop () {
/* local vardec */
// ATSlocal_void (tmp50) ;
ATSlocal (ats_ptr_type, tmp51) ;
ATSlocal (ats_ptr_type, tmp52) ;
ATSlocal (ats_ptr_type, tmp53) ;
ATSlocal (ats_ptr_type, tmp54) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__the_s2varbindmap_freetop:
tmp51 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp5), atslab_1) ;
tmp52 = ats_ptrget_mac(ats_ptr_type, tmp51) ;
tmp53 = (ats_sum_ptr_type)0 ;
ats_ptrget_mac(ats_ptr_type, tmp51) = tmp53 ;
tmp54 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp0), atslab_1) ;
/* tmp50 = */ auxrmv_2 (tmp54, tmp52) ;
return /* (tmp50) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__the_s2varbindmap_freetop] */

コード例 #18

ファイル: pats_trans2_sort_dats.c プロジェクト: ats-lang/ats-lang.github.io

ats_ptr_type
list_map_fun_01413_ats_ptr_type_anairiats_rec_1 (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp91) ;

__ats_lab_list_map_fun_01413_ats_ptr_type_anairiats_rec_1:
tmp91 = list_map_funenv_01412_ats_ptr_type_anairiats_rec_1 (arg0, ats_castfn_mac(ats_ptr_type, arg1), atspre_null_ptr) ;
return (tmp91) ;
} /* end of [list_map_fun_01413_ats_ptr_type_anairiats_rec_1] */

コード例 #19

ファイル: pats_trans2_sort_dats.c プロジェクト: ats-lang/ats-lang.github.io

ats_ptr_type
list_map_fun_01413_ats_ptr_type_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp64) ;

__ats_lab_list_map_fun_01413_ats_ptr_type_ats_ptr_type:
tmp64 = list_map_funenv_01412_ats_ptr_type_ats_ptr_type (arg0, ats_castfn_mac(ats_ptr_type, arg1), atspre_null_ptr) ;
return (tmp64) ;
} /* end of [list_map_fun_01413_ats_ptr_type_ats_ptr_type] */

コード例 #20

ファイル: pats_global_dats.c プロジェクト: Charon-Shi/ats-lang.github.io

ats_void_type
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_global_2esats__the_STATIC_PREFIX_set (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp27) ;

__ats_lab__2home_2hwxi_2research_2Postiats_2git_2src_2pats_global_2esats__the_STATIC_PREFIX_set:
ats_ptrget_mac(ats_ptr_type, statmp25) = ats_castfn_mac(ats_ptr_type, arg0) ;
return /* (tmp27) */ ;
} /* end of [_2home_2hwxi_2research_2Postiats_2git_2src_2pats_global_2esats__the_STATIC_PREFIX_set] */

コード例 #21

ファイル: pats_trans3_env_scst_dats.c プロジェクト: ats-lang/ats-lang.github.io

ats_ptr_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__the_s2cstbindlst_pop () {
    /* local vardec */
    ATSlocal (ats_ptr_type, tmp34) ;
    ATSlocal (ats_ptr_type, tmp35) ;
    ATSlocal (ats_ptr_type, tmp36) ;
    ATSlocal (ats_ptr_type, tmp37) ;
    ATSlocal (ats_ptr_type, tmp38) ;
    ATSlocal (ats_ptr_type, tmp39) ;
    ATSlocal (ats_ptr_type, tmp40) ;
    ATSlocal (ats_ptr_type, tmp41) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__the_s2cstbindlst_pop:
    tmp35 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp6), atslab_1) ;
    tmp37 = ats_ptrget_mac(ats_ptr_type, tmp35) ;
    do {
        /* branch: __ats_lab_2 */
__ats_lab_2_0:
        if (tmp37 == (ats_sum_ptr_type)0) {
            goto __ats_lab_3_0 ;
        }
__ats_lab_2_1:
        tmp38 = ats_caselptrlab_mac(anairiats_sum_1, tmp37, atslab_0) ;
        tmp39 = ats_caselptrlab_mac(anairiats_sum_1, tmp37, atslab_1) ;
        ATS_FREE(tmp37) ;
        ats_ptrget_mac(ats_ptr_type, tmp35) = tmp39 ;
        tmp36 = tmp38 ;
        break ;

        /* branch: __ats_lab_3 */
__ats_lab_3_0:
// if (tmp37 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_3_1:
        tmp36 = (ats_sum_ptr_type)0 ;
        break ;
    } while (0) ;
    tmp40 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp1), atslab_1) ;
    tmp41 = ats_ptrget_mac(ats_ptr_type, tmp40) ;
    ats_ptrget_mac(ats_ptr_type, tmp40) = tmp36 ;
    tmp34 = tmp41 ;
    return (tmp34) ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__the_s2cstbindlst_pop] */

コード例 #22

ファイル: pats_trans3_env_svar_dats.c プロジェクト: ats-lang/ats-lang.github.io

ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__the_s2varbindmap_pop () {
/* local vardec */
// ATSlocal_void (tmp13) ;
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) ;
ATSlocal (ats_ptr_type, tmp19) ;
ATSlocal (ats_ptr_type, tmp20) ;
ATSlocal (ats_ptr_type, tmp21) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__the_s2varbindmap_pop:
tmp14 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp7), atslab_1) ;
tmp16 = ats_ptrget_mac(ats_ptr_type, tmp14) ;
do {
/* branch: __ats_lab_2 */
__ats_lab_2_0:
if (tmp16 == (ats_sum_ptr_type)0) { goto __ats_lab_3_0 ; }
__ats_lab_2_1:
tmp17 = ats_caselptrlab_mac(anairiats_sum_1, tmp16, atslab_0) ;
tmp18 = ats_caselptrlab_mac(anairiats_sum_1, tmp16, atslab_1) ;
ATS_FREE(tmp16) ;
ats_ptrget_mac(ats_ptr_type, tmp14) = tmp18 ;
tmp15 = tmp17 ;
break ;

/* branch: __ats_lab_3 */
__ats_lab_3_0:
// if (tmp16 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; }
__ats_lab_3_1:
tmp15 = (ats_sum_ptr_type)0 ;
break ;
} while (0) ;
tmp19 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp5), atslab_1) ;
tmp20 = ats_ptrget_mac(ats_ptr_type, tmp19) ;
ats_ptrget_mac(ats_ptr_type, tmp19) = tmp15 ;
tmp21 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp0), atslab_1) ;
/* tmp13 = */ auxrmv_2 (tmp21, tmp20) ;
return /* (tmp13) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__the_s2varbindmap_pop] */

コード例 #23

ファイル: _2fscratch_2fopt_2fats_2d0_2e2_2e9_2fbootstrap0_2fprelude_2fDATS_2freference_2edats.c プロジェクト: wdblair/ats-anairiats-bootstrap

ats_void_type
ATS_2d0_2e2_2e10_2prelude_2SATS_2reference_2esats__ref_app_fun (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp0) ;
ATSlocal (ats_ptr_type, tmp1) ;

__ats_lab_ATS_2d0_2e2_2e10_2prelude_2SATS_2reference_2esats__ref_app_fun:
tmp1 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ;
/* tmp0 = */ ((ats_void_type(*)(ats_ref_type))arg1) (tmp1) ;
return /* (tmp0) */ ;
} /* end of [ATS_2d0_2e2_2e10_2prelude_2SATS_2reference_2esats__ref_app_fun] */

コード例 #24

ファイル: pats_trans2_sort_dats.c プロジェクト: ats-lang/ats-lang.github.io

ats_ptr_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans2_2esats__s1rtlst_tr (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp62) ;
ATSlocal (ats_ptr_type, tmp63) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans2_2esats__s1rtlst_tr:
tmp63 = list_map_fun_01413_ats_ptr_type_ats_ptr_type (arg0, &_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans2_2esats__s1rt_tr) ;
tmp62 = ats_castfn_mac(ats_ptr_type, tmp63) ;
return (tmp62) ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans2_2esats__s1rtlst_tr] */

コード例 #25

ファイル: DATS_gmp_dats.c プロジェクト: Charon-Shi/ats-lang.github.io

ats_ptr_type
ATS_2d0_2e2_2e12_2libc_2SATS_2gmp_2esats__tostring_mpz (ats_ref_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp9) ;
ATSlocal (ats_ptr_type, tmp10) ;

__ats_lab_ATS_2d0_2e2_2e12_2libc_2SATS_2gmp_2esats__tostring_mpz:
tmp10 = atslib_mpz_get_str (10, arg0) ;
tmp9 = ats_castfn_mac(ats_ptr_type, tmp10) ;
return (tmp9) ;
} /* end of [ATS_2d0_2e2_2e12_2libc_2SATS_2gmp_2esats__tostring_mpz] */

コード例 #26

ファイル: pats_counter_dats.c プロジェクト: Charon-Shi/ats-lang.github.io

ats_ptr_type
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__tostring_prefix_count (ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp11) ;
ATSlocal (ats_ptr_type, tmp12) ;

__ats_lab__2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__tostring_prefix_count:
tmp12 = atspre_tostringf (ATSstrcst("%s%i"), arg0, arg1) ;
tmp11 = ats_castfn_mac(ats_ptr_type, tmp12) ;
return (tmp11) ;
} /* end of [_2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__tostring_prefix_count] */

コード例 #27

ファイル: pats_trans3_env_svar_dats.c プロジェクト: ats-lang/ats-lang.github.io

ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__the_s2varbindmap_insert (ats_ptr_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp45) ;
ATSlocal (ats_ptr_type, tmp46) ;
ATSlocal (ats_ptr_type, tmp47) ;
ATSlocal (ats_ptr_type, tmp48) ;
ATSlocal (ats_ptr_type, tmp49) ;

__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__the_s2varbindmap_insert:
tmp46 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp5), atslab_1) ;
tmp48 = ats_ptrget_mac(ats_ptr_type, tmp46) ;
tmp47 = ATS_MALLOC(sizeof(anairiats_sum_1)) ;
ats_selptrset_mac(anairiats_sum_1, tmp47, atslab_0, arg0) ;
ats_selptrset_mac(anairiats_sum_1, tmp47, atslab_1, tmp48) ;
ats_ptrget_mac(ats_ptr_type, tmp46) = tmp47 ;
tmp49 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, statmp0), atslab_1) ;
/* tmp45 = */ _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_staexp2_2esats__s2varbindmap_insert (tmp49, arg0, arg1) ;
return /* (tmp45) */ ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__the_s2varbindmap_insert] */

コード例 #28

ファイル: _2fscratch_2fopt_2fats_2d0_2e2_2e9_2fbootstrap0_2fprelude_2fDATS_2fmatrix0_2edats.c プロジェクト: wdblair/ats-anairiats-bootstrap

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

コード例 #29

ファイル: DATS_hashtable_linprb_dats.c プロジェクト: ats-lang/ats-lang.github.io

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

コード例 #30

ファイル: _2fscratch_2fopt_2fats_2d0_2e2_2e9_2fbootstrap0_2fprelude_2fDATS_2fmatrix0_2edats.c プロジェクト: wdblair/ats-anairiats-bootstrap

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