/* ** ** The C code is generated by ATS/Anairiats ** The compilation time is: 2011-9-10: 22h:12m ** */ /* include some .h files */ #ifndef _ATS_HEADER_NONE #include "ats_config.h" #include "ats_basics.h" #include "ats_types.h" #include "ats_exception.h" #include "ats_memory.h" #endif /* _ATS_HEADER_NONE */ /* include some .cats files */ #ifndef _ATS_PRELUDE_NONE #include "prelude/CATS/basics.cats" #include "prelude/CATS/bool.cats" #include "prelude/CATS/byte.cats" #include "prelude/CATS/char.cats" #include "prelude/CATS/float.cats" #include "prelude/CATS/integer.cats" #include "prelude/CATS/integer_fixed.cats" #include "prelude/CATS/integer_ptr.cats" #include "prelude/CATS/lazy.cats" #include "prelude/CATS/lazy_vt.cats" #include "prelude/CATS/pointer.cats" #include "prelude/CATS/printf.cats" #include "prelude/CATS/reference.cats" #include "prelude/CATS/sizetype.cats" #include "prelude/CATS/string.cats" #include "prelude/CATS/array.cats" #include "prelude/CATS/list.cats" #include "prelude/CATS/matrix.cats" #include "prelude/CATS/option.cats" #endif /* _ATS_PRELUDE_NONE */ /* prologues from statically loaded files */ /* external codes at top */ /* type definitions */ typedef struct { ats_int64_type atslab_0 ; ats_ptr_type atslab_1 ; } anairiats_sum_0 ; typedef struct { int tag ; ats_int_type atslab_0 ; } anairiats_sum_1 ; typedef struct { int tag ; ats_ptr_type atslab_0 ; } anairiats_sum_2 ; typedef struct { ats_ptr_type atslab_0 ; ats_ptr_type atslab_1 ; } anairiats_sum_3 ; /* external typedefs */ /* external dynamic constructor declarations */ ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__list_cons) ; ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__list_nil) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2edats__LABint) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2edats__LABname) ; /* external dynamic constant declarations */ ATSextern_fun(ats_int_type, atspre_add_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_bool_type, atspre_gt_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_bool_type, atspre_eq_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_int_type, atspre_compare_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_int64_type, atspre_int64_of_int) (ats_int_type) ; ATSextern_fun(ats_int64_type, atspre_add_int64_int64) (ats_int64_type, ats_int64_type) ; ATSextern_fun(ats_bool_type, atspre_lt_int64_int64) (ats_int64_type, ats_int64_type) ; ATSextern_fun(ats_bool_type, atspre_gte_int64_int64) (ats_int64_type, ats_int64_type) ; ATSextern_fun(ats_bool_type, atspre_eq_int64_int64) (ats_int64_type, ats_int64_type) ; ATSextern_fun(ats_int_type, atspre_compare_int64_int64) (ats_int64_type, ats_int64_type) ; ATSextern_fun(ats_void_type, atspre_fprint_int64) (ats_ptr_type, ats_int64_type) ; ATSextern_fun(ats_void_type, atspre_fprintf_exn) (ats_ptr_type, ats_ptr_type, ...) ; ATSextern_fun(ats_ptr_type, atspre_tostringf) (ats_ptr_type, ...) ; ATSextern_fun(ats_ptr_type, atspre_ref_make_elt_tsz) (ats_ref_type, ats_size_type) ; ATSextern_fun(ats_bool_type, atspre_eq_string_string) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_int_type, atspre_compare_string_string) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, atspre_fprint_string) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_name_get) (ats_ptr_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_temp) (ats_ptr_type, ats_int64_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_templst) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name) (ats_ptr_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_label) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_lablst) (ats_ptr_type, ats_ptr_type) ; /* external dynamic terminating constant declarations */ #ifdef _ATS_PROOFCHECK #endif /* _ATS_PROOFCHECK */ /* sum constructor declarations */ ATSglobal(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2edats__LABint) ; ATSglobal(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2edats__LABname) ; /* exn constructor declarations */ /* global dynamic (non-functional) constant declarations */ ATSglobal(ats_int64_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_bogus) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_chr) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_flush) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_getchar) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_ord) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_print) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_print_int) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_size) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_substring) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_concat) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_not) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_exit) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_main) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_array_alloc) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_array_make_elt) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_eq_string_string) ; ATSglobal(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_neq_string_string) ; /* internal function declarations */ static ats_ptr_type ref_01023_ats_int64_type (ats_int64_type arg0) ; static ats_ptr_type ref_make_elt_01024_ats_int64_type (ats_int64_type arg0) ; static ats_void_type loop_13 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) ; static ats_ptr_type ref_01023_ats_int_type (ats_int_type arg0) ; static ats_ptr_type ref_make_elt_01024_ats_int_type (ats_int_type arg0) ; static ats_void_type loop_29 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) ; /* partial value template declarations */ /* static temporary variable declarations */ ATSstatic (ats_int64_type, statmp0) ; ATSstatic (ats_ptr_type, statmp1) ; ATSstatic (ats_int64_type, statmp5) ; ATSstatic (ats_ptr_type, statmp35) ; ATSstatic (ats_ptr_type, statmp39) ; ATSstatic (ats_ptr_type, statmp40) ; ATSstatic (ats_ptr_type, statmp83) ; ATSstatic (ats_ptr_type, statmp84) ; ATSstatic (ats_ptr_type, statmp85) ; ATSstatic (ats_ptr_type, statmp86) ; ATSstatic (ats_ptr_type, statmp87) ; ATSstatic (ats_ptr_type, statmp88) ; ATSstatic (ats_ptr_type, statmp89) ; ATSstatic (ats_ptr_type, statmp90) ; ATSstatic (ats_ptr_type, statmp91) ; ATSstatic (ats_ptr_type, statmp92) ; ATSstatic (ats_ptr_type, statmp93) ; ATSstatic (ats_ptr_type, statmp94) ; ATSstatic (ats_ptr_type, statmp95) ; ATSstatic (ats_ptr_type, statmp96) ; ATSstatic (ats_ptr_type, statmp97) ; ATSstatic (ats_ptr_type, statmp98) ; /* external value variable declarations */ /* function implementations */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/reference.dats: 1834(line=59, offs=18) -- 1908(line=61, offs=4) */ ATSstaticdec() ats_ptr_type ref_01023_ats_int64_type (ats_int64_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp3) ; ATSlocal (ats_int64_type, tmp4) ; __ats_lab_ref_01023_ats_int64_type: #line 60 "reference.dats" /* ats_int64_type tmp4 ; */ #line 60 "reference.dats" tmp4 = arg0 ; #line 60 "reference.dats" tmp3 = atspre_ref_make_elt_tsz ((&tmp4), sizeof(ats_int64_type)) ; return (tmp3) ; } /* end of [ref_01023_ats_int64_type] */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/reference.dats: 2000(line=64, offs=27) -- 2015(line=64, offs=42) */ ATSstaticdec() ats_ptr_type ref_make_elt_01024_ats_int64_type (ats_int64_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp2) ; __ats_lab_ref_make_elt_01024_ats_int64_type: #line 64 "reference.dats" tmp2 = ref_01023_ats_int64_type (arg0) ; return (tmp2) ; } /* end of [ref_make_elt_01024_ats_int64_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 600(line=38, offs=25) -- 643(line=39, offs=36) */ ATSglobaldec() ats_bool_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_is_bogus (ats_int64_type arg0) { /* local vardec */ ATSlocal (ats_bool_type, tmp6) ; ATSlocal (ats_bool_type, tmp7) ; ATSlocal (ats_int64_type, tmp8) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_is_bogus: #line 28 "templab.dats" tmp8 = atspre_int64_of_int (0) ; #line 39 "templab.dats" tmp7 = atspre_lt_int64_int64 (arg0, tmp8) ; #line 39 "templab.dats" if (tmp7) { #line 39 "templab.dats" tmp6 = ats_true_bool ; } else { #line 39 "templab.dats" tmp6 = ats_false_bool ; } /* end of [if] */ return (tmp6) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_is_bogus] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 698(line=42, offs=28) -- 742(line=43, offs=37) */ ATSglobaldec() ats_bool_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_isnot_bogus (ats_int64_type arg0) { /* local vardec */ ATSlocal (ats_bool_type, tmp9) ; ATSlocal (ats_bool_type, tmp10) ; ATSlocal (ats_int64_type, tmp11) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_isnot_bogus: #line 28 "templab.dats" tmp11 = atspre_int64_of_int (0) ; #line 43 "templab.dats" tmp10 = atspre_gte_int64_int64 (arg0, tmp11) ; #line 43 "templab.dats" if (tmp10) { #line 43 "templab.dats" tmp9 = ats_true_bool ; } else { #line 43 "templab.dats" tmp9 = ats_false_bool ; } /* end of [if] */ return (tmp9) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_isnot_bogus] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 818(line=48, offs=25) -- 889(line=50, offs=4) */ ATSglobaldec() ats_int64_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_make_new () { /* local vardec */ ATSlocal (ats_int64_type, tmp12) ; ATSlocal (ats_int64_type, tmp13) ; ATSlocal (ats_int64_type, tmp14) ; ATSlocal (ats_int64_type, tmp15) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_make_new: #line 49 "templab.dats" tmp13 = ats_ptrget_mac(ats_int64_type, statmp1) ; #line 29 "templab.dats" tmp15 = atspre_int64_of_int (1) ; #line 49 "templab.dats" tmp14 = atspre_add_int64_int64 (tmp13, tmp15) ; #line 49 "templab.dats" ats_ptrget_mac(ats_int64_type, statmp1) = tmp14 ; #line 49 "templab.dats" tmp12 = tmp13 ; return (tmp12) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_make_new] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 943(line=52, offs=27) -- 963(line=52, offs=47) */ ATSglobaldec() ats_int64_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_make_fixed (ats_int_type arg0) { /* local vardec */ ATSlocal (ats_int64_type, tmp16) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_make_fixed: #line 52 "templab.dats" tmp16 = atspre_int64_of_int (arg0) ; return (tmp16) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_make_fixed] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 990(line=55, offs=3) -- 1032(line=55, offs=45) */ ATSglobaldec() ats_bool_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__eq_temp_temp (ats_int64_type arg0, ats_int64_type arg1) { /* local vardec */ ATSlocal (ats_bool_type, tmp17) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__eq_temp_temp: #line 55 "templab.dats" tmp17 = atspre_eq_int64_int64 (arg0, arg1) ; return (tmp17) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__eq_temp_temp] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 1089(line=59, offs=3) -- 1136(line=59, offs=50) */ ATSglobaldec() ats_int_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_temp_temp (ats_int64_type arg0, ats_int64_type arg1) { /* local vardec */ ATSlocal (ats_int_type, tmp18) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_temp_temp: #line 59 "templab.dats" tmp18 = atspre_compare_int64_int64 (arg0, arg1) ; return (tmp18) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_temp_temp] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 1192(line=62, offs=25) -- 1245(line=63, offs=46) */ ATSglobaldec() ats_bool_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_is_fixed (ats_int64_type arg0) { /* local vardec */ ATSlocal (ats_bool_type, tmp19) ; ATSlocal (ats_bool_type, tmp20) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_is_fixed: #line 63 "templab.dats" tmp20 = atspre_lt_int64_int64 (arg0, statmp0) ; #line 63 "templab.dats" if (tmp20) { #line 63 "templab.dats" tmp19 = ats_true_bool ; } else { #line 63 "templab.dats" tmp19 = ats_false_bool ; } /* end of [if] */ return (tmp19) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_is_fixed] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 1297(line=66, offs=23) -- 1373(line=68, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_temp (ats_ptr_type arg0, ats_int64_type arg1) { /* local vardec */ // ATSlocal_void (tmp21) ; // ATSlocal_void (tmp22) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_temp: #line 67 "templab.dats" /* tmp22 = */ atspre_fprint_string (arg0, ATSstrcst("tmp")) ; #line 67 "templab.dats" /* tmp21 = */ atspre_fprint_int64 (arg0, arg1) ; return /* (tmp21) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_temp] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 1419(line=72, offs=22) -- 1454(line=72, offs=57) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__print_temp (ats_int64_type arg0) { /* local vardec */ // ATSlocal_void (tmp23) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__print_temp: #line 72 "templab.dats" /* tmp23 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_temp (stdout, arg0) ; return /* (tmp23) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__print_temp] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 1476(line=73, offs=22) -- 1511(line=73, offs=57) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_temp (ats_int64_type arg0) { /* local vardec */ // ATSlocal_void (tmp24) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_temp: #line 73 "templab.dats" /* tmp24 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_temp (stderr, arg0) ; return /* (tmp24) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_temp] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 1562(line=76, offs=7) -- 1830(line=83, offs=24) */ ATSstaticdec() ats_void_type loop_13 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) { /* local vardec */ // ATSlocal_void (tmp26) ; ATSlocal (ats_int64_type, tmp27) ; ATSlocal (ats_ptr_type, tmp28) ; // ATSlocal_void (tmp29) ; ATSlocal (ats_bool_type, tmp30) ; // ATSlocal_void (tmp31) ; ATSlocal (ats_int_type, tmp32) ; __ats_lab_loop_13: #line 78 "templab.dats" do { /* branch: __ats_lab_0 */ #line 79 "templab.dats" __ats_lab_0_0: #line 79 "templab.dats" if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_1_0 ; } #line 79 "templab.dats" __ats_lab_0_1: #line 79 "templab.dats" tmp27 = ats_caselptr_mac(anairiats_sum_0, arg1, atslab_0) ; #line 79 "templab.dats" tmp28 = ats_caselptr_mac(anairiats_sum_0, arg1, atslab_1) ; #line 80 "templab.dats" tmp30 = atspre_gt_int_int (arg2, 0) ; #line 80 "templab.dats" if (tmp30) { #line 80 "templab.dats" /* tmp29 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ; } else { /* empty */ } /* end of [if] */ #line 81 "templab.dats" /* tmp31 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_temp (arg0, tmp27) ; #line 81 "templab.dats" tmp32 = atspre_add_int_int (arg2, 1) ; #line 81 "templab.dats" arg0 = arg0 ; #line 81 "templab.dats" arg1 = tmp28 ; #line 81 "templab.dats" arg2 = tmp32 ; #line 81 "templab.dats" goto __ats_lab_loop_13 ; // tail call break ; /* branch: __ats_lab_1 */ #line 83 "templab.dats" __ats_lab_1_0: #line 83 "templab.dats" // if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 83 "templab.dats" __ats_lab_1_1: break ; } while (0) ; return /* (tmp26) */ ; } /* end of [loop_13] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 1538(line=75, offs=26) -- 1878(line=87, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_templst (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp25) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_templst: #line 86 "templab.dats" /* tmp25 = */ loop_13 (arg0, arg1, 0) ; return /* (tmp25) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_templst] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 1931(line=89, offs=25) -- 1971(line=89, offs=65) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__print_templst (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp33) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__print_templst: #line 89 "templab.dats" /* tmp33 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_templst (stdout, arg0) ; return /* (tmp33) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__print_templst] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 1996(line=90, offs=25) -- 2036(line=90, offs=65) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_templst (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp34) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_templst: #line 90 "templab.dats" /* tmp34 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_templst (stderr, arg0) ; return /* (tmp34) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_templst] */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/reference.dats: 1834(line=59, offs=18) -- 1908(line=61, offs=4) */ ATSstaticdec() ats_ptr_type ref_01023_ats_int_type (ats_int_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp37) ; ATSlocal (ats_int_type, tmp38) ; __ats_lab_ref_01023_ats_int_type: #line 60 "reference.dats" /* ats_int_type tmp38 ; */ #line 60 "reference.dats" tmp38 = arg0 ; #line 60 "reference.dats" tmp37 = atspre_ref_make_elt_tsz ((&tmp38), sizeof(ats_int_type)) ; return (tmp37) ; } /* end of [ref_01023_ats_int_type] */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/reference.dats: 2000(line=64, offs=27) -- 2015(line=64, offs=42) */ ATSstaticdec() ats_ptr_type ref_make_elt_01024_ats_int_type (ats_int_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp36) ; __ats_lab_ref_make_elt_01024_ats_int_type: #line 64 "reference.dats" tmp36 = ref_01023_ats_int_type (arg0) ; return (tmp36) ; } /* end of [ref_make_elt_01024_ats_int_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 2353(line=110, offs=26) -- 2449(line=114, offs=4) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_new () { /* local vardec */ ATSlocal (ats_ptr_type, tmp41) ; ATSlocal (ats_int_type, tmp42) ; ATSlocal (ats_int_type, tmp43) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_new: #line 111 "templab.dats" tmp42 = ats_ptrget_mac(ats_int_type, statmp35) ; #line 112 "templab.dats" tmp43 = atspre_add_int_int (tmp42, 1) ; #line 112 "templab.dats" ats_ptrget_mac(ats_int_type, statmp35) = tmp43 ; #line 113 "templab.dats" tmp41 = ATS_MALLOC(sizeof(anairiats_sum_1)) ; ((ats_sum_ptr_type)tmp41)->tag = 0 ; ats_selptrset_mac(anairiats_sum_1, tmp41, atslab_0, tmp42) ; return (tmp41) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_new] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 2507(line=116, offs=30) -- 2699(line=123, offs=4) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_str_new () { /* local vardec */ ATSlocal (ats_ptr_type, tmp44) ; ATSlocal (ats_int_type, tmp45) ; ATSlocal (ats_int_type, tmp46) ; ATSlocal (ats_ptr_type, tmp47) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_str_new: #line 117 "templab.dats" tmp45 = ats_ptrget_mac(ats_int_type, statmp40) ; #line 118 "templab.dats" tmp46 = atspre_add_int_int (tmp45, 1) ; #line 118 "templab.dats" ats_ptrget_mac(ats_int_type, statmp40) = tmp46 ; #line 119 "templab.dats" tmp47 = atspre_tostringf (ATSstrcst("LC%i_TIGERATS"), tmp45) ; #line 122 "templab.dats" tmp44 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp44)->tag = 1 ; ats_selptrset_mac(anairiats_sum_2, tmp44, atslab_0, ats_castfn_mac(ats_ptr_type, tmp47)) ; return (tmp44) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_str_new] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 2761(line=125, offs=30) -- 3005(line=133, offs=4) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_fun_new (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp48) ; ATSlocal (ats_int_type, tmp49) ; ATSlocal (ats_int_type, tmp50) ; ATSlocal (ats_ptr_type, tmp51) ; ATSlocal (ats_ptr_type, tmp52) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_fun_new: #line 126 "templab.dats" tmp49 = ats_ptrget_mac(ats_int_type, statmp39) ; #line 127 "templab.dats" tmp50 = atspre_add_int_int (tmp49, 1) ; #line 127 "templab.dats" ats_ptrget_mac(ats_int_type, statmp39) = tmp50 ; #line 128 "templab.dats" tmp51 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__symbol_name_get (arg0) ; #line 129 "templab.dats" tmp52 = atspre_tostringf (ATSstrcst("LF%i_TIGERATS_%s"), tmp49, tmp51) ; #line 132 "templab.dats" tmp48 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp48)->tag = 1 ; ats_selptrset_mac(anairiats_sum_2, tmp48, atslab_0, ats_castfn_mac(ats_ptr_type, tmp52)) ; return (tmp48) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_fun_new] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 3064(line=135, offs=27) -- 3086(line=135, offs=49) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp53) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name: #line 135 "templab.dats" tmp53 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp53)->tag = 1 ; ats_selptrset_mac(anairiats_sum_2, tmp53, atslab_0, arg0) ; return (tmp53) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 3135(line=140, offs=16) -- 3304(line=144, offs=25) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_name_get (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp54) ; ATSlocal (ats_int_type, tmp55) ; ATSlocal (ats_ptr_type, tmp56) ; ATSlocal (ats_ptr_type, tmp57) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_name_get: #line 140 "templab.dats" do { /* branch: __ats_lab_2 */ #line 141 "templab.dats" __ats_lab_2_0: #line 141 "templab.dats" if (((ats_sum_ptr_type)arg0)->tag != 0) { goto __ats_lab_3_0 ; } #line 141 "templab.dats" __ats_lab_2_1: #line 141 "templab.dats" tmp55 = ats_caselptr_mac(anairiats_sum_1, arg0, atslab_0) ; #line 142 "templab.dats" tmp56 = atspre_tostringf (ATSstrcst("L%i_TIGERATS"), tmp55) ; #line 142 "templab.dats" tmp54 = ats_castfn_mac(ats_ptr_type, tmp56) ; break ; /* branch: __ats_lab_3 */ #line 144 "templab.dats" __ats_lab_3_0: #line 144 "templab.dats" // if (((ats_sum_ptr_type)arg0)->tag != 1) { ats_deadcode_failure_handle () ; } #line 144 "templab.dats" __ats_lab_3_1: #line 144 "templab.dats" tmp57 = ats_caselptr_mac(anairiats_sum_2, arg0, atslab_0) ; #line 144 "templab.dats" tmp54 = tmp57 ; break ; } while (0) ; return (tmp54) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_name_get] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 3379(line=149, offs=26) -- 3545(line=153, offs=20) */ ATSglobaldec() ats_bool_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__eq_label_label (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_bool_type, tmp58) ; ATSlocal (ats_int_type, tmp59) ; ATSlocal (ats_int_type, tmp60) ; ATSlocal (ats_ptr_type, tmp61) ; ATSlocal (ats_ptr_type, tmp62) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__eq_label_label: #line 150 "templab.dats" do { /* branch: __ats_lab_4 */ #line 151 "templab.dats" __ats_lab_4_0: #line 151 "templab.dats" if (((ats_sum_ptr_type)arg0)->tag != 0) { goto __ats_lab_5_0 ; } #line 151 "templab.dats" __ats_lab_4_1: #line 151 "templab.dats" if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_6_1 ; } #line 151 "templab.dats" __ats_lab_4_2: #line 151 "templab.dats" tmp59 = ats_caselptr_mac(anairiats_sum_1, arg0, atslab_0) ; #line 151 "templab.dats" tmp60 = ats_caselptr_mac(anairiats_sum_1, arg1, atslab_0) ; #line 151 "templab.dats" tmp58 = atspre_eq_int_int (tmp59, tmp60) ; break ; /* branch: __ats_lab_5 */ #line 152 "templab.dats" __ats_lab_5_0: #line 152 "templab.dats" if (((ats_sum_ptr_type)arg0)->tag != 1) { goto __ats_lab_6_0 ; } #line 152 "templab.dats" __ats_lab_5_1: #line 152 "templab.dats" if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_6_1 ; } #line 152 "templab.dats" __ats_lab_5_2: #line 152 "templab.dats" tmp61 = ats_caselptr_mac(anairiats_sum_2, arg0, atslab_0) ; #line 152 "templab.dats" tmp62 = ats_caselptr_mac(anairiats_sum_2, arg1, atslab_0) ; #line 152 "templab.dats" tmp58 = atspre_eq_string_string (tmp61, tmp62) ; break ; /* branch: __ats_lab_6 */ #line 153 "templab.dats" __ats_lab_6_0: #line 153 "templab.dats" __ats_lab_6_1: #line 153 "templab.dats" __ats_lab_6_2: #line 153 "templab.dats" tmp58 = ats_false_bool ; break ; } while (0) ; return (tmp58) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__eq_label_label] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 3604(line=156, offs=31) -- 3824(line=161, offs=32) */ ATSglobaldec() ats_int_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_label_label (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_int_type, tmp63) ; ATSlocal (ats_int_type, tmp64) ; ATSlocal (ats_int_type, tmp65) ; ATSlocal (ats_ptr_type, tmp66) ; ATSlocal (ats_ptr_type, tmp67) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_label_label: #line 157 "templab.dats" do { /* branch: __ats_lab_7 */ #line 158 "templab.dats" __ats_lab_7_0: #line 158 "templab.dats" if (((ats_sum_ptr_type)arg0)->tag != 0) { goto __ats_lab_8_0 ; } #line 158 "templab.dats" __ats_lab_7_1: #line 158 "templab.dats" if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_9_1 ; } #line 158 "templab.dats" __ats_lab_7_2: #line 158 "templab.dats" tmp64 = ats_caselptr_mac(anairiats_sum_1, arg0, atslab_0) ; #line 158 "templab.dats" tmp65 = ats_caselptr_mac(anairiats_sum_1, arg1, atslab_0) ; #line 158 "templab.dats" tmp63 = atspre_compare_int_int (tmp64, tmp65) ; break ; /* branch: __ats_lab_8 */ #line 159 "templab.dats" __ats_lab_8_0: #line 159 "templab.dats" if (((ats_sum_ptr_type)arg0)->tag != 1) { goto __ats_lab_9_0 ; } #line 159 "templab.dats" __ats_lab_8_1: #line 159 "templab.dats" if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_10_1 ; } #line 159 "templab.dats" __ats_lab_8_2: #line 159 "templab.dats" tmp66 = ats_caselptr_mac(anairiats_sum_2, arg0, atslab_0) ; #line 159 "templab.dats" tmp67 = ats_caselptr_mac(anairiats_sum_2, arg1, atslab_0) ; #line 159 "templab.dats" tmp63 = atspre_compare_string_string (tmp66, tmp67) ; break ; /* branch: __ats_lab_9 */ #line 160 "templab.dats" __ats_lab_9_0: #line 160 "templab.dats" if (((ats_sum_ptr_type)arg0)->tag != 0) { goto __ats_lab_10_0 ; } #line 160 "templab.dats" __ats_lab_9_1: #line 160 "templab.dats" // if (((ats_sum_ptr_type)arg1)->tag != 1) { ats_deadcode_failure_handle () ; } #line 160 "templab.dats" __ats_lab_9_2: #line 160 "templab.dats" tmp63 = -1 ; break ; /* branch: __ats_lab_10 */ #line 161 "templab.dats" __ats_lab_10_0: #line 161 "templab.dats" // if (((ats_sum_ptr_type)arg0)->tag != 1) { ats_deadcode_failure_handle () ; } #line 161 "templab.dats" __ats_lab_10_1: #line 161 "templab.dats" // if (((ats_sum_ptr_type)arg1)->tag != 0) { ats_deadcode_failure_handle () ; } #line 161 "templab.dats" __ats_lab_10_2: #line 161 "templab.dats" tmp63 = 1 ; break ; } while (0) ; return (tmp63) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_label_label] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 3902(line=166, offs=24) -- 4060(line=171, offs=46) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_label (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp68) ; ATSlocal (ats_int_type, tmp69) ; ATSlocal (ats_ptr_type, tmp70) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_label: #line 167 "templab.dats" do { /* branch: __ats_lab_11 */ #line 168 "templab.dats" __ats_lab_11_0: #line 168 "templab.dats" if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_12_0 ; } #line 168 "templab.dats" __ats_lab_11_1: #line 168 "templab.dats" tmp69 = ats_caselptr_mac(anairiats_sum_1, arg1, atslab_0) ; #line 169 "templab.dats" /* tmp68 = */ atspre_fprintf_exn (arg0, ATSstrcst("L%i_TIGERATS"), tmp69) ; break ; /* branch: __ats_lab_12 */ #line 171 "templab.dats" __ats_lab_12_0: #line 171 "templab.dats" // if (((ats_sum_ptr_type)arg1)->tag != 1) { ats_deadcode_failure_handle () ; } #line 171 "templab.dats" __ats_lab_12_1: #line 171 "templab.dats" tmp70 = ats_caselptr_mac(anairiats_sum_2, arg1, atslab_0) ; #line 171 "templab.dats" /* tmp68 = */ atspre_fprint_string (arg0, tmp70) ; break ; } while (0) ; return /* (tmp68) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_label] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 4132(line=176, offs=23) -- 4168(line=176, offs=59) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__print_label (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp71) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__print_label: #line 176 "templab.dats" /* tmp71 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_label (stdout, arg0) ; return /* (tmp71) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__print_label] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 4191(line=177, offs=23) -- 4227(line=177, offs=59) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_label (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp72) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_label: #line 177 "templab.dats" /* tmp72 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_label (stderr, arg0) ; return /* (tmp72) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_label] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 4277(line=180, offs=7) -- 4545(line=187, offs=24) */ ATSstaticdec() ats_void_type loop_29 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) { /* local vardec */ // ATSlocal_void (tmp74) ; ATSlocal (ats_ptr_type, tmp75) ; ATSlocal (ats_ptr_type, tmp76) ; // ATSlocal_void (tmp77) ; ATSlocal (ats_bool_type, tmp78) ; // ATSlocal_void (tmp79) ; ATSlocal (ats_int_type, tmp80) ; __ats_lab_loop_29: #line 182 "templab.dats" do { /* branch: __ats_lab_13 */ #line 183 "templab.dats" __ats_lab_13_0: #line 183 "templab.dats" if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_14_0 ; } #line 183 "templab.dats" __ats_lab_13_1: #line 183 "templab.dats" tmp75 = ats_caselptr_mac(anairiats_sum_3, arg1, atslab_0) ; #line 183 "templab.dats" tmp76 = ats_caselptr_mac(anairiats_sum_3, arg1, atslab_1) ; #line 184 "templab.dats" tmp78 = atspre_gt_int_int (arg2, 0) ; #line 184 "templab.dats" if (tmp78) { #line 184 "templab.dats" /* tmp77 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ; } else { /* empty */ } /* end of [if] */ #line 185 "templab.dats" /* tmp79 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_label (arg0, tmp75) ; #line 185 "templab.dats" tmp80 = atspre_add_int_int (arg2, 1) ; #line 185 "templab.dats" arg0 = arg0 ; #line 185 "templab.dats" arg1 = tmp76 ; #line 185 "templab.dats" arg2 = tmp80 ; #line 185 "templab.dats" goto __ats_lab_loop_29 ; // tail call break ; /* branch: __ats_lab_14 */ #line 187 "templab.dats" __ats_lab_14_0: #line 187 "templab.dats" // if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 187 "templab.dats" __ats_lab_14_1: break ; } while (0) ; return /* (tmp74) */ ; } /* end of [loop_29] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 4253(line=179, offs=25) -- 4593(line=191, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_lablst (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp73) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_lablst: #line 190 "templab.dats" /* tmp73 = */ loop_29 (arg0, arg1, 0) ; return /* (tmp73) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_lablst] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 4644(line=193, offs=24) -- 4683(line=193, offs=63) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__print_lablst (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp81) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__print_lablst: #line 193 "templab.dats" /* tmp81 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_lablst (stdout, arg0) ; return /* (tmp81) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__print_lablst] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/templab.dats: 4707(line=194, offs=24) -- 4746(line=194, offs=63) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_lablst (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp82) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_lablst: #line 194 "templab.dats" /* tmp82 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_lablst (stderr, arg0) ; return /* (tmp82) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_lablst] */ /* static load function */ extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__staload (void) ; extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__staload (void) ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2reference_2edats__staload (void) ; ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2edats__staload () { static int _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2edats__staload_flag = 0 ; if (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2edats__staload_flag) return ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2edats__staload_flag = 1 ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__staload () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__staload () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2reference_2edats__staload () ; // _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2edats__LABint.tag = 0 ; // _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2edats__LABname.tag = 1 ; return ; } /* staload function */ /* dynamic load function */ // dynload flag declaration extern ats_int_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2edats__dynload_flag ; ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2edats__dynload () { _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2edats__dynload_flag = 1 ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2edats__staload () ; #ifdef _ATS_PROOFCHECK #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&statmp0, sizeof(ats_int64_type)) ; ATS_GC_MARKROOT(&statmp1, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp5, sizeof(ats_int64_type)) ; ATS_GC_MARKROOT(&statmp35, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp39, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp40, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp83, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp84, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp85, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp86, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp87, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp88, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp89, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp90, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp91, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp92, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp93, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp94, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp95, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp96, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp97, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp98, sizeof(ats_ptr_type)) ; /* marking external values for GC */ /* code for dynamic loading */ #line 31 "templab.dats" statmp0 = atspre_int64_of_int (100) ; #line 32 "templab.dats" statmp1 = ref_make_elt_01024_ats_int64_type (statmp0) ; #line 36 "templab.dats" statmp5 = atspre_int64_of_int (-1) ; #line 36 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_bogus, sizeof(ats_int64_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_bogus = statmp5 ; #line 102 "templab.dats" statmp35 = ref_make_elt_01024_ats_int_type (0) ; #line 103 "templab.dats" statmp39 = ref_make_elt_01024_ats_int_type (0) ; #line 104 "templab.dats" statmp40 = ref_make_elt_01024_ats_int_type (0) ; #line 198 "templab.dats" statmp83 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_chr")) ; #line 198 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_chr, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_chr = statmp83 ; #line 199 "templab.dats" statmp84 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_flush")) ; #line 199 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_flush, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_flush = statmp84 ; #line 200 "templab.dats" statmp85 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_getchar")) ; #line 200 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_getchar, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_getchar = statmp85 ; #line 201 "templab.dats" statmp86 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_ord")) ; #line 201 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_ord, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_ord = statmp86 ; #line 202 "templab.dats" statmp87 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_print")) ; #line 202 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_print, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_print = statmp87 ; #line 203 "templab.dats" statmp88 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_print_int")) ; #line 203 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_print_int, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_print_int = statmp88 ; #line 204 "templab.dats" statmp89 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_size")) ; #line 204 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_size, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_size = statmp89 ; #line 205 "templab.dats" statmp90 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_substring")) ; #line 205 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_substring, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_substring = statmp90 ; #line 206 "templab.dats" statmp91 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_concat")) ; #line 206 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_concat, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_concat = statmp91 ; #line 207 "templab.dats" statmp92 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_not")) ; #line 207 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_not, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_not = statmp92 ; #line 208 "templab.dats" statmp93 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_exit")) ; #line 208 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_exit, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_exit = statmp93 ; #line 210 "templab.dats" statmp94 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_main")) ; #line 210 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_main, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_main = statmp94 ; #line 212 "templab.dats" statmp95 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_array_alloc")) ; #line 212 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_array_alloc, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_array_alloc = statmp95 ; #line 213 "templab.dats" statmp96 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_array_make_elt")) ; #line 213 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_array_make_elt, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_array_make_elt = statmp96 ; #line 215 "templab.dats" statmp97 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_eq_string_string")) ; #line 215 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_eq_string_string, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_eq_string_string = statmp97 ; #line 216 "templab.dats" statmp98 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__label_make_name (ATSstrcst("tiger_neq_string_string")) ; #line 216 "templab.dats" ATS_GC_MARKROOT(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_neq_string_string, sizeof(ats_ptr_type)) ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_neq_string_string = statmp98 ; return ; } /* end of [dynload function] */ /* external codes at mid */ /* external codes at bot */ #line 220 "templab.dats" ats_uint_type tigerats_hash_temp (ats_int64_type tmp) { uint64_t utmp = tmp ; ats_ulint_type hashval = 31415926UL ; while (utmp) { hashval = (hashval << 5) + hashval ; hashval += (utmp & 0xFF) ; utmp >>= 8 ; } /* end of [while] */ return hashval ; } /* end of [hash_temp] */ /* ****** ****** */ /* end of [templab_dats.c] */