/* ** ** 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/random.cats" /* external codes at top */ /* type definitions */ typedef struct { ats_ptr_type atslab_0 ; ats_ptr_type atslab_1 ; } anairiats_sum_0 ; typedef struct { int tag ; ats_ptr_type atslab_0 ; ats_ptr_type atslab_1 ; } anairiats_sum_1 ; typedef struct { ats_int_type atslab_0 ; ats_ptr_type atslab_1 ; ats_int_type atslab_2 ; ats_ptr_type atslab_3 ; ats_ptr_type atslab_4 ; } anairiats_sum_2 ; typedef struct { ats_int_type atslab_0 ; } anairiats_sum_3 ; typedef struct { ats_ptr_type atslab_0 ; } anairiats_sum_4 ; typedef struct { ats_int_type atslab_0 ; ats_ptr_type atslab_1 ; } anairiats_sum_5 ; typedef struct { ats_int64_type atslab_0 ; ats_ptr_type atslab_1 ; } anairiats_sum_6 ; /* 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__None) ; ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__Some) ; 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_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2assem_2esats__INSTRlabel) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2linmap_randbst_2edats__BSTcons) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2linmap_randbst_2edats__BSTnil) ; /* external dynamic constant declarations */ ATSextern_fun(ats_bool_type, atspre_neg_bool) (ats_bool_type) ; ATSextern_fun(ats_int_type, atspre_add_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_eq_int_int) (ats_int_type, 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_igt) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_bool_type, atspre_ieq) (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_int_type, atspre_int1_of_size1) (ats_size_type) ; ATSextern_fun(ats_bool_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__eq_temp_temp) (ats_int64_type, ats_int64_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_bool_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2assem_2esats__instr_ismove) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2assem_2esats__instr_uselst_get) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2assem_2esats__instr_deflst_get) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2assem_2esats__instr_jump_get) (ats_ptr_type) ; ATSextern_val(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__theSpecialReglst) ; ATSextern_val(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__theGeneralReglst) ; ATSextern_fun(ats_int_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnode_make_int) (ats_int_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset) (ats_ptr_type) ; ATSextern_fun(ats_bool_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_ismem) (ats_ptr_type, ats_int64_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_union_flag) (ats_ptr_type, ats_ptr_type, ats_ref_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_diff) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_bool_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_ismove_get) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_succ_get) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_useset_get) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_defset_get) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_inset_get) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_outset_get) (ats_ptr_type) ; ATSextern_fun(ats_void_type, fgnodeinfo_inset_set) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, fgnodeinfo_outset_set) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_make) (ats_int_type, ats_bool_type, ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_make_elt) (ats_int_type, ats_ptr_type) ; ATSextern_fun(ats_size_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_size) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_get) (ats_ptr_type, ats_int_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_set) (ats_ptr_type, ats_int_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_edge_insert) (ats_ptr_type, ats_int_type, ats_int_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_make_instrlst) (ats_ptr_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_compute_outset) (ats_ptr_type) ; ATSextern_fun(ats_void_type, ignodeinfo_nlivtot_inc) (ats_ptr_type) ; ATSextern_fun(ats_void_type, ignodeinfo_nusedef_inc) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_make_empty) () ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_initialize) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get) (ats_ptr_type, ats_int64_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_int_edge_insert) (ats_ptr_type, ats_int64_type, ats_int64_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_mov_edge_insert) (ats_ptr_type, ats_int64_type, ats_int64_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_node_insert) (ats_ptr_type, ats_int64_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_make_fgraph) (ats_ptr_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__spillcost_compute) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_int_type, atslib_srand48_r) (ats_lint_type, ats_ref_type) ; ATSextern_fun(ats_void_type, atslib_randint_r) (ats_ref_type, ats_int_type, ats_ref_type) ; ATSextern_fun(ats_bool_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2linmap_randbst_2edats__dice) (ats_int_type, ats_int_type, ats_ref_type) ; /* external dynamic terminating constant declarations */ #ifdef _ATS_PROOFCHECK 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_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 */ /* exn constructor declarations */ /* global dynamic (non-functional) constant declarations */ /* internal function declarations */ static ats_int_type __ats_fun_0 (ats_ptr_type arg0, ats_ptr_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_ptr_type arg0, ats_ptr_type arg1) ; static ats_int_type loop_3 (ats_ptr_type arg0, ats_int_type arg1) ; static ats_int_type list_length_01478_ats_ptr_type (ats_ptr_type arg0) ; static ats_ptr_type linmap_empty_01855_ () ; static ats_int_type compare_key_key_01854_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2) ; static ats_int_type bst_size_027_ats_ptr_type_2cats_int_type (ats_ptr_type arg0) ; static ats_ptr_type bst_insert_atroot_069_ats_ptr_type_2cats_int_type (ats_ref_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_clo_ref_type arg3, ats_ref_type arg4) ; static ats_ptr_type bst_insert_random_094_ats_ptr_type_2cats_int_type (ats_ref_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_clo_ref_type arg3, ats_ref_type arg4, ats_ref_type arg5) ; static ats_ptr_type linmap_insert_01862_ats_ptr_type_2cats_int_type (ats_ref_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_clo_ref_type arg3) ; static ats_void_type loop_vertex_5 (ats_ptr_type arg0, ats_ref_type arg1, ats_ptr_type arg2, ats_int_type arg3) ; static ats_ptr_type bst_search_044_ats_ptr_type_2cats_int_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2) ; static ats_ptr_type linmap_search_01861_ats_ptr_type_2cats_int_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2) ; static ats_void_type loop_labs_12 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_ptr_type arg3) ; static ats_void_type loop_edge_11 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_int_type arg3) ; static ats_void_type bst_free_040_ats_ptr_type_2cats_int_type (ats_ptr_type arg0) ; static ats_void_type linmap_free_01860_ats_ptr_type_2cats_int_type (ats_ptr_type arg0) ; static ats_ptr_type loop_outset_19 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ref_type arg2, ats_ptr_type arg3) ; static ats_void_type loop_one_18 (ats_ptr_type arg0, ats_ref_type arg1, ats_int_type arg2) ; static ats_void_type igraph_nodelst_insert_20 (ats_ptr_type arg0, ats_ptr_type arg1) ; static ats_void_type loop_22 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_int_type arg3) ; static ats_void_type loop1_24 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) ; static ats_void_type loop2_25 (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2) ; static ats_void_type loop1_24_0loop2_25 (ats_int_type arg0, ...) ; static ats_void_type loop3_27 (ats_ptr_type arg0, ats_int64_type arg1, ats_int64_type arg2, ats_ptr_type arg3) ; static ats_void_type loop_23 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_int_type arg3) ; static ats_void_type loop_livtot_29 (ats_ptr_type arg0, ats_ptr_type arg1) ; static ats_void_type loop_usedef_30 (ats_ptr_type arg0, ats_ptr_type arg1) ; /* partial value template declarations */ /* static temporary variable declarations */ ATSstatic (ats_ptr_type, statmp1) ; /* external value variable declarations */ /* function implementations */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 629(line=41, offs=16) -- 711(line=43, offs=35) */ ATSstaticdec() ats_int_type __ats_fun_0 (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_int_type, tmp0) ; __ats_lab___ats_fun_0: #line 43 "liveness.dats" tmp0 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_label_label (arg0, arg1) ; return (tmp0) ; } /* 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_ptr_type arg0, ats_ptr_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 */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/list.dats: 50131(line=1731, offs=7) -- 50271(line=1734, offs=6) */ ATSstaticdec() ats_int_type loop_3 (ats_ptr_type arg0, ats_int_type arg1) { /* local vardec */ ATSlocal (ats_int_type, tmp5) ; ATSlocal (ats_ptr_type, tmp6) ; ATSlocal (ats_int_type, tmp7) ; __ats_lab_loop_3: #line 1733 "list.dats" do { /* branch: __ats_lab_0 */ #line 1733 "list.dats" __ats_lab_0_0: #line 1733 "list.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_1_0 ; } #line 1733 "list.dats" __ats_lab_0_1: #line 1733 "list.dats" tmp6 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_1) ; #line 1733 "list.dats" tmp7 = atspre_isucc (arg1) ; #line 1733 "list.dats" arg0 = tmp6 ; #line 1733 "list.dats" arg1 = tmp7 ; #line 1733 "list.dats" goto __ats_lab_loop_3 ; // tail call break ; /* branch: __ats_lab_1 */ #line 1733 "list.dats" __ats_lab_1_0: #line 1733 "list.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 1733 "list.dats" __ats_lab_1_1: #line 1733 "list.dats" tmp5 = arg1 ; break ; } while (0) ; return (tmp5) ; } /* end of [loop_3] */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/list.dats: 50114(line=1730, offs=13) -- 50310(line=1737, offs=4) */ ATSstaticdec() ats_int_type list_length_01478_ats_ptr_type (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_int_type, tmp4) ; __ats_lab_list_length_01478_ats_ptr_type: #line 1736 "list.dats" tmp4 = loop_3 (arg0, 0) ; return (tmp4) ; } /* end of [list_length_01478_ats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 10058(line=329, offs=26) -- 10072(line=329, offs=40) */ ATSstaticdec() ats_ptr_type linmap_empty_01855_ () { /* local vardec */ ATSlocal (ats_ptr_type, tmp10) ; __ats_lab_linmap_empty_01855_: #line 329 "linmap_randbst.dats" tmp10 = (ats_sum_ptr_type)0 ; return (tmp10) ; } /* end of [linmap_empty_01855_] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 659(line=33, offs=32) -- 687(line=33, offs=60) */ ATSstaticdec() ats_int_type compare_key_key_01854_ats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2) { /* local vardec */ ATSlocal (ats_int_type, tmp40) ; __ats_lab_compare_key_key_01854_ats_ptr_type: #line 33 "linmap_randbst.dats" tmp40 = ((ats_int_type(*)(ats_clo_ptr_type, ats_ptr_type, ats_ptr_type))(ats_closure_fun(arg2))) (arg2, arg0, arg1) ; return (tmp40) ; } /* end of [compare_key_key_01854_ats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 2454(line=99, offs=20) -- 2570(line=100, offs=71) */ ATSstaticdec() ats_int_type bst_size_027_ats_ptr_type_2cats_int_type (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_int_type, tmp50) ; ATSlocal (ats_int_type, tmp51) ; __ats_lab_bst_size_027_ats_ptr_type_2cats_int_type: #line 99 "linmap_randbst.dats" do { /* branch: __ats_lab_6 */ #line 100 "linmap_randbst.dats" __ats_lab_6_0: #line 100 "linmap_randbst.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_7_0 ; } #line 100 "linmap_randbst.dats" __ats_lab_6_1: #line 100 "linmap_randbst.dats" tmp51 = ats_caselptr_mac(anairiats_sum_2, arg0, atslab_0) ; #line 100 "linmap_randbst.dats" tmp50 = tmp51 ; break ; /* branch: __ats_lab_7 */ #line 100 "linmap_randbst.dats" __ats_lab_7_0: #line 100 "linmap_randbst.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 100 "linmap_randbst.dats" __ats_lab_7_1: #line 100 "linmap_randbst.dats" tmp50 = 0 ; break ; } while (0) ; return (tmp50) ; } /* end of [bst_size_027_ats_ptr_type_2cats_int_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 5238(line=195, offs=35) -- 6864(line=238, offs=4) */ ATSstaticdec() ats_ptr_type bst_insert_atroot_069_ats_ptr_type_2cats_int_type (ats_ref_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_clo_ref_type arg3, ats_ref_type arg4) { /* local vardec */ ATSlocal (ats_ptr_type, tmp34) ; ATSlocal (ats_ptr_type, tmp35) ; ATSlocal (ats_ptr_type, tmp36) ; ATSlocal (ats_ptr_type, tmp37) ; ATSlocal (ats_ptr_type, tmp38) ; ATSlocal (ats_int_type, tmp39) ; ATSlocal (ats_bool_type, tmp41) ; ATSlocal (ats_ptr_type, tmp42) ; ATSlocal (ats_bool_type, tmp43) ; ATSlocal (ats_ptr_type, tmp44) ; ATSlocal (ats_ptr_type, tmp45) ; ATSlocal (ats_ptr_type, tmp46) ; ATSlocal (ats_ptr_type, tmp47) ; ATSlocal (ats_int_type, tmp48) ; ATSlocal (ats_int_type, tmp49) ; ATSlocal (ats_ptr_type, tmp52) ; ATSlocal (ats_ptr_type, tmp53) ; ATSlocal (ats_int_type, tmp54) ; ATSlocal (ats_int_type, tmp55) ; ATSlocal (ats_bool_type, tmp56) ; ATSlocal (ats_ptr_type, tmp57) ; ATSlocal (ats_bool_type, tmp58) ; ATSlocal (ats_ptr_type, tmp59) ; ATSlocal (ats_ptr_type, tmp60) ; ATSlocal (ats_ptr_type, tmp61) ; ATSlocal (ats_ptr_type, tmp62) ; ATSlocal (ats_int_type, tmp63) ; ATSlocal (ats_int_type, tmp64) ; ATSlocal (ats_ptr_type, tmp65) ; ATSlocal (ats_ptr_type, tmp66) ; ATSlocal (ats_int_type, tmp67) ; ATSlocal (ats_int_type, tmp68) ; ATSlocal (ats_ptr_type, tmp69) ; ATSlocal (ats_ptr_type, tmp70) ; ATSlocal (ats_ptr_type, tmp71) ; __ats_lab_bst_insert_atroot_069_ats_ptr_type_2cats_int_type: #line 199 "linmap_randbst.dats" do { /* branch: __ats_lab_5 */ #line 200 "linmap_randbst.dats" __ats_lab_5_0: #line 200 "linmap_randbst.dats" if (ats_ptrget_mac(ats_ptr_type, arg0) == (ats_sum_ptr_type)0) { goto __ats_lab_8_0 ; } #line 200 "linmap_randbst.dats" __ats_lab_5_1: #line 201 "linmap_randbst.dats" tmp35 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_0) ; #line 201 "linmap_randbst.dats" tmp36 = ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_1) ; #line 201 "linmap_randbst.dats" tmp37 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_3) ; #line 201 "linmap_randbst.dats" tmp38 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_4) ; #line 202 "linmap_randbst.dats" tmp39 = compare_key_key_01854_ats_ptr_type (arg1, tmp36, arg3) ; #line 203 "linmap_randbst.dats" tmp41 = atspre_ilt (tmp39, 0) ; #line 203 "linmap_randbst.dats" if (tmp41) { #line 204 "linmap_randbst.dats" tmp42 = bst_insert_atroot_069_ats_ptr_type_2cats_int_type (tmp37, arg1, arg2, arg3, arg4) ; #line 206 "linmap_randbst.dats" tmp43 = atspre_ieq (ats_ptrget_mac(ats_int_type, arg4), 0) ; #line 206 "linmap_randbst.dats" if (tmp43) { #line 207 "linmap_randbst.dats" tmp44 = ats_ptrget_mac(ats_ptr_type, tmp37) ; #line 208 "linmap_randbst.dats" // if (tmp44 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 208 "linmap_randbst.dats" tmp45 = &ats_caselptr_mac(anairiats_sum_2, tmp44, atslab_0) ; #line 208 "linmap_randbst.dats" tmp46 = &ats_caselptr_mac(anairiats_sum_2, tmp44, atslab_3) ; #line 208 "linmap_randbst.dats" tmp47 = &ats_caselptr_mac(anairiats_sum_2, tmp44, atslab_4) ; #line 209 "linmap_randbst.dats" tmp48 = ats_ptrget_mac(ats_int_type, tmp35) ; #line 209 "linmap_randbst.dats" tmp52 = ats_ptrget_mac(ats_ptr_type, tmp46) ; #line 209 "linmap_randbst.dats" tmp49 = bst_size_027_ats_ptr_type_2cats_int_type (tmp52) ; #line 211 "linmap_randbst.dats" tmp53 = ats_ptrget_mac(ats_ptr_type, tmp47) ; #line 211 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, tmp37) = tmp53 ; #line 211 "linmap_randbst.dats" tmp54 = atspre_isub (tmp48, tmp49) ; #line 211 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp35) = tmp54 ; #line 212 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, tmp47) = ats_ptrget_mac(ats_ptr_type, arg0) ; #line 212 "linmap_randbst.dats" tmp55 = atspre_iadd (tmp48, 1) ; #line 212 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp45) = tmp55 ; #line 213 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, arg0) = tmp44 ; #line 213 "linmap_randbst.dats" tmp34 = tmp42 ; } else { #line 215 "linmap_randbst.dats" tmp34 = tmp42 ; } /* end of [if] */ } else { #line 217 "linmap_randbst.dats" tmp56 = atspre_igt (tmp39, 0) ; #line 217 "linmap_randbst.dats" if (tmp56) { #line 218 "linmap_randbst.dats" tmp57 = bst_insert_atroot_069_ats_ptr_type_2cats_int_type (tmp38, arg1, arg2, arg3, arg4) ; #line 220 "linmap_randbst.dats" tmp58 = atspre_ieq (ats_ptrget_mac(ats_int_type, arg4), 0) ; #line 220 "linmap_randbst.dats" if (tmp58) { #line 221 "linmap_randbst.dats" tmp59 = ats_ptrget_mac(ats_ptr_type, tmp38) ; #line 222 "linmap_randbst.dats" // if (tmp59 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 222 "linmap_randbst.dats" tmp60 = &ats_caselptr_mac(anairiats_sum_2, tmp59, atslab_0) ; #line 222 "linmap_randbst.dats" tmp61 = &ats_caselptr_mac(anairiats_sum_2, tmp59, atslab_3) ; #line 222 "linmap_randbst.dats" tmp62 = &ats_caselptr_mac(anairiats_sum_2, tmp59, atslab_4) ; #line 223 "linmap_randbst.dats" tmp63 = ats_ptrget_mac(ats_int_type, tmp35) ; #line 223 "linmap_randbst.dats" tmp65 = ats_ptrget_mac(ats_ptr_type, tmp62) ; #line 223 "linmap_randbst.dats" tmp64 = bst_size_027_ats_ptr_type_2cats_int_type (tmp65) ; #line 225 "linmap_randbst.dats" tmp66 = ats_ptrget_mac(ats_ptr_type, tmp61) ; #line 225 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, tmp38) = tmp66 ; #line 225 "linmap_randbst.dats" tmp67 = atspre_isub (tmp63, tmp64) ; #line 225 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp35) = tmp67 ; #line 226 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, tmp61) = ats_ptrget_mac(ats_ptr_type, arg0) ; #line 226 "linmap_randbst.dats" tmp68 = atspre_iadd (tmp63, 1) ; #line 226 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp60) = tmp68 ; #line 227 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, arg0) = tmp59 ; #line 227 "linmap_randbst.dats" tmp34 = tmp57 ; } else { #line 229 "linmap_randbst.dats" tmp34 = tmp57 ; } /* end of [if] */ } else { #line 232 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, arg4) = 1 ; #line 232 "linmap_randbst.dats" tmp34 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp34, atslab_0, arg2) ; } /* end of [if] */ } /* end of [if] */ break ; /* branch: __ats_lab_8 */ #line 235 "linmap_randbst.dats" __ats_lab_8_0: #line 235 "linmap_randbst.dats" // if (ats_ptrget_mac(ats_ptr_type, arg0) != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 235 "linmap_randbst.dats" __ats_lab_8_1: #line 236 "linmap_randbst.dats" tmp70 = (ats_sum_ptr_type)0 ; #line 236 "linmap_randbst.dats" tmp71 = (ats_sum_ptr_type)0 ; #line 236 "linmap_randbst.dats" tmp69 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ats_selptrset_mac(anairiats_sum_2, tmp69, atslab_0, 1) ; ats_selptrset_mac(anairiats_sum_2, tmp69, atslab_1, arg1) ; ats_selptrset_mac(anairiats_sum_2, tmp69, atslab_2, arg2) ; ats_selptrset_mac(anairiats_sum_2, tmp69, atslab_3, tmp70) ; ats_selptrset_mac(anairiats_sum_2, tmp69, atslab_4, tmp71) ; #line 236 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, arg0) = tmp69 ; #line 236 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, arg4) = 0 ; #line 236 "linmap_randbst.dats" tmp34 = (ats_sum_ptr_type)0 ; break ; } while (0) ; return (tmp34) ; } /* end of [bst_insert_atroot_069_ats_ptr_type_2cats_int_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 6962(line=241, offs=35) -- 7987(line=264, offs=4) */ ATSstaticdec() ats_ptr_type bst_insert_random_094_ats_ptr_type_2cats_int_type (ats_ref_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_clo_ref_type arg3, ats_ref_type arg4, ats_ref_type arg5) { /* local vardec */ ATSlocal (ats_ptr_type, tmp27) ; ATSlocal (ats_ptr_type, tmp28) ; ATSlocal (ats_ptr_type, tmp29) ; ATSlocal (ats_ptr_type, tmp30) ; ATSlocal (ats_ptr_type, tmp31) ; ATSlocal (ats_bool_type, tmp32) ; ATSlocal (ats_int_type, tmp33) ; ATSlocal (ats_int_type, tmp72) ; ATSlocal (ats_bool_type, tmp73) ; ATSlocal (ats_ptr_type, tmp74) ; ATSlocal (ats_bool_type, tmp75) ; ATSlocal (ats_int_type, tmp76) ; ATSlocal (ats_int_type, tmp77) ; ATSlocal (ats_bool_type, tmp78) ; ATSlocal (ats_ptr_type, tmp79) ; ATSlocal (ats_bool_type, tmp80) ; ATSlocal (ats_int_type, tmp81) ; ATSlocal (ats_int_type, tmp82) ; ATSlocal (ats_ptr_type, tmp83) ; ATSlocal (ats_ptr_type, tmp84) ; ATSlocal (ats_ptr_type, tmp85) ; __ats_lab_bst_insert_random_094_ats_ptr_type_2cats_int_type: #line 245 "linmap_randbst.dats" do { /* branch: __ats_lab_4 */ #line 246 "linmap_randbst.dats" __ats_lab_4_0: #line 246 "linmap_randbst.dats" if (ats_ptrget_mac(ats_ptr_type, arg0) == (ats_sum_ptr_type)0) { goto __ats_lab_9_0 ; } #line 246 "linmap_randbst.dats" __ats_lab_4_1: #line 246 "linmap_randbst.dats" tmp28 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_0) ; #line 246 "linmap_randbst.dats" tmp29 = ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_1) ; #line 246 "linmap_randbst.dats" tmp30 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_3) ; #line 246 "linmap_randbst.dats" tmp31 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_4) ; #line 247 "linmap_randbst.dats" tmp33 = ats_ptrget_mac(ats_int_type, tmp28) ; #line 247 "linmap_randbst.dats" tmp32 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2linmap_randbst_2edats__dice (1, tmp33, arg5) ; #line 247 "linmap_randbst.dats" if (tmp32) { #line 248 "linmap_randbst.dats" tmp27 = bst_insert_atroot_069_ats_ptr_type_2cats_int_type (arg0, arg1, arg2, arg3, arg4) ; } else { #line 250 "linmap_randbst.dats" tmp72 = compare_key_key_01854_ats_ptr_type (arg1, tmp29, arg3) ; #line 251 "linmap_randbst.dats" tmp73 = atspre_ilt (tmp72, 0) ; #line 251 "linmap_randbst.dats" if (tmp73) { #line 252 "linmap_randbst.dats" tmp74 = bst_insert_random_094_ats_ptr_type_2cats_int_type (tmp30, arg1, arg2, arg3, arg4, arg5) ; #line 253 "linmap_randbst.dats" tmp75 = atspre_ieq (ats_ptrget_mac(ats_int_type, arg4), 0) ; #line 253 "linmap_randbst.dats" if (tmp75) { #line 253 "linmap_randbst.dats" tmp77 = ats_ptrget_mac(ats_int_type, tmp28) ; #line 253 "linmap_randbst.dats" tmp76 = atspre_iadd (tmp77, 1) ; #line 253 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp28) = tmp76 ; #line 253 "linmap_randbst.dats" tmp27 = tmp74 ; } else { #line 253 "linmap_randbst.dats" tmp27 = tmp74 ; } /* end of [if] */ } else { #line 254 "linmap_randbst.dats" tmp78 = atspre_igt (tmp72, 0) ; #line 254 "linmap_randbst.dats" if (tmp78) { #line 255 "linmap_randbst.dats" tmp79 = bst_insert_random_094_ats_ptr_type_2cats_int_type (tmp31, arg1, arg2, arg3, arg4, arg5) ; #line 256 "linmap_randbst.dats" tmp80 = atspre_ieq (ats_ptrget_mac(ats_int_type, arg4), 0) ; #line 256 "linmap_randbst.dats" if (tmp80) { #line 256 "linmap_randbst.dats" tmp82 = ats_ptrget_mac(ats_int_type, tmp28) ; #line 256 "linmap_randbst.dats" tmp81 = atspre_iadd (tmp82, 1) ; #line 256 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp28) = tmp81 ; #line 256 "linmap_randbst.dats" tmp27 = tmp79 ; } else { #line 256 "linmap_randbst.dats" tmp27 = tmp79 ; } /* end of [if] */ } else { #line 258 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, arg4) = 1 ; #line 258 "linmap_randbst.dats" tmp27 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp27, atslab_0, arg2) ; } /* end of [if] */ } /* end of [if] */ } /* end of [if] */ break ; /* branch: __ats_lab_9 */ #line 261 "linmap_randbst.dats" __ats_lab_9_0: #line 261 "linmap_randbst.dats" // if (ats_ptrget_mac(ats_ptr_type, arg0) != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 261 "linmap_randbst.dats" __ats_lab_9_1: #line 262 "linmap_randbst.dats" tmp84 = (ats_sum_ptr_type)0 ; #line 262 "linmap_randbst.dats" tmp85 = (ats_sum_ptr_type)0 ; #line 262 "linmap_randbst.dats" tmp83 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ats_selptrset_mac(anairiats_sum_2, tmp83, atslab_0, 1) ; ats_selptrset_mac(anairiats_sum_2, tmp83, atslab_1, arg1) ; ats_selptrset_mac(anairiats_sum_2, tmp83, atslab_2, arg2) ; ats_selptrset_mac(anairiats_sum_2, tmp83, atslab_3, tmp84) ; ats_selptrset_mac(anairiats_sum_2, tmp83, atslab_4, tmp85) ; #line 262 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, arg0) = tmp83 ; #line 262 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, arg4) = 0 ; #line 262 "linmap_randbst.dats" tmp27 = (ats_sum_ptr_type)0 ; break ; } while (0) ; return (tmp27) ; } /* end of [bst_insert_random_094_ats_ptr_type_2cats_int_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 10868(line=362, offs=17) -- 11059(line=367, offs=4) */ ATSstaticdec() ats_ptr_type linmap_insert_01862_ats_ptr_type_2cats_int_type (ats_ref_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_clo_ref_type arg3) { /* local vardec */ ATSlocal (ats_ptr_type, tmp23) ; ATSlocal (ats_int_type, tmp24) ; ATSlocal (ats_drand48_data_type, tmp25) ; ATSlocal (ats_int_type, tmp26) ; __ats_lab_linmap_insert_01862_ats_ptr_type_2cats_int_type: #line 363 "linmap_randbst.dats" /* ats_int_type tmp24 ; */ #line 364 "linmap_randbst.dats" /* ats_drand48_data_type tmp25 ; */ #line 365 "linmap_randbst.dats" tmp26 = atslib_srand48_r (0L, (&tmp25)) ; #line 366 "linmap_randbst.dats" tmp23 = bst_insert_random_094_ats_ptr_type_2cats_int_type (arg0, arg1, arg2, arg3, (&tmp24), (&tmp25)) ; return (tmp23) ; } /* end of [linmap_insert_01862_ats_ptr_type_2cats_int_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 1094(line=54, offs=9) -- 2145(line=79, offs=8) */ ATSstaticdec() ats_void_type loop_vertex_5 (ats_ptr_type arg0, ats_ref_type arg1, ats_ptr_type arg2, ats_int_type arg3) { /* local vardec */ // ATSlocal_void (tmp11) ; ATSlocal (ats_int_type, tmp12) ; ATSlocal (ats_ptr_type, tmp13) ; ATSlocal (ats_ptr_type, tmp14) ; ATSlocal (ats_bool_type, tmp15) ; ATSlocal (ats_ptr_type, tmp16) ; ATSlocal (ats_ptr_type, tmp17) ; ATSlocal (ats_ptr_type, tmp18) ; // ATSlocal_void (tmp19) ; ATSlocal (ats_ptr_type, tmp21) ; ATSlocal (ats_ptr_type, tmp22) ; ATSlocal (ats_int_type, tmp86) ; __ats_lab_loop_vertex_5: #line 56 "liveness.dats" do { /* branch: __ats_lab_2 */ #line 57 "liveness.dats" __ats_lab_2_0: #line 57 "liveness.dats" if (arg2 == (ats_sum_ptr_type)0) { goto __ats_lab_13_0 ; } #line 57 "liveness.dats" __ats_lab_2_1: #line 58 "liveness.dats" tmp12 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnode_make_int (arg3) ; #line 59 "liveness.dats" // if (arg2 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 59 "liveness.dats" tmp13 = ats_caselptr_mac(anairiats_sum_0, arg2, atslab_0) ; #line 59 "liveness.dats" tmp14 = ats_caselptr_mac(anairiats_sum_0, arg2, atslab_1) ; #line 60 "liveness.dats" tmp15 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2assem_2esats__instr_ismove (tmp13) ; #line 61 "liveness.dats" tmp16 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2assem_2esats__instr_uselst_get (tmp13) ; #line 62 "liveness.dats" tmp17 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2assem_2esats__instr_deflst_get (tmp13) ; #line 63 "liveness.dats" tmp18 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_make (tmp12, tmp15, tmp16, tmp17) ; #line 64 "liveness.dats" /* tmp19 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_set (arg0, tmp12, tmp18) ; #line 65 "liveness.dats" do { /* branch: __ats_lab_3 */ #line 66 "liveness.dats" __ats_lab_3_0: #line 66 "liveness.dats" if (((ats_sum_ptr_type)tmp13)->tag != 1) { goto __ats_lab_12_0 ; } #line 66 "liveness.dats" __ats_lab_3_1: #line 66 "liveness.dats" tmp21 = ats_caselptr_mac(anairiats_sum_1, tmp13, atslab_1) ; #line 68 "liveness.dats" tmp22 = linmap_insert_01862_ats_ptr_type_2cats_int_type (arg1, tmp21, tmp12, statmp1) ; #line 71 "liveness.dats" do { /* branch: __ats_lab_10 */ #line 71 "liveness.dats" __ats_lab_10_0: #line 71 "liveness.dats" if (tmp22 == (ats_sum_ptr_type)0) { goto __ats_lab_11_0 ; } #line 71 "liveness.dats" __ats_lab_10_1: #line 71 "liveness.dats" ATS_FREE(tmp22) ; break ; /* branch: __ats_lab_11 */ #line 71 "liveness.dats" __ats_lab_11_0: #line 71 "liveness.dats" // if (tmp22 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 71 "liveness.dats" __ats_lab_11_1: break ; } while (0) ; break ; /* branch: __ats_lab_12 */ #line 74 "liveness.dats" __ats_lab_12_0: #line 74 "liveness.dats" __ats_lab_12_1: break ; } while (0) ; #line 76 "liveness.dats" tmp86 = atspre_iadd (arg3, 1) ; #line 76 "liveness.dats" arg0 = arg0 ; #line 76 "liveness.dats" arg1 = arg1 ; #line 76 "liveness.dats" arg2 = tmp14 ; #line 76 "liveness.dats" arg3 = tmp86 ; #line 76 "liveness.dats" goto __ats_lab_loop_vertex_5 ; // tail call break ; /* branch: __ats_lab_13 */ #line 78 "liveness.dats" __ats_lab_13_0: #line 78 "liveness.dats" // if (arg2 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 78 "liveness.dats" __ats_lab_13_1: break ; } while (0) ; return /* (tmp11) */ ; } /* end of [loop_vertex_5] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 3608(line=137, offs=28) -- 4264(line=156, offs=4) */ ATSstaticdec() ats_ptr_type bst_search_044_ats_ptr_type_2cats_int_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2) { /* 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_ptr_type, tmp106) ; ATSlocal (ats_ptr_type, tmp107) ; ATSlocal (ats_int_type, tmp108) ; __ats_lab_bst_search_044_ats_ptr_type_2cats_int_type: #line 140 "linmap_randbst.dats" do { /* branch: __ats_lab_17 */ #line 141 "linmap_randbst.dats" __ats_lab_17_0: #line 141 "linmap_randbst.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_21_0 ; } #line 141 "linmap_randbst.dats" __ats_lab_17_1: #line 141 "linmap_randbst.dats" tmp101 = ats_caselptr_mac(anairiats_sum_2, arg0, atslab_1) ; #line 141 "linmap_randbst.dats" tmp102 = &ats_caselptr_mac(anairiats_sum_2, arg0, atslab_2) ; #line 141 "linmap_randbst.dats" tmp103 = &ats_caselptr_mac(anairiats_sum_2, arg0, atslab_3) ; #line 141 "linmap_randbst.dats" tmp104 = &ats_caselptr_mac(anairiats_sum_2, arg0, atslab_4) ; #line 142 "linmap_randbst.dats" tmp105 = compare_key_key_01854_ats_ptr_type (arg1, tmp101, arg2) ; #line 142 "linmap_randbst.dats" do { /* branch: __ats_lab_18 */ #line 143 "linmap_randbst.dats" __ats_lab_18_0: #line 143 "linmap_randbst.dats" if (tmp105 != -1) { goto __ats_lab_19_0 ; } #line 143 "linmap_randbst.dats" __ats_lab_18_1: #line 144 "linmap_randbst.dats" tmp106 = ats_ptrget_mac(ats_ptr_type, tmp103) ; #line 144 "linmap_randbst.dats" arg0 = tmp106 ; #line 144 "linmap_randbst.dats" arg1 = arg1 ; #line 144 "linmap_randbst.dats" arg2 = arg2 ; #line 144 "linmap_randbst.dats" goto __ats_lab_bst_search_044_ats_ptr_type_2cats_int_type ; // tail call break ; /* branch: __ats_lab_19 */ #line 146 "linmap_randbst.dats" __ats_lab_19_0: #line 146 "linmap_randbst.dats" if (tmp105 != 1) { goto __ats_lab_20_0 ; } #line 146 "linmap_randbst.dats" __ats_lab_19_1: #line 147 "linmap_randbst.dats" tmp107 = ats_ptrget_mac(ats_ptr_type, tmp104) ; #line 147 "linmap_randbst.dats" arg0 = tmp107 ; #line 147 "linmap_randbst.dats" arg1 = arg1 ; #line 147 "linmap_randbst.dats" arg2 = arg2 ; #line 147 "linmap_randbst.dats" goto __ats_lab_bst_search_044_ats_ptr_type_2cats_int_type ; // tail call break ; /* branch: __ats_lab_20 */ #line 149 "linmap_randbst.dats" __ats_lab_20_0: #line 149 "linmap_randbst.dats" __ats_lab_20_1: #line 150 "linmap_randbst.dats" tmp108 = ats_ptrget_mac(ats_int_type, tmp102) ; #line 150 "linmap_randbst.dats" tmp100 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp100, atslab_0, tmp108) ; break ; } while (0) ; break ; /* branch: __ats_lab_21 */ #line 153 "linmap_randbst.dats" __ats_lab_21_0: #line 153 "linmap_randbst.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 153 "linmap_randbst.dats" __ats_lab_21_1: #line 154 "linmap_randbst.dats" tmp100 = (ats_sum_ptr_type)0 ; break ; } while (0) ; return (tmp100) ; } /* end of [bst_search_044_ats_ptr_type_2cats_int_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 10737(line=356, offs=17) -- 10784(line=356, offs=64) */ ATSstaticdec() ats_ptr_type linmap_search_01861_ats_ptr_type_2cats_int_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_clo_ref_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp99) ; __ats_lab_linmap_search_01861_ats_ptr_type_2cats_int_type: #line 356 "linmap_randbst.dats" tmp99 = bst_search_044_ats_ptr_type_2cats_int_type (arg0, arg1, arg2) ; return (tmp99) ; } /* end of [linmap_search_01861_ats_ptr_type_2cats_int_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 2579(line=90, offs=19) -- 3209(line=104, offs=36) */ ATSstaticdec() ats_void_type loop_labs_12 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_ptr_type arg3) { /* local vardec */ // ATSlocal_void (tmp95) ; ATSlocal (ats_ptr_type, tmp96) ; ATSlocal (ats_ptr_type, tmp97) ; ATSlocal (ats_ptr_type, tmp98) ; // ATSlocal_void (tmp109) ; ATSlocal (ats_int_type, tmp110) ; __ats_lab_loop_labs_12: #line 95 "liveness.dats" do { /* branch: __ats_lab_16 */ #line 96 "liveness.dats" __ats_lab_16_0: #line 96 "liveness.dats" if (arg3 == (ats_sum_ptr_type)0) { goto __ats_lab_24_0 ; } #line 96 "liveness.dats" __ats_lab_16_1: #line 96 "liveness.dats" tmp96 = ats_caselptr_mac(anairiats_sum_0, arg3, atslab_0) ; #line 96 "liveness.dats" tmp97 = ats_caselptr_mac(anairiats_sum_0, arg3, atslab_1) ; #line 97 "liveness.dats" tmp98 = linmap_search_01861_ats_ptr_type_2cats_int_type (arg1, tmp96, statmp1) ; #line 98 "liveness.dats" do { /* branch: __ats_lab_22 */ #line 99 "liveness.dats" __ats_lab_22_0: #line 99 "liveness.dats" if (tmp98 == (ats_sum_ptr_type)0) { goto __ats_lab_23_0 ; } #line 99 "liveness.dats" __ats_lab_22_1: #line 99 "liveness.dats" tmp110 = ats_caselptr_mac(anairiats_sum_3, tmp98, atslab_0) ; #line 99 "liveness.dats" ATS_FREE(tmp98) ; #line 99 "liveness.dats" /* tmp109 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_edge_insert (arg0, arg2, tmp110) ; break ; /* branch: __ats_lab_23 */ #line 100 "liveness.dats" __ats_lab_23_0: #line 100 "liveness.dats" // if (tmp98 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 100 "liveness.dats" __ats_lab_23_1: break ; } while (0) ; #line 102 "liveness.dats" arg0 = arg0 ; #line 102 "liveness.dats" arg1 = arg1 ; #line 102 "liveness.dats" arg2 = arg2 ; #line 102 "liveness.dats" arg3 = tmp97 ; #line 102 "liveness.dats" goto __ats_lab_loop_labs_12 ; // tail call break ; /* branch: __ats_lab_24 */ #line 104 "liveness.dats" __ats_lab_24_0: #line 104 "liveness.dats" // if (arg3 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 104 "liveness.dats" __ats_lab_24_1: break ; } while (0) ; return /* (tmp95) */ ; } /* end of [loop_labs_12] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 2249(line=82, offs=9) -- 3775(line=121, offs=8) */ ATSstaticdec() ats_void_type loop_edge_11 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_int_type arg3) { /* local vardec */ // ATSlocal_void (tmp88) ; ATSlocal (ats_ptr_type, tmp89) ; ATSlocal (ats_ptr_type, tmp90) ; ATSlocal (ats_int_type, tmp91) ; ATSlocal (ats_ptr_type, tmp92) ; // ATSlocal_void (tmp93) ; ATSlocal (ats_ptr_type, tmp94) ; ATSlocal (ats_int_type, tmp111) ; ATSlocal (ats_int_type, tmp112) ; ATSlocal (ats_int_type, tmp113) ; __ats_lab_loop_edge_11: #line 84 "liveness.dats" do { /* branch: __ats_lab_14 */ #line 85 "liveness.dats" __ats_lab_14_0: #line 85 "liveness.dats" if (arg2 == (ats_sum_ptr_type)0) { goto __ats_lab_28_0 ; } #line 85 "liveness.dats" __ats_lab_14_1: #line 85 "liveness.dats" tmp89 = ats_caselptr_mac(anairiats_sum_0, arg2, atslab_0) ; #line 85 "liveness.dats" tmp90 = ats_caselptr_mac(anairiats_sum_0, arg2, atslab_1) ; #line 86 "liveness.dats" tmp91 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnode_make_int (arg3) ; #line 87 "liveness.dats" tmp92 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2assem_2esats__instr_jump_get (tmp89) ; #line 88 "liveness.dats" do { /* branch: __ats_lab_15 */ #line 89 "liveness.dats" __ats_lab_15_0: #line 89 "liveness.dats" if (tmp92 == (ats_sum_ptr_type)0) { goto __ats_lab_25_0 ; } #line 89 "liveness.dats" __ats_lab_15_1: #line 89 "liveness.dats" tmp94 = ats_caselptr_mac(anairiats_sum_4, tmp92, atslab_0) ; #line 107 "liveness.dats" /* tmp93 = */ loop_labs_12 (arg0, arg1, tmp91, tmp94) ; break ; /* branch: __ats_lab_25 */ #line 109 "liveness.dats" __ats_lab_25_0: #line 109 "liveness.dats" // if (tmp92 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 109 "liveness.dats" __ats_lab_25_1: #line 109 "liveness.dats" do { /* branch: __ats_lab_26 */ #line 110 "liveness.dats" __ats_lab_26_0: #line 110 "liveness.dats" if (tmp90 == (ats_sum_ptr_type)0) { goto __ats_lab_27_0 ; } #line 110 "liveness.dats" __ats_lab_26_1: #line 111 "liveness.dats" tmp112 = atspre_iadd (arg3, 1) ; #line 111 "liveness.dats" tmp111 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnode_make_int (tmp112) ; #line 113 "liveness.dats" /* tmp93 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_edge_insert (arg0, tmp91, tmp111) ; break ; /* branch: __ats_lab_27 */ #line 115 "liveness.dats" __ats_lab_27_0: #line 115 "liveness.dats" // if (tmp90 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 115 "liveness.dats" __ats_lab_27_1: break ; } while (0) ; break ; } while (0) ; #line 118 "liveness.dats" tmp113 = atspre_iadd (arg3, 1) ; #line 118 "liveness.dats" arg0 = arg0 ; #line 118 "liveness.dats" arg1 = arg1 ; #line 118 "liveness.dats" arg2 = tmp90 ; #line 118 "liveness.dats" arg3 = tmp113 ; #line 118 "liveness.dats" goto __ats_lab_loop_edge_11 ; // tail call break ; /* branch: __ats_lab_28 */ #line 120 "liveness.dats" __ats_lab_28_0: #line 120 "liveness.dats" // if (arg2 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 120 "liveness.dats" __ats_lab_28_1: break ; } while (0) ; return /* (tmp88) */ ; } /* end of [loop_edge_11] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 3385(line=128, offs=26) -- 3512(line=131, offs=21) */ ATSstaticdec() ats_void_type bst_free_040_ats_ptr_type_2cats_int_type (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp117) ; ATSlocal (ats_ptr_type, tmp118) ; ATSlocal (ats_ptr_type, tmp119) ; // ATSlocal_void (tmp120) ; __ats_lab_bst_free_040_ats_ptr_type_2cats_int_type: #line 129 "linmap_randbst.dats" do { /* branch: __ats_lab_29 */ #line 130 "linmap_randbst.dats" __ats_lab_29_0: #line 130 "linmap_randbst.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_30_0 ; } #line 130 "linmap_randbst.dats" __ats_lab_29_1: #line 130 "linmap_randbst.dats" tmp118 = ats_caselptr_mac(anairiats_sum_2, arg0, atslab_3) ; #line 130 "linmap_randbst.dats" tmp119 = ats_caselptr_mac(anairiats_sum_2, arg0, atslab_4) ; #line 130 "linmap_randbst.dats" ATS_FREE(arg0) ; #line 130 "linmap_randbst.dats" /* tmp120 = */ bst_free_040_ats_ptr_type_2cats_int_type (tmp118) ; #line 130 "linmap_randbst.dats" arg0 = tmp119 ; #line 130 "linmap_randbst.dats" goto __ats_lab_bst_free_040_ats_ptr_type_2cats_int_type ; // tail call break ; /* branch: __ats_lab_30 */ #line 131 "linmap_randbst.dats" __ats_lab_30_0: #line 131 "linmap_randbst.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 131 "linmap_randbst.dats" __ats_lab_30_1: break ; } while (0) ; return /* (tmp117) */ ; } /* end of [bst_free_040_ats_ptr_type_2cats_int_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 10652(line=351, offs=32) -- 10678(line=351, offs=58) */ ATSstaticdec() ats_void_type linmap_free_01860_ats_ptr_type_2cats_int_type (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp116) ; __ats_lab_linmap_free_01860_ats_ptr_type_2cats_int_type: #line 351 "linmap_randbst.dats" /* tmp116 = */ bst_free_040_ats_ptr_type_2cats_int_type (arg0) ; return /* (tmp116) */ ; } /* end of [linmap_free_01860_ats_ptr_type_2cats_int_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 760(line=46, offs=32) -- 3868(line=126, offs=4) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_make_instrlst (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp2) ; ATSlocal (ats_int_type, tmp3) ; ATSlocal (ats_ptr_type, tmp8) ; ATSlocal (ats_ptr_type, tmp9) ; // ATSlocal_void (tmp87) ; // ATSlocal_void (tmp114) ; // ATSlocal_void (tmp115) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_make_instrlst: #line 47 "liveness.dats" tmp3 = list_length_01478_ats_ptr_type (arg0) ; #line 48 "liveness.dats" tmp8 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_make_elt (tmp3, (ats_ptr_type)0) ; #line 52 "liveness.dats" /* ats_ptr_type tmp9 ; */ #line 52 "liveness.dats" tmp9 = linmap_empty_01855_ () ; #line 53 "liveness.dats" /* tmp87 = */ loop_vertex_5 (tmp8, (&tmp9), arg0, 0) ; #line 81 "liveness.dats" /* tmp114 = */ loop_edge_11 (tmp8, tmp9, arg0, 0) ; #line 123 "liveness.dats" /* tmp115 = */ linmap_free_01860_ats_ptr_type_2cats_int_type (tmp9) ; #line 125 "liveness.dats" tmp2 = tmp8 ; return (tmp2) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_make_instrlst] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 4563(line=151, offs=13) -- 5082(line=164, offs=34) */ ATSstaticdec() ats_ptr_type loop_outset_19 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ref_type arg2, ats_ptr_type arg3) { /* local vardec */ ATSlocal (ats_ptr_type, tmp131) ; ATSlocal (ats_int_type, tmp132) ; ATSlocal (ats_ptr_type, tmp133) ; ATSlocal (ats_ptr_type, tmp134) ; ATSlocal (ats_ptr_type, tmp135) ; ATSlocal (ats_ptr_type, tmp136) ; __ats_lab_loop_outset_19: #line 156 "liveness.dats" do { /* branch: __ats_lab_31 */ #line 157 "liveness.dats" __ats_lab_31_0: #line 157 "liveness.dats" if (arg3 == (ats_sum_ptr_type)0) { goto __ats_lab_32_0 ; } #line 157 "liveness.dats" __ats_lab_31_1: #line 157 "liveness.dats" tmp132 = ats_caselptr_mac(anairiats_sum_5, arg3, atslab_0) ; #line 157 "liveness.dats" tmp133 = ats_caselptr_mac(anairiats_sum_5, arg3, atslab_1) ; #line 158 "liveness.dats" tmp134 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_get (arg0, tmp132) ; #line 159 "liveness.dats" tmp135 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_inset_get (tmp134) ; #line 160 "liveness.dats" tmp136 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_union_flag (arg1, tmp135, arg2) ; #line 162 "liveness.dats" arg0 = arg0 ; #line 162 "liveness.dats" arg1 = tmp136 ; #line 162 "liveness.dats" arg2 = arg2 ; #line 162 "liveness.dats" arg3 = tmp133 ; #line 162 "liveness.dats" goto __ats_lab_loop_outset_19 ; // tail call break ; /* branch: __ats_lab_32 */ #line 164 "liveness.dats" __ats_lab_32_0: #line 164 "liveness.dats" // if (arg3 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 164 "liveness.dats" __ats_lab_32_1: #line 164 "liveness.dats" tmp131 = arg1 ; break ; } while (0) ; return (tmp131) ; } /* end of [loop_outset_19] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 4075(line=138, offs=7) -- 5511(line=176, offs=8) */ ATSstaticdec() ats_void_type loop_one_18 (ats_ptr_type arg0, ats_ref_type arg1, ats_int_type arg2) { /* local vardec */ // ATSlocal_void (tmp122) ; ATSlocal (ats_bool_type, tmp123) ; ATSlocal (ats_int_type, tmp124) ; ATSlocal (ats_int_type, tmp125) ; ATSlocal (ats_ptr_type, tmp126) ; ATSlocal (ats_ptr_type, tmp127) ; ATSlocal (ats_ptr_type, tmp128) ; ATSlocal (ats_ptr_type, tmp129) ; ATSlocal (ats_int_type, tmp130) ; ATSlocal (ats_ptr_type, tmp137) ; // ATSlocal_void (tmp138) ; ATSlocal (ats_bool_type, tmp139) ; ATSlocal (ats_ptr_type, tmp140) ; ATSlocal (ats_ptr_type, tmp141) ; ATSlocal (ats_int_type, tmp142) ; ATSlocal (ats_ptr_type, tmp143) ; // ATSlocal_void (tmp144) ; ATSlocal (ats_bool_type, tmp145) ; __ats_lab_loop_one_18: #line 140 "liveness.dats" tmp123 = atspre_igt (arg2, 0) ; #line 140 "liveness.dats" if (tmp123) { #line 141 "liveness.dats" tmp124 = atspre_isub (arg2, 1) ; #line 142 "liveness.dats" tmp125 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnode_make_int (tmp124) ; #line 143 "liveness.dats" tmp126 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_get (arg0, tmp125) ; #line 144 "liveness.dats" tmp127 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_succ_get (tmp126) ; #line 146 "liveness.dats" tmp128 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_inset_get (tmp126) ; #line 147 "liveness.dats" tmp129 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_outset_get (tmp126) ; #line 149 "liveness.dats" tmp130 = ats_ptrget_mac(ats_int_type, arg1) ; #line 150 "liveness.dats" tmp137 = loop_outset_19 (arg0, tmp129, arg1, ats_castfn_mac(ats_ptr_type, tmp127)) ; #line 167 "liveness.dats" tmp139 = atspre_gt_int_int (ats_ptrget_mac(ats_int_type, arg1), tmp130) ; #line 167 "liveness.dats" if (tmp139) { #line 167 "liveness.dats" /* tmp138 = */ fgnodeinfo_outset_set (tmp126, tmp137) ; } else { /* empty */ } /* end of [if] */ #line 169 "liveness.dats" tmp140 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_defset_get (tmp126) ; #line 170 "liveness.dats" tmp141 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_diff (tmp137, tmp140) ; #line 171 "liveness.dats" tmp142 = ats_ptrget_mac(ats_int_type, arg1) ; #line 172 "liveness.dats" tmp143 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_union_flag (tmp128, tmp141, arg1) ; #line 173 "liveness.dats" tmp145 = atspre_gt_int_int (ats_ptrget_mac(ats_int_type, arg1), tmp142) ; #line 173 "liveness.dats" if (tmp145) { #line 173 "liveness.dats" /* tmp144 = */ fgnodeinfo_inset_set (tmp126, tmp143) ; } else { /* empty */ } /* end of [if] */ #line 175 "liveness.dats" arg0 = arg0 ; #line 175 "liveness.dats" arg1 = arg1 ; #line 175 "liveness.dats" arg2 = tmp124 ; #line 175 "liveness.dats" goto __ats_lab_loop_one_18 ; // tail call } else { /* empty */ } /* end of [if] */ return /* (tmp122) */ ; } /* end of [loop_one_18] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 4058(line=137, offs=33) -- 5999(line=198, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_compute_outset (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp121) ; ATSlocal (ats_size_type, tmp146) ; ATSlocal (ats_int_type, tmp147) ; ATSlocal (ats_int_type, tmp148) ; ATSlocal (ats_int_type, tmp149) ; ATSlocal (ats_int_type, tmp150) ; // ATSlocal_void (tmp151) ; ATSlocal (ats_int_type, tmp152) ; ATSlocal (ats_bool_type, tmp154) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_compute_outset: #line 178 "liveness.dats" tmp146 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_size (arg0) ; #line 180 "liveness.dats" tmp147 = atspre_int1_of_size1 (ats_castfn_mac(ats_size_type, tmp146)) ; #line 181 "liveness.dats" /* ats_int_type tmp148 ; */ #line 181 "liveness.dats" tmp148 = 0 ; #line 182 "liveness.dats" /* ats_int_type tmp149 ; */ #line 182 "liveness.dats" tmp149 = 0 ; #line 184 "liveness.dats" /* loop initialization */ /* empty */ ats_loop_beg_mac(__ats_lab_33) /* empty */ if (!ats_true_bool) break ; #line 185 "liveness.dats" tmp150 = tmp149 ; #line 193 "liveness.dats" /* tmp151 = */ loop_one_18 (arg0, (&tmp149), tmp147) ; #line 194 "liveness.dats" tmp152 = atspre_add_int_int (tmp148, 1) ; #line 194 "liveness.dats" tmp148 = tmp152 ; #line 196 "liveness.dats" tmp154 = atspre_eq_int_int (tmp149, tmp150) ; #line 196 "liveness.dats" if (tmp154) { #line 196 "liveness.dats" goto __ats_lab_34 ; } else { /* empty */ } /* end of [if] */ ats_loop_end_mac(__ats_lab_33, __ats_lab_34) return /* (tmp121) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_compute_outset] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 6097(line=204, offs=5) -- 6329(line=209, offs=22) */ ATSstaticdec() ats_void_type igraph_nodelst_insert_20 (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp155) ; ATSlocal (ats_int64_type, tmp156) ; ATSlocal (ats_ptr_type, tmp157) ; // ATSlocal_void (tmp158) ; __ats_lab_igraph_nodelst_insert_20: #line 205 "liveness.dats" do { /* branch: __ats_lab_35 */ #line 206 "liveness.dats" __ats_lab_35_0: #line 206 "liveness.dats" if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_36_0 ; } #line 206 "liveness.dats" __ats_lab_35_1: #line 206 "liveness.dats" tmp156 = ats_caselptr_mac(anairiats_sum_6, arg1, atslab_0) ; #line 206 "liveness.dats" tmp157 = ats_caselptr_mac(anairiats_sum_6, arg1, atslab_1) ; #line 207 "liveness.dats" /* tmp158 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_node_insert (arg0, tmp156) ; #line 207 "liveness.dats" arg0 = arg0 ; #line 207 "liveness.dats" arg1 = tmp157 ; #line 207 "liveness.dats" goto __ats_lab_igraph_nodelst_insert_20 ; // tail call break ; /* branch: __ats_lab_36 */ #line 209 "liveness.dats" __ats_lab_36_0: #line 209 "liveness.dats" // if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 209 "liveness.dats" __ats_lab_36_1: break ; } while (0) ; return /* (tmp155) */ ; } /* end of [igraph_nodelst_insert_20] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 6698(line=220, offs=9) -- 7274(line=234, offs=10) */ ATSstaticdec() ats_void_type loop_22 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_int_type arg3) { /* local vardec */ // ATSlocal_void (tmp165) ; ATSlocal (ats_bool_type, tmp166) ; ATSlocal (ats_int_type, tmp167) ; ATSlocal (ats_ptr_type, tmp168) ; ATSlocal (ats_ptr_type, tmp169) ; ATSlocal (ats_ptr_type, tmp170) ; // ATSlocal_void (tmp171) ; ATSlocal (ats_ptr_type, tmp172) ; ATSlocal (ats_ptr_type, tmp173) ; // ATSlocal_void (tmp174) ; ATSlocal (ats_int_type, tmp175) ; __ats_lab_loop_22: #line 223 "liveness.dats" tmp166 = atspre_ilt (arg2, arg3) ; #line 223 "liveness.dats" if (tmp166) { #line 224 "liveness.dats" tmp167 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnode_make_int (arg2) ; #line 225 "liveness.dats" tmp168 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_get (arg0, tmp167) ; #line 226 "liveness.dats" tmp169 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_useset_get (tmp168) ; #line 227 "liveness.dats" tmp170 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (tmp169) ; #line 228 "liveness.dats" /* tmp171 = */ igraph_nodelst_insert_20 (arg1, tmp170) ; #line 229 "liveness.dats" tmp172 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_defset_get (tmp168) ; #line 230 "liveness.dats" tmp173 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (tmp172) ; #line 231 "liveness.dats" /* tmp174 = */ igraph_nodelst_insert_20 (arg1, tmp173) ; #line 233 "liveness.dats" tmp175 = atspre_iadd (arg2, 1) ; #line 233 "liveness.dats" arg0 = arg0 ; #line 233 "liveness.dats" arg1 = arg1 ; #line 233 "liveness.dats" arg2 = tmp175 ; #line 233 "liveness.dats" arg3 = arg3 ; #line 233 "liveness.dats" goto __ats_lab_loop_22 ; // tail call } else { /* empty */ } /* end of [if] */ return /* (tmp165) */ ; } /* end of [loop_22] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 8170(line=258, offs=15) -- 8470(line=265, offs=32) */ ATSstaticdec() ats_void_type loop1_24 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ // ATSlocal_void (tmp206) ; #line 258 "liveness.dats" /* tmp206 = */ loop1_24_0loop2_25 (0, arg0, arg1, arg2) ; return /* (tmp206) */ ; } /* end of [loop1_24] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 8523(line=268, offs=15) -- 8935(line=279, offs=32) */ ATSstaticdec() ats_void_type loop2_25 (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2) { /* local vardec */ // ATSlocal_void (tmp207) ; #line 268 "liveness.dats" /* tmp207 = */ loop1_24_0loop2_25 (1, arg0, arg1, arg2) ; return /* (tmp207) */ ; } /* end of [loop2_25] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 8170(line=258, offs=15) -- 8935(line=279, offs=32) */ ATSstaticdec() ats_void_type loop1_24_0loop2_25 (ats_int_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_int64_type, tmp193) ; ATSlocal (ats_ptr_type, tmp194) ; // ATSlocal_void (tmp195) ; ATSlocal (ats_int64_type, tmp196) ; ATSlocal (ats_ptr_type, tmp197) ; // ATSlocal_void (tmp198) ; // ATSlocal_void (tmp199) ; ATSlocal (ats_int64_type, tmp200) ; ATSlocal (ats_ptr_type, tmp201) ; // ATSlocal_void (tmp202) ; ATSlocal (ats_bool_type, tmp203) ; ATSlocal (ats_bool_type, tmp204) ; // ATSlocal_void (tmp205) ; va_list funarg ; switch (arg0) { case 0: va_start(funarg, arg0) ; tmp189 = va_arg(funarg, ats_ptr_type) ; tmp190 = va_arg(funarg, ats_ptr_type) ; tmp191 = va_arg(funarg, ats_ptr_type) ; va_end(funarg) ; goto __ats_lab_loop1_24 ; case 1: va_start(funarg, arg0) ; tmp192 = va_arg(funarg, ats_ptr_type) ; tmp193 = va_arg(funarg, ats_int64_type) ; tmp194 = va_arg(funarg, ats_ptr_type) ; va_end(funarg) ; goto __ats_lab_loop2_25 ; default: exit(1) ; /* deadcode */ } /* end of switch */ ATSlocal (va_list, arg1) ; va_start(arg1, arg0) ; #line 258 "liveness.dats" __ats_lab_loop1_24: #line 261 "liveness.dats" do { /* branch: __ats_lab_37 */ #line 262 "liveness.dats" __ats_lab_37_0: #line 262 "liveness.dats" if (tmp190 == (ats_sum_ptr_type)0) { goto __ats_lab_38_0 ; } #line 262 "liveness.dats" __ats_lab_37_1: #line 262 "liveness.dats" tmp196 = ats_caselptr_mac(anairiats_sum_6, tmp190, atslab_0) ; #line 262 "liveness.dats" tmp197 = ats_caselptr_mac(anairiats_sum_6, tmp190, atslab_1) ; #line 263 "liveness.dats" /* tmp198 = */ loop2_25 (tmp189, tmp196, tmp191) ; #line 263 "liveness.dats" tmp189 = tmp189 ; #line 263 "liveness.dats" tmp190 = tmp197 ; #line 263 "liveness.dats" tmp191 = tmp191 ; #line 263 "liveness.dats" goto __ats_lab_loop1_24 ; // tail call break ; /* branch: __ats_lab_38 */ #line 265 "liveness.dats" __ats_lab_38_0: #line 265 "liveness.dats" // if (tmp190 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 265 "liveness.dats" __ats_lab_38_1: break ; } while (0) ; return /* tmp195 */ ; #line 258 "liveness.dats" __ats_lab_loop2_25: #line 271 "liveness.dats" do { /* branch: __ats_lab_39 */ #line 272 "liveness.dats" __ats_lab_39_0: #line 272 "liveness.dats" if (tmp194 == (ats_sum_ptr_type)0) { goto __ats_lab_40_0 ; } #line 272 "liveness.dats" __ats_lab_39_1: #line 272 "liveness.dats" tmp200 = ats_caselptr_mac(anairiats_sum_6, tmp194, atslab_0) ; #line 272 "liveness.dats" tmp201 = ats_caselptr_mac(anairiats_sum_6, tmp194, atslab_1) ; #line 273 "liveness.dats" tmp204 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__eq_temp_temp (tmp193, tmp200) ; #line 273 "liveness.dats" tmp203 = atspre_neg_bool (tmp204) ; #line 273 "liveness.dats" if (tmp203) { #line 274 "liveness.dats" /* tmp202 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_int_edge_insert (tmp192, tmp193, tmp200) ; } else { /* empty */ } /* end of [if] */ #line 277 "liveness.dats" tmp192 = tmp192 ; #line 277 "liveness.dats" tmp193 = tmp193 ; #line 277 "liveness.dats" tmp194 = tmp201 ; #line 277 "liveness.dats" goto __ats_lab_loop2_25 ; // tail call break ; /* branch: __ats_lab_40 */ #line 279 "liveness.dats" __ats_lab_40_0: #line 279 "liveness.dats" // if (tmp194 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 279 "liveness.dats" __ats_lab_40_1: break ; } while (0) ; return /* tmp199 */ ; return /* (tmp205) */ ; } /* end of [loop1_24_0loop2_25] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 9344(line=290, offs=15) -- 9925(line=306, offs=14) */ ATSstaticdec() ats_void_type loop3_27 (ats_ptr_type arg0, ats_int64_type arg1, ats_int64_type arg2, ats_ptr_type arg3) { /* local vardec */ // ATSlocal_void (tmp214) ; ATSlocal (ats_int64_type, tmp215) ; ATSlocal (ats_ptr_type, tmp216) ; // ATSlocal_void (tmp217) ; ATSlocal (ats_bool_type, tmp218) ; ATSlocal (ats_bool_type, tmp219) ; __ats_lab_loop3_27: #line 294 "liveness.dats" do { /* branch: __ats_lab_41 */ #line 295 "liveness.dats" __ats_lab_41_0: #line 295 "liveness.dats" if (arg3 == (ats_sum_ptr_type)0) { goto __ats_lab_42_0 ; } #line 295 "liveness.dats" __ats_lab_41_1: #line 295 "liveness.dats" tmp215 = ats_caselptr_mac(anairiats_sum_6, arg3, atslab_0) ; #line 295 "liveness.dats" tmp216 = ats_caselptr_mac(anairiats_sum_6, arg3, atslab_1) ; #line 297 "liveness.dats" tmp218 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__eq_temp_temp (tmp215, arg1) ; #line 297 "liveness.dats" if (tmp218) { /* empty */ } else { #line 298 "liveness.dats" tmp219 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__eq_temp_temp (tmp215, arg2) ; #line 298 "liveness.dats" if (tmp219) { /* empty */ } else { #line 299 "liveness.dats" /* tmp217 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_int_edge_insert (arg0, arg2, tmp215) ; } /* end of [if] */ } /* end of [if] */ #line 303 "liveness.dats" arg0 = arg0 ; #line 303 "liveness.dats" arg1 = arg1 ; #line 303 "liveness.dats" arg2 = arg2 ; #line 303 "liveness.dats" arg3 = tmp216 ; #line 303 "liveness.dats" goto __ats_lab_loop3_27 ; // tail call break ; /* branch: __ats_lab_42 */ #line 305 "liveness.dats" __ats_lab_42_0: #line 305 "liveness.dats" // if (arg3 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 305 "liveness.dats" __ats_lab_42_1: break ; } while (0) ; return /* (tmp214) */ ; } /* end of [loop3_27] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 7413(line=239, offs=9) -- 10191(line=314, offs=10) */ ATSstaticdec() ats_void_type loop_23 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2, ats_int_type arg3) { /* local vardec */ // ATSlocal_void (tmp178) ; ATSlocal (ats_bool_type, tmp179) ; ATSlocal (ats_int_type, tmp180) ; ATSlocal (ats_ptr_type, tmp181) ; ATSlocal (ats_bool_type, tmp182) ; ATSlocal (ats_ptr_type, tmp183) ; ATSlocal (ats_ptr_type, tmp184) ; ATSlocal (ats_ptr_type, tmp185) ; ATSlocal (ats_ptr_type, tmp186) ; // ATSlocal_void (tmp187) ; ATSlocal (ats_bool_type, tmp188) ; // ATSlocal_void (tmp208) ; ATSlocal (ats_ptr_type, tmp209) ; ATSlocal (ats_ptr_type, tmp210) ; ATSlocal (ats_int64_type, tmp211) ; ATSlocal (ats_int64_type, tmp212) ; // ATSlocal_void (tmp213) ; ATSlocal (ats_bool_type, tmp220) ; ATSlocal (ats_int_type, tmp221) ; __ats_lab_loop_23: #line 242 "liveness.dats" tmp179 = atspre_ilt (arg2, arg3) ; #line 242 "liveness.dats" if (tmp179) { #line 243 "liveness.dats" tmp180 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnode_make_int (arg2) ; #line 244 "liveness.dats" tmp181 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_get (arg1, tmp180) ; #line 245 "liveness.dats" tmp182 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_ismove_get (tmp181) ; #line 246 "liveness.dats" tmp183 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_defset_get (tmp181) ; #line 247 "liveness.dats" tmp184 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (tmp183) ; #line 248 "liveness.dats" tmp185 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_outset_get (tmp181) ; #line 249 "liveness.dats" tmp186 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (tmp185) ; #line 257 "liveness.dats" tmp188 = atspre_neg_bool (tmp182) ; #line 257 "liveness.dats" if (tmp188) { #line 282 "liveness.dats" /* tmp187 = */ loop1_24 (arg0, tmp184, tmp186) ; } else { /* empty */ } /* end of [if] */ #line 284 "liveness.dats" if (tmp182) { #line 285 "liveness.dats" tmp209 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_useset_get (tmp181) ; #line 286 "liveness.dats" tmp210 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (tmp209) ; #line 287 "liveness.dats" if (tmp210 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 9194(line=287, offs=16) -- 9223(line=287, offs=45)") ; } #line 287 "liveness.dats" tmp211 = ats_caselptr_mac(anairiats_sum_6, tmp210, atslab_0) ; #line 288 "liveness.dats" if (tmp184 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 9239(line=288, offs=16) -- 9268(line=288, offs=45)") ; } #line 288 "liveness.dats" tmp212 = ats_caselptr_mac(anairiats_sum_6, tmp184, atslab_0) ; #line 289 "liveness.dats" /* tmp213 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_mov_edge_insert (arg0, tmp211, tmp212) ; #line 308 "liveness.dats" tmp220 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_ismem (tmp185, tmp212) ; #line 310 "liveness.dats" if (tmp220) { #line 310 "liveness.dats" /* tmp208 = */ loop3_27 (arg0, tmp211, tmp212, tmp186) ; } else { /* empty */ } /* end of [if] */ } else { /* empty */ } /* end of [if] */ #line 313 "liveness.dats" tmp221 = atspre_iadd (arg2, 1) ; #line 313 "liveness.dats" arg0 = arg0 ; #line 313 "liveness.dats" arg1 = arg1 ; #line 313 "liveness.dats" arg2 = tmp221 ; #line 313 "liveness.dats" arg3 = arg3 ; #line 313 "liveness.dats" goto __ats_lab_loop_23 ; // tail call } else { /* empty */ } /* end of [if] */ return /* (tmp178) */ ; } /* end of [loop_23] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 6394(line=212, offs=30) -- 10249(line=317, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_make_fgraph (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp159) ; ATSlocal (ats_ptr_type, tmp160) ; // ATSlocal_void (tmp161) ; // ATSlocal_void (tmp162) ; ATSlocal (ats_size_type, tmp163) ; ATSlocal (ats_int_type, tmp164) ; // ATSlocal_void (tmp176) ; // ATSlocal_void (tmp177) ; // ATSlocal_void (tmp222) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_make_fgraph: #line 213 "liveness.dats" tmp160 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_make_empty () ; #line 214 "liveness.dats" /* tmp161 = */ igraph_nodelst_insert_20 (tmp160, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__theSpecialReglst) ; #line 215 "liveness.dats" /* tmp162 = */ igraph_nodelst_insert_20 (tmp160, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__theGeneralReglst) ; #line 216 "liveness.dats" tmp163 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_size (arg0) ; #line 218 "liveness.dats" tmp164 = atspre_int1_of_size1 (ats_castfn_mac(ats_size_type, tmp163)) ; #line 219 "liveness.dats" /* tmp176 = */ loop_22 (arg0, tmp160, 0, tmp164) ; #line 237 "liveness.dats" /* tmp177 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_initialize (tmp160) ; #line 238 "liveness.dats" /* tmp222 = */ loop_23 (tmp160, arg0, 0, tmp164) ; #line 212 "liveness.dats" tmp159 = tmp160 ; return (tmp159) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_make_fgraph] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 10355(line=322, offs=7) -- 10662(line=332, offs=6) */ ATSstaticdec() ats_void_type loop_livtot_29 (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp224) ; ATSlocal (ats_int64_type, tmp225) ; ATSlocal (ats_ptr_type, tmp226) ; ATSlocal (ats_ptr_type, tmp227) ; // ATSlocal_void (tmp228) ; __ats_lab_loop_livtot_29: #line 324 "liveness.dats" do { /* branch: __ats_lab_43 */ #line 325 "liveness.dats" __ats_lab_43_0: #line 325 "liveness.dats" if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_44_0 ; } #line 325 "liveness.dats" __ats_lab_43_1: #line 325 "liveness.dats" tmp225 = ats_caselptr_mac(anairiats_sum_6, arg1, atslab_0) ; #line 325 "liveness.dats" tmp226 = ats_caselptr_mac(anairiats_sum_6, arg1, atslab_1) ; #line 326 "liveness.dats" tmp227 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, tmp225) ; #line 327 "liveness.dats" /* tmp228 = */ ignodeinfo_nlivtot_inc (tmp227) ; #line 329 "liveness.dats" arg0 = arg0 ; #line 329 "liveness.dats" arg1 = tmp226 ; #line 329 "liveness.dats" goto __ats_lab_loop_livtot_29 ; // tail call break ; /* branch: __ats_lab_44 */ #line 331 "liveness.dats" __ats_lab_44_0: #line 331 "liveness.dats" // if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 331 "liveness.dats" __ats_lab_44_1: break ; } while (0) ; return /* (tmp224) */ ; } /* end of [loop_livtot_29] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 10693(line=333, offs=7) -- 11000(line=343, offs=6) */ ATSstaticdec() ats_void_type loop_usedef_30 (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp229) ; ATSlocal (ats_int64_type, tmp230) ; ATSlocal (ats_ptr_type, tmp231) ; ATSlocal (ats_ptr_type, tmp232) ; // ATSlocal_void (tmp233) ; __ats_lab_loop_usedef_30: #line 335 "liveness.dats" do { /* branch: __ats_lab_45 */ #line 336 "liveness.dats" __ats_lab_45_0: #line 336 "liveness.dats" if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_46_0 ; } #line 336 "liveness.dats" __ats_lab_45_1: #line 336 "liveness.dats" tmp230 = ats_caselptr_mac(anairiats_sum_6, arg1, atslab_0) ; #line 336 "liveness.dats" tmp231 = ats_caselptr_mac(anairiats_sum_6, arg1, atslab_1) ; #line 337 "liveness.dats" tmp232 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, tmp230) ; #line 338 "liveness.dats" /* tmp233 = */ ignodeinfo_nusedef_inc (tmp232) ; #line 340 "liveness.dats" arg0 = arg0 ; #line 340 "liveness.dats" arg1 = tmp231 ; #line 340 "liveness.dats" goto __ats_lab_loop_usedef_30 ; // tail call break ; /* branch: __ats_lab_46 */ #line 342 "liveness.dats" __ats_lab_46_0: #line 342 "liveness.dats" // if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 342 "liveness.dats" __ats_lab_46_1: break ; } while (0) ; return /* (tmp229) */ ; } /* end of [loop_usedef_30] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 10334(line=321, offs=29) -- 11722(line=369, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__spillcost_compute (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp223) ; ATSlocal (ats_size_type, tmp234) ; ATSlocal (ats_int_type, tmp235) ; ATSlocal (ats_int_type, tmp236) ; ATSlocal (ats_bool_type, tmp237) ; ATSlocal (ats_int_type, tmp238) ; ATSlocal (ats_int_type, tmp239) ; ATSlocal (ats_ptr_type, tmp240) ; ATSlocal (ats_ptr_type, tmp241) ; ATSlocal (ats_ptr_type, tmp242) ; // ATSlocal_void (tmp243) ; ATSlocal (ats_ptr_type, tmp244) ; ATSlocal (ats_ptr_type, tmp245) ; // ATSlocal_void (tmp246) ; ATSlocal (ats_ptr_type, tmp247) ; ATSlocal (ats_ptr_type, tmp248) ; // ATSlocal_void (tmp249) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__spillcost_compute: #line 344 "liveness.dats" tmp234 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_size (arg0) ; #line 346 "liveness.dats" tmp235 = atspre_int1_of_size1 (ats_castfn_mac(ats_size_type, tmp234)) ; #line 347 "liveness.dats" /* ats_int_type tmp236 ; */ #line 348 "liveness.dats" /* loop initialization */ #line 348 "liveness.dats" tmp236 = 0 ; ats_loop_beg_mac(__ats_lab_47) #line 348 "liveness.dats" tmp237 = atspre_ilt (tmp236, tmp235) ; if (!tmp237) break ; #line 349 "liveness.dats" tmp239 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnode_make_int (tmp236) ; #line 350 "liveness.dats" tmp240 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_nodeinfo_get (arg0, tmp239) ; #line 352 "liveness.dats" tmp241 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_outset_get (tmp240) ; #line 353 "liveness.dats" tmp242 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (tmp241) ; #line 354 "liveness.dats" /* tmp243 = */ loop_livtot_29 (arg1, tmp242) ; #line 356 "liveness.dats" tmp244 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_useset_get (tmp240) ; #line 357 "liveness.dats" tmp245 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (tmp244) ; #line 358 "liveness.dats" /* tmp246 = */ loop_usedef_30 (arg1, tmp245) ; #line 360 "liveness.dats" tmp247 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgnodeinfo_defset_get (tmp240) ; #line 361 "liveness.dats" tmp248 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (tmp247) ; #line 362 "liveness.dats" /* tmp249 = */ loop_usedef_30 (arg1, tmp248) ; /* post update before continue */ __ats_lab_49: #line 348 "liveness.dats" tmp238 = atspre_iadd (tmp236, 1) ; #line 348 "liveness.dats" tmp236 = tmp238 ; ats_loop_end_mac(__ats_lab_47, __ats_lab_48) return /* (tmp223) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__spillcost_compute] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/liveness.dats: 11808(line=374, offs=24) -- 11982(line=381, offs=4) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_make_instrlst (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp250) ; ATSlocal (ats_ptr_type, tmp251) ; // ATSlocal_void (tmp252) ; ATSlocal (ats_ptr_type, tmp253) ; // ATSlocal_void (tmp254) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_make_instrlst: #line 375 "liveness.dats" tmp251 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_make_instrlst (arg0) ; #line 376 "liveness.dats" /* tmp252 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__fgraph_compute_outset (tmp251) ; #line 377 "liveness.dats" tmp253 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_make_fgraph (tmp251) ; #line 378 "liveness.dats" /* tmp254 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__spillcost_compute (tmp251, tmp253) ; #line 380 "liveness.dats" tmp250 = tmp253 ; return (tmp250) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_make_instrlst] */ /* static load function */ extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2assem_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_2frame_2esats__staload (void) ; extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__staload (void) ; extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__staload (void) ; extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__staload (void) ; extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__staload (void) ; extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2linmap_randbst_2edats__staload (void) ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats__staload (void) ; ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2liveness_2edats__staload () { static int _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2liveness_2edats__staload_flag = 0 ; if (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2liveness_2edats__staload_flag) return ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2liveness_2edats__staload_flag = 1 ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2assem_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_2frame_2esats__staload () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__staload () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__staload () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgraph_2esats__staload () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__staload () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2linmap_randbst_2edats__staload () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats__staload () ; 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_2liveness_2edats__dynload_flag ; ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2liveness_2edats__dynload () { _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2liveness_2edats__dynload_flag = 1 ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2liveness_2edats__staload () ; #ifdef _ATS_PROOFCHECK ATS_2d0_2e2_2e6_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_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(&statmp1, sizeof(ats_ptr_type)) ; /* marking external values for GC */ /* code for dynamic loading */ #line 41 "liveness.dats" statmp1 = __ats_fun_0_closure_make () ; return ; } /* end of [dynload function] */ /* external codes at mid */ /* external codes at bot */ /* ****** ****** */ /* end of [liveness_dats.c] */