/* ** ** 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 */ #include "libc/CATS/stdio.cats" #include "libc/sys/CATS/types.cats" /* external codes at top */ /* type definitions */ typedef struct { ats_ptr_type atslab_3 ; ats_ptr_type atslab_4 ; } anairiats_rec_0 ; typedef struct { ats_ptr_type atslab_2 ; ats_size_type atslab_3 ; } anairiats_rec_1 ; typedef struct { int tag ; ats_int_type atslab_0 ; } anairiats_sum_2 ; typedef struct { ats_int_type atslab_0 ; ats_int64_type atslab_1 ; ats_ptr_type atslab_2 ; ats_ptr_type atslab_3 ; ats_ptr_type atslab_4 ; } anairiats_sum_3 ; typedef struct { ats_ptr_type atslab_0 ; ats_ptr_type atslab_1 ; } anairiats_sum_4 ; typedef struct { ats_ptr_type atslab_0 ; } anairiats_sum_5 ; typedef struct { ats_int_type atslab_0 ; ats_ptr_type atslab_1 ; ats_ptr_type atslab_2 ; ats_ptr_type atslab_3 ; ats_ptr_type atslab_4 ; } anairiats_sum_6 ; typedef struct { int tag ; ats_ptr_type atslab_0 ; } anairiats_sum_7 ; typedef struct { int tag ; ats_clo_ref_type atslab_0 ; } anairiats_sum_8 ; typedef struct { int tag ; ats_int64_type atslab_0 ; } anairiats_sum_9 ; typedef struct { int tag ; ats_ptr_type atslab_0 ; ats_ptr_type atslab_1 ; ats_ptr_type atslab_2 ; } anairiats_sum_10 ; typedef struct { int tag ; ats_ptr_type atslab_0 ; ats_ptr_type atslab_1 ; } anairiats_sum_11 ; typedef struct { ats_int64_type atslab_0 ; ats_ptr_type atslab_1 ; } anairiats_sum_12 ; typedef struct { int tag ; ats_ptr_type atslab_0 ; ats_ptr_type atslab_1 ; ats_ptr_type atslab_2 ; ats_ptr_type atslab_3 ; ats_ptr_type atslab_4 ; } anairiats_sum_13 ; /* 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, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__list_vt_cons) ; ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__list_vt_nil) ; ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__None_vt) ; ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__Some_vt) ; ATSextern_val(ats_exn_type, ATS_2d0_2e2_2e6_2prelude_2SATS_2array_2esats__ArraySubscriptException) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__EQ) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__NEQ) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__GT) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__GE) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__LT) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__LE) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__PLUS) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__MINUS) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__MUL) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__DIV) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__STMmove) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__STMexp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__STMjump) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__STMcjump) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__STMlabel) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__EXPconst) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__EXPname) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__EXPtemp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__EXPbinop) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__EXPmem) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__EXPcall) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V1ALint) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V1ALlab) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V1ALstr) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V2ALcod) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V2ALpre) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V2ALstr) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2funmap_avltree_2edats__B) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2funmap_avltree_2edats__E) ; /* external dynamic constant declarations */ ATSextern_fun(ats_void_type, atspre_assert) (ats_bool_type) ; ATSextern_fun(ats_void_type, atspre_vbox_make_view_ptr) (ats_ptr_type) ; ATSextern_fun(ats_void_type, atspre_prerr_newline) () ; ATSextern_fun(ats_char_type, atspre_char_of_int) (ats_int_type) ; ATSextern_fun(ats_int_type, atspre_int_of_char) (ats_char_type) ; ATSextern_fun(ats_int_type, atspre_add_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_int_type, atspre_sub_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_int_type, atspre_mul_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_int_type, atspre_div_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_bool_type, atspre_lt_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_bool_type, atspre_lte_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_gte_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_bool_type, atspre_neq_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_void_type, atspre_print_int) (ats_int_type) ; ATSextern_fun(ats_void_type, atspre_prerr_int) (ats_int_type) ; ATSextern_fun(ats_int_type, atspre_isucc) (ats_int_type) ; ATSextern_fun(ats_int_type, atspre_iadd) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_int_type, atspre_isub) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_bool_type, atspre_ilt) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_bool_type, atspre_ilte) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_bool_type, atspre_igt) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_bool_type, atspre_igte) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_int_type, atspre_imax) (ats_int_type, ats_int_type) ; ATSextern_val(ats_ptr_type, atspre_null_ptr) ; ATSextern_fun(ats_ptr_type, atspre_padd_size) (ats_ptr_type, ats_size_type) ; ATSextern_fun(ats_bool_type, atspre_pneq) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_ptr_type, atspre_ref_make_elt_tsz) (ats_ref_type, ats_size_type) ; ATSextern_fun(ats_size_type, atspre_size1_of_int1) (ats_int_type) ; ATSextern_fun(ats_size_type, atspre_add_size1_int1) (ats_size_type, ats_int_type) ; ATSextern_fun(ats_size_type, atspre_sub_size1_int1) (ats_size_type, ats_int_type) ; ATSextern_fun(ats_size_type, atspre_mul2_size1_size1) (ats_size_type, ats_size_type) ; ATSextern_fun(ats_bool_type, atspre_lt_size1_size1) (ats_size_type, ats_size_type) ; ATSextern_fun(ats_bool_type, atspre_gt_size1_int1) (ats_size_type, ats_int_type) ; ATSextern_fun(ats_bool_type, atspre_neq_size1_size1) (ats_size_type, ats_size_type) ; ATSextern_fun(ats_bool_type, atspre_eq_string_string) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_bool_type, atspre_neq_string_string) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, atspre_print_string) (ats_ptr_type) ; ATSextern_fun(ats_void_type, atspre_prerr_string) (ats_ptr_type) ; ATSextern_fun(ats_char_type, atspre_string_get_char_at__intsz) (ats_ptr_type, ats_int_type) ; ATSextern_fun(ats_ptr_type, atspre_string_make_char) (ats_size_type, ats_char_type) ; ATSextern_fun(ats_ptr_type, atspre_string_append) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_bool_type, atspre_string_isnot_at_end) (ats_ptr_type, ats_size_type) ; ATSextern_fun(ats_ptr_type, atspre_array_ptr_alloc_tsz) (ats_size_type, ats_size_type) ; ATSextern_fun(ats_void_type, atspre_array_ptr_free) (ats_ptr_type) ; ATSextern_fun(ats_void_type, atspre_array_ptr_initialize_elt_tsz) (ats_ref_type, ats_size_type, ats_ref_type, ats_size_type) ; ATSextern_fun(ats_void_type, atspre_array_ptr_initialize_funenv_tsz) (ats_ref_type, ats_size_type, ats_ptr_type, ats_size_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, atspre_array_ptr_initialize_cloenv_tsz) (ats_ref_type, ats_size_type, ats_ref_type, ats_size_type, ats_ptr_type) ; ATSextern_fun(ats_ptr_type, atspre_array_ptr_split_tsz) (ats_ptr_type, ats_size_type, ats_size_type) ; ATSextern_fun(ats_ptr_type, atspre_array_ptr_takeout_tsz) (ats_ptr_type, ats_size_type, ats_size_type) ; ATSextern_fun(anairiats_rec_0, atspre_array_ptr_takeout2_tsz) (ats_ptr_type, ats_size_type, ats_size_type, ats_size_type) ; ATSextern_fun(ats_void_type, atspre_array_ptr_foreach_funenv_tsz) (ats_ref_type, ats_ptr_type, ats_size_type, ats_size_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, atspre_array_ptr_iforeach_funenv_tsz) (ats_ref_type, ats_ptr_type, ats_size_type, ats_size_type, ats_ptr_type) ; ATSextern_fun(ats_ptr_type, atspre_array2_ptr_takeout_tsz) (ats_ptr_type, ats_size_type, ats_size_type, ats_size_type) ; ATSextern_fun(ats_ptr_type, ATS_2d0_2e2_2e6_2prelude_2SATS_2array0_2esats__array0_make_arrsz) (anairiats_rec_1) ; ATSextern_fun(ats_void_type, atslib_fflush_exn) (ats_ptr_type) ; ATSextern_fun(ats_int_type, atslib_getchar) () ; ATSextern_fun(ats_int_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_temp_temp) (ats_int64_type, ats_int64_type) ; ATSextern_fun(ats_bool_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__eq_label_label) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_int_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_label_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__prerr_label) (ats_ptr_type) ; ATSextern_val(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_chr) ; ATSextern_val(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_flush) ; ATSextern_val(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_getchar) ; ATSextern_val(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_ord) ; ATSextern_val(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_print) ; ATSextern_val(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_print_int) ; ATSextern_val(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_concat) ; ATSextern_val(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_array_alloc) ; ATSextern_val(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_array_make_elt) ; ATSextern_val(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_eq_string_string) ; ATSextern_val(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_neq_string_string) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__prerr_exp) (ats_ptr_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__prerr_stm) (ats_ptr_type) ; ATSextern_val(ats_int64_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__RV) ; ATSextern_val(ats_int64_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__FP) ; ATSextern_val(ats_int_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__WORDSIZE) ; ATSextern_fun(ats_int_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__frame_argofs_get) (ats_ptr_type) ; ATSextern_val(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__theFunargReglst) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_memory_get) (ats_int_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_memory_set) (ats_int_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stack_push) (ats_ptr_type) ; ATSextern_fun(ats_int_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stackptr_get) () ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stackptr_set) (ats_int_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Stmlst) (ats_ptr_type, ats_ref_type, ats_ptr_type) ; /* external dynamic terminating constant declarations */ #ifdef _ATS_PROOFCHECK extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2SATS_2array_2esats__array_v_takeout2_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____copy_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____free_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; #endif /* _ATS_PROOFCHECK */ /* sum constructor declarations */ ATSglobal(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V1ALint) ; ATSglobal(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V1ALlab) ; ATSglobal(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V1ALstr) ; ATSglobal(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V2ALcod) ; ATSglobal(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V2ALpre) ; ATSglobal(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V2ALstr) ; /* exn constructor declarations */ /* global dynamic (non-functional) constant declarations */ /* internal function declarations */ static ats_int_type __ats_fun_0 (ats_int64_type arg0, ats_int64_type arg1) ; static ats_clo_ptr_type __ats_fun_0_closure_make () ; static ats_int_type __ats_fun_0_clofun (ats_clo_ptr_type cloptr, ats_int64_type arg0, ats_int64_type arg1) ; static ats_ptr_type funmap_empty_01964_ () ; static ats_ptr_type tmpmap_empty_1 () ; static ats_int_type compare_key_key_01963_ats_int64_type (ats_int64_type arg0, ats_int64_type arg1, ats_clo_ref_type arg2) ; static ats_ptr_type search_5 (ats_int64_type env0, ats_clo_ref_type env1, ats_ptr_type arg0) ; static ats_clo_ptr_type search_5_closure_make (ats_int64_type env0, ats_clo_ref_type env1) ; static ats_ptr_type search_5_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) ; static ats_ptr_type funmap_search_01968_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0, ats_int64_type arg1, ats_clo_ref_type arg2) ; static ats_ptr_type tmpmap_search_3 (ats_ptr_type arg0, ats_int64_type arg1) ; static ats_int_type avltree_height_01792_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0) ; static ats_ptr_type avltree_rrotate_01811_ats_int64_type_2cats_ptr_type (ats_int64_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) ; static ats_ptr_type avltree_lrotate_01795_ats_int64_type_2cats_ptr_type (ats_int64_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) ; static ats_ptr_type insert_10 (ats_int64_type env0, ats_ptr_type env1, ats_clo_ref_type env2, ats_ptr_type arg0, ats_ref_type arg1) ; static ats_clo_ptr_type insert_10_closure_make (ats_int64_type env0, ats_ptr_type env1, ats_clo_ref_type env2) ; static ats_ptr_type insert_10_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0, ats_ref_type arg1) ; static ats_ptr_type funmap_insert_status_01970_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2, ats_clo_ref_type arg3, ats_ref_type arg4) ; static ats_ptr_type funmap_insert_01969_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2, ats_clo_ref_type arg3) ; static ats_void_type tmpmap_insert_7 (ats_ref_type arg0, ats_int64_type arg1, ats_ptr_type arg2) ; static ats_int_type __ats_fun_14 (ats_ptr_type arg0, ats_ptr_type arg1) ; static ats_clo_ptr_type __ats_fun_14_closure_make () ; static ats_int_type __ats_fun_14_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0, ats_ptr_type arg1) ; static ats_ptr_type ref_01023_ats_ptr_type (ats_ptr_type arg0) ; static ats_ptr_type ref_make_elt_01024_ats_ptr_type (ats_ptr_type arg0) ; static ats_int_type compare_key_key_01963_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2) ; static ats_ptr_type search_19 (ats_ptr_type env0, ats_clo_ref_type env1, ats_ptr_type arg0) ; static ats_clo_ptr_type search_19_closure_make (ats_ptr_type env0, ats_clo_ref_type env1) ; static ats_ptr_type search_19_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) ; static ats_ptr_type funmap_search_01968_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2) ; static ats_ptr_type the_labmap_search_17 (ats_ptr_type arg0) ; static ats_int_type avltree_height_01792_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0) ; static ats_ptr_type avltree_rrotate_01811_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) ; static ats_ptr_type avltree_lrotate_01795_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) ; static ats_ptr_type insert_24 (ats_ptr_type env0, ats_ptr_type env1, ats_clo_ref_type env2, ats_ptr_type arg0, ats_ref_type arg1) ; static ats_clo_ptr_type insert_24_closure_make (ats_ptr_type env0, ats_ptr_type env1, ats_clo_ref_type env2) ; static ats_ptr_type insert_24_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0, ats_ref_type arg1) ; static ats_ptr_type funmap_insert_status_01970_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_clo_ref_type arg3, ats_ref_type arg4) ; static ats_ptr_type funmap_insert_01969_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_clo_ref_type arg3) ; static ats_void_type the_labmap_insert_21 (ats_ptr_type arg0, ats_ptr_type arg1) ; static ats_ptr_type string_of_v1al_28 (ats_ptr_type arg0) ; static ats_ptr_type __ats_fun_29 (ats_ptr_type arg0) ; static ats_clo_ptr_type __ats_fun_29_closure_make () ; static ats_ptr_type __ats_fun_29_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) ; static ats_ptr_type __ats_fun_30 (ats_ptr_type arg0) ; static ats_clo_ptr_type __ats_fun_30_closure_make () ; static ats_ptr_type __ats_fun_30_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) ; static ats_ptr_type __ats_fun_31 (ats_ptr_type arg0) ; static ats_clo_ptr_type __ats_fun_31_closure_make () ; static ats_ptr_type __ats_fun_31_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) ; static ats_ptr_type __ats_fun_32 (ats_ptr_type arg0) ; static ats_clo_ptr_type __ats_fun_32_closure_make () ; static ats_ptr_type __ats_fun_32_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) ; static ats_ptr_type __ats_fun_33 (ats_ptr_type arg0) ; static ats_clo_ptr_type __ats_fun_33_closure_make () ; static ats_ptr_type __ats_fun_33_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) ; static ats_ptr_type __ats_fun_34 (ats_ptr_type arg0) ; static ats_clo_ptr_type __ats_fun_34_closure_make () ; static ats_ptr_type __ats_fun_34_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) ; static ats_ptr_type __ats_fun_35 (ats_ptr_type arg0) ; static ats_clo_ptr_type __ats_fun_35_closure_make () ; static ats_ptr_type __ats_fun_35_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) ; static ats_ptr_type __ats_fun_36 (ats_ptr_type arg0) ; static ats_clo_ptr_type __ats_fun_36_closure_make () ; static ats_ptr_type __ats_fun_36_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) ; static ats_ptr_type __ats_fun_37 (ats_ptr_type arg0) ; static ats_clo_ptr_type __ats_fun_37_closure_make () ; static ats_ptr_type __ats_fun_37_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) ; 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_ptr_type array0_make_elt_01354_ats_ptr_type (ats_size_type arg0, ats_ptr_type arg1) ; static ats_ptr_type array0_get_elt_at_01357_ats_ptr_type (ats_ptr_type arg0, ats_size_type arg1) ; static ats_ptr_type array0_get_elt_at__intsz_01359_ats_ptr_type (ats_ptr_type arg0, ats_int_type arg1) ; static ats_void_type array0_set_elt_at_01358_ats_ptr_type (ats_ptr_type arg0, ats_size_type arg1, ats_ptr_type arg2) ; static ats_void_type array0_set_elt_at__intsz_01360_ats_ptr_type (ats_ptr_type arg0, ats_int_type arg1, ats_ptr_type arg2) ; static ats_ptr_type __ats_fun_50 (ats_ptr_type arg0) ; static ats_clo_ptr_type __ats_fun_50_closure_make () ; static ats_ptr_type __ats_fun_50_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) ; static ats_void_type loop_52 (ats_ptr_type arg0, ats_int_type arg1, ats_int_type arg2) ; static ats_ptr_type __ats_fun_51 (ats_ptr_type arg0) ; static ats_clo_ptr_type __ats_fun_51_closure_make () ; static ats_ptr_type __ats_fun_51_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) ; static ats_ptr_type stmlst_label_find_53 (ats_ptr_type arg0, ats_ptr_type arg1) ; static ats_varet_type err_55 (ats_ptr_type arg0) ; static ats_ptr_type loop_56 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) ; static ats_void_type loop_57 (ats_ptr_type arg0) ; static ats_ptr_type loop_60 (ats_ptr_type arg0, ats_ptr_type arg1) ; static ats_ptr_type list_reverse_append2_vt_01496_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) ; static ats_ptr_type list_reverse_01497_ats_ptr_type (ats_ptr_type arg0) ; static ats_void_type loop_61 (ats_ref_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) ; static ats_varet_type err_63 (ats_ptr_type arg0) ; /* partial value template declarations */ /* static temporary variable declarations */ ATSstatic (ats_ptr_type, statmp0) ; ATSstatic (ats_ptr_type, statmp2) ; ATSstatic (ats_ptr_type, statmp91) ; ATSstatic (ats_ptr_type, statmp92) ; ATSstatic (ats_ptr_type, statmp93) ; ATSstatic (ats_ptr_type, statmp198) ; // ATSstatic_void (statmp199) ; ATSstatic (ats_ptr_type, statmp200) ; ATSstatic (ats_ptr_type, statmp205) ; // ATSstatic_void (statmp206) ; ATSstatic (ats_ptr_type, statmp207) ; ATSstatic (ats_ptr_type, statmp210) ; // ATSstatic_void (statmp211) ; ATSstatic (ats_ptr_type, statmp212) ; ATSstatic (ats_ptr_type, statmp217) ; // ATSstatic_void (statmp218) ; ATSstatic (ats_ptr_type, statmp219) ; ATSstatic (ats_ptr_type, statmp227) ; // ATSstatic_void (statmp228) ; ATSstatic (ats_ptr_type, statmp229) ; ATSstatic (ats_ptr_type, statmp235) ; // ATSstatic_void (statmp236) ; ATSstatic (ats_ptr_type, statmp237) ; ATSstatic (ats_ptr_type, statmp245) ; // ATSstatic_void (statmp246) ; ATSstatic (ats_ptr_type, statmp247) ; ATSstatic (ats_ptr_type, statmp255) ; // ATSstatic_void (statmp256) ; ATSstatic (ats_ptr_type, statmp257) ; ATSstatic (ats_ptr_type, statmp265) ; // ATSstatic_void (statmp266) ; ATSstatic (ats_ptr_type, statmp267) ; ATSstatic (ats_ptr_type, statmp268) ; ATSstatic (ats_ptr_type, statmp272) ; ATSstatic (ats_ptr_type, statmp273) ; ATSstatic (ats_ptr_type, statmp313) ; // ATSstatic_void (statmp314) ; ATSstatic (ats_ptr_type, statmp315) ; ATSstatic (ats_ptr_type, statmp330) ; // ATSstatic_void (statmp331) ; ATSstatic (ats_ptr_type, statmp332) ; /* external value variable declarations */ /* function implementations */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 1306(line=75, offs=16) -- 1380(line=77, offs=43) */ ATSstaticdec() ats_int_type __ats_fun_0 (ats_int64_type arg0, ats_int64_type arg1) { /* local vardec */ ATSlocal (ats_int_type, tmp1) ; __ats_lab___ats_fun_0: #line 77 "interp1.dats" tmp1 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_temp_temp (arg0, arg1) ; return (tmp1) ; } /* end of [__ats_fun_0] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_0_closure_type ; ats_int_type __ats_fun_0_clofun (ats_clo_ptr_type cloptr, ats_int64_type arg0, ats_int64_type arg1) { return __ats_fun_0 (arg0, arg1) ; } /* end of function */ ATSinline() ats_void_type __ats_fun_0_closure_init (__ats_fun_0_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_0_clofun ; return ; } /* end of function */ ats_clo_ptr_type __ats_fun_0_closure_make () { __ats_fun_0_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_0_closure_type)) ; __ats_fun_0_closure_init (p_clo) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 2673(line=105, offs=26) -- 2682(line=105, offs=35) */ ATSstaticdec() ats_ptr_type funmap_empty_01964_ () { /* local vardec */ ATSlocal (ats_ptr_type, tmp4) ; __ats_lab_funmap_empty_01964_: #line 105 "funmap_avltree.dats" tmp4 = (ats_sum_ptr_type)0 ; return (tmp4) ; } /* end of [funmap_empty_01964_] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 1422(line=82, offs=4) -- 1473(line=82, offs=55) */ ATSstaticdec() ats_ptr_type tmpmap_empty_1 () { /* local vardec */ ATSlocal (ats_ptr_type, tmp3) ; __ats_lab_tmpmap_empty_1: #line 82 "interp1.dats" tmp3 = funmap_empty_01964_ () ; return (tmp3) ; } /* end of [tmpmap_empty_1] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 554(line=29, offs=32) -- 582(line=29, offs=60) */ ATSstaticdec() ats_int_type compare_key_key_01963_ats_int64_type (ats_int64_type arg0, ats_int64_type arg1, ats_clo_ref_type arg2) { /* local vardec */ ATSlocal (ats_int_type, tmp14) ; __ats_lab_compare_key_key_01963_ats_int64_type: #line 29 "funmap_avltree.dats" tmp14 = ((ats_int_type(*)(ats_clo_ptr_type, ats_int64_type, ats_int64_type))(ats_closure_fun(arg2))) (arg2, arg0, arg1) ; return (tmp14) ; } /* end of [compare_key_key_01963_ats_int64_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 3305(line=130, offs=7) -- 3729(line=143, offs=6) */ ATSstaticdec() ats_ptr_type search_5 (ats_int64_type env0, ats_clo_ref_type env1, ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp8) ; ATSlocal (ats_int64_type, tmp9) ; ATSlocal (ats_ptr_type, tmp10) ; ATSlocal (ats_ptr_type, tmp11) ; ATSlocal (ats_ptr_type, tmp12) ; ATSlocal (ats_int_type, tmp13) ; ATSlocal (ats_bool_type, tmp15) ; ATSlocal (ats_bool_type, tmp16) ; ATSlocal (ats_ptr_type, tmp17) ; __ats_lab_search_5: #line 132 "funmap_avltree.dats" do { /* branch: __ats_lab_0 */ #line 133 "funmap_avltree.dats" __ats_lab_0_0: #line 133 "funmap_avltree.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_1_0 ; } #line 133 "funmap_avltree.dats" __ats_lab_0_1: #line 133 "funmap_avltree.dats" tmp9 = ats_caselptr_mac(anairiats_sum_3, arg0, atslab_1) ; #line 133 "funmap_avltree.dats" tmp10 = ats_caselptr_mac(anairiats_sum_3, arg0, atslab_2) ; #line 133 "funmap_avltree.dats" tmp11 = ats_caselptr_mac(anairiats_sum_3, arg0, atslab_3) ; #line 133 "funmap_avltree.dats" tmp12 = ats_caselptr_mac(anairiats_sum_3, arg0, atslab_4) ; #line 134 "funmap_avltree.dats" tmp13 = compare_key_key_01963_ats_int64_type (env0, tmp9, env1) ; #line 136 "funmap_avltree.dats" tmp15 = atspre_ilt (tmp13, 0) ; #line 136 "funmap_avltree.dats" if (tmp15) { #line 136 "funmap_avltree.dats" arg0 = tmp11 ; #line 136 "funmap_avltree.dats" goto __ats_lab_search_5 ; // tail call } else { #line 136 "funmap_avltree.dats" tmp16 = atspre_igt (tmp13, 0) ; #line 136 "funmap_avltree.dats" if (tmp16) { #line 136 "funmap_avltree.dats" arg0 = tmp12 ; #line 136 "funmap_avltree.dats" goto __ats_lab_search_5 ; // tail call } else { #line 137 "funmap_avltree.dats" // if (tmp10 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 137 "funmap_avltree.dats" tmp17 = ats_caselptr_mac(anairiats_sum_4, tmp10, atslab_0) ; #line 139 "funmap_avltree.dats" tmp8 = ATS_MALLOC(sizeof(anairiats_sum_5)) ; ats_selptrset_mac(anairiats_sum_5, tmp8, atslab_0, tmp17) ; } /* end of [if] */ } /* end of [if] */ break ; /* branch: __ats_lab_1 */ #line 142 "funmap_avltree.dats" __ats_lab_1_0: #line 142 "funmap_avltree.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 142 "funmap_avltree.dats" __ats_lab_1_1: #line 142 "funmap_avltree.dats" tmp8 = (ats_sum_ptr_type)0 ; break ; } while (0) ; return (tmp8) ; } /* end of [search_5] */ typedef struct { ats_fun_ptr_type closure_fun ; ats_int64_type closure_env_0 ; ats_clo_ref_type closure_env_1 ; } search_5_closure_type ; ats_ptr_type search_5_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) { return search_5 (((search_5_closure_type*)cloptr)->closure_env_0, ((search_5_closure_type*)cloptr)->closure_env_1, arg0) ; } /* end of function */ ATSinline() ats_void_type search_5_closure_init (search_5_closure_type *p_clo, ats_int64_type env0, ats_clo_ref_type env1) { p_clo->closure_fun = (ats_fun_ptr_type)&search_5_clofun ; p_clo->closure_env_0 = env0 ; p_clo->closure_env_1 = env1 ; return ; } /* end of function */ ats_clo_ptr_type search_5_closure_make (ats_int64_type env0, ats_clo_ref_type env1) { search_5_closure_type *p_clo = ATS_MALLOC(sizeof(search_5_closure_type)) ; search_5_closure_init (p_clo, env0, env1) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 3265(line=129, offs=34) -- 3750(line=144, offs=2) */ ATSstaticdec() ats_ptr_type funmap_search_01968_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0, ats_int64_type arg1, ats_clo_ref_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp7) ; __ats_lab_funmap_search_01968_ats_int64_type_2cats_ptr_type: #line 129 "funmap_avltree.dats" tmp7 = search_5 (arg1, arg2, arg0) ; return (tmp7) ; } /* end of [funmap_search_01968_ats_int64_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 1478(line=84, offs=4) -- 1693(line=90, offs=4) */ ATSstaticdec() ats_ptr_type tmpmap_search_3 (ats_ptr_type arg0, ats_int64_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp5) ; ATSlocal (ats_ptr_type, tmp6) ; ATSlocal (ats_ptr_type, tmp18) ; __ats_lab_tmpmap_search_3: #line 86 "interp1.dats" tmp6 = funmap_search_01968_ats_int64_type_2cats_ptr_type (arg0, arg1, statmp2) ; #line 89 "interp1.dats" do { /* branch: __ats_lab_2 */ #line 89 "interp1.dats" __ats_lab_2_0: #line 89 "interp1.dats" if (tmp6 == (ats_sum_ptr_type)0) { goto __ats_lab_3_0 ; } #line 89 "interp1.dats" __ats_lab_2_1: #line 89 "interp1.dats" tmp18 = ats_caselptr_mac(anairiats_sum_5, tmp6, atslab_0) ; #line 89 "interp1.dats" ATS_FREE(tmp6) ; #line 89 "interp1.dats" tmp5 = tmp18 ; break ; /* branch: __ats_lab_3 */ #line 89 "interp1.dats" __ats_lab_3_0: #line 89 "interp1.dats" // if (tmp6 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 89 "interp1.dats" __ats_lab_3_1: #line 89 "interp1.dats" tmp5 = statmp0 ; break ; } while (0) ; return (tmp5) ; } /* end of [tmpmap_search_3] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 3842(line=149, offs=3) -- 3939(line=151, offs=4) */ ATSstaticdec() ats_int_type avltree_height_01792_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_int_type, tmp34) ; ATSlocal (ats_int_type, tmp35) ; __ats_lab_avltree_height_01792_ats_int64_type_2cats_ptr_type: #line 150 "funmap_avltree.dats" do { /* branch: __ats_lab_5 */ #line 150 "funmap_avltree.dats" __ats_lab_5_0: #line 150 "funmap_avltree.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_6_0 ; } #line 150 "funmap_avltree.dats" __ats_lab_5_1: #line 150 "funmap_avltree.dats" tmp35 = ats_caselptr_mac(anairiats_sum_3, arg0, atslab_0) ; #line 150 "funmap_avltree.dats" tmp34 = tmp35 ; break ; /* branch: __ats_lab_6 */ #line 150 "funmap_avltree.dats" __ats_lab_6_0: #line 150 "funmap_avltree.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 150 "funmap_avltree.dats" __ats_lab_6_1: #line 150 "funmap_avltree.dats" tmp34 = 0 ; break ; } while (0) ; return (tmp34) ; } /* end of [avltree_height_01792_ats_int64_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 4781(line=176, offs=60) -- 5337(line=191, offs=4) */ ATSstaticdec() ats_ptr_type avltree_rrotate_01811_ats_int64_type_2cats_ptr_type (ats_int64_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) { /* local vardec */ ATSlocal (ats_ptr_type, tmp41) ; ATSlocal (ats_int_type, tmp42) ; ATSlocal (ats_int64_type, tmp43) ; ATSlocal (ats_ptr_type, tmp44) ; ATSlocal (ats_ptr_type, tmp45) ; ATSlocal (ats_ptr_type, tmp46) ; ATSlocal (ats_int_type, tmp47) ; ATSlocal (ats_int_type, tmp48) ; ATSlocal (ats_bool_type, tmp49) ; ATSlocal (ats_int_type, tmp50) ; ATSlocal (ats_ptr_type, tmp51) ; ATSlocal (ats_int_type, tmp52) ; ATSlocal (ats_int64_type, tmp53) ; ATSlocal (ats_ptr_type, tmp54) ; ATSlocal (ats_ptr_type, tmp55) ; ATSlocal (ats_ptr_type, tmp56) ; ATSlocal (ats_ptr_type, tmp57) ; ATSlocal (ats_ptr_type, tmp58) ; __ats_lab_avltree_rrotate_01811_ats_int64_type_2cats_ptr_type: #line 181 "funmap_avltree.dats" // if (arg2 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 181 "funmap_avltree.dats" tmp42 = ats_caselptr_mac(anairiats_sum_3, arg2, atslab_0) ; #line 181 "funmap_avltree.dats" tmp43 = ats_caselptr_mac(anairiats_sum_3, arg2, atslab_1) ; #line 181 "funmap_avltree.dats" tmp44 = ats_caselptr_mac(anairiats_sum_3, arg2, atslab_2) ; #line 181 "funmap_avltree.dats" tmp45 = ats_caselptr_mac(anairiats_sum_3, arg2, atslab_3) ; #line 181 "funmap_avltree.dats" tmp46 = ats_caselptr_mac(anairiats_sum_3, arg2, atslab_4) ; #line 182 "funmap_avltree.dats" tmp47 = avltree_height_01792_ats_int64_type_2cats_ptr_type (tmp45) ; #line 182 "funmap_avltree.dats" tmp48 = avltree_height_01792_ats_int64_type_2cats_ptr_type (tmp46) ; #line 184 "funmap_avltree.dats" tmp49 = atspre_igte (tmp47, tmp48) ; #line 184 "funmap_avltree.dats" if (tmp49) { #line 185 "funmap_avltree.dats" tmp50 = atspre_iadd (tmp48, 2) ; #line 185 "funmap_avltree.dats" tmp52 = atspre_iadd (tmp48, 1) ; #line 185 "funmap_avltree.dats" tmp51 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp51, atslab_0, tmp52) ; ats_selptrset_mac(anairiats_sum_3, tmp51, atslab_1, arg0) ; ats_selptrset_mac(anairiats_sum_3, tmp51, atslab_2, arg1) ; ats_selptrset_mac(anairiats_sum_3, tmp51, atslab_3, tmp46) ; ats_selptrset_mac(anairiats_sum_3, tmp51, atslab_4, arg3) ; #line 185 "funmap_avltree.dats" tmp41 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp41, atslab_0, tmp50) ; ats_selptrset_mac(anairiats_sum_3, tmp41, atslab_1, tmp43) ; ats_selptrset_mac(anairiats_sum_3, tmp41, atslab_2, tmp44) ; ats_selptrset_mac(anairiats_sum_3, tmp41, atslab_3, tmp45) ; ats_selptrset_mac(anairiats_sum_3, tmp41, atslab_4, tmp51) ; } else { #line 187 "funmap_avltree.dats" // if (tmp46 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 187 "funmap_avltree.dats" tmp53 = ats_caselptr_mac(anairiats_sum_3, tmp46, atslab_1) ; #line 187 "funmap_avltree.dats" tmp54 = ats_caselptr_mac(anairiats_sum_3, tmp46, atslab_2) ; #line 187 "funmap_avltree.dats" tmp55 = ats_caselptr_mac(anairiats_sum_3, tmp46, atslab_3) ; #line 187 "funmap_avltree.dats" tmp56 = ats_caselptr_mac(anairiats_sum_3, tmp46, atslab_4) ; #line 189 "funmap_avltree.dats" tmp57 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp57, atslab_0, tmp48) ; ats_selptrset_mac(anairiats_sum_3, tmp57, atslab_1, tmp43) ; ats_selptrset_mac(anairiats_sum_3, tmp57, atslab_2, tmp44) ; ats_selptrset_mac(anairiats_sum_3, tmp57, atslab_3, tmp45) ; ats_selptrset_mac(anairiats_sum_3, tmp57, atslab_4, tmp55) ; #line 189 "funmap_avltree.dats" tmp58 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp58, atslab_0, tmp48) ; ats_selptrset_mac(anairiats_sum_3, tmp58, atslab_1, arg0) ; ats_selptrset_mac(anairiats_sum_3, tmp58, atslab_2, arg1) ; ats_selptrset_mac(anairiats_sum_3, tmp58, atslab_3, tmp56) ; ats_selptrset_mac(anairiats_sum_3, tmp58, atslab_4, arg3) ; #line 189 "funmap_avltree.dats" tmp41 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp41, atslab_0, tmp42) ; ats_selptrset_mac(anairiats_sum_3, tmp41, atslab_1, tmp53) ; ats_selptrset_mac(anairiats_sum_3, tmp41, atslab_2, tmp54) ; ats_selptrset_mac(anairiats_sum_3, tmp41, atslab_3, tmp57) ; ats_selptrset_mac(anairiats_sum_3, tmp41, atslab_4, tmp58) ; } /* end of [if] */ return (tmp41) ; } /* end of [avltree_rrotate_01811_ats_int64_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 4081(line=156, offs=60) -- 4637(line=171, offs=4) */ ATSstaticdec() ats_ptr_type avltree_lrotate_01795_ats_int64_type_2cats_ptr_type (ats_int64_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) { /* local vardec */ ATSlocal (ats_ptr_type, tmp67) ; ATSlocal (ats_int_type, tmp68) ; ATSlocal (ats_int64_type, tmp69) ; ATSlocal (ats_ptr_type, tmp70) ; ATSlocal (ats_ptr_type, tmp71) ; ATSlocal (ats_ptr_type, tmp72) ; ATSlocal (ats_int_type, tmp73) ; ATSlocal (ats_int_type, tmp74) ; ATSlocal (ats_bool_type, tmp75) ; ATSlocal (ats_int_type, tmp76) ; ATSlocal (ats_ptr_type, tmp77) ; ATSlocal (ats_int_type, tmp78) ; ATSlocal (ats_int64_type, tmp79) ; ATSlocal (ats_ptr_type, tmp80) ; ATSlocal (ats_ptr_type, tmp81) ; ATSlocal (ats_ptr_type, tmp82) ; ATSlocal (ats_ptr_type, tmp83) ; ATSlocal (ats_ptr_type, tmp84) ; __ats_lab_avltree_lrotate_01795_ats_int64_type_2cats_ptr_type: #line 161 "funmap_avltree.dats" // if (arg3 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 161 "funmap_avltree.dats" tmp68 = ats_caselptr_mac(anairiats_sum_3, arg3, atslab_0) ; #line 161 "funmap_avltree.dats" tmp69 = ats_caselptr_mac(anairiats_sum_3, arg3, atslab_1) ; #line 161 "funmap_avltree.dats" tmp70 = ats_caselptr_mac(anairiats_sum_3, arg3, atslab_2) ; #line 161 "funmap_avltree.dats" tmp71 = ats_caselptr_mac(anairiats_sum_3, arg3, atslab_3) ; #line 161 "funmap_avltree.dats" tmp72 = ats_caselptr_mac(anairiats_sum_3, arg3, atslab_4) ; #line 162 "funmap_avltree.dats" tmp73 = avltree_height_01792_ats_int64_type_2cats_ptr_type (tmp71) ; #line 162 "funmap_avltree.dats" tmp74 = avltree_height_01792_ats_int64_type_2cats_ptr_type (tmp72) ; #line 164 "funmap_avltree.dats" tmp75 = atspre_ilte (tmp73, tmp74) ; #line 164 "funmap_avltree.dats" if (tmp75) { #line 165 "funmap_avltree.dats" tmp76 = atspre_iadd (tmp73, 2) ; #line 165 "funmap_avltree.dats" tmp78 = atspre_iadd (tmp73, 1) ; #line 165 "funmap_avltree.dats" tmp77 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp77, atslab_0, tmp78) ; ats_selptrset_mac(anairiats_sum_3, tmp77, atslab_1, arg0) ; ats_selptrset_mac(anairiats_sum_3, tmp77, atslab_2, arg1) ; ats_selptrset_mac(anairiats_sum_3, tmp77, atslab_3, arg2) ; ats_selptrset_mac(anairiats_sum_3, tmp77, atslab_4, tmp71) ; #line 165 "funmap_avltree.dats" tmp67 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp67, atslab_0, tmp76) ; ats_selptrset_mac(anairiats_sum_3, tmp67, atslab_1, tmp69) ; ats_selptrset_mac(anairiats_sum_3, tmp67, atslab_2, tmp70) ; ats_selptrset_mac(anairiats_sum_3, tmp67, atslab_3, tmp77) ; ats_selptrset_mac(anairiats_sum_3, tmp67, atslab_4, tmp72) ; } else { #line 167 "funmap_avltree.dats" // if (tmp71 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 167 "funmap_avltree.dats" tmp79 = ats_caselptr_mac(anairiats_sum_3, tmp71, atslab_1) ; #line 167 "funmap_avltree.dats" tmp80 = ats_caselptr_mac(anairiats_sum_3, tmp71, atslab_2) ; #line 167 "funmap_avltree.dats" tmp81 = ats_caselptr_mac(anairiats_sum_3, tmp71, atslab_3) ; #line 167 "funmap_avltree.dats" tmp82 = ats_caselptr_mac(anairiats_sum_3, tmp71, atslab_4) ; #line 169 "funmap_avltree.dats" tmp83 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp83, atslab_0, tmp73) ; ats_selptrset_mac(anairiats_sum_3, tmp83, atslab_1, arg0) ; ats_selptrset_mac(anairiats_sum_3, tmp83, atslab_2, arg1) ; ats_selptrset_mac(anairiats_sum_3, tmp83, atslab_3, arg2) ; ats_selptrset_mac(anairiats_sum_3, tmp83, atslab_4, tmp81) ; #line 169 "funmap_avltree.dats" tmp84 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp84, atslab_0, tmp73) ; ats_selptrset_mac(anairiats_sum_3, tmp84, atslab_1, tmp69) ; ats_selptrset_mac(anairiats_sum_3, tmp84, atslab_2, tmp70) ; ats_selptrset_mac(anairiats_sum_3, tmp84, atslab_3, tmp82) ; ats_selptrset_mac(anairiats_sum_3, tmp84, atslab_4, tmp72) ; #line 169 "funmap_avltree.dats" tmp67 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp67, atslab_0, tmp68) ; ats_selptrset_mac(anairiats_sum_3, tmp67, atslab_1, tmp79) ; ats_selptrset_mac(anairiats_sum_3, tmp67, atslab_2, tmp80) ; ats_selptrset_mac(anairiats_sum_3, tmp67, atslab_3, tmp83) ; ats_selptrset_mac(anairiats_sum_3, tmp67, atslab_4, tmp84) ; } /* end of [if] */ return (tmp67) ; } /* end of [avltree_lrotate_01795_ats_int64_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 5779(line=208, offs=7) -- 6968(line=239, offs=6) */ ATSstaticdec() ats_ptr_type insert_10 (ats_int64_type env0, ats_ptr_type env1, ats_clo_ref_type env2, ats_ptr_type arg0, ats_ref_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp24) ; ATSlocal (ats_int_type, tmp25) ; ATSlocal (ats_int64_type, tmp26) ; ATSlocal (ats_ptr_type, tmp27) ; ATSlocal (ats_ptr_type, tmp28) ; ATSlocal (ats_ptr_type, tmp29) ; ATSlocal (ats_int_type, tmp30) ; ATSlocal (ats_bool_type, tmp31) ; ATSlocal (ats_ptr_type, tmp32) ; ATSlocal (ats_int_type, tmp33) ; ATSlocal (ats_int_type, tmp36) ; ATSlocal (ats_bool_type, tmp37) ; ATSlocal (ats_int_type, tmp38) ; ATSlocal (ats_int_type, tmp39) ; ATSlocal (ats_int_type, tmp40) ; ATSlocal (ats_bool_type, tmp59) ; ATSlocal (ats_ptr_type, tmp60) ; ATSlocal (ats_int_type, tmp61) ; ATSlocal (ats_int_type, tmp62) ; ATSlocal (ats_bool_type, tmp63) ; ATSlocal (ats_int_type, tmp64) ; ATSlocal (ats_int_type, tmp65) ; ATSlocal (ats_int_type, tmp66) ; ATSlocal (ats_ptr_type, tmp85) ; ATSlocal (ats_ptr_type, tmp86) ; ATSlocal (ats_ptr_type, tmp87) ; ATSlocal (ats_ptr_type, tmp88) ; ATSlocal (ats_ptr_type, tmp89) ; __ats_lab_insert_10: #line 210 "funmap_avltree.dats" do { /* branch: __ats_lab_4 */ #line 211 "funmap_avltree.dats" __ats_lab_4_0: #line 211 "funmap_avltree.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_7_0 ; } #line 211 "funmap_avltree.dats" __ats_lab_4_1: #line 211 "funmap_avltree.dats" tmp25 = ats_caselptr_mac(anairiats_sum_3, arg0, atslab_0) ; #line 211 "funmap_avltree.dats" tmp26 = ats_caselptr_mac(anairiats_sum_3, arg0, atslab_1) ; #line 211 "funmap_avltree.dats" tmp27 = ats_caselptr_mac(anairiats_sum_3, arg0, atslab_2) ; #line 211 "funmap_avltree.dats" tmp28 = ats_caselptr_mac(anairiats_sum_3, arg0, atslab_3) ; #line 211 "funmap_avltree.dats" tmp29 = ats_caselptr_mac(anairiats_sum_3, arg0, atslab_4) ; #line 212 "funmap_avltree.dats" tmp30 = compare_key_key_01963_ats_int64_type (env0, tmp26, env2) ; #line 214 "funmap_avltree.dats" tmp31 = atspre_ilt (tmp30, 0) ; #line 214 "funmap_avltree.dats" if (tmp31) { #line 215 "funmap_avltree.dats" tmp32 = insert_10 (env0, env1, env2, tmp28, arg1) ; #line 216 "funmap_avltree.dats" tmp33 = avltree_height_01792_ats_int64_type_2cats_ptr_type (tmp32) ; #line 216 "funmap_avltree.dats" tmp36 = avltree_height_01792_ats_int64_type_2cats_ptr_type (tmp29) ; #line 218 "funmap_avltree.dats" tmp38 = atspre_isub (tmp33, tmp36) ; #line 218 "funmap_avltree.dats" tmp37 = atspre_ilte (tmp38, 1) ; #line 218 "funmap_avltree.dats" if (tmp37) { #line 219 "funmap_avltree.dats" tmp40 = atspre_imax (tmp33, tmp36) ; #line 219 "funmap_avltree.dats" tmp39 = atspre_iadd (tmp40, 1) ; #line 219 "funmap_avltree.dats" tmp24 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_0, tmp39) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_1, tmp26) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_2, tmp27) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_3, tmp32) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_4, tmp29) ; } else { #line 221 "funmap_avltree.dats" tmp24 = avltree_rrotate_01811_ats_int64_type_2cats_ptr_type (tmp26, tmp27, tmp32, tmp29) ; } /* end of [if] */ } else { #line 223 "funmap_avltree.dats" tmp59 = atspre_igt (tmp30, 0) ; #line 223 "funmap_avltree.dats" if (tmp59) { #line 224 "funmap_avltree.dats" tmp60 = insert_10 (env0, env1, env2, tmp29, arg1) ; #line 225 "funmap_avltree.dats" tmp61 = avltree_height_01792_ats_int64_type_2cats_ptr_type (tmp28) ; #line 225 "funmap_avltree.dats" tmp62 = avltree_height_01792_ats_int64_type_2cats_ptr_type (tmp60) ; #line 227 "funmap_avltree.dats" tmp64 = atspre_isub (tmp62, tmp61) ; #line 227 "funmap_avltree.dats" tmp63 = atspre_ilte (tmp64, 1) ; #line 227 "funmap_avltree.dats" if (tmp63) { #line 228 "funmap_avltree.dats" tmp66 = atspre_imax (tmp61, tmp62) ; #line 228 "funmap_avltree.dats" tmp65 = atspre_iadd (tmp66, 1) ; #line 228 "funmap_avltree.dats" tmp24 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_0, tmp65) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_1, tmp26) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_2, tmp27) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_3, tmp28) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_4, tmp60) ; } else { #line 230 "funmap_avltree.dats" tmp24 = avltree_lrotate_01795_ats_int64_type_2cats_ptr_type (tmp26, tmp27, tmp28, tmp60) ; } /* end of [if] */ } else { #line 233 "funmap_avltree.dats" ats_ptrget_mac(ats_int_type, arg1) = 1 ; #line 233 "funmap_avltree.dats" tmp85 = ATS_MALLOC(sizeof(anairiats_sum_4)) ; ats_selptrset_mac(anairiats_sum_4, tmp85, atslab_0, env1) ; ats_selptrset_mac(anairiats_sum_4, tmp85, atslab_1, tmp27) ; #line 233 "funmap_avltree.dats" tmp24 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_0, tmp25) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_1, tmp26) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_2, tmp85) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_3, tmp28) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_4, tmp29) ; } /* end of [if] */ } /* end of [if] */ break ; /* branch: __ats_lab_7 */ #line 236 "funmap_avltree.dats" __ats_lab_7_0: #line 236 "funmap_avltree.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 236 "funmap_avltree.dats" __ats_lab_7_1: #line 237 "funmap_avltree.dats" ats_ptrget_mac(ats_int_type, arg1) = 0 ; #line 237 "funmap_avltree.dats" tmp87 = (ats_sum_ptr_type)0 ; #line 237 "funmap_avltree.dats" tmp86 = ATS_MALLOC(sizeof(anairiats_sum_4)) ; ats_selptrset_mac(anairiats_sum_4, tmp86, atslab_0, env1) ; ats_selptrset_mac(anairiats_sum_4, tmp86, atslab_1, tmp87) ; #line 237 "funmap_avltree.dats" tmp88 = (ats_sum_ptr_type)0 ; #line 237 "funmap_avltree.dats" tmp89 = (ats_sum_ptr_type)0 ; #line 237 "funmap_avltree.dats" tmp24 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_0, 1) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_1, env0) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_2, tmp86) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_3, tmp88) ; ats_selptrset_mac(anairiats_sum_3, tmp24, atslab_4, tmp89) ; break ; } while (0) ; return (tmp24) ; } /* end of [insert_10] */ typedef struct { ats_fun_ptr_type closure_fun ; ats_int64_type closure_env_0 ; ats_ptr_type closure_env_1 ; ats_clo_ref_type closure_env_2 ; } insert_10_closure_type ; ats_ptr_type insert_10_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0, ats_ref_type arg1) { return insert_10 (((insert_10_closure_type*)cloptr)->closure_env_0, ((insert_10_closure_type*)cloptr)->closure_env_1, ((insert_10_closure_type*)cloptr)->closure_env_2, arg0, arg1) ; } /* end of function */ ATSinline() ats_void_type insert_10_closure_init (insert_10_closure_type *p_clo, ats_int64_type env0, ats_ptr_type env1, ats_clo_ref_type env2) { p_clo->closure_fun = (ats_fun_ptr_type)&insert_10_clofun ; p_clo->closure_env_0 = env0 ; p_clo->closure_env_1 = env1 ; p_clo->closure_env_2 = env2 ; return ; } /* end of function */ ats_clo_ptr_type insert_10_closure_make (ats_int64_type env0, ats_ptr_type env1, ats_clo_ref_type env2) { insert_10_closure_type *p_clo = ATS_MALLOC(sizeof(insert_10_closure_type)) ; insert_10_closure_init (p_clo, env0, env1, env2) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 5719(line=207, offs=3) -- 6989(line=240, offs=2) */ ATSstaticdec() ats_ptr_type funmap_insert_status_01970_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2, ats_clo_ref_type arg3, ats_ref_type arg4) { /* local vardec */ ATSlocal (ats_ptr_type, tmp23) ; __ats_lab_funmap_insert_status_01970_ats_int64_type_2cats_ptr_type: #line 207 "funmap_avltree.dats" tmp23 = insert_10 (arg1, arg2, arg3, arg0, arg4) ; return (tmp23) ; } /* end of [funmap_insert_status_01970_ats_int64_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 5475(line=197, offs=34) -- 5587(line=201, offs=4) */ ATSstaticdec() ats_ptr_type funmap_insert_01969_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2, ats_clo_ref_type arg3) { /* local vardec */ ATSlocal (ats_ptr_type, tmp21) ; ATSlocal (ats_int_type, tmp22) ; __ats_lab_funmap_insert_01969_ats_int64_type_2cats_ptr_type: #line 198 "funmap_avltree.dats" /* ats_int_type tmp22 ; */ #line 200 "funmap_avltree.dats" tmp21 = funmap_insert_status_01970_ats_int64_type_2cats_ptr_type (arg0, arg1, arg2, arg3, (&tmp22)) ; return (tmp21) ; } /* end of [funmap_insert_01969_ats_int64_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 1728(line=92, offs=4) -- 1863(line=95, offs=4) */ ATSstaticdec() ats_void_type tmpmap_insert_7 (ats_ref_type arg0, ats_int64_type arg1, ats_ptr_type arg2) { /* local vardec */ // ATSlocal_void (tmp19) ; ATSlocal (ats_ptr_type, tmp20) ; __ats_lab_tmpmap_insert_7: #line 94 "interp1.dats" tmp20 = funmap_insert_01969_ats_int64_type_2cats_ptr_type (ats_ptrget_mac(ats_ptr_type, arg0), arg1, arg2, statmp2) ; #line 94 "interp1.dats" ats_ptrget_mac(ats_ptr_type, arg0) = tmp20 ; return /* (tmp19) */ ; } /* end of [tmpmap_insert_7] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 1962(line=103, offs=16) -- 2040(line=105, offs=45) */ ATSstaticdec() ats_int_type __ats_fun_14 (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_int_type, tmp90) ; __ats_lab___ats_fun_14: #line 105 "interp1.dats" tmp90 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_label_label (arg0, arg1) ; return (tmp90) ; } /* end of [__ats_fun_14] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_14_closure_type ; ats_int_type __ats_fun_14_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0, ats_ptr_type arg1) { return __ats_fun_14 (arg0, arg1) ; } /* end of function */ ATSinline() ats_void_type __ats_fun_14_closure_init (__ats_fun_14_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_14_clofun ; return ; } /* end of function */ ats_clo_ptr_type __ats_fun_14_closure_make () { __ats_fun_14_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_14_closure_type)) ; __ats_fun_14_closure_init (p_clo) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /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_ptr_type (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp95) ; ATSlocal (ats_ptr_type, tmp96) ; __ats_lab_ref_01023_ats_ptr_type: #line 60 "reference.dats" /* ats_ptr_type tmp96 ; */ #line 60 "reference.dats" tmp96 = arg0 ; #line 60 "reference.dats" tmp95 = atspre_ref_make_elt_tsz ((&tmp96), sizeof(ats_ptr_type)) ; return (tmp95) ; } /* end of [ref_01023_ats_ptr_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_ptr_type (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp94) ; __ats_lab_ref_make_elt_01024_ats_ptr_type: #line 64 "reference.dats" tmp94 = ref_01023_ats_ptr_type (arg0) ; return (tmp94) ; } /* end of [ref_make_elt_01024_ats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 554(line=29, offs=32) -- 582(line=29, offs=60) */ ATSstaticdec() ats_int_type compare_key_key_01963_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2) { /* local vardec */ ATSlocal (ats_int_type, tmp106) ; __ats_lab_compare_key_key_01963_ats_ptr_type: #line 29 "funmap_avltree.dats" tmp106 = ((ats_int_type(*)(ats_clo_ptr_type, ats_ptr_type, ats_ptr_type))(ats_closure_fun(arg2))) (arg2, arg0, arg1) ; return (tmp106) ; } /* end of [compare_key_key_01963_ats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 3305(line=130, offs=7) -- 3729(line=143, offs=6) */ ATSstaticdec() ats_ptr_type search_19 (ats_ptr_type env0, ats_clo_ref_type env1, ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp100) ; ATSlocal (ats_ptr_type, tmp101) ; ATSlocal (ats_ptr_type, tmp102) ; ATSlocal (ats_ptr_type, tmp103) ; ATSlocal (ats_ptr_type, tmp104) ; ATSlocal (ats_int_type, tmp105) ; ATSlocal (ats_bool_type, tmp107) ; ATSlocal (ats_bool_type, tmp108) ; ATSlocal (ats_ptr_type, tmp109) ; __ats_lab_search_19: #line 132 "funmap_avltree.dats" do { /* branch: __ats_lab_8 */ #line 133 "funmap_avltree.dats" __ats_lab_8_0: #line 133 "funmap_avltree.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_9_0 ; } #line 133 "funmap_avltree.dats" __ats_lab_8_1: #line 133 "funmap_avltree.dats" tmp101 = ats_caselptr_mac(anairiats_sum_6, arg0, atslab_1) ; #line 133 "funmap_avltree.dats" tmp102 = ats_caselptr_mac(anairiats_sum_6, arg0, atslab_2) ; #line 133 "funmap_avltree.dats" tmp103 = ats_caselptr_mac(anairiats_sum_6, arg0, atslab_3) ; #line 133 "funmap_avltree.dats" tmp104 = ats_caselptr_mac(anairiats_sum_6, arg0, atslab_4) ; #line 134 "funmap_avltree.dats" tmp105 = compare_key_key_01963_ats_ptr_type (env0, tmp101, env1) ; #line 136 "funmap_avltree.dats" tmp107 = atspre_ilt (tmp105, 0) ; #line 136 "funmap_avltree.dats" if (tmp107) { #line 136 "funmap_avltree.dats" arg0 = tmp103 ; #line 136 "funmap_avltree.dats" goto __ats_lab_search_19 ; // tail call } else { #line 136 "funmap_avltree.dats" tmp108 = atspre_igt (tmp105, 0) ; #line 136 "funmap_avltree.dats" if (tmp108) { #line 136 "funmap_avltree.dats" arg0 = tmp104 ; #line 136 "funmap_avltree.dats" goto __ats_lab_search_19 ; // tail call } else { #line 137 "funmap_avltree.dats" // if (tmp102 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 137 "funmap_avltree.dats" tmp109 = ats_caselptr_mac(anairiats_sum_4, tmp102, atslab_0) ; #line 139 "funmap_avltree.dats" tmp100 = ATS_MALLOC(sizeof(anairiats_sum_5)) ; ats_selptrset_mac(anairiats_sum_5, tmp100, atslab_0, tmp109) ; } /* end of [if] */ } /* end of [if] */ break ; /* branch: __ats_lab_9 */ #line 142 "funmap_avltree.dats" __ats_lab_9_0: #line 142 "funmap_avltree.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 142 "funmap_avltree.dats" __ats_lab_9_1: #line 142 "funmap_avltree.dats" tmp100 = (ats_sum_ptr_type)0 ; break ; } while (0) ; return (tmp100) ; } /* end of [search_19] */ typedef struct { ats_fun_ptr_type closure_fun ; ats_ptr_type closure_env_0 ; ats_clo_ref_type closure_env_1 ; } search_19_closure_type ; ats_ptr_type search_19_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) { return search_19 (((search_19_closure_type*)cloptr)->closure_env_0, ((search_19_closure_type*)cloptr)->closure_env_1, arg0) ; } /* end of function */ ATSinline() ats_void_type search_19_closure_init (search_19_closure_type *p_clo, ats_ptr_type env0, ats_clo_ref_type env1) { p_clo->closure_fun = (ats_fun_ptr_type)&search_19_clofun ; p_clo->closure_env_0 = env0 ; p_clo->closure_env_1 = env1 ; return ; } /* end of function */ ats_clo_ptr_type search_19_closure_make (ats_ptr_type env0, ats_clo_ref_type env1) { search_19_closure_type *p_clo = ATS_MALLOC(sizeof(search_19_closure_type)) ; search_19_closure_init (p_clo, env0, env1) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 3265(line=129, offs=34) -- 3750(line=144, offs=2) */ ATSstaticdec() ats_ptr_type funmap_search_01968_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp99) ; __ats_lab_funmap_search_01968_ats_ptr_type_2cats_ptr_type: #line 129 "funmap_avltree.dats" tmp99 = search_19 (arg1, arg2, arg0) ; return (tmp99) ; } /* end of [funmap_search_01968_ats_ptr_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 2268(line=118, offs=4) -- 2671(line=130, offs=4) */ ATSstaticdec() ats_ptr_type the_labmap_search_17 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp97) ; ATSlocal (ats_ptr_type, tmp98) ; ATSlocal (ats_ptr_type, tmp110) ; ATSlocal (ats_ptr_type, tmp111) ; // ATSlocal_void (tmp112) ; // ATSlocal_void (tmp113) ; // ATSlocal_void (tmp114) ; // ATSlocal_void (tmp115) ; // ATSlocal_void (tmp116) ; __ats_lab_the_labmap_search_17: #line 120 "interp1.dats" tmp110 = ats_ptrget_mac(ats_ptr_type, statmp93) ; #line 120 "interp1.dats" tmp98 = funmap_search_01968_ats_ptr_type_2cats_ptr_type (tmp110, arg0, statmp91) ; #line 123 "interp1.dats" do { /* branch: __ats_lab_10 */ #line 124 "interp1.dats" __ats_lab_10_0: #line 124 "interp1.dats" if (tmp98 == (ats_sum_ptr_type)0) { goto __ats_lab_11_0 ; } #line 124 "interp1.dats" __ats_lab_10_1: #line 124 "interp1.dats" tmp111 = ats_caselptr_mac(anairiats_sum_5, tmp98, atslab_0) ; #line 124 "interp1.dats" ATS_FREE(tmp98) ; #line 124 "interp1.dats" tmp97 = tmp111 ; break ; /* branch: __ats_lab_11 */ #line 124 "interp1.dats" __ats_lab_11_0: #line 124 "interp1.dats" // if (tmp98 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 124 "interp1.dats" __ats_lab_11_1: #line 125 "interp1.dats" /* tmp112 = */ atspre_prerr_string (ATSstrcst("INTERNAL ERROR")) ; #line 126 "interp1.dats" /* tmp113 = */ atspre_prerr_string (ATSstrcst(": the_labmap_search: unfound label [")) ; #line 126 "interp1.dats" /* tmp114 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_label (arg0) ; #line 127 "interp1.dats" /* tmp115 = */ atspre_prerr_string (ATSstrcst("]")) ; #line 127 "interp1.dats" /* tmp116 = */ atspre_prerr_newline () ; #line 128 "interp1.dats" /* tmp97 = */ ats_exit (1) ; break ; } while (0) ; return (tmp97) ; } /* end of [the_labmap_search_17] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 3842(line=149, offs=3) -- 3939(line=151, offs=4) */ ATSstaticdec() ats_int_type avltree_height_01792_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_int_type, tmp132) ; ATSlocal (ats_int_type, tmp133) ; __ats_lab_avltree_height_01792_ats_ptr_type_2cats_ptr_type: #line 150 "funmap_avltree.dats" do { /* branch: __ats_lab_13 */ #line 150 "funmap_avltree.dats" __ats_lab_13_0: #line 150 "funmap_avltree.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_14_0 ; } #line 150 "funmap_avltree.dats" __ats_lab_13_1: #line 150 "funmap_avltree.dats" tmp133 = ats_caselptr_mac(anairiats_sum_6, arg0, atslab_0) ; #line 150 "funmap_avltree.dats" tmp132 = tmp133 ; break ; /* branch: __ats_lab_14 */ #line 150 "funmap_avltree.dats" __ats_lab_14_0: #line 150 "funmap_avltree.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 150 "funmap_avltree.dats" __ats_lab_14_1: #line 150 "funmap_avltree.dats" tmp132 = 0 ; break ; } while (0) ; return (tmp132) ; } /* end of [avltree_height_01792_ats_ptr_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 4781(line=176, offs=60) -- 5337(line=191, offs=4) */ ATSstaticdec() ats_ptr_type avltree_rrotate_01811_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) { /* local vardec */ ATSlocal (ats_ptr_type, tmp139) ; ATSlocal (ats_int_type, tmp140) ; ATSlocal (ats_ptr_type, tmp141) ; ATSlocal (ats_ptr_type, tmp142) ; ATSlocal (ats_ptr_type, tmp143) ; ATSlocal (ats_ptr_type, tmp144) ; ATSlocal (ats_int_type, tmp145) ; ATSlocal (ats_int_type, tmp146) ; ATSlocal (ats_bool_type, tmp147) ; ATSlocal (ats_int_type, tmp148) ; ATSlocal (ats_ptr_type, tmp149) ; ATSlocal (ats_int_type, tmp150) ; ATSlocal (ats_ptr_type, tmp151) ; ATSlocal (ats_ptr_type, tmp152) ; ATSlocal (ats_ptr_type, tmp153) ; ATSlocal (ats_ptr_type, tmp154) ; ATSlocal (ats_ptr_type, tmp155) ; ATSlocal (ats_ptr_type, tmp156) ; __ats_lab_avltree_rrotate_01811_ats_ptr_type_2cats_ptr_type: #line 181 "funmap_avltree.dats" // if (arg2 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 181 "funmap_avltree.dats" tmp140 = ats_caselptr_mac(anairiats_sum_6, arg2, atslab_0) ; #line 181 "funmap_avltree.dats" tmp141 = ats_caselptr_mac(anairiats_sum_6, arg2, atslab_1) ; #line 181 "funmap_avltree.dats" tmp142 = ats_caselptr_mac(anairiats_sum_6, arg2, atslab_2) ; #line 181 "funmap_avltree.dats" tmp143 = ats_caselptr_mac(anairiats_sum_6, arg2, atslab_3) ; #line 181 "funmap_avltree.dats" tmp144 = ats_caselptr_mac(anairiats_sum_6, arg2, atslab_4) ; #line 182 "funmap_avltree.dats" tmp145 = avltree_height_01792_ats_ptr_type_2cats_ptr_type (tmp143) ; #line 182 "funmap_avltree.dats" tmp146 = avltree_height_01792_ats_ptr_type_2cats_ptr_type (tmp144) ; #line 184 "funmap_avltree.dats" tmp147 = atspre_igte (tmp145, tmp146) ; #line 184 "funmap_avltree.dats" if (tmp147) { #line 185 "funmap_avltree.dats" tmp148 = atspre_iadd (tmp146, 2) ; #line 185 "funmap_avltree.dats" tmp150 = atspre_iadd (tmp146, 1) ; #line 185 "funmap_avltree.dats" tmp149 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ats_selptrset_mac(anairiats_sum_6, tmp149, atslab_0, tmp150) ; ats_selptrset_mac(anairiats_sum_6, tmp149, atslab_1, arg0) ; ats_selptrset_mac(anairiats_sum_6, tmp149, atslab_2, arg1) ; ats_selptrset_mac(anairiats_sum_6, tmp149, atslab_3, tmp144) ; ats_selptrset_mac(anairiats_sum_6, tmp149, atslab_4, arg3) ; #line 185 "funmap_avltree.dats" tmp139 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ats_selptrset_mac(anairiats_sum_6, tmp139, atslab_0, tmp148) ; ats_selptrset_mac(anairiats_sum_6, tmp139, atslab_1, tmp141) ; ats_selptrset_mac(anairiats_sum_6, tmp139, atslab_2, tmp142) ; ats_selptrset_mac(anairiats_sum_6, tmp139, atslab_3, tmp143) ; ats_selptrset_mac(anairiats_sum_6, tmp139, atslab_4, tmp149) ; } else { #line 187 "funmap_avltree.dats" // if (tmp144 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 187 "funmap_avltree.dats" tmp151 = ats_caselptr_mac(anairiats_sum_6, tmp144, atslab_1) ; #line 187 "funmap_avltree.dats" tmp152 = ats_caselptr_mac(anairiats_sum_6, tmp144, atslab_2) ; #line 187 "funmap_avltree.dats" tmp153 = ats_caselptr_mac(anairiats_sum_6, tmp144, atslab_3) ; #line 187 "funmap_avltree.dats" tmp154 = ats_caselptr_mac(anairiats_sum_6, tmp144, atslab_4) ; #line 189 "funmap_avltree.dats" tmp155 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ats_selptrset_mac(anairiats_sum_6, tmp155, atslab_0, tmp146) ; ats_selptrset_mac(anairiats_sum_6, tmp155, atslab_1, tmp141) ; ats_selptrset_mac(anairiats_sum_6, tmp155, atslab_2, tmp142) ; ats_selptrset_mac(anairiats_sum_6, tmp155, atslab_3, tmp143) ; ats_selptrset_mac(anairiats_sum_6, tmp155, atslab_4, tmp153) ; #line 189 "funmap_avltree.dats" tmp156 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ats_selptrset_mac(anairiats_sum_6, tmp156, atslab_0, tmp146) ; ats_selptrset_mac(anairiats_sum_6, tmp156, atslab_1, arg0) ; ats_selptrset_mac(anairiats_sum_6, tmp156, atslab_2, arg1) ; ats_selptrset_mac(anairiats_sum_6, tmp156, atslab_3, tmp154) ; ats_selptrset_mac(anairiats_sum_6, tmp156, atslab_4, arg3) ; #line 189 "funmap_avltree.dats" tmp139 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ats_selptrset_mac(anairiats_sum_6, tmp139, atslab_0, tmp140) ; ats_selptrset_mac(anairiats_sum_6, tmp139, atslab_1, tmp151) ; ats_selptrset_mac(anairiats_sum_6, tmp139, atslab_2, tmp152) ; ats_selptrset_mac(anairiats_sum_6, tmp139, atslab_3, tmp155) ; ats_selptrset_mac(anairiats_sum_6, tmp139, atslab_4, tmp156) ; } /* end of [if] */ return (tmp139) ; } /* end of [avltree_rrotate_01811_ats_ptr_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 4081(line=156, offs=60) -- 4637(line=171, offs=4) */ ATSstaticdec() ats_ptr_type avltree_lrotate_01795_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) { /* local vardec */ ATSlocal (ats_ptr_type, tmp165) ; ATSlocal (ats_int_type, tmp166) ; ATSlocal (ats_ptr_type, tmp167) ; ATSlocal (ats_ptr_type, tmp168) ; ATSlocal (ats_ptr_type, tmp169) ; ATSlocal (ats_ptr_type, tmp170) ; ATSlocal (ats_int_type, tmp171) ; ATSlocal (ats_int_type, tmp172) ; ATSlocal (ats_bool_type, tmp173) ; ATSlocal (ats_int_type, tmp174) ; ATSlocal (ats_ptr_type, tmp175) ; ATSlocal (ats_int_type, tmp176) ; ATSlocal (ats_ptr_type, tmp177) ; ATSlocal (ats_ptr_type, tmp178) ; ATSlocal (ats_ptr_type, tmp179) ; ATSlocal (ats_ptr_type, tmp180) ; ATSlocal (ats_ptr_type, tmp181) ; ATSlocal (ats_ptr_type, tmp182) ; __ats_lab_avltree_lrotate_01795_ats_ptr_type_2cats_ptr_type: #line 161 "funmap_avltree.dats" // if (arg3 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 161 "funmap_avltree.dats" tmp166 = ats_caselptr_mac(anairiats_sum_6, arg3, atslab_0) ; #line 161 "funmap_avltree.dats" tmp167 = ats_caselptr_mac(anairiats_sum_6, arg3, atslab_1) ; #line 161 "funmap_avltree.dats" tmp168 = ats_caselptr_mac(anairiats_sum_6, arg3, atslab_2) ; #line 161 "funmap_avltree.dats" tmp169 = ats_caselptr_mac(anairiats_sum_6, arg3, atslab_3) ; #line 161 "funmap_avltree.dats" tmp170 = ats_caselptr_mac(anairiats_sum_6, arg3, atslab_4) ; #line 162 "funmap_avltree.dats" tmp171 = avltree_height_01792_ats_ptr_type_2cats_ptr_type (tmp169) ; #line 162 "funmap_avltree.dats" tmp172 = avltree_height_01792_ats_ptr_type_2cats_ptr_type (tmp170) ; #line 164 "funmap_avltree.dats" tmp173 = atspre_ilte (tmp171, tmp172) ; #line 164 "funmap_avltree.dats" if (tmp173) { #line 165 "funmap_avltree.dats" tmp174 = atspre_iadd (tmp171, 2) ; #line 165 "funmap_avltree.dats" tmp176 = atspre_iadd (tmp171, 1) ; #line 165 "funmap_avltree.dats" tmp175 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ats_selptrset_mac(anairiats_sum_6, tmp175, atslab_0, tmp176) ; ats_selptrset_mac(anairiats_sum_6, tmp175, atslab_1, arg0) ; ats_selptrset_mac(anairiats_sum_6, tmp175, atslab_2, arg1) ; ats_selptrset_mac(anairiats_sum_6, tmp175, atslab_3, arg2) ; ats_selptrset_mac(anairiats_sum_6, tmp175, atslab_4, tmp169) ; #line 165 "funmap_avltree.dats" tmp165 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ats_selptrset_mac(anairiats_sum_6, tmp165, atslab_0, tmp174) ; ats_selptrset_mac(anairiats_sum_6, tmp165, atslab_1, tmp167) ; ats_selptrset_mac(anairiats_sum_6, tmp165, atslab_2, tmp168) ; ats_selptrset_mac(anairiats_sum_6, tmp165, atslab_3, tmp175) ; ats_selptrset_mac(anairiats_sum_6, tmp165, atslab_4, tmp170) ; } else { #line 167 "funmap_avltree.dats" // if (tmp169 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 167 "funmap_avltree.dats" tmp177 = ats_caselptr_mac(anairiats_sum_6, tmp169, atslab_1) ; #line 167 "funmap_avltree.dats" tmp178 = ats_caselptr_mac(anairiats_sum_6, tmp169, atslab_2) ; #line 167 "funmap_avltree.dats" tmp179 = ats_caselptr_mac(anairiats_sum_6, tmp169, atslab_3) ; #line 167 "funmap_avltree.dats" tmp180 = ats_caselptr_mac(anairiats_sum_6, tmp169, atslab_4) ; #line 169 "funmap_avltree.dats" tmp181 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ats_selptrset_mac(anairiats_sum_6, tmp181, atslab_0, tmp171) ; ats_selptrset_mac(anairiats_sum_6, tmp181, atslab_1, arg0) ; ats_selptrset_mac(anairiats_sum_6, tmp181, atslab_2, arg1) ; ats_selptrset_mac(anairiats_sum_6, tmp181, atslab_3, arg2) ; ats_selptrset_mac(anairiats_sum_6, tmp181, atslab_4, tmp179) ; #line 169 "funmap_avltree.dats" tmp182 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ats_selptrset_mac(anairiats_sum_6, tmp182, atslab_0, tmp171) ; ats_selptrset_mac(anairiats_sum_6, tmp182, atslab_1, tmp167) ; ats_selptrset_mac(anairiats_sum_6, tmp182, atslab_2, tmp168) ; ats_selptrset_mac(anairiats_sum_6, tmp182, atslab_3, tmp180) ; ats_selptrset_mac(anairiats_sum_6, tmp182, atslab_4, tmp170) ; #line 169 "funmap_avltree.dats" tmp165 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ats_selptrset_mac(anairiats_sum_6, tmp165, atslab_0, tmp166) ; ats_selptrset_mac(anairiats_sum_6, tmp165, atslab_1, tmp177) ; ats_selptrset_mac(anairiats_sum_6, tmp165, atslab_2, tmp178) ; ats_selptrset_mac(anairiats_sum_6, tmp165, atslab_3, tmp181) ; ats_selptrset_mac(anairiats_sum_6, tmp165, atslab_4, tmp182) ; } /* end of [if] */ return (tmp165) ; } /* end of [avltree_lrotate_01795_ats_ptr_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 5779(line=208, offs=7) -- 6968(line=239, offs=6) */ ATSstaticdec() ats_ptr_type insert_24 (ats_ptr_type env0, ats_ptr_type env1, ats_clo_ref_type env2, ats_ptr_type arg0, ats_ref_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp122) ; ATSlocal (ats_int_type, tmp123) ; ATSlocal (ats_ptr_type, tmp124) ; ATSlocal (ats_ptr_type, tmp125) ; ATSlocal (ats_ptr_type, tmp126) ; ATSlocal (ats_ptr_type, tmp127) ; ATSlocal (ats_int_type, tmp128) ; ATSlocal (ats_bool_type, tmp129) ; ATSlocal (ats_ptr_type, tmp130) ; ATSlocal (ats_int_type, tmp131) ; ATSlocal (ats_int_type, tmp134) ; ATSlocal (ats_bool_type, tmp135) ; ATSlocal (ats_int_type, tmp136) ; ATSlocal (ats_int_type, tmp137) ; ATSlocal (ats_int_type, tmp138) ; ATSlocal (ats_bool_type, tmp157) ; ATSlocal (ats_ptr_type, tmp158) ; ATSlocal (ats_int_type, tmp159) ; ATSlocal (ats_int_type, tmp160) ; ATSlocal (ats_bool_type, tmp161) ; ATSlocal (ats_int_type, tmp162) ; ATSlocal (ats_int_type, tmp163) ; ATSlocal (ats_int_type, tmp164) ; ATSlocal (ats_ptr_type, tmp183) ; ATSlocal (ats_ptr_type, tmp184) ; ATSlocal (ats_ptr_type, tmp185) ; ATSlocal (ats_ptr_type, tmp186) ; ATSlocal (ats_ptr_type, tmp187) ; __ats_lab_insert_24: #line 210 "funmap_avltree.dats" do { /* branch: __ats_lab_12 */ #line 211 "funmap_avltree.dats" __ats_lab_12_0: #line 211 "funmap_avltree.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_15_0 ; } #line 211 "funmap_avltree.dats" __ats_lab_12_1: #line 211 "funmap_avltree.dats" tmp123 = ats_caselptr_mac(anairiats_sum_6, arg0, atslab_0) ; #line 211 "funmap_avltree.dats" tmp124 = ats_caselptr_mac(anairiats_sum_6, arg0, atslab_1) ; #line 211 "funmap_avltree.dats" tmp125 = ats_caselptr_mac(anairiats_sum_6, arg0, atslab_2) ; #line 211 "funmap_avltree.dats" tmp126 = ats_caselptr_mac(anairiats_sum_6, arg0, atslab_3) ; #line 211 "funmap_avltree.dats" tmp127 = ats_caselptr_mac(anairiats_sum_6, arg0, atslab_4) ; #line 212 "funmap_avltree.dats" tmp128 = compare_key_key_01963_ats_ptr_type (env0, tmp124, env2) ; #line 214 "funmap_avltree.dats" tmp129 = atspre_ilt (tmp128, 0) ; #line 214 "funmap_avltree.dats" if (tmp129) { #line 215 "funmap_avltree.dats" tmp130 = insert_24 (env0, env1, env2, tmp126, arg1) ; #line 216 "funmap_avltree.dats" tmp131 = avltree_height_01792_ats_ptr_type_2cats_ptr_type (tmp130) ; #line 216 "funmap_avltree.dats" tmp134 = avltree_height_01792_ats_ptr_type_2cats_ptr_type (tmp127) ; #line 218 "funmap_avltree.dats" tmp136 = atspre_isub (tmp131, tmp134) ; #line 218 "funmap_avltree.dats" tmp135 = atspre_ilte (tmp136, 1) ; #line 218 "funmap_avltree.dats" if (tmp135) { #line 219 "funmap_avltree.dats" tmp138 = atspre_imax (tmp131, tmp134) ; #line 219 "funmap_avltree.dats" tmp137 = atspre_iadd (tmp138, 1) ; #line 219 "funmap_avltree.dats" tmp122 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_0, tmp137) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_1, tmp124) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_2, tmp125) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_3, tmp130) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_4, tmp127) ; } else { #line 221 "funmap_avltree.dats" tmp122 = avltree_rrotate_01811_ats_ptr_type_2cats_ptr_type (tmp124, tmp125, tmp130, tmp127) ; } /* end of [if] */ } else { #line 223 "funmap_avltree.dats" tmp157 = atspre_igt (tmp128, 0) ; #line 223 "funmap_avltree.dats" if (tmp157) { #line 224 "funmap_avltree.dats" tmp158 = insert_24 (env0, env1, env2, tmp127, arg1) ; #line 225 "funmap_avltree.dats" tmp159 = avltree_height_01792_ats_ptr_type_2cats_ptr_type (tmp126) ; #line 225 "funmap_avltree.dats" tmp160 = avltree_height_01792_ats_ptr_type_2cats_ptr_type (tmp158) ; #line 227 "funmap_avltree.dats" tmp162 = atspre_isub (tmp160, tmp159) ; #line 227 "funmap_avltree.dats" tmp161 = atspre_ilte (tmp162, 1) ; #line 227 "funmap_avltree.dats" if (tmp161) { #line 228 "funmap_avltree.dats" tmp164 = atspre_imax (tmp159, tmp160) ; #line 228 "funmap_avltree.dats" tmp163 = atspre_iadd (tmp164, 1) ; #line 228 "funmap_avltree.dats" tmp122 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_0, tmp163) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_1, tmp124) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_2, tmp125) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_3, tmp126) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_4, tmp158) ; } else { #line 230 "funmap_avltree.dats" tmp122 = avltree_lrotate_01795_ats_ptr_type_2cats_ptr_type (tmp124, tmp125, tmp126, tmp158) ; } /* end of [if] */ } else { #line 233 "funmap_avltree.dats" ats_ptrget_mac(ats_int_type, arg1) = 1 ; #line 233 "funmap_avltree.dats" tmp183 = ATS_MALLOC(sizeof(anairiats_sum_4)) ; ats_selptrset_mac(anairiats_sum_4, tmp183, atslab_0, env1) ; ats_selptrset_mac(anairiats_sum_4, tmp183, atslab_1, tmp125) ; #line 233 "funmap_avltree.dats" tmp122 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_0, tmp123) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_1, tmp124) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_2, tmp183) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_3, tmp126) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_4, tmp127) ; } /* end of [if] */ } /* end of [if] */ break ; /* branch: __ats_lab_15 */ #line 236 "funmap_avltree.dats" __ats_lab_15_0: #line 236 "funmap_avltree.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 236 "funmap_avltree.dats" __ats_lab_15_1: #line 237 "funmap_avltree.dats" ats_ptrget_mac(ats_int_type, arg1) = 0 ; #line 237 "funmap_avltree.dats" tmp185 = (ats_sum_ptr_type)0 ; #line 237 "funmap_avltree.dats" tmp184 = ATS_MALLOC(sizeof(anairiats_sum_4)) ; ats_selptrset_mac(anairiats_sum_4, tmp184, atslab_0, env1) ; ats_selptrset_mac(anairiats_sum_4, tmp184, atslab_1, tmp185) ; #line 237 "funmap_avltree.dats" tmp186 = (ats_sum_ptr_type)0 ; #line 237 "funmap_avltree.dats" tmp187 = (ats_sum_ptr_type)0 ; #line 237 "funmap_avltree.dats" tmp122 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_0, 1) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_1, env0) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_2, tmp184) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_3, tmp186) ; ats_selptrset_mac(anairiats_sum_6, tmp122, atslab_4, tmp187) ; break ; } while (0) ; return (tmp122) ; } /* end of [insert_24] */ typedef struct { ats_fun_ptr_type closure_fun ; ats_ptr_type closure_env_0 ; ats_ptr_type closure_env_1 ; ats_clo_ref_type closure_env_2 ; } insert_24_closure_type ; ats_ptr_type insert_24_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0, ats_ref_type arg1) { return insert_24 (((insert_24_closure_type*)cloptr)->closure_env_0, ((insert_24_closure_type*)cloptr)->closure_env_1, ((insert_24_closure_type*)cloptr)->closure_env_2, arg0, arg1) ; } /* end of function */ ATSinline() ats_void_type insert_24_closure_init (insert_24_closure_type *p_clo, ats_ptr_type env0, ats_ptr_type env1, ats_clo_ref_type env2) { p_clo->closure_fun = (ats_fun_ptr_type)&insert_24_clofun ; p_clo->closure_env_0 = env0 ; p_clo->closure_env_1 = env1 ; p_clo->closure_env_2 = env2 ; return ; } /* end of function */ ats_clo_ptr_type insert_24_closure_make (ats_ptr_type env0, ats_ptr_type env1, ats_clo_ref_type env2) { insert_24_closure_type *p_clo = ATS_MALLOC(sizeof(insert_24_closure_type)) ; insert_24_closure_init (p_clo, env0, env1, env2) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 5719(line=207, offs=3) -- 6989(line=240, offs=2) */ ATSstaticdec() ats_ptr_type funmap_insert_status_01970_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_clo_ref_type arg3, ats_ref_type arg4) { /* local vardec */ ATSlocal (ats_ptr_type, tmp121) ; __ats_lab_funmap_insert_status_01970_ats_ptr_type_2cats_ptr_type: #line 207 "funmap_avltree.dats" tmp121 = insert_24 (arg1, arg2, arg3, arg0, arg4) ; return (tmp121) ; } /* end of [funmap_insert_status_01970_ats_ptr_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/funmap_avltree.dats: 5475(line=197, offs=34) -- 5587(line=201, offs=4) */ ATSstaticdec() ats_ptr_type funmap_insert_01969_ats_ptr_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_clo_ref_type arg3) { /* local vardec */ ATSlocal (ats_ptr_type, tmp119) ; ATSlocal (ats_int_type, tmp120) ; __ats_lab_funmap_insert_01969_ats_ptr_type_2cats_ptr_type: #line 198 "funmap_avltree.dats" /* ats_int_type tmp120 ; */ #line 200 "funmap_avltree.dats" tmp119 = funmap_insert_status_01970_ats_ptr_type_2cats_ptr_type (arg0, arg1, arg2, arg3, (&tmp120)) ; return (tmp119) ; } /* end of [funmap_insert_01969_ats_ptr_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 2706(line=132, offs=4) -- 2843(line=134, offs=4) */ ATSstaticdec() ats_void_type the_labmap_insert_21 (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp117) ; ATSlocal (ats_ptr_type, tmp118) ; ATSlocal (ats_ptr_type, tmp188) ; __ats_lab_the_labmap_insert_21: #line 133 "interp1.dats" tmp188 = ats_ptrget_mac(ats_ptr_type, statmp93) ; #line 133 "interp1.dats" tmp118 = funmap_insert_01969_ats_ptr_type_2cats_ptr_type (tmp188, arg0, arg1, statmp91) ; #line 133 "interp1.dats" ats_ptrget_mac(ats_ptr_type, statmp93) = tmp118 ; return /* (tmp117) */ ; } /* end of [the_labmap_insert_21] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 2987(line=144, offs=4) -- 3162(line=148, offs=23) */ ATSstaticdec() ats_ptr_type string_of_v1al_28 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp189) ; ATSlocal (ats_ptr_type, tmp190) ; ATSlocal (ats_ptr_type, tmp191) ; ATSlocal (ats_ptr_type, tmp192) ; ATSlocal (ats_ptr_type, tmp193) ; __ats_lab_string_of_v1al_28: #line 144 "interp1.dats" do { /* branch: __ats_lab_16 */ #line 145 "interp1.dats" __ats_lab_16_0: #line 145 "interp1.dats" if (((ats_sum_ptr_type)arg0)->tag != 1) { goto __ats_lab_17_0 ; } #line 145 "interp1.dats" __ats_lab_16_1: #line 145 "interp1.dats" tmp190 = ats_caselptr_mac(anairiats_sum_7, arg0, atslab_0) ; #line 146 "interp1.dats" tmp191 = the_labmap_search_17 (tmp190) ; #line 146 "interp1.dats" if (((ats_sum_ptr_type)tmp191)->tag != 2) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 3067(line=146, offs=12) -- 3104(line=146, offs=49)") ; } #line 146 "interp1.dats" tmp192 = ats_caselptr_mac(anairiats_sum_7, tmp191, atslab_0) ; #line 146 "interp1.dats" tmp189 = tmp192 ; break ; /* branch: __ats_lab_17 */ #line 148 "interp1.dats" __ats_lab_17_0: #line 148 "interp1.dats" if (((ats_sum_ptr_type)arg0)->tag != 2) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 3022(line=144, offs=39) -- 3162(line=148, offs=23)") ; } #line 148 "interp1.dats" __ats_lab_17_1: #line 148 "interp1.dats" tmp193 = ats_caselptr_mac(anairiats_sum_7, arg0, atslab_0) ; #line 148 "interp1.dats" tmp189 = tmp193 ; break ; } while (0) ; return (tmp189) ; } /* end of [string_of_v1al_28] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 3332(line=156, offs=15) -- 3484(line=162, offs=6) */ ATSstaticdec() ats_ptr_type __ats_fun_29 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp194) ; ATSlocal (ats_ptr_type, tmp195) ; ATSlocal (ats_ptr_type, tmp196) ; // ATSlocal_void (tmp197) ; __ats_lab___ats_fun_29: #line 158 "interp1.dats" if (arg0 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 3386(line=158, offs=10) -- 3407(line=158, offs=31)") ; } #line 158 "interp1.dats" tmp195 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_0) ; #line 159 "interp1.dats" tmp196 = string_of_v1al_28 (tmp195) ; #line 161 "interp1.dats" /* tmp197 = */ atspre_print_string (tmp196) ; #line 161 "interp1.dats" tmp194 = statmp0 ; return (tmp194) ; } /* end of [__ats_fun_29] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_29_closure_type ; ats_ptr_type __ats_fun_29_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) { return __ats_fun_29 (arg0) ; } /* end of function */ ATSinline() ats_void_type __ats_fun_29_closure_init (__ats_fun_29_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_29_clofun ; return ; } /* end of function */ ats_clo_ptr_type __ats_fun_29_closure_make () { __ats_fun_29_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_29_closure_type)) ; __ats_fun_29_closure_init (p_clo) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 3610(line=168, offs=15) -- 3742(line=172, offs=6) */ ATSstaticdec() ats_ptr_type __ats_fun_30 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp201) ; ATSlocal (ats_ptr_type, tmp202) ; ATSlocal (ats_int_type, tmp203) ; // ATSlocal_void (tmp204) ; __ats_lab___ats_fun_30: #line 170 "interp1.dats" if (arg0 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 3664(line=170, offs=10) -- 3685(line=170, offs=31)") ; } #line 170 "interp1.dats" tmp202 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_0) ; #line 170 "interp1.dats" if (((ats_sum_ptr_type)tmp202)->tag != 0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 3692(line=170, offs=38) -- 3705(line=170, offs=51)") ; } #line 170 "interp1.dats" tmp203 = ats_caselptr_mac(anairiats_sum_2, tmp202, atslab_0) ; #line 171 "interp1.dats" /* tmp204 = */ atspre_print_int (tmp203) ; #line 171 "interp1.dats" tmp201 = statmp0 ; return (tmp201) ; } /* end of [__ats_fun_30] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_30_closure_type ; ats_ptr_type __ats_fun_30_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) { return __ats_fun_30 (arg0) ; } /* end of function */ ATSinline() ats_void_type __ats_fun_30_closure_init (__ats_fun_30_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_30_clofun ; return ; } /* end of function */ ats_clo_ptr_type __ats_fun_30_closure_make () { __ats_fun_30_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_30_closure_type)) ; __ats_fun_30_closure_init (p_clo) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 3864(line=178, offs=15) -- 3965(line=181, offs=6) */ ATSstaticdec() ats_ptr_type __ats_fun_31 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp208) ; // ATSlocal_void (tmp209) ; __ats_lab___ats_fun_31: #line 180 "interp1.dats" /* tmp209 = */ atslib_fflush_exn (stdout) ; #line 180 "interp1.dats" tmp208 = statmp0 ; return (tmp208) ; } /* end of [__ats_fun_31] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_31_closure_type ; ats_ptr_type __ats_fun_31_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) { return __ats_fun_31 (arg0) ; } /* end of function */ ATSinline() ats_void_type __ats_fun_31_closure_init (__ats_fun_31_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_31_clofun ; return ; } /* end of function */ ats_clo_ptr_type __ats_fun_31_closure_make () { __ats_fun_31_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_31_closure_type)) ; __ats_fun_31_closure_init (p_clo) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 4089(line=187, offs=15) -- 4280(line=194, offs=6) */ ATSstaticdec() ats_ptr_type __ats_fun_32 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp213) ; ATSlocal (ats_int_type, tmp214) ; ATSlocal (ats_char_type, tmp215) ; ATSlocal (ats_ptr_type, tmp216) ; __ats_lab___ats_fun_32: #line 189 "interp1.dats" tmp214 = atslib_getchar () ; #line 189 "interp1.dats" tmp215 = atspre_char_of_int (tmp214) ; #line 190 "interp1.dats" tmp216 = atspre_string_make_char (1, tmp215) ; #line 193 "interp1.dats" tmp213 = ATS_MALLOC(sizeof(anairiats_sum_7)) ; ((ats_sum_ptr_type)tmp213)->tag = 2 ; ats_selptrset_mac(anairiats_sum_7, tmp213, atslab_0, ats_castfn_mac(ats_ptr_type, tmp216)) ; return (tmp213) ; } /* end of [__ats_fun_32] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_32_closure_type ; ats_ptr_type __ats_fun_32_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) { return __ats_fun_32 (arg0) ; } /* end of function */ ATSinline() ats_void_type __ats_fun_32_closure_init (__ats_fun_32_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_32_clofun ; return ; } /* end of function */ ats_clo_ptr_type __ats_fun_32_closure_make () { __ats_fun_32_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_32_closure_type)) ; __ats_fun_32_closure_init (p_clo) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 4403(line=200, offs=15) -- 4620(line=208, offs=6) */ ATSstaticdec() ats_ptr_type __ats_fun_33 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp220) ; ATSlocal (ats_ptr_type, tmp221) ; ATSlocal (ats_ptr_type, tmp222) ; ATSlocal (ats_ptr_type, tmp223) ; ATSlocal (ats_ptr_type, tmp224) ; ATSlocal (ats_ptr_type, tmp225) ; ATSlocal (ats_ptr_type, tmp226) ; __ats_lab___ats_fun_33: #line 202 "interp1.dats" if (arg0 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 4457(line=202, offs=10) -- 4480(line=202, offs=33)") ; } #line 202 "interp1.dats" tmp221 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_0) ; #line 202 "interp1.dats" tmp222 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_1) ; #line 203 "interp1.dats" if (tmp222 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 4490(line=203, offs=10) -- 4513(line=203, offs=33)") ; } #line 203 "interp1.dats" tmp223 = ats_caselptr_mac(anairiats_sum_4, tmp222, atslab_0) ; #line 204 "interp1.dats" tmp224 = string_of_v1al_28 (tmp221) ; #line 205 "interp1.dats" tmp225 = string_of_v1al_28 (tmp223) ; #line 207 "interp1.dats" tmp226 = atspre_string_append (tmp224, tmp225) ; #line 207 "interp1.dats" tmp220 = ATS_MALLOC(sizeof(anairiats_sum_7)) ; ((ats_sum_ptr_type)tmp220)->tag = 2 ; ats_selptrset_mac(anairiats_sum_7, tmp220, atslab_0, tmp226) ; return (tmp220) ; } /* end of [__ats_fun_33] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_33_closure_type ; ats_ptr_type __ats_fun_33_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) { return __ats_fun_33 (arg0) ; } /* end of function */ ATSinline() ats_void_type __ats_fun_33_closure_init (__ats_fun_33_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_33_clofun ; return ; } /* end of function */ ats_clo_ptr_type __ats_fun_33_closure_make () { __ats_fun_33_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_33_closure_type)) ; __ats_fun_33_closure_init (p_clo) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 4761(line=216, offs=15) -- 4993(line=225, offs=6) */ ATSstaticdec() ats_ptr_type __ats_fun_34 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp230) ; ATSlocal (ats_ptr_type, tmp231) ; ATSlocal (ats_int_type, tmp232) ; ATSlocal (ats_char_type, tmp233) ; ATSlocal (ats_ptr_type, tmp234) ; __ats_lab___ats_fun_34: #line 218 "interp1.dats" if (arg0 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 4815(line=218, offs=10) -- 4837(line=218, offs=32)") ; } #line 218 "interp1.dats" tmp231 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_0) ; #line 219 "interp1.dats" if (((ats_sum_ptr_type)tmp231)->tag != 0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 4847(line=219, offs=10) -- 4860(line=219, offs=23)") ; } #line 219 "interp1.dats" tmp232 = ats_caselptr_mac(anairiats_sum_2, tmp231, atslab_0) ; #line 220 "interp1.dats" tmp233 = atspre_char_of_int (tmp232) ; #line 221 "interp1.dats" tmp234 = atspre_string_make_char (1, tmp233) ; #line 224 "interp1.dats" tmp230 = ATS_MALLOC(sizeof(anairiats_sum_7)) ; ((ats_sum_ptr_type)tmp230)->tag = 2 ; ats_selptrset_mac(anairiats_sum_7, tmp230, atslab_0, ats_castfn_mac(ats_ptr_type, tmp234)) ; return (tmp230) ; } /* end of [__ats_fun_34] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_34_closure_type ; ats_ptr_type __ats_fun_34_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) { return __ats_fun_34 (arg0) ; } /* end of function */ ATSinline() ats_void_type __ats_fun_34_closure_init (__ats_fun_34_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_34_clofun ; return ; } /* end of function */ ats_clo_ptr_type __ats_fun_34_closure_make () { __ats_fun_34_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_34_closure_type)) ; __ats_fun_34_closure_init (p_clo) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 5113(line=231, offs=15) -- 5381(line=241, offs=6) */ ATSstaticdec() ats_ptr_type __ats_fun_35 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp238) ; ATSlocal (ats_ptr_type, tmp239) ; ATSlocal (ats_ptr_type, tmp240) ; // ATSlocal_void (tmp241) ; ATSlocal (ats_bool_type, tmp242) ; ATSlocal (ats_char_type, tmp243) ; ATSlocal (ats_int_type, tmp244) ; __ats_lab___ats_fun_35: #line 233 "interp1.dats" if (arg0 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 5167(line=233, offs=10) -- 5189(line=233, offs=32)") ; } #line 233 "interp1.dats" tmp239 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_0) ; #line 234 "interp1.dats" tmp240 = string_of_v1al_28 (tmp239) ; #line 236 "interp1.dats" tmp242 = atspre_string_isnot_at_end (ats_castfn_mac(ats_ptr_type, tmp240), 0) ; #line 236 "interp1.dats" /* tmp241 = */ atspre_assert (tmp242) ; #line 237 "interp1.dats" tmp243 = atspre_string_get_char_at__intsz (ats_castfn_mac(ats_ptr_type, tmp240), 0) ; #line 238 "interp1.dats" tmp244 = atspre_int_of_char (tmp243) ; #line 240 "interp1.dats" tmp238 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp238)->tag = 0 ; ats_selptrset_mac(anairiats_sum_2, tmp238, atslab_0, tmp244) ; return (tmp238) ; } /* end of [__ats_fun_35] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_35_closure_type ; ats_ptr_type __ats_fun_35_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) { return __ats_fun_35 (arg0) ; } /* end of function */ ATSinline() ats_void_type __ats_fun_35_closure_init (__ats_fun_35_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_35_clofun ; return ; } /* end of function */ ats_clo_ptr_type __ats_fun_35_closure_make () { __ats_fun_35_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_35_closure_type)) ; __ats_fun_35_closure_init (p_clo) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 5535(line=249, offs=15) -- 5779(line=257, offs=6) */ ATSstaticdec() ats_ptr_type __ats_fun_36 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp248) ; ATSlocal (ats_ptr_type, tmp249) ; ATSlocal (ats_ptr_type, tmp250) ; ATSlocal (ats_ptr_type, tmp251) ; ATSlocal (ats_ptr_type, tmp252) ; ATSlocal (ats_ptr_type, tmp253) ; ATSlocal (ats_bool_type, tmp254) ; __ats_lab___ats_fun_36: #line 251 "interp1.dats" if (arg0 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 5589(line=251, offs=10) -- 5612(line=251, offs=33)") ; } #line 251 "interp1.dats" tmp249 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_0) ; #line 251 "interp1.dats" tmp250 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_1) ; #line 252 "interp1.dats" if (tmp250 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 5622(line=252, offs=10) -- 5645(line=252, offs=33)") ; } #line 252 "interp1.dats" tmp251 = ats_caselptr_mac(anairiats_sum_4, tmp250, atslab_0) ; #line 253 "interp1.dats" tmp252 = string_of_v1al_28 (tmp249) ; #line 254 "interp1.dats" tmp253 = string_of_v1al_28 (tmp251) ; #line 256 "interp1.dats" tmp254 = atspre_eq_string_string (tmp252, tmp253) ; #line 256 "interp1.dats" if (tmp254) { #line 256 "interp1.dats" tmp248 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp248)->tag = 0 ; ats_selptrset_mac(anairiats_sum_2, tmp248, atslab_0, 1) ; } else { #line 256 "interp1.dats" tmp248 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp248)->tag = 0 ; ats_selptrset_mac(anairiats_sum_2, tmp248, atslab_0, 0) ; } /* end of [if] */ return (tmp248) ; } /* end of [__ats_fun_36] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_36_closure_type ; ats_ptr_type __ats_fun_36_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) { return __ats_fun_36 (arg0) ; } /* end of function */ ATSinline() ats_void_type __ats_fun_36_closure_init (__ats_fun_36_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_36_clofun ; return ; } /* end of function */ ats_clo_ptr_type __ats_fun_36_closure_make () { __ats_fun_36_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_36_closure_type)) ; __ats_fun_36_closure_init (p_clo) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 5913(line=263, offs=15) -- 6158(line=271, offs=6) */ ATSstaticdec() ats_ptr_type __ats_fun_37 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp258) ; ATSlocal (ats_ptr_type, tmp259) ; ATSlocal (ats_ptr_type, tmp260) ; ATSlocal (ats_ptr_type, tmp261) ; ATSlocal (ats_ptr_type, tmp262) ; ATSlocal (ats_ptr_type, tmp263) ; ATSlocal (ats_bool_type, tmp264) ; __ats_lab___ats_fun_37: #line 265 "interp1.dats" if (arg0 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 5967(line=265, offs=10) -- 5990(line=265, offs=33)") ; } #line 265 "interp1.dats" tmp259 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_0) ; #line 265 "interp1.dats" tmp260 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_1) ; #line 266 "interp1.dats" if (tmp260 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 6000(line=266, offs=10) -- 6023(line=266, offs=33)") ; } #line 266 "interp1.dats" tmp261 = ats_caselptr_mac(anairiats_sum_4, tmp260, atslab_0) ; #line 267 "interp1.dats" tmp262 = string_of_v1al_28 (tmp259) ; #line 268 "interp1.dats" tmp263 = string_of_v1al_28 (tmp261) ; #line 270 "interp1.dats" tmp264 = atspre_neq_string_string (tmp262, tmp263) ; #line 270 "interp1.dats" if (tmp264) { #line 270 "interp1.dats" tmp258 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp258)->tag = 0 ; ats_selptrset_mac(anairiats_sum_2, tmp258, atslab_0, 1) ; } else { #line 270 "interp1.dats" tmp258 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp258)->tag = 0 ; ats_selptrset_mac(anairiats_sum_2, tmp258, atslab_0, 0) ; } /* end of [if] */ return (tmp258) ; } /* end of [__ats_fun_37] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_37_closure_type ; ats_ptr_type __ats_fun_37_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) { return __ats_fun_37 (arg0) ; } /* end of function */ ATSinline() ats_void_type __ats_fun_37_closure_init (__ats_fun_37_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_37_clofun ; return ; } /* end of function */ ats_clo_ptr_type __ats_fun_37_closure_make () { __ats_fun_37_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_37_closure_type)) ; __ats_fun_37_closure_init (p_clo) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /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, tmp270) ; ATSlocal (ats_int_type, tmp271) ; __ats_lab_ref_01023_ats_int_type: #line 60 "reference.dats" /* ats_int_type tmp271 ; */ #line 60 "reference.dats" tmp271 = arg0 ; #line 60 "reference.dats" tmp270 = atspre_ref_make_elt_tsz ((&tmp271), sizeof(ats_int_type)) ; return (tmp270) ; } /* 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, tmp269) ; __ats_lab_ref_make_elt_01024_ats_int_type: #line 64 "reference.dats" tmp269 = ref_01023_ats_int_type (arg0) ; return (tmp269) ; } /* end of [ref_make_elt_01024_ats_int_type] */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/array0.dats: 2117(line=73, offs=17) -- 2410(line=81, offs=4) */ ATSstaticdec() ats_ptr_type array0_make_elt_01354_ats_ptr_type (ats_size_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp274) ; ATSlocal (ats_ptr_type, tmp275) ; ATSlocal (ats_ptr_type, tmp276) ; ATSlocal (ats_ptr_type, tmp277) ; // ATSlocal_void (tmp278) ; ATSlocal (anairiats_rec_1, tmp279) ; __ats_lab_array0_make_elt_01354_ats_ptr_type: #line 76 "array0.dats" tmp275 = atspre_array_ptr_alloc_tsz (ats_castfn_mac(ats_size_type, arg0), sizeof(ats_ptr_type)) ; #line 76 "array0.dats" tmp276 = ats_selsin_mac(tmp275, atslab_2) ; #line 77 "array0.dats" /* ats_ptr_type tmp277 ; */ #line 77 "array0.dats" tmp277 = arg1 ; #line 78 "array0.dats" /* tmp278 = */ atspre_array_ptr_initialize_elt_tsz (tmp276, ats_castfn_mac(ats_size_type, arg0), (&tmp277), sizeof(ats_ptr_type)) ; #line 80 "array0.dats" tmp279.atslab_2 = tmp276 ; tmp279.atslab_3 = ats_castfn_mac(ats_size_type, arg0) ; #line 80 "array0.dats" tmp274 = ATS_2d0_2e2_2e6_2prelude_2SATS_2array0_2esats__array0_make_arrsz (tmp279) ; return (tmp274) ; } /* end of [array0_make_elt_01354_ats_ptr_type] */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/array0.dats: 3020(line=108, offs=19) -- 3385(line=122, offs=4) */ ATSstaticdec() ats_ptr_type array0_get_elt_at_01357_ats_ptr_type (ats_ptr_type arg0, ats_size_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp283) ; ATSlocal (ats_ptr_type, tmp284) ; ATSlocal (ats_ptr_type, tmp285) ; ATSlocal (ats_size_type, tmp286) ; ATSlocal (ats_bool_type, tmp287) ; ATSlocal (ats_ptr_type, tmp288) ; __ats_lab_array0_get_elt_at_01357_ats_ptr_type: #line 109 "array0.dats" tmp284 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ; #line 111 "array0.dats" tmp285 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp284), atslab_2) ; #line 111 "array0.dats" tmp286 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp284), atslab_3) ; #line 113 "array0.dats" tmp287 = atspre_lt_size1_size1 (ats_castfn_mac(ats_size_type, arg1), tmp286) ; #line 113 "array0.dats" if (tmp287) { #line 115 "array0.dats" tmp283 = ats_caselind_mac(ats_ptr_type, tmp285, [ats_castfn_mac(ats_size_type, arg1)]) ; } else { #line 120 "array0.dats" tmp288 = (ats_sum_ptr_type)(&ATS_2d0_2e2_2e6_2prelude_2SATS_2array_2esats__ArraySubscriptException) ; #line 120 "array0.dats" /* tmp283 = */ ats_raise_exn (tmp288) ; } /* end of [if] */ return (tmp283) ; } /* end of [array0_get_elt_at_01357_ats_ptr_type] */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/array0.dats: 3923(line=143, offs=26) -- 4102(line=151, offs=4) */ ATSstaticdec() ats_ptr_type array0_get_elt_at__intsz_01359_ats_ptr_type (ats_ptr_type arg0, ats_int_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp281) ; ATSlocal (ats_bool_type, tmp282) ; ATSlocal (ats_size_type, tmp289) ; ATSlocal (ats_ptr_type, tmp290) ; __ats_lab_array0_get_elt_at__intsz_01359_ats_ptr_type: #line 146 "array0.dats" tmp282 = atspre_igte (ats_castfn_mac(ats_int_type, arg1), 0) ; #line 146 "array0.dats" if (tmp282) { #line 147 "array0.dats" tmp289 = atspre_size1_of_int1 (ats_castfn_mac(ats_int_type, arg1)) ; #line 147 "array0.dats" tmp281 = array0_get_elt_at_01357_ats_ptr_type (arg0, tmp289) ; } else { #line 149 "array0.dats" tmp290 = (ats_sum_ptr_type)(&ATS_2d0_2e2_2e6_2prelude_2SATS_2array_2esats__ArraySubscriptException) ; #line 149 "array0.dats" /* tmp281 = */ ats_raise_exn (tmp290) ; } /* end of [if] */ return (tmp281) ; } /* end of [array0_get_elt_at__intsz_01359_ats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 6810(line=301, offs=26) -- 6829(line=301, offs=45) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_memory_get (ats_int_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp280) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_memory_get: #line 301 "interp1.dats" tmp280 = array0_get_elt_at__intsz_01359_ats_ptr_type (statmp273, arg0) ; return (tmp280) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_memory_get] */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/array0.dats: 3451(line=124, offs=32) -- 3829(line=138, offs=4) */ ATSstaticdec() ats_void_type array0_set_elt_at_01358_ats_ptr_type (ats_ptr_type arg0, ats_size_type arg1, ats_ptr_type arg2) { /* local vardec */ // ATSlocal_void (tmp294) ; ATSlocal (ats_ptr_type, tmp295) ; ATSlocal (ats_ptr_type, tmp296) ; ATSlocal (ats_size_type, tmp297) ; ATSlocal (ats_bool_type, tmp298) ; ATSlocal (ats_ptr_type, tmp299) ; __ats_lab_array0_set_elt_at_01358_ats_ptr_type: #line 125 "array0.dats" tmp295 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ; #line 127 "array0.dats" tmp296 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp295), atslab_2) ; #line 127 "array0.dats" tmp297 = ats_selptr_mac(ats_castptr_mac(anairiats_rec_1, tmp295), atslab_3) ; #line 129 "array0.dats" tmp298 = atspre_lt_size1_size1 (ats_castfn_mac(ats_size_type, arg1), tmp297) ; #line 129 "array0.dats" if (tmp298) { #line 131 "array0.dats" ats_caselind_mac(ats_ptr_type, tmp296, [ats_castfn_mac(ats_size_type, arg1)]) = arg2 ; } else { #line 136 "array0.dats" tmp299 = (ats_sum_ptr_type)(&ATS_2d0_2e2_2e6_2prelude_2SATS_2array_2esats__ArraySubscriptException) ; #line 136 "array0.dats" /* tmp294 = */ ats_raise_exn (tmp299) ; } /* end of [if] */ return /* (tmp294) */ ; } /* end of [array0_set_elt_at_01358_ats_ptr_type] */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/array0.dats: 4184(line=154, offs=26) -- 4369(line=162, offs=4) */ ATSstaticdec() ats_void_type array0_set_elt_at__intsz_01360_ats_ptr_type (ats_ptr_type arg0, ats_int_type arg1, ats_ptr_type arg2) { /* local vardec */ // ATSlocal_void (tmp292) ; ATSlocal (ats_bool_type, tmp293) ; ATSlocal (ats_size_type, tmp300) ; ATSlocal (ats_ptr_type, tmp301) ; __ats_lab_array0_set_elt_at__intsz_01360_ats_ptr_type: #line 157 "array0.dats" tmp293 = atspre_igte (ats_castfn_mac(ats_int_type, arg1), 0) ; #line 157 "array0.dats" if (tmp293) { #line 158 "array0.dats" tmp300 = atspre_size1_of_int1 (ats_castfn_mac(ats_int_type, arg1)) ; #line 158 "array0.dats" /* tmp292 = */ array0_set_elt_at_01358_ats_ptr_type (arg0, tmp300, arg2) ; } else { #line 160 "array0.dats" tmp301 = (ats_sum_ptr_type)(&ATS_2d0_2e2_2e6_2prelude_2SATS_2array_2esats__ArraySubscriptException) ; #line 160 "array0.dats" /* tmp292 = */ ats_raise_exn (tmp301) ; } /* end of [if] */ return /* (tmp292) */ ; } /* end of [array0_set_elt_at__intsz_01360_ats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 6855(line=302, offs=26) -- 6883(line=302, offs=54) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_memory_set (ats_int_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp291) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_memory_set: #line 302 "interp1.dats" /* tmp291 = */ array0_set_elt_at__intsz_01360_ats_ptr_type (statmp273, arg0, arg1) ; return /* (tmp291) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_memory_set] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 6910(line=304, offs=26) -- 6995(line=307, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stack_push (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp302) ; ATSlocal (ats_int_type, tmp303) ; ATSlocal (ats_int_type, tmp304) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stack_push: #line 305 "interp1.dats" tmp304 = ats_ptrget_mac(ats_int_type, statmp272) ; #line 305 "interp1.dats" tmp303 = atspre_sub_int_int (tmp304, 1) ; #line 306 "interp1.dats" ats_ptrget_mac(ats_int_type, statmp272) = tmp303 ; #line 306 "interp1.dats" /* tmp302 = */ array0_set_elt_at__intsz_01360_ats_ptr_type (statmp273, tmp303, arg0) ; return /* (tmp302) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stack_push] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 7051(line=309, offs=28) -- 7069(line=309, offs=46) */ ATSglobaldec() ats_int_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stackptr_get () { /* local vardec */ ATSlocal (ats_int_type, tmp305) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stackptr_get: #line 309 "interp1.dats" tmp305 = ats_ptrget_mac(ats_int_type, statmp272) ; return (tmp305) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stackptr_get] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 7097(line=310, offs=28) -- 7121(line=310, offs=52) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stackptr_set (ats_int_type arg0) { /* local vardec */ // ATSlocal_void (tmp306) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stackptr_set: #line 310 "interp1.dats" ats_ptrget_mac(ats_int_type, statmp272) = arg0 ; return /* (tmp306) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stackptr_set] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 7215(line=315, offs=15) -- 7396(line=320, offs=6) */ ATSstaticdec() ats_ptr_type __ats_fun_50 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp307) ; ATSlocal (ats_ptr_type, tmp308) ; ATSlocal (ats_int_type, tmp309) ; ATSlocal (ats_int_type, tmp310) ; ATSlocal (ats_int_type, tmp311) ; ATSlocal (ats_int_type, tmp312) ; __ats_lab___ats_fun_50: #line 317 "interp1.dats" if (arg0 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 7269(line=317, offs=10) -- 7290(line=317, offs=31)") ; } #line 317 "interp1.dats" tmp308 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_0) ; #line 317 "interp1.dats" if (((ats_sum_ptr_type)tmp308)->tag != 0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 7297(line=317, offs=38) -- 7310(line=317, offs=51)") ; } #line 317 "interp1.dats" tmp309 = ats_caselptr_mac(anairiats_sum_2, tmp308, atslab_0) ; #line 318 "interp1.dats" tmp310 = ats_ptrget_mac(ats_int_type, statmp268) ; #line 318 "interp1.dats" tmp311 = atspre_add_int_int (tmp310, tmp309) ; #line 318 "interp1.dats" ats_ptrget_mac(ats_int_type, statmp268) = tmp311 ; #line 319 "interp1.dats" tmp312 = atspre_mul_int_int (tmp310, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__WORDSIZE) ; #line 319 "interp1.dats" tmp307 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp307)->tag = 0 ; ats_selptrset_mac(anairiats_sum_2, tmp307, atslab_0, tmp312) ; return (tmp307) ; } /* end of [__ats_fun_50] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_50_closure_type ; ats_ptr_type __ats_fun_50_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) { return __ats_fun_50 (arg0) ; } /* end of function */ ATSinline() ats_void_type __ats_fun_50_closure_init (__ats_fun_50_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_50_clofun ; return ; } /* end of function */ ats_clo_ptr_type __ats_fun_50_closure_make () { __ats_fun_50_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_50_closure_type)) ; __ats_fun_50_closure_init (p_clo) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 7800(line=334, offs=11) -- 7962(line=337, offs=12) */ ATSstaticdec() ats_void_type loop_52 (ats_ptr_type arg0, ats_int_type arg1, ats_int_type arg2) { /* local vardec */ // ATSlocal_void (tmp323) ; ATSlocal (ats_bool_type, tmp324) ; // ATSlocal_void (tmp325) ; ATSlocal (ats_int_type, tmp326) ; __ats_lab_loop_52: #line 335 "interp1.dats" tmp324 = atspre_gt_int_int (arg1, arg2) ; #line 335 "interp1.dats" if (tmp324) { #line 336 "interp1.dats" /* tmp325 = */ array0_set_elt_at__intsz_01360_ats_ptr_type (statmp273, arg2, arg0) ; #line 336 "interp1.dats" tmp326 = atspre_add_int_int (arg2, 1) ; #line 336 "interp1.dats" arg0 = arg0 ; #line 336 "interp1.dats" arg1 = arg1 ; #line 336 "interp1.dats" arg2 = tmp326 ; #line 336 "interp1.dats" goto __ats_lab_loop_52 ; // tail call } else { /* empty */ } /* end of [if] */ return /* (tmp323) */ ; } /* end of [loop_52] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 7527(line=326, offs=15) -- 8032(line=341, offs=6) */ ATSstaticdec() ats_ptr_type __ats_fun_51 (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp316) ; ATSlocal (ats_ptr_type, tmp317) ; ATSlocal (ats_ptr_type, tmp318) ; ATSlocal (ats_ptr_type, tmp319) ; ATSlocal (ats_int_type, tmp320) ; ATSlocal (ats_int_type, tmp321) ; ATSlocal (ats_int_type, tmp322) ; // ATSlocal_void (tmp327) ; ATSlocal (ats_int_type, tmp328) ; ATSlocal (ats_int_type, tmp329) ; __ats_lab___ats_fun_51: #line 328 "interp1.dats" if (arg0 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 7581(line=328, offs=10) -- 7608(line=328, offs=37)") ; } #line 328 "interp1.dats" tmp317 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_0) ; #line 328 "interp1.dats" tmp318 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_1) ; #line 329 "interp1.dats" if (tmp318 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 7618(line=329, offs=10) -- 7645(line=329, offs=37)") ; } #line 329 "interp1.dats" tmp319 = ats_caselptr_mac(anairiats_sum_4, tmp318, atslab_0) ; #line 330 "interp1.dats" if (((ats_sum_ptr_type)tmp317)->tag != 0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 7655(line=330, offs=10) -- 7678(line=330, offs=33)") ; } #line 330 "interp1.dats" tmp320 = ats_caselptr_mac(anairiats_sum_2, tmp317, atslab_0) ; #line 331 "interp1.dats" tmp321 = ats_ptrget_mac(ats_int_type, statmp268) ; #line 332 "interp1.dats" tmp322 = atspre_add_int_int (tmp321, tmp320) ; #line 332 "interp1.dats" ats_ptrget_mac(ats_int_type, statmp268) = tmp322 ; #line 333 "interp1.dats" tmp328 = atspre_add_int_int (tmp321, tmp320) ; #line 333 "interp1.dats" /* tmp327 = */ loop_52 (tmp319, tmp328, tmp321) ; #line 340 "interp1.dats" tmp329 = atspre_mul_int_int (tmp321, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__WORDSIZE) ; #line 340 "interp1.dats" tmp316 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp316)->tag = 0 ; ats_selptrset_mac(anairiats_sum_2, tmp316, atslab_0, tmp329) ; return (tmp316) ; } /* end of [__ats_fun_51] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_51_closure_type ; ats_ptr_type __ats_fun_51_clofun (ats_clo_ptr_type cloptr, ats_ptr_type arg0) { return __ats_fun_51 (arg0) ; } /* end of function */ ATSinline() ats_void_type __ats_fun_51_closure_init (__ats_fun_51_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_51_clofun ; return ; } /* end of function */ ats_clo_ptr_type __ats_fun_51_closure_make () { __ats_fun_51_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_51_closure_type)) ; __ats_fun_51_closure_init (p_clo) ; return (ats_clo_ptr_type)p_clo ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 8116(line=348, offs=5) -- 8588(line=362, offs=4) */ ATSstaticdec() ats_ptr_type stmlst_label_find_53 (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp333) ; ATSlocal (ats_ptr_type, tmp334) ; ATSlocal (ats_ptr_type, tmp335) ; ATSlocal (ats_ptr_type, tmp336) ; ATSlocal (ats_bool_type, tmp337) ; // ATSlocal_void (tmp338) ; // ATSlocal_void (tmp339) ; // ATSlocal_void (tmp340) ; // ATSlocal_void (tmp341) ; // ATSlocal_void (tmp342) ; __ats_lab_stmlst_label_find_53: #line 350 "interp1.dats" do { /* branch: __ats_lab_18 */ #line 351 "interp1.dats" __ats_lab_18_0: #line 351 "interp1.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_21_0 ; } #line 351 "interp1.dats" __ats_lab_18_1: #line 351 "interp1.dats" tmp334 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_0) ; #line 351 "interp1.dats" tmp335 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_1) ; #line 351 "interp1.dats" do { /* branch: __ats_lab_19 */ #line 352 "interp1.dats" __ats_lab_19_0: #line 352 "interp1.dats" if (((ats_sum_ptr_type)tmp334)->tag != 5) { goto __ats_lab_20_0 ; } #line 352 "interp1.dats" __ats_lab_19_1: #line 352 "interp1.dats" tmp336 = ats_caselptr_mac(anairiats_sum_7, tmp334, atslab_0) ; #line 352 "interp1.dats" tmp337 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__eq_label_label (arg1, tmp336) ; #line 352 "interp1.dats" if (!tmp337) { goto __ats_lab_20_1 ; } #line 352 "interp1.dats" tmp333 = tmp335 ; break ; /* branch: __ats_lab_20 */ #line 353 "interp1.dats" __ats_lab_20_0: #line 353 "interp1.dats" __ats_lab_20_1: #line 353 "interp1.dats" arg0 = tmp335 ; #line 353 "interp1.dats" arg1 = arg1 ; #line 353 "interp1.dats" goto __ats_lab_stmlst_label_find_53 ; // tail call break ; } while (0) ; break ; /* branch: __ats_lab_21 */ #line 355 "interp1.dats" __ats_lab_21_0: #line 355 "interp1.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 355 "interp1.dats" __ats_lab_21_1: #line 356 "interp1.dats" /* tmp338 = */ atspre_prerr_string (ATSstrcst("INTERNAL ERROR")) ; #line 357 "interp1.dats" /* tmp339 = */ atspre_prerr_string (ATSstrcst(": stmlst_label_find: unfound label: [")) ; #line 358 "interp1.dats" /* tmp340 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_label (arg1) ; #line 359 "interp1.dats" /* tmp341 = */ atspre_prerr_string (ATSstrcst("]")) ; #line 359 "interp1.dats" /* tmp342 = */ atspre_prerr_newline () ; #line 360 "interp1.dats" /* tmp333 = */ ats_exit (1) ; break ; } while (0) ; return (tmp333) ; } /* end of [stmlst_label_find_53] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 8921(line=377, offs=6) -- 9086(line=382, offs=6) */ ATSstaticdec() ats_varet_type err_55 (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp344) ; // ATSlocal_void (tmp345) ; // ATSlocal_void (tmp346) ; // ATSlocal_void (tmp347) ; // ATSlocal_void (tmp348) ; __ats_lab_err_55: #line 378 "interp1.dats" /* tmp345 = */ atspre_prerr_string (ATSstrcst("INTERNAL ERROR")) ; #line 379 "interp1.dats" /* tmp346 = */ atspre_prerr_string (ATSstrcst(": interp1Exp: exp = ")) ; #line 379 "interp1.dats" /* tmp347 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__prerr_exp (arg0) ; #line 380 "interp1.dats" /* tmp348 = */ atspre_prerr_newline () ; #line 381 "interp1.dats" /* tmp344 = */ ats_exit (1) ; return /* (tmp344) */ ; } /* end of [err_55] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 10035(line=413, offs=13) -- 10354(line=422, offs=30) */ ATSstaticdec() ats_ptr_type loop_56 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp370) ; ATSlocal (ats_ptr_type, tmp371) ; ATSlocal (ats_ptr_type, tmp372) ; ATSlocal (ats_ptr_type, tmp373) ; ATSlocal (ats_ptr_type, tmp374) ; __ats_lab_loop_56: #line 417 "interp1.dats" do { /* branch: __ats_lab_32 */ #line 418 "interp1.dats" __ats_lab_32_0: #line 418 "interp1.dats" if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_33_0 ; } #line 418 "interp1.dats" __ats_lab_32_1: #line 418 "interp1.dats" tmp371 = ats_caselptr_mac(anairiats_sum_4, arg1, atslab_0) ; #line 418 "interp1.dats" tmp372 = ats_caselptr_mac(anairiats_sum_4, arg1, atslab_1) ; #line 419 "interp1.dats" tmp373 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp (arg0, tmp371) ; #line 420 "interp1.dats" tmp374 = ATS_MALLOC(sizeof(anairiats_sum_4)) ; ats_selptrset_mac(anairiats_sum_4, tmp374, atslab_0, tmp373) ; ats_selptrset_mac(anairiats_sum_4, tmp374, atslab_1, arg2) ; #line 420 "interp1.dats" arg0 = arg0 ; #line 420 "interp1.dats" arg1 = tmp372 ; #line 420 "interp1.dats" arg2 = tmp374 ; #line 420 "interp1.dats" goto __ats_lab_loop_56 ; // tail call break ; /* branch: __ats_lab_33 */ #line 422 "interp1.dats" __ats_lab_33_0: #line 422 "interp1.dats" // if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 422 "interp1.dats" __ats_lab_33_1: #line 422 "interp1.dats" tmp370 = arg2 ; break ; } while (0) ; return (tmp370) ; } /* end of [loop_56] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 10642(line=432, offs=17) -- 10781(line=434, offs=34) */ ATSstaticdec() ats_void_type loop_57 (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp381) ; ATSlocal (ats_ptr_type, tmp382) ; ATSlocal (ats_ptr_type, tmp383) ; // ATSlocal_void (tmp384) ; __ats_lab_loop_57: #line 432 "interp1.dats" do { /* branch: __ats_lab_35 */ #line 433 "interp1.dats" __ats_lab_35_0: #line 433 "interp1.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_36_0 ; } #line 433 "interp1.dats" __ats_lab_35_1: #line 433 "interp1.dats" tmp382 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_0) ; #line 433 "interp1.dats" tmp383 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_1) ; #line 433 "interp1.dats" /* tmp384 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stack_push (tmp382) ; #line 433 "interp1.dats" arg0 = tmp383 ; #line 433 "interp1.dats" goto __ats_lab_loop_57 ; // tail call break ; /* branch: __ats_lab_36 */ #line 434 "interp1.dats" __ats_lab_36_0: #line 434 "interp1.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 434 "interp1.dats" __ats_lab_36_1: break ; } while (0) ; return /* (tmp381) */ ; } /* end of [loop_57] */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/list.dats: 56557(line=1952, offs=7) -- 56722(line=1954, offs=74) */ ATSstaticdec() ats_ptr_type loop_60 (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp390) ; ATSlocal (ats_ptr_type, tmp391) ; ATSlocal (ats_ptr_type, tmp392) ; ATSlocal (ats_ptr_type, tmp393) ; __ats_lab_loop_60: #line 1954 "list.dats" do { /* branch: __ats_lab_37 */ #line 1954 "list.dats" __ats_lab_37_0: #line 1954 "list.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_38_0 ; } #line 1954 "list.dats" __ats_lab_37_1: #line 1954 "list.dats" tmp391 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_0) ; #line 1954 "list.dats" tmp392 = ats_caselptr_mac(anairiats_sum_4, arg0, atslab_1) ; #line 1954 "list.dats" tmp393 = ATS_MALLOC(sizeof(anairiats_sum_4)) ; ats_selptrset_mac(anairiats_sum_4, tmp393, atslab_0, tmp391) ; ats_selptrset_mac(anairiats_sum_4, tmp393, atslab_1, arg1) ; #line 1954 "list.dats" arg0 = tmp392 ; #line 1954 "list.dats" arg1 = tmp393 ; #line 1954 "list.dats" goto __ats_lab_loop_60 ; // tail call break ; /* branch: __ats_lab_38 */ #line 1954 "list.dats" __ats_lab_38_0: #line 1954 "list.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 1954 "list.dats" __ats_lab_38_1: #line 1954 "list.dats" tmp390 = arg1 ; break ; } while (0) ; return (tmp390) ; } /* end of [loop_60] */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/list.dats: 56536(line=1951, offs=25) -- 56745(line=1957, offs=4) */ ATSstaticdec() ats_ptr_type list_reverse_append2_vt_01496_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp389) ; __ats_lab_list_reverse_append2_vt_01496_ats_ptr_type: #line 1956 "list.dats" tmp389 = loop_60 (arg0, arg1) ; return (tmp389) ; } /* end of [list_reverse_append2_vt_01496_ats_ptr_type] */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/list.dats: 56830(line=1962, offs=14) -- 56886(line=1963, offs=50) */ ATSstaticdec() ats_ptr_type list_reverse_01497_ats_ptr_type (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp388) ; ATSlocal (ats_ptr_type, tmp394) ; __ats_lab_list_reverse_01497_ats_ptr_type: #line 1963 "list.dats" tmp394 = (ats_sum_ptr_type)0 ; #line 1963 "list.dats" tmp388 = list_reverse_append2_vt_01496_ats_ptr_type (arg0, tmp394) ; return (tmp388) ; } /* end of [list_reverse_01497_ats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 11080(line=441, offs=17) -- 11438(line=447, offs=29) */ ATSstaticdec() ats_void_type loop_61 (ats_ref_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ // ATSlocal_void (tmp395) ; ATSlocal (ats_int64_type, tmp396) ; ATSlocal (ats_ptr_type, tmp397) ; ATSlocal (ats_ptr_type, tmp398) ; ATSlocal (ats_ptr_type, tmp399) ; // ATSlocal_void (tmp400) ; __ats_lab_loop_61: #line 443 "interp1.dats" do { /* branch: __ats_lab_39 */ #line 444 "interp1.dats" __ats_lab_39_0: #line 444 "interp1.dats" if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_40_0 ; } #line 444 "interp1.dats" __ats_lab_39_1: #line 444 "interp1.dats" if (arg2 == (ats_sum_ptr_type)0) { goto __ats_lab_40_1 ; } #line 444 "interp1.dats" __ats_lab_39_2: #line 444 "interp1.dats" tmp396 = ats_caselptr_mac(anairiats_sum_12, arg1, atslab_0) ; #line 444 "interp1.dats" tmp397 = ats_caselptr_mac(anairiats_sum_12, arg1, atslab_1) ; #line 444 "interp1.dats" tmp398 = ats_caselptr_mac(anairiats_sum_4, arg2, atslab_0) ; #line 444 "interp1.dats" tmp399 = ats_caselptr_mac(anairiats_sum_4, arg2, atslab_1) ; #line 445 "interp1.dats" /* tmp400 = */ tmpmap_insert_7 (arg0, tmp396, tmp398) ; #line 445 "interp1.dats" arg0 = arg0 ; #line 445 "interp1.dats" arg1 = tmp397 ; #line 445 "interp1.dats" arg2 = tmp399 ; #line 445 "interp1.dats" goto __ats_lab_loop_61 ; // tail call break ; /* branch: __ats_lab_40 */ #line 447 "interp1.dats" __ats_lab_40_0: #line 447 "interp1.dats" __ats_lab_40_1: #line 447 "interp1.dats" __ats_lab_40_2: break ; } while (0) ; return /* (tmp395) */ ; } /* end of [loop_61] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 8899(line=376, offs=22) -- 12208(line=467, offs=4) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp343) ; ATSlocal (ats_int_type, tmp349) ; ATSlocal (ats_ptr_type, tmp350) ; ATSlocal (ats_int64_type, tmp351) ; ATSlocal (ats_ptr_type, tmp352) ; ATSlocal (ats_ptr_type, tmp353) ; ATSlocal (ats_ptr_type, tmp354) ; ATSlocal (ats_ptr_type, tmp355) ; ATSlocal (ats_int_type, tmp356) ; ATSlocal (ats_ptr_type, tmp357) ; ATSlocal (ats_int_type, tmp358) ; ATSlocal (ats_int_type, tmp359) ; ATSlocal (ats_int_type, tmp360) ; ATSlocal (ats_int_type, tmp361) ; ATSlocal (ats_int_type, tmp362) ; ATSlocal (ats_ptr_type, tmp363) ; ATSlocal (ats_ptr_type, tmp364) ; ATSlocal (ats_int_type, tmp365) ; ATSlocal (ats_int_type, tmp366) ; ATSlocal (ats_ptr_type, tmp367) ; ATSlocal (ats_ptr_type, tmp368) ; ATSlocal (ats_ptr_type, tmp369) ; ATSlocal (ats_ptr_type, tmp375) ; ATSlocal (ats_ptr_type, tmp376) ; ATSlocal (ats_ptr_type, tmp377) ; ATSlocal (ats_ptr_type, tmp378) ; ATSlocal (ats_ptr_type, tmp379) ; ATSlocal (ats_ptr_type, tmp380) ; // ATSlocal_void (tmp385) ; ATSlocal (ats_ptr_type, tmp386) ; ATSlocal (ats_ptr_type, tmp387) ; // ATSlocal_void (tmp401) ; ATSlocal (ats_int_type, tmp402) ; ATSlocal (ats_int_type, tmp403) ; // ATSlocal_void (tmp404) ; ATSlocal (ats_ptr_type, tmp405) ; ATSlocal (ats_int_type, tmp406) ; ATSlocal (ats_int_type, tmp407) ; // ATSlocal_void (tmp408) ; ATSlocal (ats_int_type, tmp409) ; // ATSlocal_void (tmp410) ; // ATSlocal_void (tmp411) ; ATSlocal (ats_clo_ref_type, tmp412) ; ATSlocal (ats_ptr_type, tmp413) ; ATSlocal (ats_ptr_type, tmp414) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp: #line 389 "interp1.dats" do { /* branch: __ats_lab_22 */ #line 390 "interp1.dats" __ats_lab_22_0: #line 390 "interp1.dats" if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_23_0 ; } #line 390 "interp1.dats" __ats_lab_22_1: #line 390 "interp1.dats" tmp349 = ats_caselptr_mac(anairiats_sum_2, arg1, atslab_0) ; #line 390 "interp1.dats" tmp343 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp343)->tag = 0 ; ats_selptrset_mac(anairiats_sum_2, tmp343, atslab_0, tmp349) ; break ; /* branch: __ats_lab_23 */ #line 391 "interp1.dats" __ats_lab_23_0: #line 391 "interp1.dats" if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_24_0 ; } #line 391 "interp1.dats" __ats_lab_23_1: #line 391 "interp1.dats" tmp350 = ats_caselptr_mac(anairiats_sum_7, arg1, atslab_0) ; #line 391 "interp1.dats" tmp343 = ATS_MALLOC(sizeof(anairiats_sum_7)) ; ((ats_sum_ptr_type)tmp343)->tag = 1 ; ats_selptrset_mac(anairiats_sum_7, tmp343, atslab_0, tmp350) ; break ; /* branch: __ats_lab_24 */ #line 392 "interp1.dats" __ats_lab_24_0: #line 392 "interp1.dats" if (((ats_sum_ptr_type)arg1)->tag != 2) { goto __ats_lab_25_0 ; } #line 392 "interp1.dats" __ats_lab_24_1: #line 392 "interp1.dats" tmp351 = ats_caselptr_mac(anairiats_sum_9, arg1, atslab_0) ; #line 392 "interp1.dats" tmp343 = tmpmap_search_3 (arg0, tmp351) ; break ; /* branch: __ats_lab_25 */ #line 393 "interp1.dats" __ats_lab_25_0: #line 393 "interp1.dats" if (((ats_sum_ptr_type)arg1)->tag != 3) { goto __ats_lab_30_0 ; } #line 393 "interp1.dats" __ats_lab_25_1: #line 393 "interp1.dats" tmp352 = ats_caselptr_mac(anairiats_sum_10, arg1, atslab_0) ; #line 393 "interp1.dats" tmp353 = ats_caselptr_mac(anairiats_sum_10, arg1, atslab_1) ; #line 393 "interp1.dats" tmp354 = ats_caselptr_mac(anairiats_sum_10, arg1, atslab_2) ; #line 394 "interp1.dats" tmp355 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp (arg0, tmp353) ; #line 394 "interp1.dats" if (((ats_sum_ptr_type)tmp355)->tag != 0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 9410(line=394, offs=12) -- 9443(line=394, offs=45)") ; } #line 394 "interp1.dats" tmp356 = ats_caselptr_mac(anairiats_sum_2, tmp355, atslab_0) ; #line 395 "interp1.dats" tmp357 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp (arg0, tmp354) ; #line 395 "interp1.dats" if (((ats_sum_ptr_type)tmp357)->tag != 0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 9455(line=395, offs=12) -- 9488(line=395, offs=45)") ; } #line 395 "interp1.dats" tmp358 = ats_caselptr_mac(anairiats_sum_2, tmp357, atslab_0) ; #line 397 "interp1.dats" do { /* branch: __ats_lab_26 */ #line 398 "interp1.dats" __ats_lab_26_0: #line 398 "interp1.dats" if (((ats_sum_ptr_type)tmp352)->tag != 0) { goto __ats_lab_27_0 ; } #line 398 "interp1.dats" __ats_lab_26_1: #line 398 "interp1.dats" tmp359 = atspre_add_int_int (tmp356, tmp358) ; #line 398 "interp1.dats" tmp343 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp343)->tag = 0 ; ats_selptrset_mac(anairiats_sum_2, tmp343, atslab_0, tmp359) ; break ; /* branch: __ats_lab_27 */ #line 399 "interp1.dats" __ats_lab_27_0: #line 399 "interp1.dats" if (((ats_sum_ptr_type)tmp352)->tag != 1) { goto __ats_lab_28_0 ; } #line 399 "interp1.dats" __ats_lab_27_1: #line 399 "interp1.dats" tmp360 = atspre_sub_int_int (tmp356, tmp358) ; #line 399 "interp1.dats" tmp343 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp343)->tag = 0 ; ats_selptrset_mac(anairiats_sum_2, tmp343, atslab_0, tmp360) ; break ; /* branch: __ats_lab_28 */ #line 400 "interp1.dats" __ats_lab_28_0: #line 400 "interp1.dats" if (((ats_sum_ptr_type)tmp352)->tag != 2) { goto __ats_lab_29_0 ; } #line 400 "interp1.dats" __ats_lab_28_1: #line 400 "interp1.dats" tmp361 = atspre_mul_int_int (tmp356, tmp358) ; #line 400 "interp1.dats" tmp343 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp343)->tag = 0 ; ats_selptrset_mac(anairiats_sum_2, tmp343, atslab_0, tmp361) ; break ; /* branch: __ats_lab_29 */ #line 401 "interp1.dats" __ats_lab_29_0: #line 401 "interp1.dats" // if (((ats_sum_ptr_type)tmp352)->tag != 3) { ats_deadcode_failure_handle () ; } #line 401 "interp1.dats" __ats_lab_29_1: #line 401 "interp1.dats" tmp362 = atspre_div_int_int (tmp356, tmp358) ; #line 401 "interp1.dats" tmp343 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp343)->tag = 0 ; ats_selptrset_mac(anairiats_sum_2, tmp343, atslab_0, tmp362) ; break ; } while (0) ; break ; /* branch: __ats_lab_30 */ #line 406 "interp1.dats" __ats_lab_30_0: #line 406 "interp1.dats" if (((ats_sum_ptr_type)arg1)->tag != 4) { goto __ats_lab_31_0 ; } #line 406 "interp1.dats" __ats_lab_30_1: #line 406 "interp1.dats" tmp363 = ats_caselptr_mac(anairiats_sum_7, arg1, atslab_0) ; #line 408 "interp1.dats" tmp364 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp (arg0, tmp363) ; #line 407 "interp1.dats" if (((ats_sum_ptr_type)tmp364)->tag != 0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 9779(line=407, offs=12) -- 9824(line=408, offs=32)") ; } #line 407 "interp1.dats" tmp365 = ats_caselptr_mac(anairiats_sum_2, tmp364, atslab_0) ; #line 408 "interp1.dats" tmp366 = atspre_div_int_int (tmp365, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__WORDSIZE) ; #line 408 "interp1.dats" tmp343 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_memory_get (tmp366) ; break ; /* branch: __ats_lab_31 */ #line 410 "interp1.dats" __ats_lab_31_0: #line 410 "interp1.dats" if (((ats_sum_ptr_type)arg1)->tag != 5) { goto __ats_lab_43_0 ; } #line 410 "interp1.dats" __ats_lab_31_1: #line 410 "interp1.dats" tmp367 = ats_caselptr_mac(anairiats_sum_11, arg1, atslab_0) ; #line 410 "interp1.dats" tmp368 = ats_caselptr_mac(anairiats_sum_11, arg1, atslab_1) ; #line 411 "interp1.dats" tmp369 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp (arg0, tmp367) ; #line 412 "interp1.dats" tmp376 = (ats_sum_ptr_type)0 ; #line 412 "interp1.dats" tmp375 = loop_56 (arg0, tmp368, tmp376) ; #line 425 "interp1.dats" if (((ats_sum_ptr_type)tmp369)->tag != 1) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 10415(line=425, offs=12) -- 10434(line=425, offs=31)") ; } #line 425 "interp1.dats" tmp377 = ats_caselptr_mac(anairiats_sum_7, tmp369, atslab_0) ; #line 426 "interp1.dats" tmp378 = the_labmap_search_17 (tmp377) ; #line 428 "interp1.dats" do { /* branch: __ats_lab_34 */ #line 429 "interp1.dats" __ats_lab_34_0: #line 429 "interp1.dats" if (((ats_sum_ptr_type)tmp378)->tag != 0) { goto __ats_lab_41_0 ; } #line 429 "interp1.dats" __ats_lab_34_1: #line 429 "interp1.dats" tmp379 = ats_caselptr_mac(anairiats_sum_11, tmp378, atslab_0) ; #line 429 "interp1.dats" tmp380 = ats_caselptr_mac(anairiats_sum_11, tmp378, atslab_1) ; #line 431 "interp1.dats" /* tmp385 = */ loop_57 (tmp375) ; #line 437 "interp1.dats" /* ats_ptr_type tmp386 ; */ #line 437 "interp1.dats" tmp386 = tmpmap_empty_1 () ; #line 440 "interp1.dats" tmp387 = list_reverse_01497_ats_ptr_type (tmp375) ; #line 438 "interp1.dats" /* tmp401 = */ loop_61 ((&tmp386), _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__theFunargReglst, ats_castfn_mac(ats_ptr_type, tmp387)) ; #line 451 "interp1.dats" tmp402 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stackptr_get () ; #line 452 "interp1.dats" tmp403 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__frame_argofs_get (tmp379) ; #line 453 "interp1.dats" tmp407 = atspre_mul_int_int (tmp402, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__WORDSIZE) ; #line 453 "interp1.dats" tmp406 = atspre_sub_int_int (tmp407, tmp403) ; #line 453 "interp1.dats" tmp405 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp405)->tag = 0 ; ats_selptrset_mac(anairiats_sum_2, tmp405, atslab_0, tmp406) ; #line 453 "interp1.dats" /* tmp404 = */ tmpmap_insert_7 ((&tmp386), _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__FP, tmp405) ; #line 454 "interp1.dats" tmp409 = atspre_sub_int_int (tmp402, 256) ; #line 454 "interp1.dats" /* tmp408 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stackptr_set (tmp409) ; #line 455 "interp1.dats" /* tmp410 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Stmlst (tmp380, (&tmp386), tmp380) ; #line 456 "interp1.dats" /* tmp411 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stackptr_set (tmp402) ; #line 459 "interp1.dats" tmp343 = tmpmap_search_3 (tmp386, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__RV) ; break ; /* branch: __ats_lab_41 */ #line 461 "interp1.dats" __ats_lab_41_0: #line 461 "interp1.dats" if (((ats_sum_ptr_type)tmp378)->tag != 1) { goto __ats_lab_42_0 ; } #line 461 "interp1.dats" __ats_lab_41_1: #line 461 "interp1.dats" tmp412 = ats_caselptr_mac(anairiats_sum_8, tmp378, atslab_0) ; #line 462 "interp1.dats" tmp413 = list_reverse_01497_ats_ptr_type (tmp375) ; #line 462 "interp1.dats" tmp343 = ((ats_ptr_type(*)(ats_clo_ptr_type, ats_ptr_type))(ats_closure_fun(tmp412))) (tmp412, ats_castfn_mac(ats_ptr_type, tmp413)) ; break ; /* branch: __ats_lab_42 */ #line 464 "interp1.dats" __ats_lab_42_0: #line 464 "interp1.dats" // if (((ats_sum_ptr_type)tmp378)->tag != 2) { ats_deadcode_failure_handle () ; } #line 464 "interp1.dats" __ats_lab_42_1: #line 464 "interp1.dats" tmp414 = ats_caselptr_mac(anairiats_sum_7, tmp378, atslab_0) ; #line 464 "interp1.dats" tmp343 = ATS_MALLOC(sizeof(anairiats_sum_7)) ; ((ats_sum_ptr_type)tmp343)->tag = 2 ; ats_selptrset_mac(anairiats_sum_7, tmp343, atslab_0, tmp414) ; break ; } while (0) ; break ; /* branch: __ats_lab_43 */ #line 466 "interp1.dats" __ats_lab_43_0: #line 466 "interp1.dats" __ats_lab_43_1: #line 466 "interp1.dats" /* tmp343 = */ err_55 (arg1) ; break ; } while (0) ; return (tmp343) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 12287(line=470, offs=6) -- 12455(line=475, offs=6) */ ATSstaticdec() ats_varet_type err_63 (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp416) ; // ATSlocal_void (tmp417) ; // ATSlocal_void (tmp418) ; // ATSlocal_void (tmp419) ; // ATSlocal_void (tmp420) ; __ats_lab_err_63: #line 471 "interp1.dats" /* tmp417 = */ atspre_prerr_string (ATSstrcst("INTERNAL ERROR")) ; #line 472 "interp1.dats" /* tmp418 = */ atspre_prerr_string (ATSstrcst(": interp1Stmlst: stm = ")) ; #line 472 "interp1.dats" /* tmp419 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__prerr_stm (arg0) ; #line 473 "interp1.dats" /* tmp420 = */ atspre_prerr_newline () ; #line 474 "interp1.dats" /* tmp416 = */ ats_exit (1) ; return /* (tmp416) */ ; } /* end of [err_63] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 12257(line=469, offs=25) -- 14583(line=537, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Stmlst (ats_ptr_type arg0, ats_ref_type arg1, ats_ptr_type arg2) { /* local vardec */ // ATSlocal_void (tmp415) ; ATSlocal (ats_ptr_type, tmp421) ; ATSlocal (ats_ptr_type, tmp422) ; ATSlocal (ats_ptr_type, tmp423) ; ATSlocal (ats_int64_type, tmp424) ; ATSlocal (ats_ptr_type, tmp425) ; ATSlocal (ats_ptr_type, tmp426) ; // ATSlocal_void (tmp427) ; ATSlocal (ats_ptr_type, tmp428) ; ATSlocal (ats_ptr_type, tmp429) ; ATSlocal (ats_ptr_type, tmp430) ; ATSlocal (ats_ptr_type, tmp431) ; ATSlocal (ats_int_type, tmp432) ; ATSlocal (ats_ptr_type, tmp433) ; // ATSlocal_void (tmp434) ; ATSlocal (ats_int_type, tmp435) ; ATSlocal (ats_ptr_type, tmp436) ; ATSlocal (ats_ptr_type, tmp437) ; ATSlocal (ats_ptr_type, tmp438) ; ATSlocal (ats_ptr_type, tmp439) ; ATSlocal (ats_ptr_type, tmp440) ; ATSlocal (ats_ptr_type, tmp441) ; ATSlocal (ats_ptr_type, tmp442) ; ATSlocal (ats_ptr_type, tmp443) ; ATSlocal (ats_ptr_type, tmp444) ; ATSlocal (ats_ptr_type, tmp445) ; ATSlocal (ats_ptr_type, tmp446) ; ATSlocal (ats_int_type, tmp447) ; ATSlocal (ats_ptr_type, tmp448) ; ATSlocal (ats_int_type, tmp449) ; ATSlocal (ats_bool_type, tmp450) ; ATSlocal (ats_ptr_type, tmp451) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Stmlst: #line 485 "interp1.dats" do { /* branch: __ats_lab_44 */ #line 486 "interp1.dats" __ats_lab_44_0: #line 486 "interp1.dats" if (arg2 == (ats_sum_ptr_type)0) { goto __ats_lab_58_0 ; } #line 486 "interp1.dats" __ats_lab_44_1: #line 486 "interp1.dats" tmp421 = ats_caselptr_mac(anairiats_sum_4, arg2, atslab_0) ; #line 486 "interp1.dats" tmp422 = ats_caselptr_mac(anairiats_sum_4, arg2, atslab_1) ; #line 486 "interp1.dats" do { /* branch: __ats_lab_45 */ #line 487 "interp1.dats" __ats_lab_45_0: #line 487 "interp1.dats" if (((ats_sum_ptr_type)tmp421)->tag != 0) { goto __ats_lab_46_0 ; } #line 487 "interp1.dats" tmp423 = ats_caselptr_mac(anairiats_sum_11, tmp421, atslab_0) ; #line 487 "interp1.dats" if (((ats_sum_ptr_type)tmp423)->tag != 2) { goto __ats_lab_46_0 ; } #line 487 "interp1.dats" __ats_lab_45_1: #line 487 "interp1.dats" tmp424 = ats_caselptr_mac(anairiats_sum_9, tmp423, atslab_0) ; #line 487 "interp1.dats" tmp425 = ats_caselptr_mac(anairiats_sum_11, tmp421, atslab_1) ; #line 488 "interp1.dats" tmp426 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp (ats_ptrget_mac(ats_ptr_type, arg1), tmp425) ; #line 488 "interp1.dats" /* tmp427 = */ tmpmap_insert_7 (arg1, tmp424, tmp426) ; #line 490 "interp1.dats" arg0 = arg0 ; #line 490 "interp1.dats" arg1 = arg1 ; #line 490 "interp1.dats" arg2 = tmp422 ; #line 490 "interp1.dats" goto __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Stmlst ; // tail call break ; /* branch: __ats_lab_46 */ #line 492 "interp1.dats" __ats_lab_46_0: #line 492 "interp1.dats" if (((ats_sum_ptr_type)tmp421)->tag != 0) { goto __ats_lab_47_0 ; } #line 492 "interp1.dats" tmp428 = ats_caselptr_mac(anairiats_sum_11, tmp421, atslab_0) ; #line 492 "interp1.dats" if (((ats_sum_ptr_type)tmp428)->tag != 4) { goto __ats_lab_47_0 ; } #line 492 "interp1.dats" __ats_lab_46_1: #line 492 "interp1.dats" tmp429 = ats_caselptr_mac(anairiats_sum_7, tmp428, atslab_0) ; #line 492 "interp1.dats" tmp430 = ats_caselptr_mac(anairiats_sum_11, tmp421, atslab_1) ; #line 493 "interp1.dats" tmp431 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp (ats_ptrget_mac(ats_ptr_type, arg1), tmp429) ; #line 493 "interp1.dats" if (((ats_sum_ptr_type)tmp431)->tag != 0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 13020(line=493, offs=14) -- 13059(line=493, offs=53)") ; } #line 493 "interp1.dats" tmp432 = ats_caselptr_mac(anairiats_sum_2, tmp431, atslab_0) ; #line 499 "interp1.dats" tmp433 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp (ats_ptrget_mac(ats_ptr_type, arg1), tmp430) ; #line 500 "interp1.dats" tmp435 = atspre_div_int_int (tmp432, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__WORDSIZE) ; #line 500 "interp1.dats" /* tmp434 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_memory_set (tmp435, tmp433) ; #line 500 "interp1.dats" arg0 = arg0 ; #line 500 "interp1.dats" arg1 = arg1 ; #line 500 "interp1.dats" arg2 = tmp422 ; #line 500 "interp1.dats" goto __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Stmlst ; // tail call break ; /* branch: __ats_lab_47 */ #line 502 "interp1.dats" __ats_lab_47_0: #line 502 "interp1.dats" if (((ats_sum_ptr_type)tmp421)->tag != 1) { goto __ats_lab_48_0 ; } #line 502 "interp1.dats" __ats_lab_47_1: #line 502 "interp1.dats" tmp436 = ats_caselptr_mac(anairiats_sum_7, tmp421, atslab_0) ; #line 503 "interp1.dats" tmp437 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp (ats_ptrget_mac(ats_ptr_type, arg1), tmp436) ; #line 503 "interp1.dats" arg0 = arg0 ; #line 503 "interp1.dats" arg1 = arg1 ; #line 503 "interp1.dats" arg2 = tmp422 ; #line 503 "interp1.dats" goto __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Stmlst ; // tail call break ; /* branch: __ats_lab_48 */ #line 505 "interp1.dats" __ats_lab_48_0: #line 505 "interp1.dats" if (((ats_sum_ptr_type)tmp421)->tag != 2) { goto __ats_lab_49_0 ; } #line 505 "interp1.dats" __ats_lab_48_1: #line 505 "interp1.dats" tmp438 = ats_caselptr_mac(anairiats_sum_11, tmp421, atslab_0) ; #line 506 "interp1.dats" tmp439 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp (ats_ptrget_mac(ats_ptr_type, arg1), tmp438) ; #line 506 "interp1.dats" if (((ats_sum_ptr_type)tmp439)->tag != 1) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 13537(line=506, offs=14) -- 13570(line=506, offs=47)") ; } #line 506 "interp1.dats" tmp440 = ats_caselptr_mac(anairiats_sum_7, tmp439, atslab_0) ; #line 507 "interp1.dats" tmp441 = stmlst_label_find_53 (arg0, tmp440) ; #line 508 "interp1.dats" arg0 = arg0 ; #line 508 "interp1.dats" arg1 = arg1 ; #line 508 "interp1.dats" arg2 = tmp441 ; #line 508 "interp1.dats" goto __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Stmlst ; // tail call break ; /* branch: __ats_lab_49 */ #line 510 "interp1.dats" __ats_lab_49_0: #line 510 "interp1.dats" if (((ats_sum_ptr_type)tmp421)->tag != 3) { goto __ats_lab_56_0 ; } #line 510 "interp1.dats" __ats_lab_49_1: #line 510 "interp1.dats" tmp442 = ats_caselptr_mac(anairiats_sum_13, tmp421, atslab_0) ; #line 510 "interp1.dats" tmp443 = ats_caselptr_mac(anairiats_sum_13, tmp421, atslab_1) ; #line 510 "interp1.dats" tmp444 = ats_caselptr_mac(anairiats_sum_13, tmp421, atslab_2) ; #line 510 "interp1.dats" tmp445 = ats_caselptr_mac(anairiats_sum_13, tmp421, atslab_3) ; #line 511 "interp1.dats" tmp446 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp (ats_ptrget_mac(ats_ptr_type, arg1), tmp443) ; #line 511 "interp1.dats" if (((ats_sum_ptr_type)tmp446)->tag != 0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 13770(line=511, offs=14) -- 13803(line=511, offs=47)") ; } #line 511 "interp1.dats" tmp447 = ats_caselptr_mac(anairiats_sum_2, tmp446, atslab_0) ; #line 512 "interp1.dats" tmp448 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Exp (ats_ptrget_mac(ats_ptr_type, arg1), tmp444) ; #line 512 "interp1.dats" if (((ats_sum_ptr_type)tmp448)->tag != 0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 13817(line=512, offs=14) -- 13850(line=512, offs=47)") ; } #line 512 "interp1.dats" tmp449 = ats_caselptr_mac(anairiats_sum_2, tmp448, atslab_0) ; #line 513 "interp1.dats" do { /* branch: __ats_lab_50 */ #line 514 "interp1.dats" __ats_lab_50_0: #line 514 "interp1.dats" if (((ats_sum_ptr_type)tmp442)->tag != 0) { goto __ats_lab_51_0 ; } #line 514 "interp1.dats" __ats_lab_50_1: #line 514 "interp1.dats" tmp450 = atspre_eq_int_int (tmp447, tmp449) ; break ; /* branch: __ats_lab_51 */ #line 515 "interp1.dats" __ats_lab_51_0: #line 515 "interp1.dats" if (((ats_sum_ptr_type)tmp442)->tag != 1) { goto __ats_lab_52_0 ; } #line 515 "interp1.dats" __ats_lab_51_1: #line 515 "interp1.dats" tmp450 = atspre_neq_int_int (tmp447, tmp449) ; break ; /* branch: __ats_lab_52 */ #line 516 "interp1.dats" __ats_lab_52_0: #line 516 "interp1.dats" if (((ats_sum_ptr_type)tmp442)->tag != 4) { goto __ats_lab_53_0 ; } #line 516 "interp1.dats" __ats_lab_52_1: #line 516 "interp1.dats" tmp450 = atspre_lt_int_int (tmp447, tmp449) ; break ; /* branch: __ats_lab_53 */ #line 517 "interp1.dats" __ats_lab_53_0: #line 517 "interp1.dats" if (((ats_sum_ptr_type)tmp442)->tag != 5) { goto __ats_lab_54_0 ; } #line 517 "interp1.dats" __ats_lab_53_1: #line 517 "interp1.dats" tmp450 = atspre_lte_int_int (tmp447, tmp449) ; break ; /* branch: __ats_lab_54 */ #line 518 "interp1.dats" __ats_lab_54_0: #line 518 "interp1.dats" if (((ats_sum_ptr_type)tmp442)->tag != 2) { goto __ats_lab_55_0 ; } #line 518 "interp1.dats" __ats_lab_54_1: #line 518 "interp1.dats" tmp450 = atspre_gt_int_int (tmp447, tmp449) ; break ; /* branch: __ats_lab_55 */ #line 519 "interp1.dats" __ats_lab_55_0: #line 519 "interp1.dats" // if (((ats_sum_ptr_type)tmp442)->tag != 3) { ats_deadcode_failure_handle () ; } #line 519 "interp1.dats" __ats_lab_55_1: #line 519 "interp1.dats" tmp450 = atspre_gte_int_int (tmp447, tmp449) ; break ; } while (0) ; #line 525 "interp1.dats" if (tmp450) { #line 526 "interp1.dats" tmp451 = stmlst_label_find_53 (arg0, tmp445) ; #line 528 "interp1.dats" arg0 = arg0 ; #line 528 "interp1.dats" arg1 = arg1 ; #line 528 "interp1.dats" arg2 = tmp451 ; #line 528 "interp1.dats" goto __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Stmlst ; // tail call } else { #line 530 "interp1.dats" arg0 = arg0 ; #line 530 "interp1.dats" arg1 = arg1 ; #line 530 "interp1.dats" arg2 = tmp422 ; #line 530 "interp1.dats" goto __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Stmlst ; // tail call } /* end of [if] */ break ; /* branch: __ats_lab_56 */ #line 533 "interp1.dats" __ats_lab_56_0: #line 533 "interp1.dats" if (((ats_sum_ptr_type)tmp421)->tag != 5) { goto __ats_lab_57_0 ; } #line 533 "interp1.dats" __ats_lab_56_1: #line 533 "interp1.dats" arg0 = arg0 ; #line 533 "interp1.dats" arg1 = arg1 ; #line 533 "interp1.dats" arg2 = tmp422 ; #line 533 "interp1.dats" goto __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Stmlst ; // tail call break ; /* branch: __ats_lab_57 */ #line 534 "interp1.dats" __ats_lab_57_0: #line 534 "interp1.dats" __ats_lab_57_1: #line 534 "interp1.dats" /* tmp415 = */ err_63 (tmp421) ; break ; } while (0) ; break ; /* branch: __ats_lab_58 */ #line 536 "interp1.dats" __ats_lab_58_0: #line 536 "interp1.dats" // if (arg2 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 536 "interp1.dats" __ats_lab_58_1: break ; } while (0) ; return /* (tmp415) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Stmlst] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 14693(line=544, offs=3) -- 14742(line=544, offs=52) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2esats__the_labmap_string_insert (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp452) ; ATSlocal (ats_ptr_type, tmp453) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2esats__the_labmap_string_insert: #line 544 "interp1.dats" tmp453 = ATS_MALLOC(sizeof(anairiats_sum_7)) ; ((ats_sum_ptr_type)tmp453)->tag = 2 ; ats_selptrset_mac(anairiats_sum_7, tmp453, atslab_0, arg1) ; #line 544 "interp1.dats" /* tmp452 = */ the_labmap_insert_21 (arg0, tmp453) ; return /* (tmp452) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2esats__the_labmap_string_insert] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 14787(line=547, offs=3) -- 14850(line=547, offs=66) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2esats__the_labmap_frame_stmlst_insert (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ // ATSlocal_void (tmp454) ; ATSlocal (ats_ptr_type, tmp455) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2esats__the_labmap_frame_stmlst_insert: #line 547 "interp1.dats" tmp455 = ATS_MALLOC(sizeof(anairiats_sum_11)) ; ((ats_sum_ptr_type)tmp455)->tag = 0 ; ats_selptrset_mac(anairiats_sum_11, tmp455, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_11, tmp455, atslab_1, arg2) ; #line 547 "interp1.dats" /* tmp454 = */ the_labmap_insert_21 (arg0, tmp455) ; return /* (tmp454) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2esats__the_labmap_frame_stmlst_insert] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/interp1.dats: 14902(line=551, offs=23) -- 15247(line=563, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2esats__interp1Prog (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp456) ; // ATSlocal_void (tmp457) ; // ATSlocal_void (tmp458) ; // ATSlocal_void (tmp459) ; ATSlocal (ats_ptr_type, tmp460) ; ATSlocal (ats_int_type, tmp461) ; ATSlocal (ats_int_type, tmp462) ; // ATSlocal_void (tmp463) ; ATSlocal (ats_int_type, tmp464) ; // ATSlocal_void (tmp465) ; ATSlocal (ats_ptr_type, tmp466) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2esats__interp1Prog: #line 554 "interp1.dats" /* tmp457 = */ atspre_prerr_string (ATSstrcst("WORDSIZE = ")) ; #line 554 "interp1.dats" /* tmp458 = */ atspre_prerr_int (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__WORDSIZE) ; #line 554 "interp1.dats" /* tmp459 = */ atspre_prerr_newline () ; #line 557 "interp1.dats" /* ats_ptr_type tmp460 ; */ #line 557 "interp1.dats" tmp460 = tmpmap_empty_1 () ; #line 558 "interp1.dats" tmp461 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stackptr_get () ; #line 559 "interp1.dats" tmp462 = atspre_mul_int_int (tmp461, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__WORDSIZE) ; #line 560 "interp1.dats" tmp464 = atspre_sub_int_int (tmp461, 1024) ; #line 560 "interp1.dats" /* tmp463 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__the_stackptr_set (tmp464) ; #line 561 "interp1.dats" tmp466 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp466)->tag = 0 ; ats_selptrset_mac(anairiats_sum_2, tmp466, atslab_0, tmp462) ; #line 561 "interp1.dats" /* tmp465 = */ tmpmap_insert_7 ((&tmp460), _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__FP, tmp466) ; #line 562 "interp1.dats" /* tmp456 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__interp1Stmlst (arg0, (&tmp460), arg0) ; return /* (tmp456) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2esats__interp1Prog] */ /* static load function */ extern ats_void_type ATS_2d0_2e2_2e6_2libc_2SATS_2stdio_2esats__staload (void) ; 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 _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__staload (void) ; extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__staload (void) ; // extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats__staload (void) ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2array0_2edats__staload (void) ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats__staload (void) ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2reference_2edats__staload (void) ; extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2funmap_avltree_2edats__staload (void) ; extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2esats__staload (void) ; ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__staload () { static int _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__staload_flag = 0 ; if (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__staload_flag) return ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__staload_flag = 1 ; ATS_2d0_2e2_2e6_2libc_2SATS_2stdio_2esats__staload () ; _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 () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2irtree_2esats__staload () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__staload () ; // ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats__staload () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2array0_2edats__staload () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats__staload () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2reference_2edats__staload () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2funmap_avltree_2edats__staload () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2esats__staload () ; // _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V1ALint.tag = 0 ; // _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V1ALlab.tag = 1 ; // _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V1ALstr.tag = 2 ; // _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V2ALcod.tag = 0 ; // _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V2ALpre.tag = 1 ; // _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__V2ALstr.tag = 2 ; 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_2interp1_2edats__dynload_flag ; ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__dynload () { _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__dynload_flag = 1 ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2interp1_2edats__staload () ; #ifdef _ATS_PROOFCHECK ATS_2d0_2e2_2e6_2prelude_2SATS_2array_2esats__array_v_takeout2_prfck () ; ATS_2d0_2e2_2e6_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____copy_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____free_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2array_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats____assert_prfck () ; #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ ATS_GC_MARKROOT(&statmp0, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp2, 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(&statmp198, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp200, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp205, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp207, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp210, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp212, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp217, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp219, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp227, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp229, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp235, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp237, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp245, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp247, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp255, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp257, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp265, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp267, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp268, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp272, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp273, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp313, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp315, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp330, sizeof(ats_ptr_type)) ; ATS_GC_MARKROOT(&statmp332, sizeof(ats_ptr_type)) ; /* marking external values for GC */ /* code for dynamic loading */ #line 56 "interp1.dats" statmp0 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)statmp0)->tag = 0 ; ats_selptrset_mac(anairiats_sum_2, statmp0, atslab_0, 0) ; #line 75 "interp1.dats" statmp2 = __ats_fun_0_closure_make () ; #line 103 "interp1.dats" statmp91 = __ats_fun_14_closure_make () ; #line 111 "interp1.dats" statmp92 = funmap_empty_01964_ () ; #line 113 "interp1.dats" statmp93 = ref_make_elt_01024_ats_ptr_type (statmp92) ; #line 156 "interp1.dats" statmp198 = __ats_fun_29_closure_make () ; #line 154 "interp1.dats" statmp200 = ATS_MALLOC(sizeof(anairiats_sum_8)) ; ((ats_sum_ptr_type)statmp200)->tag = 1 ; ats_selptrset_mac(anairiats_sum_8, statmp200, atslab_0, statmp198) ; #line 153 "interp1.dats" /* statmp199 = */ the_labmap_insert_21 (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_print, statmp200) ; #line 168 "interp1.dats" statmp205 = __ats_fun_30_closure_make () ; #line 166 "interp1.dats" statmp207 = ATS_MALLOC(sizeof(anairiats_sum_8)) ; ((ats_sum_ptr_type)statmp207)->tag = 1 ; ats_selptrset_mac(anairiats_sum_8, statmp207, atslab_0, statmp205) ; #line 165 "interp1.dats" /* statmp206 = */ the_labmap_insert_21 (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_print_int, statmp207) ; #line 178 "interp1.dats" statmp210 = __ats_fun_31_closure_make () ; #line 176 "interp1.dats" statmp212 = ATS_MALLOC(sizeof(anairiats_sum_8)) ; ((ats_sum_ptr_type)statmp212)->tag = 1 ; ats_selptrset_mac(anairiats_sum_8, statmp212, atslab_0, statmp210) ; #line 175 "interp1.dats" /* statmp211 = */ the_labmap_insert_21 (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_flush, statmp212) ; #line 187 "interp1.dats" statmp217 = __ats_fun_32_closure_make () ; #line 185 "interp1.dats" statmp219 = ATS_MALLOC(sizeof(anairiats_sum_8)) ; ((ats_sum_ptr_type)statmp219)->tag = 1 ; ats_selptrset_mac(anairiats_sum_8, statmp219, atslab_0, statmp217) ; #line 184 "interp1.dats" /* statmp218 = */ the_labmap_insert_21 (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_getchar, statmp219) ; #line 200 "interp1.dats" statmp227 = __ats_fun_33_closure_make () ; #line 198 "interp1.dats" statmp229 = ATS_MALLOC(sizeof(anairiats_sum_8)) ; ((ats_sum_ptr_type)statmp229)->tag = 1 ; ats_selptrset_mac(anairiats_sum_8, statmp229, atslab_0, statmp227) ; #line 197 "interp1.dats" /* statmp228 = */ the_labmap_insert_21 (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_concat, statmp229) ; #line 216 "interp1.dats" statmp235 = __ats_fun_34_closure_make () ; #line 214 "interp1.dats" statmp237 = ATS_MALLOC(sizeof(anairiats_sum_8)) ; ((ats_sum_ptr_type)statmp237)->tag = 1 ; ats_selptrset_mac(anairiats_sum_8, statmp237, atslab_0, statmp235) ; #line 213 "interp1.dats" /* statmp236 = */ the_labmap_insert_21 (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_chr, statmp237) ; #line 231 "interp1.dats" statmp245 = __ats_fun_35_closure_make () ; #line 229 "interp1.dats" statmp247 = ATS_MALLOC(sizeof(anairiats_sum_8)) ; ((ats_sum_ptr_type)statmp247)->tag = 1 ; ats_selptrset_mac(anairiats_sum_8, statmp247, atslab_0, statmp245) ; #line 228 "interp1.dats" /* statmp246 = */ the_labmap_insert_21 (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_ord, statmp247) ; #line 249 "interp1.dats" statmp255 = __ats_fun_36_closure_make () ; #line 247 "interp1.dats" statmp257 = ATS_MALLOC(sizeof(anairiats_sum_8)) ; ((ats_sum_ptr_type)statmp257)->tag = 1 ; ats_selptrset_mac(anairiats_sum_8, statmp257, atslab_0, statmp255) ; #line 246 "interp1.dats" /* statmp256 = */ the_labmap_insert_21 (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_eq_string_string, statmp257) ; #line 263 "interp1.dats" statmp265 = __ats_fun_37_closure_make () ; #line 261 "interp1.dats" statmp267 = ATS_MALLOC(sizeof(anairiats_sum_8)) ; ((ats_sum_ptr_type)statmp267)->tag = 1 ; ats_selptrset_mac(anairiats_sum_8, statmp267, atslab_0, statmp265) ; #line 260 "interp1.dats" /* statmp266 = */ the_labmap_insert_21 (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_neq_string_string, statmp267) ; #line 293 "interp1.dats" statmp268 = ref_make_elt_01024_ats_int_type (65536) ; #line 295 "interp1.dats" statmp272 = ref_make_elt_01024_ats_int_type (65536) ; #line 297 "interp1.dats" statmp273 = array0_make_elt_01354_ats_ptr_type (1048576, statmp0) ; #line 315 "interp1.dats" statmp313 = __ats_fun_50_closure_make () ; #line 313 "interp1.dats" statmp315 = ATS_MALLOC(sizeof(anairiats_sum_8)) ; ((ats_sum_ptr_type)statmp315)->tag = 1 ; ats_selptrset_mac(anairiats_sum_8, statmp315, atslab_0, statmp313) ; #line 312 "interp1.dats" /* statmp314 = */ the_labmap_insert_21 (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_array_alloc, statmp315) ; #line 326 "interp1.dats" statmp330 = __ats_fun_51_closure_make () ; #line 324 "interp1.dats" statmp332 = ATS_MALLOC(sizeof(anairiats_sum_8)) ; ((ats_sum_ptr_type)statmp332)->tag = 1 ; ats_selptrset_mac(anairiats_sum_8, statmp332, atslab_0, statmp330) ; #line 323 "interp1.dats" /* statmp331 = */ the_labmap_insert_21 (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__tiger_array_make_elt, statmp332) ; return ; } /* end of [dynload function] */ /* external codes at mid */ /* external codes at bot */ /* ****** ****** */ /* end of [interp1_dats.c] */