/* ** ** The C code is generated by [ATS/Postiats-0-3-10] ** The starting compilation time is: 2018-4-15: 21h:51m ** */ /* ** include runtime header files */ #ifndef _ATS_CCOMP_HEADER_NONE_ #include "pats_ccomp_config.h" #include "pats_ccomp_basics.h" #include "pats_ccomp_typedefs.h" #include "pats_ccomp_instrset.h" #include "pats_ccomp_memalloc.h" #ifndef _ATS_CCOMP_EXCEPTION_NONE_ #include "pats_ccomp_memalloca.h" #include "pats_ccomp_exception.h" #endif // end of [_ATS_CCOMP_EXCEPTION_NONE_] #endif /* _ATS_CCOMP_HEADER_NONE_ */ /* ** include prelude cats files */ #ifndef _ATS_CCOMP_PRELUDE_NONE_ // #include "prelude/CATS/basics.cats" #include "prelude/CATS/integer.cats" #include "prelude/CATS/pointer.cats" #include "prelude/CATS/integer_long.cats" #include "prelude/CATS/integer_size.cats" #include "prelude/CATS/integer_short.cats" #include "prelude/CATS/bool.cats" #include "prelude/CATS/char.cats" #include "prelude/CATS/float.cats" #include "prelude/CATS/integer_ptr.cats" #include "prelude/CATS/integer_fixed.cats" #include "prelude/CATS/memory.cats" #include "prelude/CATS/string.cats" #include "prelude/CATS/strptr.cats" // #include "prelude/CATS/fprintf.cats" // #include "prelude/CATS/filebas.cats" // #include "prelude/CATS/list.cats" #include "prelude/CATS/option.cats" #include "prelude/CATS/array.cats" #include "prelude/CATS/arrayptr.cats" #include "prelude/CATS/arrayref.cats" #include "prelude/CATS/matrix.cats" #include "prelude/CATS/matrixptr.cats" // #endif /* _ATS_CCOMP_PRELUDE_NONE_ */ /* ** for user-supplied prelude */ #ifdef _ATS_CCOMP_PRELUDE_USER_ // #include _ATS_CCOMP_PRELUDE_USER_ // #endif /* _ATS_CCOMP_PRELUDE_USER_ */ /* ** for user2-supplied prelude */ #ifdef _ATS_CCOMP_PRELUDE_USER2_ // #include _ATS_CCOMP_PRELUDE_USER2_ // #endif /* _ATS_CCOMP_PRELUDE_USER2_ */ /* staload-prologues(beg) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/basics.dats: 1636(line=50, offs=1) -- 1675(line=50, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 1596(line=49, offs=1) -- 1635(line=49, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats: 1533(line=44, offs=1) -- 1572(line=44, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer_long.dats: 1602(line=49, offs=1) -- 1641(line=49, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer_size.dats: 1597(line=49, offs=1) -- 1636(line=49, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer_short.dats: 1603(line=49, offs=1) -- 1642(line=49, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/char.dats: 1610(line=48, offs=1) -- 1649(line=48, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/float.dats: 1636(line=50, offs=1) -- 1675(line=50, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/string.dats: 1631(line=50, offs=1) -- 1670(line=50, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/strptr.dats: 1629(line=50, offs=1) -- 1668(line=50, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/strptr.dats: 1691(line=54, offs=1) -- 1738(line=54, offs=48) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 1596(line=49, offs=1) -- 1635(line=49, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer_ptr.dats: 1601(line=49, offs=1) -- 1640(line=49, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer_fixed.dats: 1603(line=49, offs=1) -- 1642(line=49, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/memory.dats: 1410(line=38, offs=1) -- 1449(line=39, offs=32) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/filebas.dats: 1607(line=49, offs=1) -- 1646(line=50, offs=32) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/filebas.dats: 1669(line=54, offs=1) -- 1715(line=55, offs=39) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 1596(line=49, offs=1) -- 1635(line=49, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/filebas.dats: 1738(line=59, offs=1) -- 1783(line=60, offs=38) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/libats/libc/SATS/stdio.sats: 1390(line=36, offs=1) -- 1437(line=39, offs=3) */ #include \ "libats/libc/CATS/stdio.cats" /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/libats/libc/SATS/stdio.sats: 1950(line=69, offs=1) -- 1999(line=71, offs=34) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/libats/libc/SATS/sys/types.sats: 1390(line=36, offs=1) -- 1441(line=39, offs=3) */ #include \ "libats/libc/CATS/sys/types.cats" /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/filebas.dats: 1865(line=66, offs=1) -- 1912(line=66, offs=48) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/libats/libc/SATS/sys/stat.sats: 1390(line=36, offs=1) -- 1440(line=39, offs=3) */ #include \ "libats/libc/CATS/sys/stat.cats" /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/libats/libc/SATS/sys/stat.sats: 1756(line=58, offs=1) -- 1805(line=60, offs=34) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/libats/libc/SATS/sys/types.sats: 1390(line=36, offs=1) -- 1441(line=39, offs=3) */ #include \ "libats/libc/CATS/sys/types.cats" /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/filebas.dats: 15937(line=927, offs=1) -- 15974(line=928, offs=30) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/libats/libc/SATS/stdio.sats: 1390(line=36, offs=1) -- 1437(line=39, offs=3) */ #include \ "libats/libc/CATS/stdio.cats" /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/libats/libc/SATS/stdio.sats: 1950(line=69, offs=1) -- 1999(line=71, offs=34) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/libats/libc/SATS/sys/types.sats: 1390(line=36, offs=1) -- 1441(line=39, offs=3) */ #include \ "libats/libc/CATS/sys/types.cats" /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/list.dats: 1529(line=44, offs=1) -- 1568(line=45, offs=32) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/list.dats: 1569(line=46, offs=1) -- 1615(line=47, offs=39) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/unsafe.dats: 1532(line=44, offs=1) -- 1566(line=44, offs=35) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/list_vt.dats: 1538(line=44, offs=1) -- 1577(line=45, offs=32) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/list_vt.dats: 1578(line=46, offs=1) -- 1624(line=47, offs=39) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/unsafe.dats: 1532(line=44, offs=1) -- 1566(line=44, offs=35) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/SHARE/list_vt_mergesort.dats: 1546(line=44, offs=1) -- 1585(line=44, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/SHARE/list_vt_quicksort.dats: 1546(line=44, offs=1) -- 1585(line=44, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/array.dats: 1528(line=44, offs=1) -- 1567(line=45, offs=32) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/SHARE/array_bsearch.dats: 1531(line=44, offs=1) -- 1570(line=44, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/SHARE/array_quicksort.dats: 1531(line=44, offs=1) -- 1570(line=44, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/arrayptr.dats: 1532(line=44, offs=1) -- 1571(line=44, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/arrayref.dats: 1532(line=44, offs=1) -- 1571(line=44, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/matrix.dats: 1535(line=44, offs=1) -- 1574(line=44, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/matrixptr.dats: 1538(line=44, offs=1) -- 1577(line=44, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/matrixref.dats: 1538(line=44, offs=1) -- 1577(line=44, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/stream.dats: 1523(line=44, offs=1) -- 1562(line=44, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/stream_vt.dats: 1523(line=44, offs=1) -- 1562(line=44, offs=40) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/tostring.dats: 1528(line=44, offs=1) -- 1567(line=45, offs=32) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/unsafe.dats: 1532(line=44, offs=1) -- 1566(line=44, offs=35) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/checkast.dats: 1531(line=44, offs=1) -- 1570(line=45, offs=32) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/contrib/atscntrb/atscntrb-hx-libgmp/SATS/gmp.sats: 1178(line=38, offs=1) -- 1236(line=43, offs=3) */ // #include \ "atscntrb-hx-libgmp/CATS/gmp.cats" // /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/SATS/intinf_t.sats: 1805(line=48, offs=1) -- 1828(line=48, offs=24) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/SATS/intinf_vt.sats: 1806(line=48, offs=1) -- 1829(line=48, offs=24) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_t.dats: 1660(line=37, offs=1) -- 1700(line=38, offs=27) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_t.dats: 1727(line=42, offs=1) -- 1759(line=42, offs=33) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_t.dats: 1833(line=49, offs=1) -- 1867(line=49, offs=35) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/SATS/intinf_t.sats: 1805(line=48, offs=1) -- 1828(line=48, offs=24) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_t.dats: 1868(line=50, offs=1) -- 1908(line=50, offs=41) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/SATS/intinf_vt.sats: 1806(line=48, offs=1) -- 1829(line=48, offs=24) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 1656(line=37, offs=1) -- 1696(line=39, offs=27) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/mydepies.hats: 208(line=18, offs=1) -- 248(line=19, offs=32) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/contrib/atscntrb/atscntrb-hx-libgmp/SATS/gmp.sats: 1178(line=38, offs=1) -- 1236(line=43, offs=3) */ // #include \ "atscntrb-hx-libgmp/CATS/gmp.cats" // /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 1813(line=49, offs=1) -- 1845(line=49, offs=33) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 1846(line=50, offs=1) -- 1881(line=50, offs=36) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/SATS/intinf_vt.sats: 1806(line=48, offs=1) -- 1829(line=48, offs=24) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/gintinf_t.dats: 1657(line=37, offs=1) -- 1689(line=37, offs=33) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/gintinf_t.dats: 1690(line=38, offs=1) -- 1724(line=38, offs=35) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/SATS/intinf_t.sats: 1805(line=48, offs=1) -- 1828(line=48, offs=24) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/SATS/intinf_vt.sats: 1806(line=48, offs=1) -- 1829(line=48, offs=24) */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/libats/libc/SATS/math.sats: 1380(line=35, offs=1) -- 1426(line=38, offs=3) */ #include \ "libats/libc/CATS/math.cats" /* /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/.atspkg/contrib/atscntrb-hx-intinf/SATS/intinf_vt.sats: 1806(line=48, offs=1) -- 1829(line=48, offs=24) */ /* staload-prologues(end) */ /* /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 172(line=8, offs=1) -- 311(line=12, offs=3) */ ATSextcode_beg() #define ATS_MEMALLOC_LIBC #include "ccomp/runtime/pats_ccomp_memalloc_libc.h" #include "ccomp/runtime/pats_ccomp_runtime_memalloc.c" ATSextcode_end() /* typedefs-for-tyrecs-and-tysums(beg) */ /* typedefs-for-tyrecs-and-tysums(end) */ /* dynconlst-declaration(beg) */ /* dynconlst-declaration(end) */ /* dyncstlst-declaration(beg) */ ATSdyncst_mac(atspre_ptr_alloc_tsz) ATSdyncst_mac(atspre_g0int2uint_int_uint) ATSdyncst_mac(atspre_g1int_add_int) ATSdyncst_mac(atscntrb_gmp_mpz_init) ATSdyncst_mac(atscntrb_gmp_mpz_fib_uint) ATSdyncst_mac(atspre_g1int2int_int_int) ATSdyncst_mac(atspre_g1int_gt_int) ATSdyncst_mac(atspre_g1int_half_int) ATSdyncst_mac(atspre_g0int_mod_int) ATSdyncst_mac(atspre_g0int2int_int_int) ATSdyncst_mac(atspre_g0int_eq_int) ATSdyncst_mac(atspre_g0int_mul_int) ATSdyncst_mac(atspre_g1int_eq_int) ATSdyncst_mac(atscntrb_gmp_mpz_cmp_int) ATSdyncst_mac(atspre_g0int_lt_int) ATSdyncst_mac(atspre_g1int_neg_int) ATSdyncst_mac(atspre_g0int_gt_int) ATSdyncst_mac(atscntrb_gmp_mpz_abs2) ATSdyncst_mac(atscntrb_gmp_mpz_mul2_mpz) ATSdyncst_mac(atscntrb_gmp_mpz_clear) ATSdyncst_mac(atspre_ptr_free) ATSdyncst_mac(atscntrb_gmp_mpz_init_set_int) ATSdyncst_mac(atspre_g0float2int_float_int) ATSdyncst_mac(atslib_libats_libc_sqrt_float) ATSdyncst_mac(atspre_g0int2float_int_float) ATSdyncst_mac(atspre_g1int_lt_int) /* dyncstlst-declaration(end) */ /* dynvalist-implementation(beg) */ /* dynvalist-implementation(end) */ /* exnconlst-declaration(beg) */ #ifndef _ATS_CCOMP_EXCEPTION_NONE_ ATSextern() atsvoid_t0ype the_atsexncon_initize ( atstype_exnconptr d2c, atstype_string exnmsg ) ; #endif // end of [_ATS_CCOMP_EXCEPTION_NONE_] /* exnconlst-declaration(end) */ /* extypelst-declaration(beg) */ /* extypelst-declaration(end) */ /* assumelst-declaration(beg) */ #ifndef _ATS_CCOMP_ASSUME_CHECK_NONE_ #endif // #ifndef(_ATS_CCOMP_ASSUME_CHECK_NONE_) /* assumelst-declaration(end) */ ATSstatic() atstkind_t0ype(atstype_int) witness_0(atstkind_t0ype(atstype_int)) ; ATSstatic() atstkind_type(atstype_ptrk) fib_gmp_1(atstkind_t0ype(atstype_int)) ; #if(0) #if(0) ATSextern() atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr_alloc__2() ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr_alloc__2__1() ; ATSstatic() atstkind_t0ype(atstype_int) exp_6(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #if(0) #if(0) ATSextern() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1int_int__7(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1int_int__7__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #if(0) #if(0) ATSextern() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g0int_int__13(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g0int_int__13__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; ATSstatic() atstkind_type(atstype_ptrk) big_exp_18(atstkind_type(atstype_ptrk), atstkind_t0ype(atstype_int)) ; #if(0) #if(0) ATSextern() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g1int_int__19(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g1int_int__19__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #if(0) #if(0) ATSextern() atstkind_t0ype(atstype_int) ATSCNTRB_056_HX_056_intinf_vt__compare_intinf_int__22(atsrefarg0_type(atstkind_type(atstype_ptrk)), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atstkind_t0ype(atstype_int) ATSCNTRB_056_HX_056_intinf_vt__compare_intinf_int__22__1(atsrefarg0_type(atstkind_type(atstype_ptrk)), atstkind_t0ype(atstype_int)) ; #if(0) #if(0) ATSextern() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g0int_int__24(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g0int_int__24__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #if(0) #if(0) ATSextern() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g0int_int__28(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g0int_int__28__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1int_int__7__2(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g0int_int__13__2(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #if(0) #if(0) ATSextern() atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__abs_intinf1__33(atsrefarg0_type(atstkind_type(atstype_ptrk))) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__abs_intinf1__33__1(atsrefarg0_type(atstkind_type(atstype_ptrk))) ; ATSstatic() atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr_alloc__2__2() ; #if(0) #if(0) ATSextern() atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__36(atstkind_type(atstype_ptrk), atsrefarg0_type(atstkind_type(atstype_ptrk))) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__36__1(atstkind_type(atstype_ptrk), atsrefarg0_type(atstkind_type(atstype_ptrk))) ; #if(0) #if(0) ATSextern() atsvoid_t0ype ATSCNTRB_056_HX_056_intinf_vt__intinf_free__38(atstkind_type(atstype_ptrk)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atsvoid_t0ype ATSCNTRB_056_HX_056_intinf_vt__intinf_free__38__1(atstkind_type(atstype_ptrk)) ; ATSstatic() atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__abs_intinf1__33__2(atsrefarg0_type(atstkind_type(atstype_ptrk))) ; ATSstatic() atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr_alloc__2__3() ; ATSstatic() atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__36__2(atstkind_type(atstype_ptrk), atsrefarg0_type(atstkind_type(atstype_ptrk))) ; ATSstatic() atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__36__3(atstkind_type(atstype_ptrk), atsrefarg0_type(atstkind_type(atstype_ptrk))) ; ATSstatic() atsvoid_t0ype ATSCNTRB_056_HX_056_intinf_vt__intinf_free__38__2(atstkind_type(atstype_ptrk)) ; ATSstatic() atsvoid_t0ype ATSCNTRB_056_HX_056_intinf_vt__intinf_free__38__3(atstkind_type(atstype_ptrk)) ; #if(0) #if(0) ATSextern() atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__46(atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__46__1(atstkind_t0ype(atstype_int)) ; ATSstatic() atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr_alloc__2__4() ; ATSstatic() atstkind_t0ype(atstype_int) sqrt_int_49(atstkind_t0ype(atstype_int)) ; ATSstatic() atstkind_t0ype(atstype_bool) is_prime_52(atstkind_t0ype(atstype_int)) ; ATSstatic() atstkind_t0ype(atstype_bool) loop_53(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #if(0) #if(0) ATSextern() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g1int_int__54(atstkind_t0ype(atstyvar_type(tk)), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #endif // end of [TEMPLATE] ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g1int_int__54__1(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g0int_int__13__3(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g1int_int__19__2(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; ATSstatic() atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g0int_int__13__4(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #if(0) ATSextern() atstkind_t0ype(atstype_bool) is_prime_ats(atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] #if(0) ATSextern() atstkind_t0ype(atstype_int) exp_ats(atstkind_t0ype(atstype_int), atstkind_t0ype(atstype_int)) ; #endif // end of [QUALIFIED] /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 831(line=21, offs=4) -- 882(line=22, offs=14) */ /* local: global: witness_0$0(level=0) local: global: */ ATSstatic() atstkind_t0ype(atstype_int) witness_0(atstkind_t0ype(atstype_int) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret0, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 831(line=21, offs=4) -- 882(line=22, offs=14) */ ATSINSflab(__patsflab_witness_0): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 871(line=22, offs=3) -- 881(line=22, offs=13) */ ATSINSmove(tmpret0, ATSPMVcastfn(cast, atstkind_t0ype(atstype_int), arg0)) ; ATSfunbody_end() ATSreturn(tmpret0) ; } /* end of [witness_0] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 947(line=25, offs=5) -- 1147(line=33, offs=6) */ /* local: global: fib_gmp_1$0(level=0) local: global: */ ATSstatic() atstkind_type(atstype_ptrk) fib_gmp_1(atstkind_t0ype(atstype_int) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret1, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmpref2, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmpref5, atstkind_t0ype(atstype_uint)) ; ATStmpdec(tmp6, atstkind_t0ype(atstype_int)) ; // ATStmpdec_void(tmp7) ; // ATStmpdec_void(tmp8) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 947(line=25, offs=5) -- 1147(line=33, offs=6) */ ATSINSflab(__patsflab_fib_gmp_1): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 983(line=26, offs=3) -- 1147(line=33, offs=6) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 995(line=27, offs=9) -- 996(line=27, offs=10) */ /* ATSINStmpdec(tmpref2) ; */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 999(line=27, offs=13) -- 1010(line=27, offs=24) */ ATSINSmove(tmpref2, ATSLIB_056_prelude__ptr_alloc__2__1()) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1019(line=28, offs=9) -- 1020(line=28, offs=10) */ /* ATSINStmpdec(tmpref5) ; */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1034(line=28, offs=24) -- 1039(line=28, offs=29) */ ATSINSmove(tmp6, atspre_g1int_add_int(arg0, ATSPMVi0nt(1))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1023(line=28, offs=13) -- 1040(line=28, offs=30) */ ATSINSmove(tmpref5, atspre_g0int2uint_int_uint(tmp6)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1053(line=29, offs=13) -- 1074(line=29, offs=34) */ ATSINSmove_void(tmp7, atscntrb_gmp_mpz_init(ATSPMVrefarg1(ATSSELrecsin(tmpref2, atstkind_type(atstype_ptrk), atslab__2)))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1087(line=30, offs=13) -- 1115(line=30, offs=41) */ ATSINSmove_void(tmp8, atscntrb_gmp_mpz_fib_uint(ATSPMVrefarg1(ATSSELrecsin(tmpref2, atstkind_type(atstype_ptrk), atslab__2)), tmpref5)) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1125(line=32, offs=5) -- 1140(line=32, offs=20) */ ATSINSmove(tmpret1, ATSPMVcastfn(castvwtp0, atstkind_type(atstype_ptrk), tmpref2)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 983(line=26, offs=3) -- 1147(line=33, offs=6) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret1) ; } /* end of [fib_gmp_1] */ #if(0) /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats: 3717(line=184, offs=10) -- 3749(line=184, offs=42) */ /* local: global: ptr_alloc$2$0(level=0) local: global: */ ATSextern() /* imparg = a(4735) tmparg = S2Evar(a(4735)) tmpsub = None() */ atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr_alloc__2() { /* tmpvardeclst(beg) */ ATStmpdec(tmpret3, atstkind_type(atstype_ptrk)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3708(line=184, offs=1) -- 3749(line=184, offs=42) */ ATSINSflab(__patsflab_ptr_alloc): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3722(line=184, offs=15) -- 3749(line=184, offs=42) */ ATSINSmove(tmpret3, atspre_ptr_alloc_tsz(ATSPMVsizeof(atstyvar_type(a)))) ; ATSfunbody_end() ATSreturn(tmpret3) ; } /* end of [ATSLIB_056_prelude__ptr_alloc__2] */ #endif // end of [TEMPLATE] /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats: 3717(line=184, offs=10) -- 3749(line=184, offs=42) */ /* local: global: ptr_alloc$2$1(level=1) local: global: */ ATSstatic() /* imparg = a(4735) tmparg = S2Evar(a(4735)) tmpsub = Some(a(4735) -> S2EVar(5561)) */ atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr_alloc__2__1() { /* tmpvardeclst(beg) */ ATStmpdec(tmpret3__1, atstkind_type(atstype_ptrk)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3708(line=184, offs=1) -- 3749(line=184, offs=42) */ ATSINSflab(__patsflab_ptr_alloc): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3722(line=184, offs=15) -- 3749(line=184, offs=42) */ ATSINSmove(tmpret3__1, atspre_ptr_alloc_tsz(ATSPMVsizeof(atscntrb_gmp_mpz))) ; ATSfunbody_end() ATSreturn(tmpret3__1) ; } /* end of [ATSLIB_056_prelude__ptr_alloc__2__1] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1324(line=38, offs=5) -- 1763(line=59, offs=10) */ /* local: exp_6$0(level=0) global: exp_6$0(level=0) local: global: */ ATSstatic() atstkind_t0ype(atstype_int) exp_6(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(apy0, atstkind_t0ype(atstype_int)) ; ATStmpdec(apy1, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmpret9, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp10, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmpref15, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmpref16, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp17, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp22, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmpref23, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp24, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp25, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1324(line=38, offs=5) -- 1763(line=59, offs=10) */ ATSINSflab(__patsflab_exp_6): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1374(line=39, offs=3) -- 1763(line=59, offs=10) */ ATScaseof_beg() /* ** ibranchlst-beg */ ATSbranch_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1391(line=40, offs=7) -- 1392(line=40, offs=8) */ ATSINSlab(__atstmplab0): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1343(line=38, offs=24) -- 1344(line=38, offs=25) */ ATSifnthen(ATSCKpat_int(arg0, ATSPMVint(0))) { ATSINSgoto(__atstmplab2) ; } ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1392(line=40, offs=8) -- 1392(line=40, offs=8) */ ATSINSlab(__atstmplab1): /* emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0) */ /* ibranch-mbody: */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1396(line=40, offs=12) -- 1397(line=40, offs=13) */ ATSINSmove(tmpret9, ATSPMVi0nt(0)) ; ATSbranch_end() ATSbranch_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1405(line=41, offs=8) -- 1405(line=41, offs=8) */ ATSINSlab(__atstmplab2): /* emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0) */ /* ibranch-mbody: */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1434(line=43, offs=12) -- 1439(line=43, offs=17) */ ATSINSmove(tmp10, ATSLIB_056_prelude__gt_g1int_int__7__1(arg1, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1431(line=43, offs=9) -- 1753(line=58, offs=12) */ ATSif( tmp10 ) ATSthen() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1455(line=44, offs=11) -- 1728(line=56, offs=14) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1475(line=45, offs=17) -- 1477(line=45, offs=19) */ /* ATSINStmpdec(tmpref15) ; */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1480(line=45, offs=22) -- 1486(line=45, offs=28) */ ATSINSmove(tmpref15, atspre_g1int_half_int(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1504(line=46, offs=17) -- 1506(line=46, offs=19) */ /* ATSINStmpdec(tmpref16) ; */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1509(line=46, offs=22) -- 1514(line=46, offs=27) */ ATSINSmove(tmpref16, atspre_g0int_mod_int(arg1, ATSPMVi0nt(2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1543(line=48, offs=16) -- 1549(line=48, offs=22) */ ATSINSmove(tmp17, ATSLIB_056_prelude__eq_g0int_int__13__1(tmpref16, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1540(line=48, offs=13) -- 1714(line=55, offs=18) */ ATSif( tmp17 ) ATSthen() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1573(line=49, offs=19) -- 1578(line=49, offs=24) */ ATSINSmove(tmp22, atspre_g0int_mul_int(arg0, arg0)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1569(line=49, offs=15) -- 1583(line=49, offs=29) */ ATStailcal_beg() ATSINSmove_tlcal(apy0, tmp22) ; ATSINSmove_tlcal(apy1, tmpref15) ; ATSINSargmove_tlcal(arg0, apy0) ; ATSINSargmove_tlcal(arg1, apy1) ; ATSINSfgoto(__patsflab_exp_6) ; ATStailcal_end() } ATSelse() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1615(line=51, offs=15) -- 1714(line=55, offs=18) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1639(line=52, offs=21) -- 1640(line=52, offs=22) */ /* ATSINStmpdec(tmpref23) ; */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1651(line=52, offs=33) -- 1656(line=52, offs=38) */ ATSINSmove(tmp25, atspre_g0int_mul_int(arg0, arg0)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1647(line=52, offs=29) -- 1661(line=52, offs=43) */ ATSINSmove(tmp24, exp_6(tmp25, tmpref15)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1643(line=52, offs=25) -- 1661(line=52, offs=43) */ ATSINSmove(tmpref23, atspre_g0int_mul_int(arg0, tmp24)) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1695(line=54, offs=17) -- 1696(line=54, offs=18) */ ATSINSmove(tmpret9, tmpref23) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1615(line=51, offs=15) -- 1714(line=55, offs=18) */ /* INSletpop() */ } /* ATSendif */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1455(line=44, offs=11) -- 1728(line=56, offs=14) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1752(line=58, offs=11) -- 1753(line=58, offs=12) */ ATSINSmove(tmpret9, ATSPMVi0nt(1)) ; } /* ATSendif */ ATSbranch_end() /* ** ibranchlst-end */ ATScaseof_end() ATSfunbody_end() ATSreturn(tmpret9) ; } /* end of [exp_6] */ #if(0) /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 12679(line=659, offs=3) -- 12718(line=659, offs=42) */ /* local: global: gt_g1int_int$7$0(level=0) local: global: */ ATSextern() /* imparg = tk(4632) tmparg = S2Evar(tk(4632)) tmpsub = None() */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1int_int__7(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret11, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp12, atstkind_t0ype(atstyvar_type(tk))) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12664(line=658, offs=1) -- 12718(line=659, offs=42) */ ATSINSflab(__patsflab_gt_g1int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12705(line=659, offs=29) -- 12716(line=659, offs=40) */ ATSINSmove(tmp12, PMVtmpltcst(g1int2int)(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12688(line=659, offs=12) -- 12718(line=659, offs=42) */ ATSINSmove(tmpret11, PMVtmpltcst(g1int_gt)(arg0, tmp12)) ; ATSfunbody_end() ATSreturn(tmpret11) ; } /* end of [ATSLIB_056_prelude__gt_g1int_int__7] */ #endif // end of [TEMPLATE] /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 12679(line=659, offs=3) -- 12718(line=659, offs=42) */ /* local: global: gt_g1int_int$7$1(level=1) local: global: */ ATSstatic() /* imparg = tk(4632) tmparg = S2Evar(tk(4632)) tmpsub = Some(tk(4632) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1int_int__7__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret11__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp12__1, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12664(line=658, offs=1) -- 12718(line=659, offs=42) */ ATSINSflab(__patsflab_gt_g1int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12705(line=659, offs=29) -- 12716(line=659, offs=40) */ ATSINSmove(tmp12__1, atspre_g1int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12688(line=659, offs=12) -- 12718(line=659, offs=42) */ ATSINSmove(tmpret11__1, atspre_g1int_gt_int(arg0, tmp12__1)) ; ATSfunbody_end() ATSreturn(tmpret11__1) ; } /* end of [ATSLIB_056_prelude__gt_g1int_int__7__1] */ #if(0) /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 12259(line=635, offs=3) -- 12298(line=635, offs=42) */ /* local: global: eq_g0int_int$13$0(level=0) local: global: */ ATSextern() /* imparg = tk(4623) tmparg = S2Evar(tk(4623)) tmpsub = None() */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g0int_int__13(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret18, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp19, atstkind_t0ype(atstyvar_type(tk))) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12244(line=634, offs=1) -- 12298(line=635, offs=42) */ ATSINSflab(__patsflab_eq_g0int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12285(line=635, offs=29) -- 12296(line=635, offs=40) */ ATSINSmove(tmp19, PMVtmpltcst(g0int2int)(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12268(line=635, offs=12) -- 12298(line=635, offs=42) */ ATSINSmove(tmpret18, PMVtmpltcst(g0int_eq)(arg0, tmp19)) ; ATSfunbody_end() ATSreturn(tmpret18) ; } /* end of [ATSLIB_056_prelude__eq_g0int_int__13] */ #endif // end of [TEMPLATE] /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 12259(line=635, offs=3) -- 12298(line=635, offs=42) */ /* local: global: eq_g0int_int$13$1(level=1) local: global: */ ATSstatic() /* imparg = tk(4623) tmparg = S2Evar(tk(4623)) tmpsub = Some(tk(4623) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g0int_int__13__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret18__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp19__1, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12244(line=634, offs=1) -- 12298(line=635, offs=42) */ ATSINSflab(__patsflab_eq_g0int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12285(line=635, offs=29) -- 12296(line=635, offs=40) */ ATSINSmove(tmp19__1, atspre_g0int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12268(line=635, offs=12) -- 12298(line=635, offs=42) */ ATSINSmove(tmpret18__1, atspre_g0int_eq_int(arg0, tmp19__1)) ; ATSfunbody_end() ATSreturn(tmpret18__1) ; } /* end of [ATSLIB_056_prelude__eq_g0int_int__13__1] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1837(line=62, offs=5) -- 2598(line=92, offs=39) */ /* local: big_exp_18$0(level=0) global: big_exp_18$0(level=0) local: global: */ ATSstatic() atstkind_type(atstype_ptrk) big_exp_18(atstkind_type(atstype_ptrk) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(apy0, atstkind_type(atstype_ptrk)) ; ATStmpdec(apy1, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmpret26, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp27, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp32, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp51, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmpref54, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmpref55, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp56, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmpref59, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmpref69, atstkind_type(atstype_ptrk)) ; // ATStmpdec_void(tmp74) ; ATStmpdec(tmpref79, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmpref85, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmpref88, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmpref89, atstkind_type(atstype_ptrk)) ; // ATStmpdec_void(tmp92) ; // ATStmpdec_void(tmp95) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1837(line=62, offs=5) -- 2598(line=92, offs=39) */ ATSINSflab(__patsflab_big_exp_18): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1900(line=63, offs=6) -- 1924(line=63, offs=30) */ ATSINSmove(tmp32, ATSCNTRB_056_HX_056_intinf_vt__compare_intinf_int__22__1(ATSPMVrefarg0(arg0), ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1900(line=63, offs=6) -- 1928(line=63, offs=34) */ ATSINSmove(tmp27, ATSLIB_056_prelude__eq_g1int_int__19__1(tmp32, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1897(line=63, offs=3) -- 2598(line=92, offs=39) */ ATSif( tmp27 ) ATSthen() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1938(line=64, offs=5) -- 1939(line=64, offs=6) */ ATSINSmove(tmpret26, arg0) ; } ATSelse() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1954(line=66, offs=8) -- 1959(line=66, offs=13) */ ATSINSmove(tmp51, ATSLIB_056_prelude__gt_g1int_int__7__2(arg1, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1951(line=66, offs=5) -- 2598(line=92, offs=39) */ ATSif( tmp51 ) ATSthen() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1971(line=67, offs=7) -- 2550(line=90, offs=10) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1987(line=68, offs=13) -- 1989(line=68, offs=15) */ /* ATSINStmpdec(tmpref54) ; */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1992(line=68, offs=18) -- 1998(line=68, offs=24) */ ATSINSmove(tmpref54, atspre_g1int_half_int(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2012(line=69, offs=13) -- 2014(line=69, offs=15) */ /* ATSINStmpdec(tmpref55) ; */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2017(line=69, offs=18) -- 2022(line=69, offs=23) */ ATSINSmove(tmpref55, atspre_g0int_mod_int(arg1, ATSPMVi0nt(2))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2043(line=71, offs=12) -- 2049(line=71, offs=18) */ ATSINSmove(tmp56, ATSLIB_056_prelude__eq_g0int_int__13__2(tmpref55, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2040(line=71, offs=9) -- 2540(line=89, offs=14) */ ATSif( tmp56 ) ATSthen() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2065(line=72, offs=11) -- 2269(line=79, offs=14) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2114(line=74, offs=17) -- 2116(line=74, offs=19) */ /* ATSINStmpdec(tmpref59) ; */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2119(line=74, offs=22) -- 2132(line=74, offs=35) */ ATSINSmove(tmpref59, ATSCNTRB_056_HX_056_intinf_vt__abs_intinf1__33__1(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2150(line=75, offs=17) -- 2151(line=75, offs=18) */ /* ATSINStmpdec(tmpref69) ; */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2154(line=75, offs=21) -- 2180(line=75, offs=47) */ ATSINSmove(tmpref69, ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__36__1(tmpref59, ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2201(line=76, offs=21) -- 2214(line=76, offs=34) */ ATSINSmove_void(tmp74, ATSCNTRB_056_HX_056_intinf_vt__intinf_free__38__1(arg0)) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2241(line=78, offs=13) -- 2255(line=78, offs=27) */ ATStailcal_beg() ATSINSmove_tlcal(apy0, tmpref69) ; ATSINSmove_tlcal(apy1, tmpref54) ; ATSINSargmove_tlcal(arg0, apy0) ; ATSINSargmove_tlcal(arg1, apy1) ; ATSINSfgoto(__patsflab_big_exp_18) ; ATStailcal_end() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2065(line=72, offs=11) -- 2269(line=79, offs=14) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2293(line=81, offs=11) -- 2540(line=89, offs=14) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2313(line=82, offs=17) -- 2315(line=82, offs=19) */ /* ATSINStmpdec(tmpref79) ; */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2318(line=82, offs=22) -- 2331(line=82, offs=35) */ ATSINSmove(tmpref79, ATSCNTRB_056_HX_056_intinf_vt__abs_intinf1__33__2(ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2349(line=83, offs=17) -- 2351(line=83, offs=19) */ /* ATSINStmpdec(tmpref85) ; */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2354(line=83, offs=22) -- 2380(line=83, offs=48) */ ATSINSmove(tmpref85, ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__36__2(tmpref79, ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2397(line=84, offs=17) -- 2399(line=84, offs=19) */ /* ATSINStmpdec(tmpref88) ; */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2402(line=84, offs=22) -- 2417(line=84, offs=37) */ ATSINSmove(tmpref88, big_exp_18(tmpref85, tmpref54)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2434(line=85, offs=17) -- 2435(line=85, offs=18) */ /* ATSINStmpdec(tmpref89) ; */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2438(line=85, offs=21) -- 2464(line=85, offs=47) */ ATSINSmove(tmpref89, ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__36__3(tmpref88, ATSPMVrefarg0(arg0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2485(line=86, offs=21) -- 2498(line=86, offs=34) */ ATSINSmove_void(tmp92, ATSCNTRB_056_HX_056_intinf_vt__intinf_free__38__2(arg0)) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2525(line=88, offs=13) -- 2526(line=88, offs=14) */ ATSINSmove(tmpret26, tmpref89) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2293(line=81, offs=11) -- 2540(line=89, offs=14) */ /* INSletpop() */ } /* ATSendif */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 1971(line=67, offs=7) -- 2550(line=90, offs=10) */ /* INSletpop() */ } ATSelse() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2567(line=92, offs=8) -- 2580(line=92, offs=21) */ ATSINSmove_void(tmp95, ATSCNTRB_056_HX_056_intinf_vt__intinf_free__38__3(arg0)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2584(line=92, offs=25) -- 2597(line=92, offs=38) */ ATSINSmove(tmpret26, ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__46__1(ATSPMVi0nt(1))) ; } /* ATSendif */ } /* ATSendif */ ATSfunbody_end() ATSreturn(tmpret26) ; } /* end of [big_exp_18] */ #if(0) /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 12838(line=668, offs=3) -- 12877(line=668, offs=42) */ /* local: global: eq_g1int_int$19$0(level=0) local: global: */ ATSextern() /* imparg = tk(4638) tmparg = S2Evar(tk(4638)) tmpsub = None() */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g1int_int__19(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret28, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp29, atstkind_t0ype(atstyvar_type(tk))) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12823(line=667, offs=1) -- 12877(line=668, offs=42) */ ATSINSflab(__patsflab_eq_g1int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12864(line=668, offs=29) -- 12875(line=668, offs=40) */ ATSINSmove(tmp29, PMVtmpltcst(g1int2int)(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12847(line=668, offs=12) -- 12877(line=668, offs=42) */ ATSINSmove(tmpret28, PMVtmpltcst(g1int_eq)(arg0, tmp29)) ; ATSfunbody_end() ATSreturn(tmpret28) ; } /* end of [ATSLIB_056_prelude__eq_g1int_int__19] */ #endif // end of [TEMPLATE] /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 12838(line=668, offs=3) -- 12877(line=668, offs=42) */ /* local: global: eq_g1int_int$19$1(level=1) local: global: */ ATSstatic() /* imparg = tk(4638) tmparg = S2Evar(tk(4638)) tmpsub = Some(tk(4638) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g1int_int__19__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret28__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp29__1, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12823(line=667, offs=1) -- 12877(line=668, offs=42) */ ATSINSflab(__patsflab_eq_g1int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12864(line=668, offs=29) -- 12875(line=668, offs=40) */ ATSINSmove(tmp29__1, atspre_g1int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12847(line=668, offs=12) -- 12877(line=668, offs=42) */ ATSINSmove(tmpret28__1, atspre_g1int_eq_int(arg0, tmp29__1)) ; ATSfunbody_end() ATSreturn(tmpret28__1) ; } /* end of [ATSLIB_056_prelude__eq_g1int_int__19__1] */ #if(0) /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13321(line=768, offs=9) -- 13484(line=775, offs=4) */ /* local: global: compare_intinf_int$22$0(level=0) local: global: */ ATSextern() /* imparg = tmparg = tmpsub = None() */ atstkind_t0ype(atstype_int) ATSCNTRB_056_HX_056_intinf_vt__compare_intinf_int__22(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret33, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp34, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp35, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp36, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp37, atstkind_t0ype(atstype_bool)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13294(line=767, offs=1) -- 13484(line=775, offs=4) */ ATSINSflab(__patsflab_compare_intinf_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13330(line=768, offs=18) -- 13484(line=775, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13347(line=770, offs=11) -- 13375(line=770, offs=39) */ ATSINSmove(tmp34, atscntrb_gmp_mpz_cmp_int(ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)), arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13390(line=771, offs=15) -- 13397(line=771, offs=22) */ ATSINSmove(tmp36, PMVtmpltcst(lt_g0int_int)(tmp34, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13387(line=771, offs=12) -- 13437(line=771, offs=62) */ ATSif( tmp36 ) ATSthen() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13403(line=771, offs=28) -- 13405(line=771, offs=30) */ ATSINSmove(tmp35, PMVtmpltcst(g1int_neg)(ATSPMVi0nt(1))) ; } ATSelse() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13415(line=771, offs=40) -- 13422(line=771, offs=47) */ ATSINSmove(tmp37, PMVtmpltcst(gt_g0int_int)(tmp34, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13412(line=771, offs=37) -- 13436(line=771, offs=61) */ ATSif( tmp37 ) ATSthen() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13428(line=771, offs=53) -- 13429(line=771, offs=54) */ ATSINSmove(tmp35, ATSPMVi0nt(1)) ; } ATSelse() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13435(line=771, offs=60) -- 13436(line=771, offs=61) */ ATSINSmove(tmp35, ATSPMVi0nt(0)) ; } /* ATSendif */ } /* ATSendif */ /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13452(line=774, offs=3) -- 13479(line=774, offs=30) */ ATSINSmove(tmpret33, ATSPMVcastfn(cast, atstkind_t0ype(atstype_int), tmp35)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13330(line=768, offs=18) -- 13484(line=775, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret33) ; } /* end of [ATSCNTRB_056_HX_056_intinf_vt__compare_intinf_int__22] */ #endif // end of [TEMPLATE] /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13321(line=768, offs=9) -- 13484(line=775, offs=4) */ /* local: global: compare_intinf_int$22$1(level=1) local: global: */ ATSstatic() /* imparg = tmparg = tmpsub = Some() */ atstkind_t0ype(atstype_int) ATSCNTRB_056_HX_056_intinf_vt__compare_intinf_int__22__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret33__1, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp34__1, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp35__1, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp36__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp37__1, atstkind_t0ype(atstype_bool)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13294(line=767, offs=1) -- 13484(line=775, offs=4) */ ATSINSflab(__patsflab_compare_intinf_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13330(line=768, offs=18) -- 13484(line=775, offs=4) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13347(line=770, offs=11) -- 13375(line=770, offs=39) */ ATSINSmove(tmp34__1, atscntrb_gmp_mpz_cmp_int(ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)), arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13390(line=771, offs=15) -- 13397(line=771, offs=22) */ ATSINSmove(tmp36__1, ATSLIB_056_prelude__lt_g0int_int__24__1(tmp34__1, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13387(line=771, offs=12) -- 13437(line=771, offs=62) */ ATSif( tmp36__1 ) ATSthen() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13403(line=771, offs=28) -- 13405(line=771, offs=30) */ ATSINSmove(tmp35__1, atspre_g1int_neg_int(ATSPMVi0nt(1))) ; } ATSelse() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13415(line=771, offs=40) -- 13422(line=771, offs=47) */ ATSINSmove(tmp37__1, ATSLIB_056_prelude__gt_g0int_int__28__1(tmp34__1, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13412(line=771, offs=37) -- 13436(line=771, offs=61) */ ATSif( tmp37__1 ) ATSthen() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13428(line=771, offs=53) -- 13429(line=771, offs=54) */ ATSINSmove(tmp35__1, ATSPMVi0nt(1)) ; } ATSelse() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13435(line=771, offs=60) -- 13436(line=771, offs=61) */ ATSINSmove(tmp35__1, ATSPMVi0nt(0)) ; } /* ATSendif */ } /* ATSendif */ /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13452(line=774, offs=3) -- 13479(line=774, offs=30) */ ATSINSmove(tmpret33__1, ATSPMVcastfn(cast, atstkind_t0ype(atstype_int), tmp35__1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 13330(line=768, offs=18) -- 13484(line=775, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret33__1) ; } /* end of [ATSCNTRB_056_HX_056_intinf_vt__compare_intinf_int__22__1] */ #if(0) /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 11941(line=617, offs=3) -- 11980(line=617, offs=42) */ /* local: global: lt_g0int_int$24$0(level=0) local: global: */ ATSextern() /* imparg = tk(4619) tmparg = S2Evar(tk(4619)) tmpsub = None() */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g0int_int__24(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret43, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp44, atstkind_t0ype(atstyvar_type(tk))) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11926(line=616, offs=1) -- 11980(line=617, offs=42) */ ATSINSflab(__patsflab_lt_g0int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11967(line=617, offs=29) -- 11978(line=617, offs=40) */ ATSINSmove(tmp44, PMVtmpltcst(g0int2int)(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11950(line=617, offs=12) -- 11980(line=617, offs=42) */ ATSINSmove(tmpret43, PMVtmpltcst(g0int_lt)(arg0, tmp44)) ; ATSfunbody_end() ATSreturn(tmpret43) ; } /* end of [ATSLIB_056_prelude__lt_g0int_int__24] */ #endif // end of [TEMPLATE] /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 11941(line=617, offs=3) -- 11980(line=617, offs=42) */ /* local: global: lt_g0int_int$24$1(level=2) local: global: */ ATSstatic() /* imparg = tk(4619) tmparg = S2Evar(tk(4619)) tmpsub = Some(tk(4619) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g0int_int__24__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret43__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp44__1, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11926(line=616, offs=1) -- 11980(line=617, offs=42) */ ATSINSflab(__patsflab_lt_g0int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11967(line=617, offs=29) -- 11978(line=617, offs=40) */ ATSINSmove(tmp44__1, atspre_g0int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 11950(line=617, offs=12) -- 11980(line=617, offs=42) */ ATSINSmove(tmpret43__1, atspre_g0int_lt_int(arg0, tmp44__1)) ; ATSfunbody_end() ATSreturn(tmpret43__1) ; } /* end of [ATSLIB_056_prelude__lt_g0int_int__24__1] */ #if(0) /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 12100(line=626, offs=3) -- 12139(line=626, offs=42) */ /* local: global: gt_g0int_int$28$0(level=0) local: global: */ ATSextern() /* imparg = tk(4621) tmparg = S2Evar(tk(4621)) tmpsub = None() */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g0int_int__28(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret47, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp48, atstkind_t0ype(atstyvar_type(tk))) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12085(line=625, offs=1) -- 12139(line=626, offs=42) */ ATSINSflab(__patsflab_gt_g0int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12126(line=626, offs=29) -- 12137(line=626, offs=40) */ ATSINSmove(tmp48, PMVtmpltcst(g0int2int)(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12109(line=626, offs=12) -- 12139(line=626, offs=42) */ ATSINSmove(tmpret47, PMVtmpltcst(g0int_gt)(arg0, tmp48)) ; ATSfunbody_end() ATSreturn(tmpret47) ; } /* end of [ATSLIB_056_prelude__gt_g0int_int__28] */ #endif // end of [TEMPLATE] /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 12100(line=626, offs=3) -- 12139(line=626, offs=42) */ /* local: global: gt_g0int_int$28$1(level=2) local: global: */ ATSstatic() /* imparg = tk(4621) tmparg = S2Evar(tk(4621)) tmpsub = Some(tk(4621) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g0int_int__28__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret47__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp48__1, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12085(line=625, offs=1) -- 12139(line=626, offs=42) */ ATSINSflab(__patsflab_gt_g0int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12126(line=626, offs=29) -- 12137(line=626, offs=40) */ ATSINSmove(tmp48__1, atspre_g0int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12109(line=626, offs=12) -- 12139(line=626, offs=42) */ ATSINSmove(tmpret47__1, atspre_g0int_gt_int(arg0, tmp48__1)) ; ATSfunbody_end() ATSreturn(tmpret47__1) ; } /* end of [ATSLIB_056_prelude__gt_g0int_int__28__1] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 12679(line=659, offs=3) -- 12718(line=659, offs=42) */ /* local: global: gt_g1int_int$7$2(level=1) local: global: */ ATSstatic() /* imparg = tk(4632) tmparg = S2Evar(tk(4632)) tmpsub = Some(tk(4632) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__gt_g1int_int__7__2(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret11__2, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp12__2, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12664(line=658, offs=1) -- 12718(line=659, offs=42) */ ATSINSflab(__patsflab_gt_g1int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12705(line=659, offs=29) -- 12716(line=659, offs=40) */ ATSINSmove(tmp12__2, atspre_g1int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12688(line=659, offs=12) -- 12718(line=659, offs=42) */ ATSINSmove(tmpret11__2, atspre_g1int_gt_int(arg0, tmp12__2)) ; ATSfunbody_end() ATSreturn(tmpret11__2) ; } /* end of [ATSLIB_056_prelude__gt_g1int_int__7__2] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 12259(line=635, offs=3) -- 12298(line=635, offs=42) */ /* local: global: eq_g0int_int$13$2(level=1) local: global: */ ATSstatic() /* imparg = tk(4623) tmparg = S2Evar(tk(4623)) tmpsub = Some(tk(4623) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g0int_int__13__2(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret18__2, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp19__2, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12244(line=634, offs=1) -- 12298(line=635, offs=42) */ ATSINSflab(__patsflab_eq_g0int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12285(line=635, offs=29) -- 12296(line=635, offs=40) */ ATSINSmove(tmp19__2, atspre_g0int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12268(line=635, offs=12) -- 12298(line=635, offs=42) */ ATSINSmove(tmpret18__2, atspre_g0int_eq_int(arg0, tmp19__2)) ; ATSfunbody_end() ATSreturn(tmpret18__2) ; } /* end of [ATSLIB_056_prelude__eq_g0int_int__13__2] */ #if(0) /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4068(line=199, offs=3) -- 4190(line=207, offs=2) */ /* local: global: abs_intinf1$33$0(level=0) local: global: */ ATSextern() /* imparg = tmparg = tmpsub = None() */ atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__abs_intinf1__33(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret60, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp61, atstkind_type(atstype_ptrk)) ; // ATStmpdec_void(tmp62) ; // ATStmpdec_void(tmp63) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4054(line=198, offs=1) -- 4190(line=207, offs=2) */ ATSINSflab(__patsflab_abs_intinf1): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4074(line=199, offs=9) -- 4190(line=207, offs=2) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4097(line=202, offs=9) -- 4113(line=202, offs=25) */ ATSINSmove(tmp61, PMVtmpltcst(ptr_alloc)()) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4126(line=204, offs=10) -- 4147(line=204, offs=31) */ ATSINSmove_void(tmp62, atscntrb_gmp_mpz_init(ATSPMVrefarg1(ATSSELrecsin(tmp61, atstkind_type(atstype_ptrk), atslab__2)))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4157(line=205, offs=10) -- 4185(line=205, offs=38) */ ATSINSmove_void(tmp63, atscntrb_gmp_mpz_abs2(ATSPMVrefarg1(ATSSELrecsin(tmp61, atstkind_type(atstype_ptrk), atslab__2)), ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4075(line=199, offs=10) -- 4076(line=199, offs=11) */ ATSINSmove(tmpret60, tmp61) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4074(line=199, offs=9) -- 4190(line=207, offs=2) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret60) ; } /* end of [ATSCNTRB_056_HX_056_intinf_vt__abs_intinf1__33] */ #endif // end of [TEMPLATE] /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4068(line=199, offs=3) -- 4190(line=207, offs=2) */ /* local: global: abs_intinf1$33$1(level=1) local: global: */ ATSstatic() /* imparg = tmparg = tmpsub = Some() */ atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__abs_intinf1__33__1(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret60__1, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp61__1, atstkind_type(atstype_ptrk)) ; // ATStmpdec_void(tmp62__1) ; // ATStmpdec_void(tmp63__1) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4054(line=198, offs=1) -- 4190(line=207, offs=2) */ ATSINSflab(__patsflab_abs_intinf1): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4074(line=199, offs=9) -- 4190(line=207, offs=2) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4097(line=202, offs=9) -- 4113(line=202, offs=25) */ ATSINSmove(tmp61__1, ATSLIB_056_prelude__ptr_alloc__2__2()) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4126(line=204, offs=10) -- 4147(line=204, offs=31) */ ATSINSmove_void(tmp62__1, atscntrb_gmp_mpz_init(ATSPMVrefarg1(ATSSELrecsin(tmp61__1, atstkind_type(atstype_ptrk), atslab__2)))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4157(line=205, offs=10) -- 4185(line=205, offs=38) */ ATSINSmove_void(tmp63__1, atscntrb_gmp_mpz_abs2(ATSPMVrefarg1(ATSSELrecsin(tmp61__1, atstkind_type(atstype_ptrk), atslab__2)), ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4075(line=199, offs=10) -- 4076(line=199, offs=11) */ ATSINSmove(tmpret60__1, tmp61__1) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4074(line=199, offs=9) -- 4190(line=207, offs=2) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret60__1) ; } /* end of [ATSCNTRB_056_HX_056_intinf_vt__abs_intinf1__33__1] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats: 3717(line=184, offs=10) -- 3749(line=184, offs=42) */ /* local: global: ptr_alloc$2$2(level=2) local: global: */ ATSstatic() /* imparg = a(4735) tmparg = S2Evar(a(4735)) tmpsub = Some(a(4735) -> S2Ecst(mpz_vt0ype)) */ atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr_alloc__2__2() { /* tmpvardeclst(beg) */ ATStmpdec(tmpret3__2, atstkind_type(atstype_ptrk)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3708(line=184, offs=1) -- 3749(line=184, offs=42) */ ATSINSflab(__patsflab_ptr_alloc): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3722(line=184, offs=15) -- 3749(line=184, offs=42) */ ATSINSmove(tmpret3__2, atspre_ptr_alloc_tsz(ATSPMVsizeof(atscntrb_gmp_mpz))) ; ATSfunbody_end() ATSreturn(tmpret3__2) ; } /* end of [ATSLIB_056_prelude__ptr_alloc__2__2] */ #if(0) /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7761(line=437, offs=3) -- 7833(line=442, offs=2) */ /* local: global: mul_intinf0_intinf1$36$0(level=0) local: global: */ ATSextern() /* imparg = tmparg = tmpsub = None() */ atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__36(atstkind_type(atstype_ptrk) arg0, atsrefarg0_type(atstkind_type(atstype_ptrk)) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret70, atstkind_type(atstype_ptrk)) ; // ATStmpdec_void(tmp71) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7739(line=436, offs=1) -- 7833(line=442, offs=2) */ ATSINSflab(__patsflab_mul_intinf0_intinf1): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7770(line=437, offs=12) -- 7833(line=442, offs=2) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7794(line=440, offs=10) -- 7828(line=440, offs=44) */ ATSINSmove_void(tmp71, atscntrb_gmp_mpz_mul2_mpz(ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)), ATSPMVrefarg1(ATSSELrecsin(arg1, atstkind_type(atstype_ptrk), atslab__2)))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7771(line=437, offs=13) -- 7772(line=437, offs=14) */ ATSINSmove(tmpret70, arg0) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7770(line=437, offs=12) -- 7833(line=442, offs=2) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret70) ; } /* end of [ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__36] */ #endif // end of [TEMPLATE] /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7761(line=437, offs=3) -- 7833(line=442, offs=2) */ /* local: global: mul_intinf0_intinf1$36$1(level=1) local: global: */ ATSstatic() /* imparg = tmparg = tmpsub = Some() */ atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__36__1(atstkind_type(atstype_ptrk) arg0, atsrefarg0_type(atstkind_type(atstype_ptrk)) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret70__1, atstkind_type(atstype_ptrk)) ; // ATStmpdec_void(tmp71__1) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7739(line=436, offs=1) -- 7833(line=442, offs=2) */ ATSINSflab(__patsflab_mul_intinf0_intinf1): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7770(line=437, offs=12) -- 7833(line=442, offs=2) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7794(line=440, offs=10) -- 7828(line=440, offs=44) */ ATSINSmove_void(tmp71__1, atscntrb_gmp_mpz_mul2_mpz(ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)), ATSPMVrefarg1(ATSSELrecsin(arg1, atstkind_type(atstype_ptrk), atslab__2)))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7771(line=437, offs=13) -- 7772(line=437, offs=14) */ ATSINSmove(tmpret70__1, arg0) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7770(line=437, offs=12) -- 7833(line=442, offs=2) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret70__1) ; } /* end of [ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__36__1] */ #if(0) /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2888(line=119, offs=12) -- 2987(line=122, offs=4) */ /* local: global: intinf_free$38$0(level=0) local: global: */ ATSextern() /* imparg = tmparg = tmpsub = None() */ atsvoid_t0ype ATSCNTRB_056_HX_056_intinf_vt__intinf_free__38(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret75) ; // ATStmpdec_void(tmp76) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2877(line=119, offs=1) -- 2987(line=122, offs=4) */ ATSINSflab(__patsflab_intinf_free): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4) */ /* letpush(beg) */ /* (*nothing*) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2936(line=121, offs=12) -- 2955(line=121, offs=31) */ ATSINSmove_void(tmp76, atscntrb_gmp_mpz_clear(ATSPMVrefarg1(arg0))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2959(line=121, offs=35) -- 2983(line=121, offs=59) */ ATSINSmove_void(tmpret75, atspre_ptr_free(arg0)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret75) ; } /* end of [ATSCNTRB_056_HX_056_intinf_vt__intinf_free__38] */ #endif // end of [TEMPLATE] /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2888(line=119, offs=12) -- 2987(line=122, offs=4) */ /* local: global: intinf_free$38$1(level=1) local: global: */ ATSstatic() /* imparg = tmparg = tmpsub = Some() */ atsvoid_t0ype ATSCNTRB_056_HX_056_intinf_vt__intinf_free__38__1(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret75__1) ; // ATStmpdec_void(tmp76__1) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2877(line=119, offs=1) -- 2987(line=122, offs=4) */ ATSINSflab(__patsflab_intinf_free): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4) */ /* letpush(beg) */ /* (*nothing*) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2936(line=121, offs=12) -- 2955(line=121, offs=31) */ ATSINSmove_void(tmp76__1, atscntrb_gmp_mpz_clear(ATSPMVrefarg1(arg0))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2959(line=121, offs=35) -- 2983(line=121, offs=59) */ ATSINSmove_void(tmpret75__1, atspre_ptr_free(arg0)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret75__1) ; } /* end of [ATSCNTRB_056_HX_056_intinf_vt__intinf_free__38__1] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4068(line=199, offs=3) -- 4190(line=207, offs=2) */ /* local: global: abs_intinf1$33$2(level=1) local: global: */ ATSstatic() /* imparg = tmparg = tmpsub = Some() */ atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__abs_intinf1__33__2(atsrefarg0_type(atstkind_type(atstype_ptrk)) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret60__2, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp61__2, atstkind_type(atstype_ptrk)) ; // ATStmpdec_void(tmp62__2) ; // ATStmpdec_void(tmp63__2) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4054(line=198, offs=1) -- 4190(line=207, offs=2) */ ATSINSflab(__patsflab_abs_intinf1): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4074(line=199, offs=9) -- 4190(line=207, offs=2) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4097(line=202, offs=9) -- 4113(line=202, offs=25) */ ATSINSmove(tmp61__2, ATSLIB_056_prelude__ptr_alloc__2__3()) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4126(line=204, offs=10) -- 4147(line=204, offs=31) */ ATSINSmove_void(tmp62__2, atscntrb_gmp_mpz_init(ATSPMVrefarg1(ATSSELrecsin(tmp61__2, atstkind_type(atstype_ptrk), atslab__2)))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4157(line=205, offs=10) -- 4185(line=205, offs=38) */ ATSINSmove_void(tmp63__2, atscntrb_gmp_mpz_abs2(ATSPMVrefarg1(ATSSELrecsin(tmp61__2, atstkind_type(atstype_ptrk), atslab__2)), ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4075(line=199, offs=10) -- 4076(line=199, offs=11) */ ATSINSmove(tmpret60__2, tmp61__2) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 4074(line=199, offs=9) -- 4190(line=207, offs=2) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret60__2) ; } /* end of [ATSCNTRB_056_HX_056_intinf_vt__abs_intinf1__33__2] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats: 3717(line=184, offs=10) -- 3749(line=184, offs=42) */ /* local: global: ptr_alloc$2$3(level=2) local: global: */ ATSstatic() /* imparg = a(4735) tmparg = S2Evar(a(4735)) tmpsub = Some(a(4735) -> S2Ecst(mpz_vt0ype)) */ atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr_alloc__2__3() { /* tmpvardeclst(beg) */ ATStmpdec(tmpret3__3, atstkind_type(atstype_ptrk)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3708(line=184, offs=1) -- 3749(line=184, offs=42) */ ATSINSflab(__patsflab_ptr_alloc): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3722(line=184, offs=15) -- 3749(line=184, offs=42) */ ATSINSmove(tmpret3__3, atspre_ptr_alloc_tsz(ATSPMVsizeof(atscntrb_gmp_mpz))) ; ATSfunbody_end() ATSreturn(tmpret3__3) ; } /* end of [ATSLIB_056_prelude__ptr_alloc__2__3] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7761(line=437, offs=3) -- 7833(line=442, offs=2) */ /* local: global: mul_intinf0_intinf1$36$2(level=1) local: global: */ ATSstatic() /* imparg = tmparg = tmpsub = Some() */ atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__36__2(atstkind_type(atstype_ptrk) arg0, atsrefarg0_type(atstkind_type(atstype_ptrk)) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret70__2, atstkind_type(atstype_ptrk)) ; // ATStmpdec_void(tmp71__2) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7739(line=436, offs=1) -- 7833(line=442, offs=2) */ ATSINSflab(__patsflab_mul_intinf0_intinf1): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7770(line=437, offs=12) -- 7833(line=442, offs=2) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7794(line=440, offs=10) -- 7828(line=440, offs=44) */ ATSINSmove_void(tmp71__2, atscntrb_gmp_mpz_mul2_mpz(ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)), ATSPMVrefarg1(ATSSELrecsin(arg1, atstkind_type(atstype_ptrk), atslab__2)))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7771(line=437, offs=13) -- 7772(line=437, offs=14) */ ATSINSmove(tmpret70__2, arg0) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7770(line=437, offs=12) -- 7833(line=442, offs=2) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret70__2) ; } /* end of [ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__36__2] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7761(line=437, offs=3) -- 7833(line=442, offs=2) */ /* local: global: mul_intinf0_intinf1$36$3(level=1) local: global: */ ATSstatic() /* imparg = tmparg = tmpsub = Some() */ atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__36__3(atstkind_type(atstype_ptrk) arg0, atsrefarg0_type(atstkind_type(atstype_ptrk)) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret70__3, atstkind_type(atstype_ptrk)) ; // ATStmpdec_void(tmp71__3) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7739(line=436, offs=1) -- 7833(line=442, offs=2) */ ATSINSflab(__patsflab_mul_intinf0_intinf1): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7770(line=437, offs=12) -- 7833(line=442, offs=2) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7794(line=440, offs=10) -- 7828(line=440, offs=44) */ ATSINSmove_void(tmp71__3, atscntrb_gmp_mpz_mul2_mpz(ATSPMVrefarg1(ATSSELrecsin(arg0, atstkind_type(atstype_ptrk), atslab__2)), ATSPMVrefarg1(ATSSELrecsin(arg1, atstkind_type(atstype_ptrk), atslab__2)))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7771(line=437, offs=13) -- 7772(line=437, offs=14) */ ATSINSmove(tmpret70__3, arg0) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 7770(line=437, offs=12) -- 7833(line=442, offs=2) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret70__3) ; } /* end of [ATSCNTRB_056_HX_056_intinf_vt__mul_intinf0_intinf1__36__3] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2888(line=119, offs=12) -- 2987(line=122, offs=4) */ /* local: global: intinf_free$38$2(level=1) local: global: */ ATSstatic() /* imparg = tmparg = tmpsub = Some() */ atsvoid_t0ype ATSCNTRB_056_HX_056_intinf_vt__intinf_free__38__2(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret75__2) ; // ATStmpdec_void(tmp76__2) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2877(line=119, offs=1) -- 2987(line=122, offs=4) */ ATSINSflab(__patsflab_intinf_free): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4) */ /* letpush(beg) */ /* (*nothing*) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2936(line=121, offs=12) -- 2955(line=121, offs=31) */ ATSINSmove_void(tmp76__2, atscntrb_gmp_mpz_clear(ATSPMVrefarg1(arg0))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2959(line=121, offs=35) -- 2983(line=121, offs=59) */ ATSINSmove_void(tmpret75__2, atspre_ptr_free(arg0)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret75__2) ; } /* end of [ATSCNTRB_056_HX_056_intinf_vt__intinf_free__38__2] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2888(line=119, offs=12) -- 2987(line=122, offs=4) */ /* local: global: intinf_free$38$3(level=1) local: global: */ ATSstatic() /* imparg = tmparg = tmpsub = Some() */ atsvoid_t0ype ATSCNTRB_056_HX_056_intinf_vt__intinf_free__38__3(atstkind_type(atstype_ptrk) arg0) { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret75__3) ; // ATStmpdec_void(tmp76__3) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2877(line=119, offs=1) -- 2987(line=122, offs=4) */ ATSINSflab(__patsflab_intinf_free): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4) */ /* letpush(beg) */ /* (*nothing*) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2936(line=121, offs=12) -- 2955(line=121, offs=31) */ ATSINSmove_void(tmp76__3, atscntrb_gmp_mpz_clear(ATSPMVrefarg1(arg0))) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2959(line=121, offs=35) -- 2983(line=121, offs=59) */ ATSINSmove_void(tmpret75__3, atspre_ptr_free(arg0)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2894(line=119, offs=18) -- 2987(line=122, offs=4) */ /* INSletpop() */ ATSfunbody_end() ATSreturn_void(tmpret75__3) ; } /* end of [ATSCNTRB_056_HX_056_intinf_vt__intinf_free__38__3] */ #if(0) /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2209(line=74, offs=3) -- 2301(line=80, offs=2) */ /* local: global: intinf_make_int$46$0(level=0) local: global: */ ATSextern() /* imparg = tmparg = tmpsub = None() */ atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__46(atstkind_t0ype(atstype_int) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret98, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp99, atstkind_type(atstype_ptrk)) ; // ATStmpdec_void(tmp100) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2191(line=73, offs=1) -- 2301(line=80, offs=2) */ ATSINSflab(__patsflab_intinf_make_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2215(line=74, offs=9) -- 2301(line=80, offs=2) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2238(line=77, offs=9) -- 2254(line=77, offs=25) */ ATSINSmove(tmp99, PMVtmpltcst(ptr_alloc)()) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2264(line=78, offs=10) -- 2296(line=78, offs=42) */ ATSINSmove_void(tmp100, atscntrb_gmp_mpz_init_set_int(ATSPMVrefarg1(ATSSELrecsin(tmp99, atstkind_type(atstype_ptrk), atslab__2)), arg0)) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2216(line=74, offs=10) -- 2217(line=74, offs=11) */ ATSINSmove(tmpret98, tmp99) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2215(line=74, offs=9) -- 2301(line=80, offs=2) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret98) ; } /* end of [ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__46] */ #endif // end of [TEMPLATE] /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2209(line=74, offs=3) -- 2301(line=80, offs=2) */ /* local: global: intinf_make_int$46$1(level=1) local: global: */ ATSstatic() /* imparg = tmparg = tmpsub = Some() */ atstkind_type(atstype_ptrk) ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__46__1(atstkind_t0ype(atstype_int) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret98__1, atstkind_type(atstype_ptrk)) ; ATStmpdec(tmp99__1, atstkind_type(atstype_ptrk)) ; // ATStmpdec_void(tmp100__1) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2191(line=73, offs=1) -- 2301(line=80, offs=2) */ ATSINSflab(__patsflab_intinf_make_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2215(line=74, offs=9) -- 2301(line=80, offs=2) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2238(line=77, offs=9) -- 2254(line=77, offs=25) */ ATSINSmove(tmp99__1, ATSLIB_056_prelude__ptr_alloc__2__4()) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2264(line=78, offs=10) -- 2296(line=78, offs=42) */ ATSINSmove_void(tmp100__1, atscntrb_gmp_mpz_init_set_int(ATSPMVrefarg1(ATSSELrecsin(tmp99__1, atstkind_type(atstype_ptrk), atslab__2)), arg0)) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2216(line=74, offs=10) -- 2217(line=74, offs=11) */ ATSINSmove(tmpret98__1, tmp99__1) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/.atspkg/contrib/atscntrb-hx-intinf/DATS/intinf_vt.dats: 2215(line=74, offs=9) -- 2301(line=80, offs=2) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret98__1) ; } /* end of [ATSCNTRB_056_HX_056_intinf_vt__intinf_make_int__46__1] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats: 3717(line=184, offs=10) -- 3749(line=184, offs=42) */ /* local: global: ptr_alloc$2$4(level=2) local: global: */ ATSstatic() /* imparg = a(4735) tmparg = S2Evar(a(4735)) tmpsub = Some(a(4735) -> S2Ecst(mpz_vt0ype)) */ atstkind_type(atstype_ptrk) ATSLIB_056_prelude__ptr_alloc__2__4() { /* tmpvardeclst(beg) */ ATStmpdec(tmpret3__4, atstkind_type(atstype_ptrk)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3708(line=184, offs=1) -- 3749(line=184, offs=42) */ ATSINSflab(__patsflab_ptr_alloc): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/pointer.dats({$PATSPRE}/DATS/pointer.dats): 3722(line=184, offs=15) -- 3749(line=184, offs=42) */ ATSINSmove(tmpret3__4, atspre_ptr_alloc_tsz(ATSPMVsizeof(atscntrb_gmp_mpz))) ; ATSfunbody_end() ATSreturn(tmpret3__4) ; } /* end of [ATSLIB_056_prelude__ptr_alloc__2__4] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2644(line=95, offs=4) -- 2784(line=100, offs=6) */ /* local: witness_0$0(level=0) global: witness_0$0(level=0), sqrt_int_49$0(level=0) local: global: */ ATSstatic() atstkind_t0ype(atstype_int) sqrt_int_49(atstkind_t0ype(atstype_int) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret105, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmpref106, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp107, atstkind_t0ype(atstype_float)) ; ATStmpdec(tmp108, atstkind_t0ype(atstype_float)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2644(line=95, offs=4) -- 2784(line=100, offs=6) */ ATSINSflab(__patsflab_sqrt_int_49): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2690(line=96, offs=3) -- 2784(line=100, offs=6) */ /* letpush(beg) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2702(line=97, offs=9) -- 2707(line=97, offs=14) */ /* ATSINStmpdec(tmpref106) ; */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2738(line=97, offs=45) -- 2751(line=97, offs=58) */ ATSINSmove(tmp108, atspre_g0int2float_int_float(arg0)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2727(line=97, offs=34) -- 2753(line=97, offs=60) */ ATSINSmove(tmp107, atslib_libats_libc_sqrt_float(tmp108)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2715(line=97, offs=22) -- 2754(line=97, offs=61) */ ATSINSmove(tmpref106, atspre_g0float2int_float_int(tmp107)) ; /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2764(line=99, offs=5) -- 2777(line=99, offs=18) */ ATSINSmove(tmpret105, witness_0(tmpref106)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2690(line=96, offs=3) -- 2784(line=100, offs=6) */ /* INSletpop() */ ATSfunbody_end() ATSreturn(tmpret105) ; } /* end of [sqrt_int_49] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2820(line=103, offs=4) -- 3401(line=126, offs=10) */ /* local: sqrt_int_49$0(level=0) global: witness_0$0(level=0), sqrt_int_49$0(level=0), is_prime_52$0(level=0) local: global: */ ATSstatic() atstkind_t0ype(atstype_bool) is_prime_52(atstkind_t0ype(atstype_int) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret109, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp128, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2820(line=103, offs=4) -- 3401(line=126, offs=10) */ ATSINSflab(__patsflab_is_prime_52): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2856(line=104, offs=3) -- 3401(line=126, offs=10) */ ATScaseof_beg() /* ** ibranchlst-beg */ ATSbranch_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2873(line=105, offs=7) -- 2874(line=105, offs=8) */ ATSINSlab(__atstmplab3): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2829(line=103, offs=13) -- 2830(line=103, offs=14) */ ATSifnthen(ATSCKpat_int(arg0, ATSPMVint(1))) { ATSINSgoto(__atstmplab5) ; } ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2874(line=105, offs=8) -- 2874(line=105, offs=8) */ ATSINSlab(__atstmplab4): /* emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0) */ /* ibranch-mbody: */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2878(line=105, offs=12) -- 2883(line=105, offs=17) */ ATSINSmove(tmpret109, ATSPMVbool_false()) ; ATSbranch_end() ATSbranch_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2891(line=106, offs=8) -- 2891(line=106, offs=8) */ ATSINSlab(__atstmplab5): /* emit_instr: loc0 = : 0(line=0, offs=0) -- 0(line=0, offs=0) */ /* ibranch-mbody: */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2916(line=108, offs=9) -- 3391(line=125, offs=12) */ /* letpush(beg) */ /* letpush(end) */ /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3367(line=124, offs=19) -- 3377(line=124, offs=29) */ ATSINSmove(tmp128, sqrt_int_49(arg0)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3359(line=124, offs=11) -- 3379(line=124, offs=31) */ ATSINSmove(tmpret109, loop_53(arg0, ATSPMVi0nt(2), tmp128)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2916(line=108, offs=9) -- 3391(line=125, offs=12) */ /* INSletpop() */ ATSbranch_end() /* ** ibranchlst-end */ ATScaseof_end() ATSfunbody_end() ATSreturn(tmpret109) ; } /* end of [is_prime_52] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2934(line=109, offs=15) -- 3337(line=122, offs=21) */ /* local: loop_53$0(level=1) global: loop_53$0(level=1) local: k$5102(1)(HSEapp(HSEcst(atstkind_t0ype); HSEs2exp(S2Eextkind(atstype_int)))) global: k$5102(1)(HSEapp(HSEcst(atstkind_t0ype); HSEs2exp(S2Eextkind(atstype_int)))) */ ATSstatic() atstkind_t0ype(atstype_bool) loop_53(atstkind_t0ype(atstype_int) env0, atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(apy0, atstkind_t0ype(atstype_int)) ; ATStmpdec(apy1, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmpret110, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp111, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp116, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp119, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp120, atstkind_t0ype(atstype_int)) ; ATStmpdec(tmp121, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp124, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp127, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 2934(line=109, offs=15) -- 3337(line=122, offs=21) */ ATSINSflab(__patsflab_loop_53): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3024(line=110, offs=16) -- 3033(line=110, offs=25) */ ATSINSmove(tmp111, ATSLIB_056_prelude__lt_g1int_int__54__1(arg0, arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3021(line=110, offs=13) -- 3337(line=122, offs=21) */ ATSif( tmp111 ) ATSthen() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3056(line=111, offs=18) -- 3061(line=111, offs=23) */ ATSINSmove(tmp119, atspre_g0int_mod_int(env0, arg0)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3056(line=111, offs=18) -- 3065(line=111, offs=27) */ ATSINSmove(tmp116, ATSLIB_056_prelude__eq_g0int_int__13__3(tmp119, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3053(line=111, offs=15) -- 3146(line=114, offs=35) */ ATSif( tmp116 ) ATSthen() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3087(line=112, offs=17) -- 3092(line=112, offs=22) */ ATSINSmove(tmpret110, ATSPMVbool_false()) ; } ATSelse() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3133(line=114, offs=22) -- 3138(line=114, offs=27) */ ATSINSmove(tmp120, atspre_g1int_add_int(arg0, ATSPMVi0nt(1))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3128(line=114, offs=17) -- 3146(line=114, offs=35) */ ATStailcal_beg() ATSINSmove_tlcal(apy0, tmp120) ; ATSINSmove_tlcal(apy1, arg1) ; ATSINSargmove_tlcal(arg0, apy0) ; ATSINSargmove_tlcal(arg1, apy1) ; ATSINSfgoto(__patsflab_loop_53) ; ATStailcal_end() } /* ATSendif */ } ATSelse() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3181(line=116, offs=18) -- 3190(line=116, offs=27) */ ATSINSmove(tmp121, ATSLIB_056_prelude__eq_g1int_int__19__2(arg0, arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3178(line=116, offs=15) -- 3337(line=122, offs=21) */ ATSif( tmp121 ) ATSthen() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3215(line=117, offs=20) -- 3220(line=117, offs=25) */ ATSINSmove(tmp127, atspre_g0int_mod_int(env0, arg0)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3215(line=117, offs=20) -- 3224(line=117, offs=29) */ ATSINSmove(tmp124, ATSLIB_056_prelude__eq_g0int_int__13__4(tmp127, ATSPMVi0nt(0))) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3212(line=117, offs=17) -- 3297(line=120, offs=23) */ ATSif( tmp124 ) ATSthen() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3248(line=118, offs=19) -- 3253(line=118, offs=24) */ ATSINSmove(tmpret110, ATSPMVbool_false()) ; } ATSelse() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3293(line=120, offs=19) -- 3297(line=120, offs=23) */ ATSINSmove(tmpret110, ATSPMVbool_true()) ; } /* ATSendif */ } ATSelse() { /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/ats-src/numerics-internal.dats: 3333(line=122, offs=17) -- 3337(line=122, offs=21) */ ATSINSmove(tmpret110, ATSPMVbool_true()) ; } /* ATSendif */ } /* ATSendif */ ATSfunbody_end() ATSreturn(tmpret110) ; } /* end of [loop_53] */ #if(0) /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 12520(line=650, offs=3) -- 12559(line=650, offs=42) */ /* local: global: lt_g1int_int$54$0(level=0) local: global: */ ATSextern() /* imparg = tk(4626) tmparg = S2Evar(tk(4626)) tmpsub = None() */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g1int_int__54(atstkind_t0ype(atstyvar_type(tk)) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret112, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp113, atstkind_t0ype(atstyvar_type(tk))) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12505(line=649, offs=1) -- 12559(line=650, offs=42) */ ATSINSflab(__patsflab_lt_g1int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12546(line=650, offs=29) -- 12557(line=650, offs=40) */ ATSINSmove(tmp113, PMVtmpltcst(g1int2int)(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12529(line=650, offs=12) -- 12559(line=650, offs=42) */ ATSINSmove(tmpret112, PMVtmpltcst(g1int_lt)(arg0, tmp113)) ; ATSfunbody_end() ATSreturn(tmpret112) ; } /* end of [ATSLIB_056_prelude__lt_g1int_int__54] */ #endif // end of [TEMPLATE] /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 12520(line=650, offs=3) -- 12559(line=650, offs=42) */ /* local: global: lt_g1int_int$54$1(level=2) local: global: */ ATSstatic() /* imparg = tk(4626) tmparg = S2Evar(tk(4626)) tmpsub = Some(tk(4626) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__lt_g1int_int__54__1(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret112__1, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp113__1, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12505(line=649, offs=1) -- 12559(line=650, offs=42) */ ATSINSflab(__patsflab_lt_g1int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12546(line=650, offs=29) -- 12557(line=650, offs=40) */ ATSINSmove(tmp113__1, atspre_g1int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12529(line=650, offs=12) -- 12559(line=650, offs=42) */ ATSINSmove(tmpret112__1, atspre_g1int_lt_int(arg0, tmp113__1)) ; ATSfunbody_end() ATSreturn(tmpret112__1) ; } /* end of [ATSLIB_056_prelude__lt_g1int_int__54__1] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 12259(line=635, offs=3) -- 12298(line=635, offs=42) */ /* local: global: eq_g0int_int$13$3(level=2) local: global: */ ATSstatic() /* imparg = tk(4623) tmparg = S2Evar(tk(4623)) tmpsub = Some(tk(4623) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g0int_int__13__3(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret18__3, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp19__3, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12244(line=634, offs=1) -- 12298(line=635, offs=42) */ ATSINSflab(__patsflab_eq_g0int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12285(line=635, offs=29) -- 12296(line=635, offs=40) */ ATSINSmove(tmp19__3, atspre_g0int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12268(line=635, offs=12) -- 12298(line=635, offs=42) */ ATSINSmove(tmpret18__3, atspre_g0int_eq_int(arg0, tmp19__3)) ; ATSfunbody_end() ATSreturn(tmpret18__3) ; } /* end of [ATSLIB_056_prelude__eq_g0int_int__13__3] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 12838(line=668, offs=3) -- 12877(line=668, offs=42) */ /* local: global: eq_g1int_int$19$2(level=2) local: global: */ ATSstatic() /* imparg = tk(4638) tmparg = S2Evar(tk(4638)) tmpsub = Some(tk(4638) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g1int_int__19__2(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret28__2, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp29__2, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12823(line=667, offs=1) -- 12877(line=668, offs=42) */ ATSINSflab(__patsflab_eq_g1int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12864(line=668, offs=29) -- 12875(line=668, offs=40) */ ATSINSmove(tmp29__2, atspre_g1int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12847(line=668, offs=12) -- 12877(line=668, offs=42) */ ATSINSmove(tmpret28__2, atspre_g1int_eq_int(arg0, tmp29__2)) ; ATSfunbody_end() ATSreturn(tmpret28__2) ; } /* end of [ATSLIB_056_prelude__eq_g1int_int__19__2] */ /* /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats: 12259(line=635, offs=3) -- 12298(line=635, offs=42) */ /* local: global: eq_g0int_int$13$4(level=2) local: global: */ ATSstatic() /* imparg = tk(4623) tmparg = S2Evar(tk(4623)) tmpsub = Some(tk(4623) -> S2Eextkind(atstype_int)) */ atstkind_t0ype(atstype_bool) ATSLIB_056_prelude__eq_g0int_int__13__4(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret18__4, atstkind_t0ype(atstype_bool)) ; ATStmpdec(tmp19__4, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12244(line=634, offs=1) -- 12298(line=635, offs=42) */ ATSINSflab(__patsflab_eq_g0int_int): /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12285(line=635, offs=29) -- 12296(line=635, offs=40) */ ATSINSmove(tmp19__4, atspre_g0int2int_int_int(arg1)) ; /* emit_instr: loc0 = /home/vanessa/.atspkg/0.3.10/lib/ats2-postiats-0.3.9/prelude/DATS/integer.dats({$PATSPRE}/DATS/integer.dats): 12268(line=635, offs=12) -- 12298(line=635, offs=42) */ ATSINSmove(tmpret18__4, atspre_g0int_eq_int(arg0, tmp19__4)) ; ATSfunbody_end() ATSreturn(tmpret18__4) ; } /* end of [ATSLIB_056_prelude__eq_g0int_int__13__4] */ /* /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 535(line=26, offs=24) -- 553(line=27, offs=13) */ /* local: is_prime_52$0(level=0) global: witness_0$0(level=0), sqrt_int_49$0(level=0), is_prime_52$0(level=0), is_prime_ats$60$0(level=0) local: global: */ ATSextern() atstkind_t0ype(atstype_bool) is_prime_ats(atstkind_t0ype(atstype_int) arg0) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret129, atstkind_t0ype(atstype_bool)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 522(line=26, offs=11) -- 554(line=27, offs=14) */ ATSINSflab(__patsflab_is_prime_ats): /* emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 543(line=27, offs=3) -- 553(line=27, offs=13) */ ATSINSmove(tmpret129, is_prime_52(arg0)) ; ATSfunbody_end() ATSreturn(tmpret129) ; } /* end of [is_prime_ats] */ /* /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 574(line=29, offs=19) -- 594(line=30, offs=12) */ /* local: exp_6$0(level=0) global: exp_6$0(level=0), exp_ats$61$0(level=0) local: global: */ ATSextern() atstkind_t0ype(atstype_int) exp_ats(atstkind_t0ype(atstype_int) arg0, atstkind_t0ype(atstype_int) arg1) { /* tmpvardeclst(beg) */ ATStmpdec(tmpret130, atstkind_t0ype(atstype_int)) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 566(line=29, offs=11) -- 594(line=30, offs=12) */ ATSINSflab(__patsflab_exp_ats): /* emit_instr: loc0 = /home/vanessa/programming/haskell/done/hs-ats/fast-arithmetic/ats-src/numerics.dats: 585(line=30, offs=3) -- 594(line=30, offs=12) */ ATSINSmove(tmpret130, exp_6(arg0, arg1)) ; ATSfunbody_end() ATSreturn(tmpret130) ; } /* end of [exp_ats] */ #if(0) /* ** for initialization(dynloading) */ ATSdynloadflag_minit(_057_home_057_vanessa_057_programming_057_haskell_057_done_057_hs_055_ats_057_fast_055_arithmetic_057_ats_055_src_057_numerics_056_dats__dynloadflag) ; ATSextern() atsvoid_t0ype _057_home_057_vanessa_057_programming_057_haskell_057_done_057_hs_055_ats_057_fast_055_arithmetic_057_ats_055_src_057_numerics_056_dats__dynload() { ATSfunbody_beg() ATSdynload(/*void*/) ATSdynloadflag_sta( _057_home_057_vanessa_057_programming_057_haskell_057_done_057_hs_055_ats_057_fast_055_arithmetic_057_ats_055_src_057_numerics_056_dats__dynloadflag ) ; ATSif( ATSCKiseqz( _057_home_057_vanessa_057_programming_057_haskell_057_done_057_hs_055_ats_057_fast_055_arithmetic_057_ats_055_src_057_numerics_056_dats__dynloadflag ) ) ATSthen() { ATSdynloadset(_057_home_057_vanessa_057_programming_057_haskell_057_done_057_hs_055_ats_057_fast_055_arithmetic_057_ats_055_src_057_numerics_056_dats__dynloadflag) ; /* dynexnlst-initize(beg) */ /* dynexnlst-initize(end) */ /* local */ /* in of [local] */ /* local */ /* in of [local] */ /* end of [local] */ /* end of [local] */ } /* ATSendif */ ATSfunbody_end() ATSreturn_void(tmpret_void) ; } /* end of [*_dynload] */ #endif // end of [#if(0)] /* ****** ****** */ /* end-of-compilation-unit */