/* ** ** 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_int64_type atslab_0 ; ats_ptr_type atslab_1 ; } anairiats_sum_0 ; typedef struct { ats_int64_type atslab_node ; ats_ptr_type atslab_intset ; ats_ptr_type atslab_movset ; ats_int_type atslab_nlivtot ; ats_int_type atslab_nusedef ; } anairiats_rec_1 ; 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_2 ; typedef struct { ats_ptr_type atslab_0 ; } anairiats_sum_3 ; typedef struct { int tag ; char *name ; ats_int64_type atslab_0 ; } anairiats_sum_4 ; typedef struct { ats_int64_type atslab_0 ; } anairiats_sum_5 ; typedef struct { int tag ; char *name ; ats_int64_type atslab_0 ; ats_int64_type atslab_1 ; } anairiats_sum_6 ; typedef struct { ats_int64_type atslab_0 ; ats_int64_type atslab_1 ; } anairiats_rec_7 ; typedef struct { anairiats_rec_7 atslab_0 ; } anairiats_sum_8 ; /* external typedefs */ typedef anairiats_rec_1 *ignodeinfo_t ; /* 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_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_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) ; ATSextern_val(ats_exn_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found) ; ATSextern_val(ats_exn_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found) ; ATSextern_val(ats_exn_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found) ; ATSextern_val(ats_exn_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found) ; /* external dynamic constant declarations */ ATSextern_fun(ats_void_type, atspre_fprint_newline) (ats_ptr_type) ; ATSextern_fun(ats_void_type, atspre_prerr_newline) () ; 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_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_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_void_type, atspre_fprint_int) (ats_ptr_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_ptr_type, atspre_ref_make_elt_tsz) (ats_ref_type, ats_size_type) ; ATSextern_fun(ats_void_type, atspre_fprint_string) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, atspre_prerr_string) (ats_ptr_type) ; ATSextern_fun(ats_varet_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2error_2esats__abort) (ats_int_type) ; ATSextern_val(ats_int64_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_bogus) ; ATSextern_fun(ats_bool_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_isnot_bogus) (ats_int64_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_temp_temp) (ats_int64_type, ats_int64_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_temp) (ats_ptr_type, ats_int64_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_temp) (ats_int64_type) ; ATSextern_fun(ats_bool_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_is_fixed) (ats_int64_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_nil) () ; 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_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__fprint_tempset) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_int_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_size) (ats_ptr_type) ; ATSextern_fun(ats_bool_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_isnot_empty) (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_add) (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_remove) (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_remove_flag) (ats_ptr_type, ats_int64_type, ats_ref_type) ; ATSextern_val(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__theGeneralReglst) ; ATSextern_fun(ats_bool_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_ismov) (ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get) (ats_ptr_type) ; ATSextern_fun(ats_void_type, ignodeinfo_intset_set) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get) (ats_ptr_type) ; ATSextern_fun(ats_void_type, ignodeinfo_movset_set) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_int_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_nlivtot_get) (ats_ptr_type) ; ATSextern_fun(ats_void_type, ignodeinfo_nlivtot_set) (ats_ptr_type, ats_int_type) ; ATSextern_fun(ats_int_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_nusedef_get) (ats_ptr_type) ; ATSextern_fun(ats_void_type, ignodeinfo_nusedef_set) (ats_ptr_type, ats_int_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_make) (ats_int64_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__fprint_ignodeinfo) (ats_ptr_type, 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_int_edge_remove) (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_mov_edge_remove) (ats_ptr_type, ats_int64_type, ats_int64_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 */ ATSglobal(ats_exn_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found) ; ATSglobal(ats_exn_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found) ; ATSglobal(ats_exn_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found) ; ATSglobal(ats_exn_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found) ; /* global dynamic (non-functional) constant declarations */ /* internal function declarations */ static ats_int_type loop_1 (ats_ptr_type arg0, ats_int_type arg1) ; static ats_int_type list_length_01478_ats_int64_type (ats_ptr_type arg0) ; static ats_int_type __ats_fun_11 (ats_int64_type arg0, ats_int64_type arg1) ; static ats_clo_ptr_type __ats_fun_11_closure_make () ; static ats_int_type __ats_fun_11_clofun (ats_clo_ptr_type cloptr, ats_int64_type arg0, ats_int64_type arg1) ; static ats_ptr_type linmap_empty_01909_ () ; 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_void_type __ats_fun_17 (ats_ptr_type env0, ats_int64_type arg0, ats_ref_type arg1) ; static ats_clo_ptr_type __ats_fun_17_closure_make (ats_ptr_type env0) ; static ats_void_type __ats_fun_17_clofun (ats_clo_ptr_type cloptr, ats_int64_type arg0, ats_ref_type arg1) ; static ats_void_type app_19 (ats_int64_type arg0, ats_ref_type arg1, ats_ptr_type arg2) ; static ats_void_type bst_foreach_pre_01322_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) ; static ats_void_type linmap_foreach_clo_01918_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0, ats_ref_type arg1) ; static ats_int_type compare_key_key_01908_ats_int64_type (ats_int64_type arg0, ats_int64_type arg1, ats_clo_ref_type arg2) ; static ats_ptr_type bst_search_01310_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0, ats_int64_type arg1, ats_clo_ref_type arg2) ; static ats_ptr_type linmap_search_01915_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0, ats_int64_type arg1, ats_clo_ref_type arg2) ; static ats_int_type bst_size_01293_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0) ; static ats_ptr_type bst_insert_atroot_01335_ats_int64_type_2cats_ptr_type (ats_ref_type arg0, ats_int64_type arg1, ats_ptr_type arg2, ats_clo_ref_type arg3, ats_ref_type arg4) ; static ats_ptr_type bst_insert_random_01360_ats_int64_type_2cats_ptr_type (ats_ref_type arg0, ats_int64_type arg1, ats_ptr_type arg2, ats_clo_ref_type arg3, ats_ref_type arg4, ats_ref_type arg5) ; static ats_ptr_type linmap_insert_01916_ats_int64_type_2cats_ptr_type (ats_ref_type arg0, ats_int64_type arg1, ats_ptr_type arg2, ats_clo_ref_type arg3) ; static ats_void_type loop_31 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int64_type arg2) ; static ats_void_type loop_32 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int64_type arg2) ; static ats_ptr_type bst_join_random_01374_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ref_type arg2) ; static ats_ptr_type bst_remove_random_01385_ats_int64_type_2cats_ptr_type (ats_ref_type arg0, ats_int64_type arg1, ats_clo_ref_type arg2, ats_ref_type arg3, ats_ref_type arg4) ; static ats_ptr_type linmap_remove_01917_ats_int64_type_2cats_ptr_type (ats_ref_type arg0, ats_int64_type arg1, ats_clo_ref_type arg2) ; static ats_void_type loop_37 (ats_ptr_type arg0, ats_int64_type arg1, ats_int64_type arg2, ats_ptr_type arg3) ; static ats_void_type loop_38 (ats_ptr_type arg0, ats_int64_type arg1, ats_int64_type arg2, ats_ptr_type arg3) ; static ats_void_type loop_40 (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2) ; static ats_void_type __ats_fun_42 (ats_int64_type arg0, ats_ref_type arg1) ; static ats_clo_ptr_type __ats_fun_42_closure_make () ; static ats_void_type __ats_fun_42_clofun (ats_clo_ptr_type cloptr, ats_int64_type arg0, ats_ref_type arg1) ; static ats_bool_type loop_45 (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) ; static ats_bool_type test_44 (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2, ats_int64_type arg3) ; static ats_void_type proc_46 (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) ; static ats_void_type __ats_fun_47 (ats_ptr_type env0, ats_int64_type arg0, ats_ref_type arg1) ; static ats_clo_ptr_type __ats_fun_47_closure_make (ats_ptr_type env0) ; static ats_void_type __ats_fun_47_clofun (ats_clo_ptr_type cloptr, ats_int64_type arg0, ats_ref_type arg1) ; static ats_void_type __ats_fun_49 (ats_int64_type arg0, ats_ref_type arg1) ; static ats_clo_ptr_type __ats_fun_49_closure_make () ; static ats_void_type __ats_fun_49_clofun (ats_clo_ptr_type cloptr, ats_int64_type arg0, ats_ref_type arg1) ; static ats_void_type __ats_fun_51 (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2, ats_int64_type arg0, ats_ref_type arg1) ; static ats_clo_ptr_type __ats_fun_51_closure_make (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2) ; static ats_void_type __ats_fun_51_clofun (ats_clo_ptr_type cloptr, ats_int64_type arg0, ats_ref_type arg1) ; static ats_void_type loop1_55 (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2) ; static ats_void_type loop2_56 (ats_ptr_type arg0, ats_ptr_type arg1) ; /* partial value template declarations */ /* static temporary variable declarations */ ATSstatic (ats_int_type, statmp0) ; ATSstatic (ats_ptr_type, statmp36) ; /* external value variable declarations */ /* function implementations */ /* // /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_1 (ats_ptr_type arg0, ats_int_type arg1) { /* local vardec */ ATSlocal (ats_int_type, tmp2) ; ATSlocal (ats_ptr_type, tmp3) ; ATSlocal (ats_int_type, tmp4) ; __ats_lab_loop_1: #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" tmp3 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_1) ; #line 1733 "list.dats" tmp4 = atspre_isucc (arg1) ; #line 1733 "list.dats" arg0 = tmp3 ; #line 1733 "list.dats" arg1 = tmp4 ; #line 1733 "list.dats" goto __ats_lab_loop_1 ; // 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" tmp2 = arg1 ; break ; } while (0) ; return (tmp2) ; } /* end of [loop_1] */ /* // /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_int64_type (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_int_type, tmp1) ; __ats_lab_list_length_01478_ats_int64_type: #line 1736 "list.dats" tmp1 = loop_1 (arg0, 0) ; return (tmp1) ; } /* end of [list_length_01478_ats_int64_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 774(line=54, offs=17) -- 905(line=61, offs=6) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_make (ats_int64_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp5) ; ATSlocal (ats_ptr_type, tmp6) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_make: #line 55 "igraph.dats" tmp6 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_nil () ; #line 55 "igraph.dats" tmp5 = ATS_MALLOC(sizeof(anairiats_rec_1)) ; ats_selptrset_mac(anairiats_rec_1, tmp5, atslab_node, arg0) ; ats_selptrset_mac(anairiats_rec_1, tmp5, atslab_intset, tmp6) ; ats_selptrset_mac(anairiats_rec_1, tmp5, atslab_movset, tmp6) ; ats_selptrset_mac(anairiats_rec_1, tmp5, atslab_nlivtot, 0) ; ats_selptrset_mac(anairiats_rec_1, tmp5, atslab_nusedef, 0) ; return (tmp5) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 965(line=65, offs=3) -- 1585(line=81, offs=2) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__fprint_ignodeinfo (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp7) ; // ATSlocal_void (tmp8) ; // ATSlocal_void (tmp9) ; ATSlocal (ats_int64_type, tmp10) ; // ATSlocal_void (tmp11) ; // ATSlocal_void (tmp12) ; // ATSlocal_void (tmp13) ; ATSlocal (ats_ptr_type, tmp14) ; // ATSlocal_void (tmp15) ; // ATSlocal_void (tmp16) ; // ATSlocal_void (tmp17) ; ATSlocal (ats_ptr_type, tmp18) ; // ATSlocal_void (tmp19) ; // ATSlocal_void (tmp20) ; // ATSlocal_void (tmp21) ; ATSlocal (ats_int_type, tmp22) ; // ATSlocal_void (tmp23) ; // ATSlocal_void (tmp24) ; // ATSlocal_void (tmp25) ; ATSlocal (ats_int_type, tmp26) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__fprint_ignodeinfo: #line 66 "igraph.dats" /* tmp8 = */ atspre_fprint_string (arg0, ATSstrcst("node= ")) ; #line 67 "igraph.dats" tmp10 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg1), atslab_node) ; #line 67 "igraph.dats" /* tmp9 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__fprint_temp (arg0, tmp10) ; #line 68 "igraph.dats" /* tmp11 = */ atspre_fprint_newline (arg0) ; #line 69 "igraph.dats" /* tmp12 = */ atspre_fprint_string (arg0, ATSstrcst("intset= ")) ; #line 70 "igraph.dats" tmp14 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg1), atslab_intset) ; #line 70 "igraph.dats" /* tmp13 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__fprint_tempset (arg0, tmp14) ; #line 71 "igraph.dats" /* tmp15 = */ atspre_fprint_newline (arg0) ; #line 72 "igraph.dats" /* tmp16 = */ atspre_fprint_string (arg0, ATSstrcst("movset= ")) ; #line 73 "igraph.dats" tmp18 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg1), atslab_movset) ; #line 73 "igraph.dats" /* tmp17 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__fprint_tempset (arg0, tmp18) ; #line 74 "igraph.dats" /* tmp19 = */ atspre_fprint_newline (arg0) ; #line 75 "igraph.dats" /* tmp20 = */ atspre_fprint_string (arg0, ATSstrcst("nlivtot = ")) ; #line 76 "igraph.dats" tmp22 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg1), atslab_nlivtot) ; #line 76 "igraph.dats" /* tmp21 = */ atspre_fprint_int (arg0, tmp22) ; #line 77 "igraph.dats" /* tmp23 = */ atspre_fprint_newline (arg0) ; #line 78 "igraph.dats" /* tmp24 = */ atspre_fprint_string (arg0, ATSstrcst("nusedef= ")) ; #line 79 "igraph.dats" tmp26 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg1), atslab_nusedef) ; #line 79 "igraph.dats" /* tmp25 = */ atspre_fprint_int (arg0, tmp26) ; #line 80 "igraph.dats" /* tmp7 = */ atspre_fprint_newline (arg0) ; return /* (tmp7) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__fprint_ignodeinfo] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 1667(line=86, offs=3) -- 1706(line=86, offs=42) */ ATSglobaldec() ats_bool_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_ismov (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_bool_type, tmp27) ; ATSlocal (ats_ptr_type, tmp28) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_ismov: #line 86 "igraph.dats" tmp28 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg0), atslab_movset) ; #line 86 "igraph.dats" tmp27 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_isnot_empty (tmp28) ; return (tmp27) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_ismov] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 1770(line=89, offs=33) -- 1788(line=89, offs=51) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp29) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get: #line 89 "igraph.dats" tmp29 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg0), atslab_intset) ; return (tmp29) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 1821(line=90, offs=33) -- 1839(line=90, offs=51) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp30) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get: #line 90 "igraph.dats" tmp30 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg0), atslab_movset) ; return (tmp30) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 1873(line=91, offs=34) -- 1892(line=91, offs=53) */ ATSglobaldec() ats_int_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_nlivtot_get (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_int_type, tmp31) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_nlivtot_get: #line 91 "igraph.dats" tmp31 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg0), atslab_nlivtot) ; return (tmp31) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_nlivtot_get] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 1926(line=92, offs=34) -- 1945(line=92, offs=53) */ ATSglobaldec() ats_int_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_nusedef_get (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_int_type, tmp32) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_nusedef_get: #line 92 "igraph.dats" tmp32 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_1, arg0), atslab_nusedef) ; return (tmp32) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_nusedef_get] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 1997(line=96, offs=28) -- 2042(line=96, offs=73) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__print_ignodeinfo (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp33) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__print_ignodeinfo: #line 96 "igraph.dats" /* tmp33 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__fprint_ignodeinfo (stdout, arg0) ; return /* (tmp33) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__print_ignodeinfo] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 2070(line=97, offs=28) -- 2115(line=97, offs=73) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__prerr_ignodeinfo (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp34) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__prerr_ignodeinfo: #line 97 "igraph.dats" /* tmp34 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__fprint_ignodeinfo (stderr, arg0) ; return /* (tmp34) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__prerr_ignodeinfo] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 2359(line=111, offs=17) -- 2430(line=112, offs=49) */ ATSstaticdec() ats_int_type __ats_fun_11 (ats_int64_type arg0, ats_int64_type arg1) { /* local vardec */ ATSlocal (ats_int_type, tmp35) ; __ats_lab___ats_fun_11: #line 112 "igraph.dats" tmp35 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__compare_temp_temp (arg0, arg1) ; return (tmp35) ; } /* end of [__ats_fun_11] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_11_closure_type ; ats_int_type __ats_fun_11_clofun (ats_clo_ptr_type cloptr, ats_int64_type arg0, ats_int64_type arg1) { return __ats_fun_11 (arg0, arg1) ; } /* end of function */ ATSinline() ats_void_type __ats_fun_11_closure_init (__ats_fun_11_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_11_clofun ; return ; } /* end of function */ ats_clo_ptr_type __ats_fun_11_closure_make () { __ats_fun_11_closure_type *p_clo = ATS_MALLOC(sizeof(__ats_fun_11_closure_type)) ; __ats_fun_11_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/linmap_randbst.dats: 10058(line=329, offs=26) -- 10072(line=329, offs=40) */ ATSstaticdec() ats_ptr_type linmap_empty_01909_ () { /* local vardec */ ATSlocal (ats_ptr_type, tmp39) ; __ats_lab_linmap_empty_01909_: #line 329 "linmap_randbst.dats" tmp39 = (ats_sum_ptr_type)0 ; return (tmp39) ; } /* end of [linmap_empty_01909_] */ /* // /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, tmp41) ; ATSlocal (ats_ptr_type, tmp42) ; __ats_lab_ref_01023_ats_ptr_type: #line 60 "reference.dats" /* ats_ptr_type tmp42 ; */ #line 60 "reference.dats" tmp42 = arg0 ; #line 60 "reference.dats" tmp41 = atspre_ref_make_elt_tsz ((&tmp42), sizeof(ats_ptr_type)) ; return (tmp41) ; } /* 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, tmp40) ; __ats_lab_ref_make_elt_01024_ats_ptr_type: #line 64 "reference.dats" tmp40 = ref_01023_ats_ptr_type (arg0) ; return (tmp40) ; } /* end of [ref_make_elt_01024_ats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 2524(line=120, offs=19) -- 2600(line=122, offs=4) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_make_empty () { /* local vardec */ ATSlocal (ats_ptr_type, tmp37) ; ATSlocal (ats_ptr_type, tmp38) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_make_empty: #line 121 "igraph.dats" tmp38 = linmap_empty_01909_ () ; #line 121 "igraph.dats" tmp37 = ref_make_elt_01024_ats_ptr_type (tmp38) ; return (tmp37) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_make_empty] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 2758(line=129, offs=16) -- 2951(line=136, offs=9) */ ATSstaticdec() ats_void_type __ats_fun_17 (ats_ptr_type env0, ats_int64_type arg0, ats_ref_type arg1) { /* local vardec */ // ATSlocal_void (tmp46) ; // ATSlocal_void (tmp47) ; __ats_lab___ats_fun_17: #line 132 "igraph.dats" /* tmp47 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__fprint_ignodeinfo (env0, ats_ptrget_mac(ats_ptr_type, arg1)) ; #line 133 "igraph.dats" /* tmp46 = */ atspre_fprint_newline (env0) ; return /* (tmp46) */ ; } /* end of [__ats_fun_17] */ typedef struct { ats_fun_ptr_type closure_fun ; ats_ptr_type closure_env_0 ; } __ats_fun_17_closure_type ; ats_void_type __ats_fun_17_clofun (ats_clo_ptr_type cloptr, ats_int64_type arg0, ats_ref_type arg1) { __ats_fun_17 (((__ats_fun_17_closure_type*)cloptr)->closure_env_0, arg0, arg1) ; return ; } /* end of function */ ATSinline() ats_void_type __ats_fun_17_closure_init (__ats_fun_17_closure_type *p_clo, ats_ptr_type env0) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_17_clofun ; p_clo->closure_env_0 = env0 ; return ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 11567(line=386, offs=6) -- 11739(line=392, offs=6) */ ATSstaticdec() ats_void_type app_19 (ats_int64_type arg0, ats_ref_type arg1, ats_ptr_type arg2) { /* local vardec */ // ATSlocal_void (tmp50) ; __ats_lab_app_19: #line 388 "linmap_randbst.dats" /* tmp50 = */ ((ats_void_type(*)(ats_clo_ptr_type, ats_int64_type, ats_ref_type))(ats_closure_fun(arg2))) (arg2, arg0, arg1) ; return /* (tmp50) */ ; } /* end of [app_19] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 4425(line=162, offs=64) -- 4805(line=176, offs=4) */ ATSstaticdec() ats_void_type bst_foreach_pre_01322_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ // ATSlocal_void (tmp51) ; ATSlocal (ats_int64_type, tmp52) ; ATSlocal (ats_ptr_type, tmp53) ; ATSlocal (ats_ptr_type, tmp54) ; ATSlocal (ats_ptr_type, tmp55) ; // ATSlocal_void (tmp56) ; ATSlocal (ats_ptr_type, tmp57) ; // ATSlocal_void (tmp58) ; ATSlocal (ats_ptr_type, tmp59) ; __ats_lab_bst_foreach_pre_01322_ats_int64_type_2cats_ptr_type: #line 167 "linmap_randbst.dats" do { /* branch: __ats_lab_2 */ #line 168 "linmap_randbst.dats" __ats_lab_2_0: #line 168 "linmap_randbst.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_3_0 ; } #line 168 "linmap_randbst.dats" __ats_lab_2_1: #line 168 "linmap_randbst.dats" tmp52 = ats_caselptr_mac(anairiats_sum_2, arg0, atslab_1) ; #line 168 "linmap_randbst.dats" tmp53 = &ats_caselptr_mac(anairiats_sum_2, arg0, atslab_2) ; #line 168 "linmap_randbst.dats" tmp54 = &ats_caselptr_mac(anairiats_sum_2, arg0, atslab_3) ; #line 168 "linmap_randbst.dats" tmp55 = &ats_caselptr_mac(anairiats_sum_2, arg0, atslab_4) ; #line 169 "linmap_randbst.dats" tmp57 = ats_ptrget_mac(ats_ptr_type, tmp54) ; #line 169 "linmap_randbst.dats" /* tmp56 = */ bst_foreach_pre_01322_ats_int64_type_2cats_ptr_type (tmp57, arg1, arg2) ; #line 170 "linmap_randbst.dats" /* tmp58 = */ ((ats_void_type(*)(ats_int64_type, ats_ref_type, ats_ptr_type))arg1) (tmp52, tmp53, arg2) ; #line 171 "linmap_randbst.dats" tmp59 = ats_ptrget_mac(ats_ptr_type, tmp55) ; #line 171 "linmap_randbst.dats" arg0 = tmp59 ; #line 171 "linmap_randbst.dats" arg1 = arg1 ; #line 171 "linmap_randbst.dats" arg2 = arg2 ; #line 171 "linmap_randbst.dats" goto __ats_lab_bst_foreach_pre_01322_ats_int64_type_2cats_ptr_type ; // tail call break ; /* branch: __ats_lab_3 */ #line 175 "linmap_randbst.dats" __ats_lab_3_0: #line 175 "linmap_randbst.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 175 "linmap_randbst.dats" __ats_lab_3_1: break ; } while (0) ; return /* (tmp51) */ ; } /* end of [bst_foreach_pre_01322_ats_int64_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 11419(line=382, offs=26) -- 11931(line=398, offs=4) */ ATSstaticdec() ats_void_type linmap_foreach_clo_01918_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0, ats_ref_type arg1) { /* local vardec */ // ATSlocal_void (tmp49) ; __ats_lab_linmap_foreach_clo_01918_ats_int64_type_2cats_ptr_type: #line 394 "linmap_randbst.dats" /* tmp49 = */ bst_foreach_pre_01322_ats_int64_type_2cats_ptr_type (arg0, &app_19, arg1) ; return /* (tmp49) */ ; } /* end of [linmap_foreach_clo_01918_ats_int64_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 2677(line=127, offs=15) -- 3088(line=143, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__fprint_igraph (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp43) ; ATSlocal (ats_ptr_type, tmp44) ; ATSlocal (ats_ptr_type, tmp45) ; ATSlocal (__ats_fun_17_closure_type, tmp48) ; ATSlocal (ats_ptr_type, tmp60) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__fprint_igraph: #line 128 "igraph.dats" tmp44 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg1), atslab_1) ; #line 129 "igraph.dats" /* ats_ptr_type tmp45 ; */ #line 129 "igraph.dats" tmp45 = &(tmp48) ; __ats_fun_17_closure_init (tmp45, arg0) ; // closure initialization #line 139 "igraph.dats" tmp60 = ats_ptrget_mac(ats_ptr_type, tmp44) ; #line 139 "igraph.dats" /* tmp43 = */ linmap_foreach_clo_01918_ats_int64_type_2cats_ptr_type (tmp60, tmp45) ; return /* (tmp43) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__fprint_igraph] */ /* // /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_01908_ats_int64_type (ats_int64_type arg0, ats_int64_type arg1, ats_clo_ref_type arg2) { /* local vardec */ ATSlocal (ats_int_type, tmp71) ; __ats_lab_compare_key_key_01908_ats_int64_type: #line 33 "linmap_randbst.dats" tmp71 = ((ats_int_type(*)(ats_clo_ptr_type, ats_int64_type, ats_int64_type))(ats_closure_fun(arg2))) (arg2, arg0, arg1) ; return (tmp71) ; } /* end of [compare_key_key_01908_ats_int64_type] */ /* // /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_01310_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, tmp65) ; ATSlocal (ats_int64_type, tmp66) ; ATSlocal (ats_ptr_type, tmp67) ; ATSlocal (ats_ptr_type, tmp68) ; ATSlocal (ats_ptr_type, tmp69) ; ATSlocal (ats_int_type, tmp70) ; ATSlocal (ats_ptr_type, tmp72) ; ATSlocal (ats_ptr_type, tmp73) ; ATSlocal (ats_ptr_type, tmp74) ; __ats_lab_bst_search_01310_ats_int64_type_2cats_ptr_type: #line 140 "linmap_randbst.dats" do { /* branch: __ats_lab_4 */ #line 141 "linmap_randbst.dats" __ats_lab_4_0: #line 141 "linmap_randbst.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_8_0 ; } #line 141 "linmap_randbst.dats" __ats_lab_4_1: #line 141 "linmap_randbst.dats" tmp66 = ats_caselptr_mac(anairiats_sum_2, arg0, atslab_1) ; #line 141 "linmap_randbst.dats" tmp67 = &ats_caselptr_mac(anairiats_sum_2, arg0, atslab_2) ; #line 141 "linmap_randbst.dats" tmp68 = &ats_caselptr_mac(anairiats_sum_2, arg0, atslab_3) ; #line 141 "linmap_randbst.dats" tmp69 = &ats_caselptr_mac(anairiats_sum_2, arg0, atslab_4) ; #line 142 "linmap_randbst.dats" tmp70 = compare_key_key_01908_ats_int64_type (arg1, tmp66, arg2) ; #line 142 "linmap_randbst.dats" do { /* branch: __ats_lab_5 */ #line 143 "linmap_randbst.dats" __ats_lab_5_0: #line 143 "linmap_randbst.dats" if (tmp70 != -1) { goto __ats_lab_6_0 ; } #line 143 "linmap_randbst.dats" __ats_lab_5_1: #line 144 "linmap_randbst.dats" tmp72 = ats_ptrget_mac(ats_ptr_type, tmp68) ; #line 144 "linmap_randbst.dats" arg0 = tmp72 ; #line 144 "linmap_randbst.dats" arg1 = arg1 ; #line 144 "linmap_randbst.dats" arg2 = arg2 ; #line 144 "linmap_randbst.dats" goto __ats_lab_bst_search_01310_ats_int64_type_2cats_ptr_type ; // tail call break ; /* branch: __ats_lab_6 */ #line 146 "linmap_randbst.dats" __ats_lab_6_0: #line 146 "linmap_randbst.dats" if (tmp70 != 1) { goto __ats_lab_7_0 ; } #line 146 "linmap_randbst.dats" __ats_lab_6_1: #line 147 "linmap_randbst.dats" tmp73 = ats_ptrget_mac(ats_ptr_type, tmp69) ; #line 147 "linmap_randbst.dats" arg0 = tmp73 ; #line 147 "linmap_randbst.dats" arg1 = arg1 ; #line 147 "linmap_randbst.dats" arg2 = arg2 ; #line 147 "linmap_randbst.dats" goto __ats_lab_bst_search_01310_ats_int64_type_2cats_ptr_type ; // tail call break ; /* branch: __ats_lab_7 */ #line 149 "linmap_randbst.dats" __ats_lab_7_0: #line 149 "linmap_randbst.dats" __ats_lab_7_1: #line 150 "linmap_randbst.dats" tmp74 = ats_ptrget_mac(ats_ptr_type, tmp67) ; #line 150 "linmap_randbst.dats" tmp65 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp65, atslab_0, tmp74) ; break ; } while (0) ; break ; /* branch: __ats_lab_8 */ #line 153 "linmap_randbst.dats" __ats_lab_8_0: #line 153 "linmap_randbst.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 153 "linmap_randbst.dats" __ats_lab_8_1: #line 154 "linmap_randbst.dats" tmp65 = (ats_sum_ptr_type)0 ; break ; } while (0) ; return (tmp65) ; } /* end of [bst_search_01310_ats_int64_type_2cats_ptr_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_01915_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, tmp64) ; __ats_lab_linmap_search_01915_ats_int64_type_2cats_ptr_type: #line 356 "linmap_randbst.dats" tmp64 = bst_search_01310_ats_int64_type_2cats_ptr_type (arg0, arg1, arg2) ; return (tmp64) ; } /* end of [linmap_search_01915_ats_int64_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 3167(line=148, offs=21) -- 3503(line=157, offs=4) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (ats_ptr_type arg0, ats_int64_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp61) ; ATSlocal (ats_ptr_type, tmp62) ; ATSlocal (ats_ptr_type, tmp63) ; ATSlocal (ats_ptr_type, tmp75) ; ATSlocal (ats_ptr_type, tmp76) ; // ATSlocal_void (tmp77) ; // ATSlocal_void (tmp78) ; // ATSlocal_void (tmp79) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get: #line 149 "igraph.dats" tmp62 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ; #line 150 "igraph.dats" tmp75 = ats_ptrget_mac(ats_ptr_type, tmp62) ; #line 150 "igraph.dats" tmp63 = linmap_search_01915_ats_int64_type_2cats_ptr_type (tmp75, arg1, statmp36) ; #line 152 "igraph.dats" do { /* branch: __ats_lab_9 */ #line 153 "igraph.dats" __ats_lab_9_0: #line 153 "igraph.dats" if (tmp63 == (ats_sum_ptr_type)0) { goto __ats_lab_10_0 ; } #line 153 "igraph.dats" __ats_lab_9_1: #line 153 "igraph.dats" tmp76 = ats_caselptr_mac(anairiats_sum_3, tmp63, atslab_0) ; #line 153 "igraph.dats" ATS_FREE(tmp63) ; #line 153 "igraph.dats" tmp61 = tmp76 ; break ; /* branch: __ats_lab_10 */ #line 153 "igraph.dats" __ats_lab_10_0: #line 153 "igraph.dats" // if (tmp63 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 153 "igraph.dats" __ats_lab_10_1: #line 154 "igraph.dats" /* tmp77 = */ atspre_prerr_string (ATSstrcst("igraph_nodeinfo_get: tmp = ")) ; #line 154 "igraph.dats" /* tmp78 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__prerr_temp (arg1) ; #line 154 "igraph.dats" /* tmp79 = */ atspre_prerr_newline () ; #line 155 "igraph.dats" /* tmp61 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2error_2esats__abort (1) ; break ; } while (0) ; return (tmp61) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get] */ /* // /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_01293_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_int_type, tmp110) ; ATSlocal (ats_int_type, tmp111) ; __ats_lab_bst_size_01293_ats_int64_type_2cats_ptr_type: #line 99 "linmap_randbst.dats" do { /* branch: __ats_lab_13 */ #line 100 "linmap_randbst.dats" __ats_lab_13_0: #line 100 "linmap_randbst.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_14_0 ; } #line 100 "linmap_randbst.dats" __ats_lab_13_1: #line 100 "linmap_randbst.dats" tmp111 = ats_caselptr_mac(anairiats_sum_2, arg0, atslab_0) ; #line 100 "linmap_randbst.dats" tmp110 = tmp111 ; break ; /* branch: __ats_lab_14 */ #line 100 "linmap_randbst.dats" __ats_lab_14_0: #line 100 "linmap_randbst.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 100 "linmap_randbst.dats" __ats_lab_14_1: #line 100 "linmap_randbst.dats" tmp110 = 0 ; break ; } while (0) ; return (tmp110) ; } /* end of [bst_size_01293_ats_int64_type_2cats_ptr_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_01335_ats_int64_type_2cats_ptr_type (ats_ref_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, tmp95) ; ATSlocal (ats_ptr_type, tmp96) ; ATSlocal (ats_int64_type, tmp97) ; ATSlocal (ats_ptr_type, tmp98) ; ATSlocal (ats_ptr_type, tmp99) ; ATSlocal (ats_int_type, tmp100) ; ATSlocal (ats_bool_type, tmp101) ; ATSlocal (ats_ptr_type, tmp102) ; ATSlocal (ats_bool_type, tmp103) ; ATSlocal (ats_ptr_type, tmp104) ; ATSlocal (ats_ptr_type, tmp105) ; ATSlocal (ats_ptr_type, tmp106) ; ATSlocal (ats_ptr_type, tmp107) ; ATSlocal (ats_int_type, tmp108) ; ATSlocal (ats_int_type, tmp109) ; ATSlocal (ats_ptr_type, tmp112) ; ATSlocal (ats_ptr_type, tmp113) ; ATSlocal (ats_int_type, tmp114) ; ATSlocal (ats_int_type, tmp115) ; ATSlocal (ats_bool_type, tmp116) ; ATSlocal (ats_ptr_type, tmp117) ; ATSlocal (ats_bool_type, tmp118) ; ATSlocal (ats_ptr_type, tmp119) ; ATSlocal (ats_ptr_type, tmp120) ; ATSlocal (ats_ptr_type, tmp121) ; ATSlocal (ats_ptr_type, tmp122) ; ATSlocal (ats_int_type, tmp123) ; ATSlocal (ats_int_type, tmp124) ; ATSlocal (ats_ptr_type, tmp125) ; ATSlocal (ats_ptr_type, tmp126) ; ATSlocal (ats_int_type, tmp127) ; ATSlocal (ats_int_type, tmp128) ; ATSlocal (ats_ptr_type, tmp129) ; ATSlocal (ats_ptr_type, tmp130) ; ATSlocal (ats_ptr_type, tmp131) ; __ats_lab_bst_insert_atroot_01335_ats_int64_type_2cats_ptr_type: #line 199 "linmap_randbst.dats" do { /* branch: __ats_lab_12 */ #line 200 "linmap_randbst.dats" __ats_lab_12_0: #line 200 "linmap_randbst.dats" if (ats_ptrget_mac(ats_ptr_type, arg0) == (ats_sum_ptr_type)0) { goto __ats_lab_15_0 ; } #line 200 "linmap_randbst.dats" __ats_lab_12_1: #line 201 "linmap_randbst.dats" tmp96 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_0) ; #line 201 "linmap_randbst.dats" tmp97 = ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_1) ; #line 201 "linmap_randbst.dats" tmp98 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_3) ; #line 201 "linmap_randbst.dats" tmp99 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_4) ; #line 202 "linmap_randbst.dats" tmp100 = compare_key_key_01908_ats_int64_type (arg1, tmp97, arg3) ; #line 203 "linmap_randbst.dats" tmp101 = atspre_ilt (tmp100, 0) ; #line 203 "linmap_randbst.dats" if (tmp101) { #line 204 "linmap_randbst.dats" tmp102 = bst_insert_atroot_01335_ats_int64_type_2cats_ptr_type (tmp98, arg1, arg2, arg3, arg4) ; #line 206 "linmap_randbst.dats" tmp103 = atspre_ieq (ats_ptrget_mac(ats_int_type, arg4), 0) ; #line 206 "linmap_randbst.dats" if (tmp103) { #line 207 "linmap_randbst.dats" tmp104 = ats_ptrget_mac(ats_ptr_type, tmp98) ; #line 208 "linmap_randbst.dats" // if (tmp104 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 208 "linmap_randbst.dats" tmp105 = &ats_caselptr_mac(anairiats_sum_2, tmp104, atslab_0) ; #line 208 "linmap_randbst.dats" tmp106 = &ats_caselptr_mac(anairiats_sum_2, tmp104, atslab_3) ; #line 208 "linmap_randbst.dats" tmp107 = &ats_caselptr_mac(anairiats_sum_2, tmp104, atslab_4) ; #line 209 "linmap_randbst.dats" tmp108 = ats_ptrget_mac(ats_int_type, tmp96) ; #line 209 "linmap_randbst.dats" tmp112 = ats_ptrget_mac(ats_ptr_type, tmp106) ; #line 209 "linmap_randbst.dats" tmp109 = bst_size_01293_ats_int64_type_2cats_ptr_type (tmp112) ; #line 211 "linmap_randbst.dats" tmp113 = ats_ptrget_mac(ats_ptr_type, tmp107) ; #line 211 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, tmp98) = tmp113 ; #line 211 "linmap_randbst.dats" tmp114 = atspre_isub (tmp108, tmp109) ; #line 211 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp96) = tmp114 ; #line 212 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, tmp107) = ats_ptrget_mac(ats_ptr_type, arg0) ; #line 212 "linmap_randbst.dats" tmp115 = atspre_iadd (tmp108, 1) ; #line 212 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp105) = tmp115 ; #line 213 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, arg0) = tmp104 ; #line 213 "linmap_randbst.dats" tmp95 = tmp102 ; } else { #line 215 "linmap_randbst.dats" tmp95 = tmp102 ; } /* end of [if] */ } else { #line 217 "linmap_randbst.dats" tmp116 = atspre_igt (tmp100, 0) ; #line 217 "linmap_randbst.dats" if (tmp116) { #line 218 "linmap_randbst.dats" tmp117 = bst_insert_atroot_01335_ats_int64_type_2cats_ptr_type (tmp99, arg1, arg2, arg3, arg4) ; #line 220 "linmap_randbst.dats" tmp118 = atspre_ieq (ats_ptrget_mac(ats_int_type, arg4), 0) ; #line 220 "linmap_randbst.dats" if (tmp118) { #line 221 "linmap_randbst.dats" tmp119 = ats_ptrget_mac(ats_ptr_type, tmp99) ; #line 222 "linmap_randbst.dats" // if (tmp119 == (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 222 "linmap_randbst.dats" tmp120 = &ats_caselptr_mac(anairiats_sum_2, tmp119, atslab_0) ; #line 222 "linmap_randbst.dats" tmp121 = &ats_caselptr_mac(anairiats_sum_2, tmp119, atslab_3) ; #line 222 "linmap_randbst.dats" tmp122 = &ats_caselptr_mac(anairiats_sum_2, tmp119, atslab_4) ; #line 223 "linmap_randbst.dats" tmp123 = ats_ptrget_mac(ats_int_type, tmp96) ; #line 223 "linmap_randbst.dats" tmp125 = ats_ptrget_mac(ats_ptr_type, tmp122) ; #line 223 "linmap_randbst.dats" tmp124 = bst_size_01293_ats_int64_type_2cats_ptr_type (tmp125) ; #line 225 "linmap_randbst.dats" tmp126 = ats_ptrget_mac(ats_ptr_type, tmp121) ; #line 225 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, tmp99) = tmp126 ; #line 225 "linmap_randbst.dats" tmp127 = atspre_isub (tmp123, tmp124) ; #line 225 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp96) = tmp127 ; #line 226 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, tmp121) = ats_ptrget_mac(ats_ptr_type, arg0) ; #line 226 "linmap_randbst.dats" tmp128 = atspre_iadd (tmp123, 1) ; #line 226 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp120) = tmp128 ; #line 227 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, arg0) = tmp119 ; #line 227 "linmap_randbst.dats" tmp95 = tmp117 ; } else { #line 229 "linmap_randbst.dats" tmp95 = tmp117 ; } /* end of [if] */ } else { #line 232 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, arg4) = 1 ; #line 232 "linmap_randbst.dats" tmp95 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp95, atslab_0, arg2) ; } /* end of [if] */ } /* end of [if] */ break ; /* branch: __ats_lab_15 */ #line 235 "linmap_randbst.dats" __ats_lab_15_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_15_1: #line 236 "linmap_randbst.dats" tmp130 = (ats_sum_ptr_type)0 ; #line 236 "linmap_randbst.dats" tmp131 = (ats_sum_ptr_type)0 ; #line 236 "linmap_randbst.dats" tmp129 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ats_selptrset_mac(anairiats_sum_2, tmp129, atslab_0, 1) ; ats_selptrset_mac(anairiats_sum_2, tmp129, atslab_1, arg1) ; ats_selptrset_mac(anairiats_sum_2, tmp129, atslab_2, arg2) ; ats_selptrset_mac(anairiats_sum_2, tmp129, atslab_3, tmp130) ; ats_selptrset_mac(anairiats_sum_2, tmp129, atslab_4, tmp131) ; #line 236 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, arg0) = tmp129 ; #line 236 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, arg4) = 0 ; #line 236 "linmap_randbst.dats" tmp95 = (ats_sum_ptr_type)0 ; break ; } while (0) ; return (tmp95) ; } /* end of [bst_insert_atroot_01335_ats_int64_type_2cats_ptr_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_01360_ats_int64_type_2cats_ptr_type (ats_ref_type arg0, ats_int64_type arg1, ats_ptr_type arg2, ats_clo_ref_type arg3, ats_ref_type arg4, ats_ref_type arg5) { /* local vardec */ ATSlocal (ats_ptr_type, tmp88) ; ATSlocal (ats_ptr_type, tmp89) ; ATSlocal (ats_int64_type, tmp90) ; ATSlocal (ats_ptr_type, tmp91) ; ATSlocal (ats_ptr_type, tmp92) ; ATSlocal (ats_bool_type, tmp93) ; ATSlocal (ats_int_type, tmp94) ; ATSlocal (ats_int_type, tmp132) ; ATSlocal (ats_bool_type, tmp133) ; ATSlocal (ats_ptr_type, tmp134) ; ATSlocal (ats_bool_type, tmp135) ; ATSlocal (ats_int_type, tmp136) ; ATSlocal (ats_int_type, tmp137) ; ATSlocal (ats_bool_type, tmp138) ; ATSlocal (ats_ptr_type, tmp139) ; ATSlocal (ats_bool_type, tmp140) ; ATSlocal (ats_int_type, tmp141) ; ATSlocal (ats_int_type, tmp142) ; ATSlocal (ats_ptr_type, tmp143) ; ATSlocal (ats_ptr_type, tmp144) ; ATSlocal (ats_ptr_type, tmp145) ; __ats_lab_bst_insert_random_01360_ats_int64_type_2cats_ptr_type: #line 245 "linmap_randbst.dats" do { /* branch: __ats_lab_11 */ #line 246 "linmap_randbst.dats" __ats_lab_11_0: #line 246 "linmap_randbst.dats" if (ats_ptrget_mac(ats_ptr_type, arg0) == (ats_sum_ptr_type)0) { goto __ats_lab_16_0 ; } #line 246 "linmap_randbst.dats" __ats_lab_11_1: #line 246 "linmap_randbst.dats" tmp89 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_0) ; #line 246 "linmap_randbst.dats" tmp90 = ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_1) ; #line 246 "linmap_randbst.dats" tmp91 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_3) ; #line 246 "linmap_randbst.dats" tmp92 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_4) ; #line 247 "linmap_randbst.dats" tmp94 = ats_ptrget_mac(ats_int_type, tmp89) ; #line 247 "linmap_randbst.dats" tmp93 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2linmap_randbst_2edats__dice (1, tmp94, arg5) ; #line 247 "linmap_randbst.dats" if (tmp93) { #line 248 "linmap_randbst.dats" tmp88 = bst_insert_atroot_01335_ats_int64_type_2cats_ptr_type (arg0, arg1, arg2, arg3, arg4) ; } else { #line 250 "linmap_randbst.dats" tmp132 = compare_key_key_01908_ats_int64_type (arg1, tmp90, arg3) ; #line 251 "linmap_randbst.dats" tmp133 = atspre_ilt (tmp132, 0) ; #line 251 "linmap_randbst.dats" if (tmp133) { #line 252 "linmap_randbst.dats" tmp134 = bst_insert_random_01360_ats_int64_type_2cats_ptr_type (tmp91, arg1, arg2, arg3, arg4, arg5) ; #line 253 "linmap_randbst.dats" tmp135 = atspre_ieq (ats_ptrget_mac(ats_int_type, arg4), 0) ; #line 253 "linmap_randbst.dats" if (tmp135) { #line 253 "linmap_randbst.dats" tmp137 = ats_ptrget_mac(ats_int_type, tmp89) ; #line 253 "linmap_randbst.dats" tmp136 = atspre_iadd (tmp137, 1) ; #line 253 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp89) = tmp136 ; #line 253 "linmap_randbst.dats" tmp88 = tmp134 ; } else { #line 253 "linmap_randbst.dats" tmp88 = tmp134 ; } /* end of [if] */ } else { #line 254 "linmap_randbst.dats" tmp138 = atspre_igt (tmp132, 0) ; #line 254 "linmap_randbst.dats" if (tmp138) { #line 255 "linmap_randbst.dats" tmp139 = bst_insert_random_01360_ats_int64_type_2cats_ptr_type (tmp92, arg1, arg2, arg3, arg4, arg5) ; #line 256 "linmap_randbst.dats" tmp140 = atspre_ieq (ats_ptrget_mac(ats_int_type, arg4), 0) ; #line 256 "linmap_randbst.dats" if (tmp140) { #line 256 "linmap_randbst.dats" tmp142 = ats_ptrget_mac(ats_int_type, tmp89) ; #line 256 "linmap_randbst.dats" tmp141 = atspre_iadd (tmp142, 1) ; #line 256 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp89) = tmp141 ; #line 256 "linmap_randbst.dats" tmp88 = tmp139 ; } else { #line 256 "linmap_randbst.dats" tmp88 = tmp139 ; } /* end of [if] */ } else { #line 258 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, arg4) = 1 ; #line 258 "linmap_randbst.dats" tmp88 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp88, atslab_0, arg2) ; } /* end of [if] */ } /* end of [if] */ } /* end of [if] */ break ; /* branch: __ats_lab_16 */ #line 261 "linmap_randbst.dats" __ats_lab_16_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_16_1: #line 262 "linmap_randbst.dats" tmp144 = (ats_sum_ptr_type)0 ; #line 262 "linmap_randbst.dats" tmp145 = (ats_sum_ptr_type)0 ; #line 262 "linmap_randbst.dats" tmp143 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ats_selptrset_mac(anairiats_sum_2, tmp143, atslab_0, 1) ; ats_selptrset_mac(anairiats_sum_2, tmp143, atslab_1, arg1) ; ats_selptrset_mac(anairiats_sum_2, tmp143, atslab_2, arg2) ; ats_selptrset_mac(anairiats_sum_2, tmp143, atslab_3, tmp144) ; ats_selptrset_mac(anairiats_sum_2, tmp143, atslab_4, tmp145) ; #line 262 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, arg0) = tmp143 ; #line 262 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, arg4) = 0 ; #line 262 "linmap_randbst.dats" tmp88 = (ats_sum_ptr_type)0 ; break ; } while (0) ; return (tmp88) ; } /* end of [bst_insert_random_01360_ats_int64_type_2cats_ptr_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_01916_ats_int64_type_2cats_ptr_type (ats_ref_type arg0, ats_int64_type arg1, ats_ptr_type arg2, ats_clo_ref_type arg3) { /* local vardec */ ATSlocal (ats_ptr_type, tmp84) ; ATSlocal (ats_int_type, tmp85) ; ATSlocal (ats_drand48_data_type, tmp86) ; ATSlocal (ats_int_type, tmp87) ; __ats_lab_linmap_insert_01916_ats_int64_type_2cats_ptr_type: #line 363 "linmap_randbst.dats" /* ats_int_type tmp85 ; */ #line 364 "linmap_randbst.dats" /* ats_drand48_data_type tmp86 ; */ #line 365 "linmap_randbst.dats" tmp87 = atslib_srand48_r (0L, (&tmp86)) ; #line 366 "linmap_randbst.dats" tmp84 = bst_insert_random_01360_ats_int64_type_2cats_ptr_type (arg0, arg1, arg2, arg3, (&tmp85), (&tmp86)) ; return (tmp84) ; } /* end of [linmap_insert_01916_ats_int64_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 3590(line=162, offs=20) -- 3848(line=169, offs=2) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_node_insert (ats_ptr_type arg0, ats_int64_type arg1) { /* local vardec */ // ATSlocal_void (tmp80) ; ATSlocal (ats_ptr_type, tmp81) ; ATSlocal (ats_ptr_type, tmp82) ; ATSlocal (ats_ptr_type, tmp83) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_node_insert: #line 163 "igraph.dats" tmp81 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_make (arg1) ; #line 164 "igraph.dats" tmp82 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ; #line 166 "igraph.dats" tmp83 = linmap_insert_01916_ats_int64_type_2cats_ptr_type (tmp82, arg1, tmp81, statmp36) ; #line 168 "igraph.dats" do { /* branch: __ats_lab_17 */ #line 168 "igraph.dats" __ats_lab_17_0: #line 168 "igraph.dats" if (tmp83 == (ats_sum_ptr_type)0) { goto __ats_lab_18_0 ; } #line 168 "igraph.dats" __ats_lab_17_1: #line 168 "igraph.dats" ATS_FREE(tmp83) ; break ; /* branch: __ats_lab_18 */ #line 168 "igraph.dats" __ats_lab_18_0: #line 168 "igraph.dats" // if (tmp83 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 168 "igraph.dats" __ats_lab_18_1: break ; } while (0) ; return /* (tmp80) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_node_insert] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 4281(line=184, offs=13) -- 4588(line=192, offs=30) */ ATSstaticdec() ats_void_type loop_31 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int64_type arg2) { /* local vardec */ // ATSlocal_void (tmp154) ; ATSlocal (ats_int64_type, tmp155) ; ATSlocal (ats_ptr_type, tmp156) ; // ATSlocal_void (tmp157) ; __ats_lab_loop_31: #line 186 "igraph.dats" do { /* branch: __ats_lab_20 */ #line 187 "igraph.dats" __ats_lab_20_0: #line 187 "igraph.dats" if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_21_0 ; } #line 187 "igraph.dats" __ats_lab_20_1: #line 187 "igraph.dats" tmp155 = ats_caselptr_mac(anairiats_sum_0, arg1, atslab_0) ; #line 187 "igraph.dats" tmp156 = ats_caselptr_mac(anairiats_sum_0, arg1, atslab_1) ; #line 188 "igraph.dats" /* tmp157 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_int_edge_remove (arg0, tmp155, arg2) ; #line 190 "igraph.dats" arg0 = arg0 ; #line 190 "igraph.dats" arg1 = tmp156 ; #line 190 "igraph.dats" arg2 = arg2 ; #line 190 "igraph.dats" goto __ats_lab_loop_31 ; // tail call break ; /* branch: __ats_lab_21 */ #line 192 "igraph.dats" __ats_lab_21_0: #line 192 "igraph.dats" // if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 192 "igraph.dats" __ats_lab_21_1: break ; } while (0) ; return /* (tmp154) */ ; } /* end of [loop_31] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 4791(line=198, offs=13) -- 5098(line=206, offs=30) */ ATSstaticdec() ats_void_type loop_32 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int64_type arg2) { /* local vardec */ // ATSlocal_void (tmp161) ; ATSlocal (ats_int64_type, tmp162) ; ATSlocal (ats_ptr_type, tmp163) ; // ATSlocal_void (tmp164) ; __ats_lab_loop_32: #line 200 "igraph.dats" do { /* branch: __ats_lab_22 */ #line 201 "igraph.dats" __ats_lab_22_0: #line 201 "igraph.dats" if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_23_0 ; } #line 201 "igraph.dats" __ats_lab_22_1: #line 201 "igraph.dats" tmp162 = ats_caselptr_mac(anairiats_sum_0, arg1, atslab_0) ; #line 201 "igraph.dats" tmp163 = ats_caselptr_mac(anairiats_sum_0, arg1, atslab_1) ; #line 202 "igraph.dats" /* tmp164 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_mov_edge_remove (arg0, tmp162, arg2) ; #line 204 "igraph.dats" arg0 = arg0 ; #line 204 "igraph.dats" arg1 = tmp163 ; #line 204 "igraph.dats" arg2 = arg2 ; #line 204 "igraph.dats" goto __ats_lab_loop_32 ; // tail call break ; /* branch: __ats_lab_23 */ #line 206 "igraph.dats" __ats_lab_23_0: #line 206 "igraph.dats" // if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 206 "igraph.dats" __ats_lab_23_1: break ; } while (0) ; return /* (tmp161) */ ; } /* end of [loop_32] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 8112(line=269, offs=41) -- 8848(line=291, offs=4) */ ATSstaticdec() ats_ptr_type bst_join_random_01374_ats_int64_type_2cats_ptr_type (ats_ptr_type arg0, ats_ptr_type arg1, ats_ref_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp187) ; ATSlocal (ats_ptr_type, tmp188) ; ATSlocal (ats_ptr_type, tmp189) ; ATSlocal (ats_ptr_type, tmp190) ; ATSlocal (ats_ptr_type, tmp191) ; ATSlocal (ats_int_type, tmp192) ; ATSlocal (ats_int_type, tmp193) ; ATSlocal (ats_int_type, tmp194) ; ATSlocal (ats_bool_type, tmp195) ; ATSlocal (ats_int_type, tmp196) ; ATSlocal (ats_int_type, tmp197) ; ATSlocal (ats_ptr_type, tmp198) ; ATSlocal (ats_ptr_type, tmp199) ; ATSlocal (ats_ptr_type, tmp200) ; ATSlocal (ats_ptr_type, tmp201) ; __ats_lab_bst_join_random_01374_ats_int64_type_2cats_ptr_type: #line 273 "linmap_randbst.dats" do { /* branch: __ats_lab_29 */ #line 274 "linmap_randbst.dats" __ats_lab_29_0: #line 274 "linmap_randbst.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_32_0 ; } #line 274 "linmap_randbst.dats" __ats_lab_29_1: #line 275 "linmap_randbst.dats" tmp188 = &ats_caselptr_mac(anairiats_sum_2, arg0, atslab_0) ; #line 275 "linmap_randbst.dats" tmp189 = &ats_caselptr_mac(anairiats_sum_2, arg0, atslab_4) ; #line 276 "linmap_randbst.dats" do { /* branch: __ats_lab_30 */ #line 277 "linmap_randbst.dats" __ats_lab_30_0: #line 277 "linmap_randbst.dats" if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_31_0 ; } #line 277 "linmap_randbst.dats" __ats_lab_30_1: #line 277 "linmap_randbst.dats" tmp190 = &ats_caselptr_mac(anairiats_sum_2, arg1, atslab_0) ; #line 277 "linmap_randbst.dats" tmp191 = &ats_caselptr_mac(anairiats_sum_2, arg1, atslab_3) ; #line 278 "linmap_randbst.dats" tmp193 = ats_ptrget_mac(ats_int_type, tmp188) ; #line 278 "linmap_randbst.dats" tmp194 = ats_ptrget_mac(ats_int_type, tmp190) ; #line 278 "linmap_randbst.dats" tmp192 = atspre_iadd (tmp193, tmp194) ; #line 280 "linmap_randbst.dats" tmp196 = ats_ptrget_mac(ats_int_type, tmp188) ; #line 280 "linmap_randbst.dats" tmp197 = ats_ptrget_mac(ats_int_type, tmp190) ; #line 280 "linmap_randbst.dats" tmp195 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2linmap_randbst_2edats__dice (tmp196, tmp197, arg2) ; #line 280 "linmap_randbst.dats" if (tmp195) { #line 281 "linmap_randbst.dats" tmp199 = ats_ptrget_mac(ats_ptr_type, tmp189) ; #line 281 "linmap_randbst.dats" tmp198 = bst_join_random_01374_ats_int64_type_2cats_ptr_type (tmp199, arg1, arg2) ; #line 281 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, tmp189) = tmp198 ; #line 282 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp188) = tmp192 ; #line 282 "linmap_randbst.dats" tmp187 = arg0 ; } else { #line 284 "linmap_randbst.dats" tmp201 = ats_ptrget_mac(ats_ptr_type, tmp191) ; #line 284 "linmap_randbst.dats" tmp200 = bst_join_random_01374_ats_int64_type_2cats_ptr_type (arg0, tmp201, arg2) ; #line 284 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, tmp191) = tmp200 ; #line 285 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp190) = tmp192 ; #line 285 "linmap_randbst.dats" tmp187 = arg1 ; } /* end of [if] */ break ; /* branch: __ats_lab_31 */ #line 288 "linmap_randbst.dats" __ats_lab_31_0: #line 288 "linmap_randbst.dats" // if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 288 "linmap_randbst.dats" __ats_lab_31_1: #line 288 "linmap_randbst.dats" tmp187 = arg0 ; break ; } while (0) ; break ; /* branch: __ats_lab_32 */ #line 290 "linmap_randbst.dats" __ats_lab_32_0: #line 290 "linmap_randbst.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 290 "linmap_randbst.dats" __ats_lab_32_1: #line 290 "linmap_randbst.dats" tmp187 = arg1 ; break ; } while (0) ; return (tmp187) ; } /* end of [bst_join_random_01374_ats_int64_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 8975(line=296, offs=48) -- 9889(line=321, offs=4) */ ATSstaticdec() ats_ptr_type bst_remove_random_01385_ats_int64_type_2cats_ptr_type (ats_ref_type arg0, ats_int64_type arg1, ats_clo_ref_type arg2, ats_ref_type arg3, ats_ref_type arg4) { /* local vardec */ ATSlocal (ats_ptr_type, tmp171) ; ATSlocal (ats_ptr_type, tmp172) ; ATSlocal (ats_int64_type, tmp173) ; ATSlocal (ats_ptr_type, tmp174) ; ATSlocal (ats_ptr_type, tmp175) ; ATSlocal (ats_ptr_type, tmp176) ; ATSlocal (ats_int_type, tmp177) ; ATSlocal (ats_ptr_type, tmp178) ; ATSlocal (ats_int_type, tmp179) ; ATSlocal (ats_int_type, tmp180) ; ATSlocal (ats_ptr_type, tmp181) ; ATSlocal (ats_int_type, tmp182) ; ATSlocal (ats_int_type, tmp183) ; ATSlocal (ats_ptr_type, tmp184) ; ATSlocal (ats_ptr_type, tmp185) ; ATSlocal (ats_ptr_type, tmp186) ; ATSlocal (ats_ptr_type, tmp202) ; ATSlocal (ats_ptr_type, tmp203) ; __ats_lab_bst_remove_random_01385_ats_int64_type_2cats_ptr_type: #line 302 "linmap_randbst.dats" do { /* branch: __ats_lab_25 */ #line 303 "linmap_randbst.dats" __ats_lab_25_0: #line 303 "linmap_randbst.dats" if (ats_ptrget_mac(ats_ptr_type, arg0) == (ats_sum_ptr_type)0) { goto __ats_lab_33_0 ; } #line 303 "linmap_randbst.dats" __ats_lab_25_1: #line 304 "linmap_randbst.dats" tmp172 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_0) ; #line 304 "linmap_randbst.dats" tmp173 = ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_1) ; #line 304 "linmap_randbst.dats" tmp174 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_2) ; #line 304 "linmap_randbst.dats" tmp175 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_3) ; #line 304 "linmap_randbst.dats" tmp176 = &ats_caselptr_mac(anairiats_sum_2, ats_ptrget_mac(ats_ptr_type, arg0), atslab_4) ; #line 305 "linmap_randbst.dats" tmp177 = compare_key_key_01908_ats_int64_type (arg1, tmp173, arg2) ; #line 305 "linmap_randbst.dats" do { /* branch: __ats_lab_26 */ #line 306 "linmap_randbst.dats" __ats_lab_26_0: #line 306 "linmap_randbst.dats" if (tmp177 != -1) { goto __ats_lab_27_0 ; } #line 306 "linmap_randbst.dats" __ats_lab_26_1: #line 307 "linmap_randbst.dats" tmp178 = bst_remove_random_01385_ats_int64_type_2cats_ptr_type (tmp175, arg1, arg2, arg3, arg4) ; #line 308 "linmap_randbst.dats" tmp180 = ats_ptrget_mac(ats_int_type, tmp172) ; #line 308 "linmap_randbst.dats" tmp179 = atspre_isub (tmp180, ats_ptrget_mac(ats_int_type, arg3)) ; #line 308 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp172) = tmp179 ; #line 308 "linmap_randbst.dats" tmp171 = tmp178 ; break ; /* branch: __ats_lab_27 */ #line 310 "linmap_randbst.dats" __ats_lab_27_0: #line 310 "linmap_randbst.dats" if (tmp177 != 1) { goto __ats_lab_28_0 ; } #line 310 "linmap_randbst.dats" __ats_lab_27_1: #line 311 "linmap_randbst.dats" tmp181 = bst_remove_random_01385_ats_int64_type_2cats_ptr_type (tmp176, arg1, arg2, arg3, arg4) ; #line 312 "linmap_randbst.dats" tmp183 = ats_ptrget_mac(ats_int_type, tmp172) ; #line 312 "linmap_randbst.dats" tmp182 = atspre_isub (tmp183, ats_ptrget_mac(ats_int_type, arg3)) ; #line 312 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, tmp172) = tmp182 ; #line 312 "linmap_randbst.dats" tmp171 = tmp181 ; break ; /* branch: __ats_lab_28 */ #line 314 "linmap_randbst.dats" __ats_lab_28_0: #line 314 "linmap_randbst.dats" __ats_lab_28_1: #line 315 "linmap_randbst.dats" tmp185 = ats_ptrget_mac(ats_ptr_type, tmp174) ; #line 315 "linmap_randbst.dats" tmp184 = ATS_MALLOC(sizeof(anairiats_sum_3)) ; ats_selptrset_mac(anairiats_sum_3, tmp184, atslab_0, tmp185) ; #line 316 "linmap_randbst.dats" tmp202 = ats_ptrget_mac(ats_ptr_type, tmp175) ; #line 316 "linmap_randbst.dats" tmp203 = ats_ptrget_mac(ats_ptr_type, tmp176) ; #line 316 "linmap_randbst.dats" tmp186 = bst_join_random_01374_ats_int64_type_2cats_ptr_type (tmp202, tmp203, arg4) ; #line 317 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, arg3) = 1 ; #line 317 "linmap_randbst.dats" ATS_FREE(ats_ptrget_mac(ats_ptr_type, arg0)) ; #line 317 "linmap_randbst.dats" ats_ptrget_mac(ats_ptr_type, arg0) = tmp186 ; #line 317 "linmap_randbst.dats" tmp171 = tmp184 ; break ; } while (0) ; break ; /* branch: __ats_lab_33 */ #line 320 "linmap_randbst.dats" __ats_lab_33_0: #line 320 "linmap_randbst.dats" // if (ats_ptrget_mac(ats_ptr_type, arg0) != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 320 "linmap_randbst.dats" __ats_lab_33_1: #line 320 "linmap_randbst.dats" ats_ptrget_mac(ats_int_type, arg3) = 0 ; #line 320 "linmap_randbst.dats" tmp171 = (ats_sum_ptr_type)0 ; break ; } while (0) ; return (tmp171) ; } /* end of [bst_remove_random_01385_ats_int64_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/LIB/linmap_randbst.dats: 11143(line=372, offs=17) -- 11326(line=377, offs=4) */ ATSstaticdec() ats_ptr_type linmap_remove_01917_ats_int64_type_2cats_ptr_type (ats_ref_type arg0, ats_int64_type arg1, ats_clo_ref_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp167) ; ATSlocal (ats_int_type, tmp168) ; ATSlocal (ats_drand48_data_type, tmp169) ; ATSlocal (ats_int_type, tmp170) ; __ats_lab_linmap_remove_01917_ats_int64_type_2cats_ptr_type: #line 373 "linmap_randbst.dats" /* ats_int_type tmp168 ; */ #line 374 "linmap_randbst.dats" /* ats_drand48_data_type tmp169 ; */ #line 375 "linmap_randbst.dats" tmp170 = atslib_srand48_r (0L, (&tmp169)) ; #line 376 "linmap_randbst.dats" tmp167 = bst_remove_random_01385_ats_int64_type_2cats_ptr_type (arg0, arg1, arg2, (&tmp168), (&tmp169)) ; return (tmp167) ; } /* end of [linmap_remove_01917_ats_int64_type_2cats_ptr_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 3910(line=172, offs=20) -- 5450(line=222, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_node_remove (ats_ptr_type arg0, ats_int64_type arg1) { /* local vardec */ // ATSlocal_void (tmp146) ; ATSlocal (ats_ptr_type, tmp147) ; ATSlocal (ats_ptr_type, tmp148) ; ATSlocal (ats_ptr_type, tmp149) ; // ATSlocal_void (tmp150) ; ATSlocal (ats_ptr_type, tmp151) ; ATSlocal (ats_ptr_type, tmp152) ; ATSlocal (ats_ptr_type, tmp153) ; // ATSlocal_void (tmp158) ; ATSlocal (ats_ptr_type, tmp159) ; ATSlocal (ats_ptr_type, tmp160) ; ATSlocal (ats_ptr_type, tmp165) ; ATSlocal (ats_ptr_type, tmp166) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_node_remove: #line 174 "igraph.dats" tmp147 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ; #line 176 "igraph.dats" tmp149 = ats_ptrget_mac(ats_ptr_type, tmp147) ; #line 176 "igraph.dats" tmp148 = linmap_search_01915_ats_int64_type_2cats_ptr_type (tmp149, arg1, statmp36) ; #line 179 "igraph.dats" do { /* branch: __ats_lab_19 */ #line 180 "igraph.dats" __ats_lab_19_0: #line 180 "igraph.dats" if (tmp148 == (ats_sum_ptr_type)0) { goto __ats_lab_24_0 ; } #line 180 "igraph.dats" __ats_lab_19_1: #line 180 "igraph.dats" tmp151 = ats_caselptr_mac(anairiats_sum_3, tmp148, atslab_0) ; #line 180 "igraph.dats" ATS_FREE(tmp148) ; #line 181 "igraph.dats" tmp152 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get (tmp151) ; #line 182 "igraph.dats" tmp153 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (tmp152) ; #line 183 "igraph.dats" /* tmp158 = */ loop_31 (arg0, tmp153, arg1) ; #line 195 "igraph.dats" tmp159 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get (tmp151) ; #line 196 "igraph.dats" tmp160 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (tmp159) ; #line 197 "igraph.dats" /* tmp150 = */ loop_32 (arg0, tmp160, arg1) ; break ; /* branch: __ats_lab_24 */ #line 212 "igraph.dats" __ats_lab_24_0: #line 212 "igraph.dats" // if (tmp148 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 212 "igraph.dats" __ats_lab_24_1: break ; } while (0) ; #line 215 "igraph.dats" tmp165 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ; #line 217 "igraph.dats" tmp166 = linmap_remove_01917_ats_int64_type_2cats_ptr_type (tmp165, arg1, statmp36) ; #line 219 "igraph.dats" do { /* branch: __ats_lab_34 */ #line 219 "igraph.dats" __ats_lab_34_0: #line 219 "igraph.dats" if (tmp166 == (ats_sum_ptr_type)0) { goto __ats_lab_35_0 ; } #line 219 "igraph.dats" __ats_lab_34_1: #line 219 "igraph.dats" ATS_FREE(tmp166) ; break ; /* branch: __ats_lab_35 */ #line 219 "igraph.dats" __ats_lab_35_0: #line 219 "igraph.dats" // if (tmp166 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 219 "igraph.dats" __ats_lab_35_1: break ; } while (0) ; return /* (tmp146) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_node_remove] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 6398(line=250, offs=13) -- 7155(line=269, offs=30) */ ATSstaticdec() ats_void_type loop_37 (ats_ptr_type arg0, ats_int64_type arg1, ats_int64_type arg2, ats_ptr_type arg3) { /* local vardec */ // ATSlocal_void (tmp219) ; ATSlocal (ats_int64_type, tmp220) ; ATSlocal (ats_ptr_type, tmp221) ; ATSlocal (ats_bool_type, tmp222) ; ATSlocal (ats_int64_type, tmp223) ; ATSlocal (ats_ptr_type, tmp224) ; // ATSlocal_void (tmp225) ; ATSlocal (ats_ptr_type, tmp226) ; ATSlocal (ats_ptr_type, tmp227) ; // ATSlocal_void (tmp228) ; ATSlocal (ats_bool_type, tmp229) ; ATSlocal (ats_bool_type, tmp230) ; __ats_lab_loop_37: #line 254 "igraph.dats" do { /* branch: __ats_lab_37 */ #line 255 "igraph.dats" __ats_lab_37_0: #line 255 "igraph.dats" if (arg3 == (ats_sum_ptr_type)0) { goto __ats_lab_38_0 ; } #line 255 "igraph.dats" __ats_lab_37_1: #line 255 "igraph.dats" tmp220 = ats_caselptr_mac(anairiats_sum_0, arg3, atslab_0) ; #line 255 "igraph.dats" tmp221 = ats_caselptr_mac(anairiats_sum_0, arg3, atslab_1) ; #line 256 "igraph.dats" tmp222 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__eq_temp_temp (tmp220, arg1) ; #line 256 "igraph.dats" if (!tmp222) { goto __ats_lab_38_1 ; } #line 256 "igraph.dats" arg0 = arg0 ; #line 256 "igraph.dats" arg1 = arg1 ; #line 256 "igraph.dats" arg2 = arg2 ; #line 256 "igraph.dats" arg3 = tmp221 ; #line 256 "igraph.dats" goto __ats_lab_loop_37 ; // tail call break ; /* branch: __ats_lab_38 */ #line 258 "igraph.dats" __ats_lab_38_0: #line 258 "igraph.dats" if (arg3 == (ats_sum_ptr_type)0) { goto __ats_lab_39_0 ; } #line 258 "igraph.dats" __ats_lab_38_1: #line 258 "igraph.dats" tmp223 = ats_caselptr_mac(anairiats_sum_0, arg3, atslab_0) ; #line 258 "igraph.dats" tmp224 = ats_caselptr_mac(anairiats_sum_0, arg3, atslab_1) ; #line 259 "igraph.dats" /* tmp225 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_int_edge_remove (arg0, tmp223, arg2) ; #line 260 "igraph.dats" tmp226 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, tmp223) ; #line 261 "igraph.dats" tmp227 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get (tmp226) ; #line 263 "igraph.dats" tmp230 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_ismem (tmp227, arg1) ; #line 263 "igraph.dats" tmp229 = atspre_neg_bool (tmp230) ; #line 262 "igraph.dats" if (tmp229) { #line 264 "igraph.dats" /* tmp228 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_int_edge_insert (arg0, tmp223, arg1) ; } else { /* empty */ } /* end of [if] */ #line 267 "igraph.dats" arg0 = arg0 ; #line 267 "igraph.dats" arg1 = arg1 ; #line 267 "igraph.dats" arg2 = arg2 ; #line 267 "igraph.dats" arg3 = tmp224 ; #line 267 "igraph.dats" goto __ats_lab_loop_37 ; // tail call break ; /* branch: __ats_lab_39 */ #line 269 "igraph.dats" __ats_lab_39_0: #line 269 "igraph.dats" // if (arg3 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 269 "igraph.dats" __ats_lab_39_1: break ; } while (0) ; return /* (tmp219) */ ; } /* end of [loop_37] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 7370(line=275, offs=13) -- 8141(line=295, offs=30) */ ATSstaticdec() ats_void_type loop_38 (ats_ptr_type arg0, ats_int64_type arg1, ats_int64_type arg2, ats_ptr_type arg3) { /* local vardec */ // ATSlocal_void (tmp234) ; ATSlocal (ats_int64_type, tmp235) ; ATSlocal (ats_ptr_type, tmp236) ; ATSlocal (ats_bool_type, tmp237) ; ATSlocal (ats_int64_type, tmp238) ; ATSlocal (ats_ptr_type, tmp239) ; // ATSlocal_void (tmp240) ; ATSlocal (ats_ptr_type, tmp241) ; ATSlocal (ats_ptr_type, tmp242) ; // ATSlocal_void (tmp243) ; ATSlocal (ats_bool_type, tmp244) ; ATSlocal (ats_bool_type, tmp245) ; __ats_lab_loop_38: #line 279 "igraph.dats" do { /* branch: __ats_lab_40 */ #line 280 "igraph.dats" __ats_lab_40_0: #line 280 "igraph.dats" if (arg3 == (ats_sum_ptr_type)0) { goto __ats_lab_41_0 ; } #line 280 "igraph.dats" __ats_lab_40_1: #line 280 "igraph.dats" tmp235 = ats_caselptr_mac(anairiats_sum_0, arg3, atslab_0) ; #line 280 "igraph.dats" tmp236 = ats_caselptr_mac(anairiats_sum_0, arg3, atslab_1) ; #line 281 "igraph.dats" tmp237 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__eq_temp_temp (tmp235, arg1) ; #line 281 "igraph.dats" if (!tmp237) { goto __ats_lab_41_1 ; } #line 282 "igraph.dats" arg0 = arg0 ; #line 282 "igraph.dats" arg1 = arg1 ; #line 282 "igraph.dats" arg2 = arg2 ; #line 282 "igraph.dats" arg3 = tmp236 ; #line 282 "igraph.dats" goto __ats_lab_loop_38 ; // tail call break ; /* branch: __ats_lab_41 */ #line 284 "igraph.dats" __ats_lab_41_0: #line 284 "igraph.dats" if (arg3 == (ats_sum_ptr_type)0) { goto __ats_lab_42_0 ; } #line 284 "igraph.dats" __ats_lab_41_1: #line 284 "igraph.dats" tmp238 = ats_caselptr_mac(anairiats_sum_0, arg3, atslab_0) ; #line 284 "igraph.dats" tmp239 = ats_caselptr_mac(anairiats_sum_0, arg3, atslab_1) ; #line 285 "igraph.dats" /* tmp240 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_mov_edge_remove (arg0, tmp238, arg2) ; #line 286 "igraph.dats" tmp241 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, tmp238) ; #line 287 "igraph.dats" tmp242 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get (tmp241) ; #line 289 "igraph.dats" tmp245 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_ismem (tmp242, arg1) ; #line 289 "igraph.dats" tmp244 = atspre_neg_bool (tmp245) ; #line 288 "igraph.dats" if (tmp244) { #line 290 "igraph.dats" /* tmp243 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_mov_edge_insert (arg0, tmp238, arg1) ; } else { /* empty */ } /* end of [if] */ #line 293 "igraph.dats" arg0 = arg0 ; #line 293 "igraph.dats" arg1 = arg1 ; #line 293 "igraph.dats" arg2 = arg2 ; #line 293 "igraph.dats" arg3 = tmp239 ; #line 293 "igraph.dats" goto __ats_lab_loop_38 ; // tail call break ; /* branch: __ats_lab_42 */ #line 295 "igraph.dats" __ats_lab_42_0: #line 295 "igraph.dats" // if (arg3 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 295 "igraph.dats" __ats_lab_42_1: break ; } while (0) ; return /* (tmp234) */ ; } /* end of [loop_38] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 5535(line=227, offs=22) -- 9007(line=322, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_node_coalesce (ats_ptr_type arg0, ats_int64_type arg1, ats_int64_type arg2) { /* local vardec */ // ATSlocal_void (tmp204) ; ATSlocal (ats_ptr_type, tmp205) ; ATSlocal (ats_ptr_type, tmp206) ; ATSlocal (ats_ptr_type, tmp207) ; // ATSlocal_void (tmp208) ; ATSlocal (ats_ptr_type, tmp209) ; ATSlocal (ats_ptr_type, tmp210) ; ATSlocal (ats_ptr_type, tmp211) ; ATSlocal (ats_ptr_type, tmp212) ; // ATSlocal_void (tmp213) ; ATSlocal (ats_ptr_type, tmp214) ; ATSlocal (ats_ptr_type, tmp215) ; // ATSlocal_void (tmp216) ; ATSlocal (ats_ptr_type, tmp217) ; ATSlocal (ats_ptr_type, tmp218) ; // ATSlocal_void (tmp231) ; ATSlocal (ats_ptr_type, tmp232) ; ATSlocal (ats_ptr_type, tmp233) ; // ATSlocal_void (tmp246) ; ATSlocal (ats_int_type, tmp247) ; ATSlocal (ats_int_type, tmp248) ; // ATSlocal_void (tmp249) ; ATSlocal (ats_int_type, tmp250) ; ATSlocal (ats_int_type, tmp251) ; ATSlocal (ats_int_type, tmp252) ; ATSlocal (ats_int_type, tmp253) ; ATSlocal (ats_int_type, tmp254) ; ATSlocal (ats_ptr_type, tmp255) ; ATSlocal (ats_ptr_type, tmp256) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_node_coalesce: #line 229 "igraph.dats" tmp205 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ; #line 231 "igraph.dats" tmp207 = ats_ptrget_mac(ats_ptr_type, tmp205) ; #line 231 "igraph.dats" tmp206 = linmap_search_01915_ats_int64_type_2cats_ptr_type (tmp207, arg2, statmp36) ; #line 234 "igraph.dats" do { /* branch: __ats_lab_36 */ #line 235 "igraph.dats" __ats_lab_36_0: #line 235 "igraph.dats" if (tmp206 == (ats_sum_ptr_type)0) { goto __ats_lab_43_0 ; } #line 235 "igraph.dats" __ats_lab_36_1: #line 235 "igraph.dats" tmp209 = ats_caselptr_mac(anairiats_sum_3, tmp206, atslab_0) ; #line 235 "igraph.dats" ATS_FREE(tmp206) ; #line 236 "igraph.dats" tmp210 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, arg1) ; #line 238 "igraph.dats" tmp211 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get (tmp210) ; #line 239 "igraph.dats" tmp212 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove (tmp211, arg2) ; #line 240 "igraph.dats" /* tmp213 = */ ignodeinfo_intset_set (tmp210, tmp212) ; #line 243 "igraph.dats" tmp214 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get (tmp210) ; #line 244 "igraph.dats" tmp215 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove (tmp214, arg2) ; #line 245 "igraph.dats" /* tmp216 = */ ignodeinfo_movset_set (tmp210, tmp215) ; #line 247 "igraph.dats" tmp217 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get (tmp209) ; #line 248 "igraph.dats" tmp218 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (tmp217) ; #line 249 "igraph.dats" /* tmp231 = */ loop_37 (arg0, arg1, arg2, tmp218) ; #line 272 "igraph.dats" tmp232 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get (tmp209) ; #line 273 "igraph.dats" tmp233 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (tmp232) ; #line 274 "igraph.dats" /* tmp246 = */ loop_38 (arg0, arg1, arg2, tmp233) ; #line 299 "igraph.dats" tmp247 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_nlivtot_get (tmp210) ; #line 300 "igraph.dats" tmp248 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_nlivtot_get (tmp209) ; #line 301 "igraph.dats" tmp250 = atspre_add_int_int (tmp247, tmp248) ; #line 301 "igraph.dats" /* tmp249 = */ ignodeinfo_nlivtot_set (tmp210, tmp250) ; #line 304 "igraph.dats" tmp251 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_nusedef_get (tmp210) ; #line 305 "igraph.dats" tmp252 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_nusedef_get (tmp209) ; #line 307 "igraph.dats" tmp254 = atspre_add_int_int (tmp251, tmp252) ; #line 307 "igraph.dats" tmp253 = atspre_sub_int_int (tmp254, 2) ; #line 307 "igraph.dats" /* tmp208 = */ ignodeinfo_nusedef_set (tmp210, tmp253) ; break ; /* branch: __ats_lab_43 */ #line 312 "igraph.dats" __ats_lab_43_0: #line 312 "igraph.dats" // if (tmp206 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 312 "igraph.dats" __ats_lab_43_1: break ; } while (0) ; #line 315 "igraph.dats" tmp255 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ; #line 317 "igraph.dats" tmp256 = linmap_remove_01917_ats_int64_type_2cats_ptr_type (tmp255, arg2, statmp36) ; #line 319 "igraph.dats" do { /* branch: __ats_lab_44 */ #line 319 "igraph.dats" __ats_lab_44_0: #line 319 "igraph.dats" if (tmp256 == (ats_sum_ptr_type)0) { goto __ats_lab_45_0 ; } #line 319 "igraph.dats" __ats_lab_44_1: #line 319 "igraph.dats" ATS_FREE(tmp256) ; break ; /* branch: __ats_lab_45 */ #line 319 "igraph.dats" __ats_lab_45_0: #line 319 "igraph.dats" // if (tmp256 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 319 "igraph.dats" __ats_lab_45_1: break ; } while (0) ; return /* (tmp204) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_node_coalesce] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 9267(line=330, offs=9) -- 9540(line=338, offs=26) */ ATSstaticdec() ats_void_type loop_40 (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2) { /* local vardec */ // ATSlocal_void (tmp261) ; ATSlocal (ats_int64_type, tmp262) ; ATSlocal (ats_ptr_type, tmp263) ; // ATSlocal_void (tmp264) ; __ats_lab_loop_40: #line 333 "igraph.dats" do { /* branch: __ats_lab_46 */ #line 334 "igraph.dats" __ats_lab_46_0: #line 334 "igraph.dats" if (arg2 == (ats_sum_ptr_type)0) { goto __ats_lab_47_0 ; } #line 334 "igraph.dats" __ats_lab_46_1: #line 334 "igraph.dats" tmp262 = ats_caselptr_mac(anairiats_sum_0, arg2, atslab_0) ; #line 334 "igraph.dats" tmp263 = ats_caselptr_mac(anairiats_sum_0, arg2, atslab_1) ; #line 335 "igraph.dats" /* tmp264 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_int_edge_insert (arg0, arg1, tmp262) ; #line 336 "igraph.dats" arg0 = arg0 ; #line 336 "igraph.dats" arg1 = arg1 ; #line 336 "igraph.dats" arg2 = tmp263 ; #line 336 "igraph.dats" goto __ats_lab_loop_40 ; // tail call break ; /* branch: __ats_lab_47 */ #line 338 "igraph.dats" __ats_lab_47_0: #line 338 "igraph.dats" // if (arg2 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 338 "igraph.dats" __ats_lab_47_1: break ; } while (0) ; return /* (tmp261) */ ; } /* end of [loop_40] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 9071(line=325, offs=20) -- 9599(line=343, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_node_freeze (ats_ptr_type arg0, ats_int64_type arg1) { /* local vardec */ // ATSlocal_void (tmp257) ; ATSlocal (ats_ptr_type, tmp258) ; ATSlocal (ats_ptr_type, tmp259) ; ATSlocal (ats_ptr_type, tmp260) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_node_freeze: #line 326 "igraph.dats" tmp258 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, arg1) ; #line 327 "igraph.dats" tmp259 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get (tmp258) ; #line 328 "igraph.dats" tmp260 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (tmp259) ; #line 329 "igraph.dats" /* tmp257 = */ loop_40 (arg0, arg1, tmp260) ; return /* (tmp257) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_node_freeze] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 9807(line=351, offs=18) -- 10207(line=362, offs=8) */ ATSstaticdec() ats_void_type __ats_fun_42 (ats_int64_type arg0, ats_ref_type arg1) { /* local vardec */ // ATSlocal_void (tmp268) ; ATSlocal (ats_bool_type, tmp269) ; ATSlocal (ats_bool_type, tmp270) ; ATSlocal (ats_ptr_type, tmp271) ; ATSlocal (ats_int_type, tmp272) ; ATSlocal (ats_bool_type, tmp273) ; ATSlocal (ats_ptr_type, tmp274) ; __ats_lab___ats_fun_42: #line 353 "igraph.dats" do { /* branch: __ats_lab_48 */ #line 354 "igraph.dats" __ats_lab_48_0: #line 354 "igraph.dats" __ats_lab_48_1: #line 354 "igraph.dats" tmp269 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_is_fixed (arg0) ; #line 354 "igraph.dats" if (!tmp269) { goto __ats_lab_49_1 ; } break ; /* branch: __ats_lab_49 */ #line 355 "igraph.dats" __ats_lab_49_0: #line 355 "igraph.dats" __ats_lab_49_1: #line 355 "igraph.dats" tmp270 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_ismov (ats_ptrget_mac(ats_ptr_type, arg1)) ; #line 355 "igraph.dats" if (!tmp270) { goto __ats_lab_50_1 ; } break ; /* branch: __ats_lab_50 */ #line 356 "igraph.dats" __ats_lab_50_0: #line 356 "igraph.dats" __ats_lab_50_1: #line 357 "igraph.dats" tmp271 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get (ats_ptrget_mac(ats_ptr_type, arg1)) ; #line 358 "igraph.dats" tmp272 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_size (tmp271) ; #line 360 "igraph.dats" tmp273 = atspre_ilt (tmp272, statmp0) ; #line 360 "igraph.dats" if (tmp273) { #line 360 "igraph.dats" tmp274 = ATS_MALLOC(sizeof(anairiats_sum_4)) ; ((ats_exn_ptr_type)tmp274)->tag = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.tag ; ((ats_exn_ptr_type)tmp274)->name = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.name ; ats_selptrset_mac(anairiats_sum_4, tmp274, atslab_0, arg0) ; #line 360 "igraph.dats" /* tmp268 = */ ats_raise_exn (tmp274) ; } else { /* empty */ } /* end of [if] */ break ; } while (0) ; return /* (tmp268) */ ; } /* end of [__ats_fun_42] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_42_closure_type ; ats_void_type __ats_fun_42_clofun (ats_clo_ptr_type cloptr, ats_int64_type arg0, ats_ref_type arg1) { __ats_fun_42 (arg0, arg1) ; return ; } /* end of function */ ATSinline() ats_void_type __ats_fun_42_closure_init (__ats_fun_42_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_42_clofun ; return ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 9684(line=348, offs=22) -- 10419(line=371, offs=4) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_search_lowdeg (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp265) ; ATSlocal (ats_ptr_type, tmp266) ; ATSlocal (ats_ptr_type, tmp267) ; ATSlocal (__ats_fun_42_closure_type, tmp275) ; // ATSlocal_void (tmp276) ; ATSlocal (ats_ptr_type, tmp277) ; ATSlocal (ats_ptr_type, tmp278) ; ATSlocal (ats_int64_type, tmp279) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_search_lowdeg: #line 349 "igraph.dats" ATS_TRYWITH_TRY(tmp278) #line 350 "igraph.dats" tmp266 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ; #line 351 "igraph.dats" /* ats_ptr_type tmp267 ; */ #line 351 "igraph.dats" tmp267 = &(tmp275) ; __ats_fun_42_closure_init (tmp267) ; // closure initialization #line 364 "igraph.dats" tmp277 = ats_ptrget_mac(ats_ptr_type, tmp266) ; #line 364 "igraph.dats" /* tmp276 = */ linmap_foreach_clo_01918_ats_int64_type_2cats_ptr_type (tmp277, tmp267) ; #line 367 "igraph.dats" tmp265 = (ats_sum_ptr_type)0 ; ATS_TRYWITH_WITH(tmp278) do { /* branch: __ats_lab_51 */ #line 369 "igraph.dats" __ats_lab_51_0: #line 369 "igraph.dats" if (((ats_exn_ptr_type)tmp278)->tag != _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.tag) { ats_raise_exn (tmp278) ; } #line 369 "igraph.dats" __ats_lab_51_1: #line 369 "igraph.dats" tmp279 = ats_caselptr_mac(anairiats_sum_4, tmp278, atslab_0) ; #line 369 "igraph.dats" ATS_FREE(tmp278) ; #line 369 "igraph.dats" tmp265 = ATS_MALLOC(sizeof(anairiats_sum_5)) ; ats_selptrset_mac(anairiats_sum_5, tmp265, atslab_0, tmp279) ; break ; } while (0) ; ATS_TRYWITH_END() ; return (tmp265) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_search_lowdeg] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 10869(line=385, offs=11) -- 11365(line=398, offs=30) */ ATSstaticdec() ats_bool_type loop_45 (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) { /* local vardec */ ATSlocal (ats_bool_type, tmp285) ; ATSlocal (ats_int64_type, tmp286) ; ATSlocal (ats_ptr_type, tmp287) ; ATSlocal (ats_bool_type, tmp288) ; ATSlocal (ats_bool_type, tmp289) ; __ats_lab_loop_45: #line 389 "igraph.dats" do { /* branch: __ats_lab_52 */ #line 390 "igraph.dats" __ats_lab_52_0: #line 390 "igraph.dats" if (arg3 == (ats_sum_ptr_type)0) { goto __ats_lab_56_0 ; } #line 390 "igraph.dats" __ats_lab_52_1: #line 390 "igraph.dats" tmp286 = ats_caselptr_mac(anairiats_sum_0, arg3, atslab_0) ; #line 390 "igraph.dats" tmp287 = ats_caselptr_mac(anairiats_sum_0, arg3, atslab_1) ; #line 391 "igraph.dats" do { /* branch: __ats_lab_53 */ #line 392 "igraph.dats" __ats_lab_53_0: #line 392 "igraph.dats" __ats_lab_53_1: #line 392 "igraph.dats" tmp288 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__eq_temp_temp (arg1, tmp286) ; #line 392 "igraph.dats" if (!tmp288) { goto __ats_lab_54_1 ; } #line 393 "igraph.dats" arg0 = arg0 ; #line 393 "igraph.dats" arg1 = arg1 ; #line 393 "igraph.dats" arg2 = arg2 ; #line 393 "igraph.dats" arg3 = tmp287 ; #line 393 "igraph.dats" goto __ats_lab_loop_45 ; // tail call break ; /* branch: __ats_lab_54 */ #line 394 "igraph.dats" __ats_lab_54_0: #line 394 "igraph.dats" __ats_lab_54_1: #line 394 "igraph.dats" tmp289 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_ismem (arg2, tmp286) ; #line 394 "igraph.dats" if (!tmp289) { goto __ats_lab_55_1 ; } #line 395 "igraph.dats" arg0 = arg0 ; #line 395 "igraph.dats" arg1 = arg1 ; #line 395 "igraph.dats" arg2 = arg2 ; #line 395 "igraph.dats" arg3 = tmp287 ; #line 395 "igraph.dats" goto __ats_lab_loop_45 ; // tail call break ; /* branch: __ats_lab_55 */ #line 396 "igraph.dats" __ats_lab_55_0: #line 396 "igraph.dats" __ats_lab_55_1: #line 396 "igraph.dats" tmp285 = ats_false_bool ; break ; } while (0) ; break ; /* branch: __ats_lab_56 */ #line 398 "igraph.dats" __ats_lab_56_0: #line 398 "igraph.dats" // if (arg3 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 398 "igraph.dats" __ats_lab_56_1: #line 398 "igraph.dats" tmp285 = ats_true_bool ; break ; } while (0) ; return (tmp285) ; } /* end of [loop_45] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 10550(line=376, offs=7) -- 11443(line=401, offs=4) */ ATSstaticdec() ats_bool_type test_44 (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2, ats_int64_type arg3) { /* local vardec */ ATSlocal (ats_bool_type, tmp281) ; ATSlocal (ats_ptr_type, tmp282) ; ATSlocal (ats_ptr_type, tmp283) ; ATSlocal (ats_ptr_type, tmp284) ; __ats_lab_test_44: #line 381 "igraph.dats" tmp282 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, arg3) ; #line 382 "igraph.dats" tmp283 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get (tmp282) ; #line 383 "igraph.dats" tmp284 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (tmp283) ; #line 384 "igraph.dats" tmp281 = loop_45 (arg0, arg1, arg2, tmp284) ; return (tmp281) ; } /* end of [test_44] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 11471(line=402, offs=7) -- 11867(line=412, offs=24) */ ATSstaticdec() ats_void_type proc_46 (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) { /* local vardec */ // ATSlocal_void (tmp290) ; ATSlocal (ats_int64_type, tmp291) ; ATSlocal (ats_ptr_type, tmp292) ; ATSlocal (ats_bool_type, tmp293) ; ATSlocal (ats_bool_type, tmp294) ; ATSlocal (ats_ptr_type, tmp295) ; __ats_lab_proc_46: #line 406 "igraph.dats" do { /* branch: __ats_lab_57 */ #line 407 "igraph.dats" __ats_lab_57_0: #line 407 "igraph.dats" if (arg3 == (ats_sum_ptr_type)0) { goto __ats_lab_61_0 ; } #line 407 "igraph.dats" __ats_lab_57_1: #line 407 "igraph.dats" tmp291 = ats_caselptr_mac(anairiats_sum_0, arg3, atslab_0) ; #line 407 "igraph.dats" tmp292 = ats_caselptr_mac(anairiats_sum_0, arg3, atslab_1) ; #line 407 "igraph.dats" do { /* branch: __ats_lab_58 */ #line 408 "igraph.dats" __ats_lab_58_0: #line 408 "igraph.dats" __ats_lab_58_1: #line 408 "igraph.dats" tmp293 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_is_fixed (tmp291) ; #line 408 "igraph.dats" if (!tmp293) { goto __ats_lab_59_1 ; } #line 408 "igraph.dats" arg0 = arg0 ; #line 408 "igraph.dats" arg1 = arg1 ; #line 408 "igraph.dats" arg2 = arg2 ; #line 408 "igraph.dats" arg3 = tmp292 ; #line 408 "igraph.dats" goto __ats_lab_proc_46 ; // tail call break ; /* branch: __ats_lab_59 */ #line 409 "igraph.dats" __ats_lab_59_0: #line 409 "igraph.dats" __ats_lab_59_1: #line 409 "igraph.dats" tmp294 = test_44 (arg0, arg1, arg2, tmp291) ; #line 409 "igraph.dats" if (!tmp294) { goto __ats_lab_60_1 ; } #line 409 "igraph.dats" tmp295 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ((ats_exn_ptr_type)tmp295)->tag = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.tag ; ((ats_exn_ptr_type)tmp295)->name = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.name ; ats_selptrset_mac(anairiats_sum_6, tmp295, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_6, tmp295, atslab_1, tmp291) ; #line 409 "igraph.dats" /* tmp290 = */ ats_raise_exn (tmp295) ; break ; /* branch: __ats_lab_60 */ #line 410 "igraph.dats" __ats_lab_60_0: #line 410 "igraph.dats" __ats_lab_60_1: #line 410 "igraph.dats" arg0 = arg0 ; #line 410 "igraph.dats" arg1 = arg1 ; #line 410 "igraph.dats" arg2 = arg2 ; #line 410 "igraph.dats" arg3 = tmp292 ; #line 410 "igraph.dats" goto __ats_lab_proc_46 ; // tail call break ; } while (0) ; break ; /* branch: __ats_lab_61 */ #line 412 "igraph.dats" __ats_lab_61_0: #line 412 "igraph.dats" // if (arg3 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 412 "igraph.dats" __ats_lab_61_1: break ; } while (0) ; return /* (tmp290) */ ; } /* end of [proc_46] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 11969(line=417, offs=18) -- 12243(line=424, offs=8) */ ATSstaticdec() ats_void_type __ats_fun_47 (ats_ptr_type env0, ats_int64_type arg0, ats_ref_type arg1) { /* local vardec */ // ATSlocal_void (tmp298) ; ATSlocal (ats_ptr_type, tmp299) ; ATSlocal (ats_ptr_type, tmp300) ; ATSlocal (ats_ptr_type, tmp301) ; __ats_lab___ats_fun_47: #line 419 "igraph.dats" tmp299 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get (ats_ptrget_mac(ats_ptr_type, arg1)) ; #line 420 "igraph.dats" tmp300 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get (ats_ptrget_mac(ats_ptr_type, arg1)) ; #line 421 "igraph.dats" tmp301 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__templst_of_tempset (tmp300) ; #line 423 "igraph.dats" /* tmp298 = */ proc_46 (env0, arg0, tmp299, tmp301) ; return /* (tmp298) */ ; } /* end of [__ats_fun_47] */ typedef struct { ats_fun_ptr_type closure_fun ; ats_ptr_type closure_env_0 ; } __ats_fun_47_closure_type ; ats_void_type __ats_fun_47_clofun (ats_clo_ptr_type cloptr, ats_int64_type arg0, ats_ref_type arg1) { __ats_fun_47 (((__ats_fun_47_closure_type*)cloptr)->closure_env_0, arg0, arg1) ; return ; } /* end of function */ ATSinline() ats_void_type __ats_fun_47_closure_init (__ats_fun_47_closure_type *p_clo, ats_ptr_type env0) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_47_clofun ; p_clo->closure_env_0 = env0 ; return ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 10487(line=374, offs=24) -- 12464(line=433, offs=4) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_search_coalesce (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp280) ; ATSlocal (ats_ptr_type, tmp296) ; ATSlocal (ats_ptr_type, tmp297) ; ATSlocal (__ats_fun_47_closure_type, tmp302) ; // ATSlocal_void (tmp303) ; ATSlocal (ats_ptr_type, tmp304) ; ATSlocal (ats_ptr_type, tmp305) ; ATSlocal (ats_int64_type, tmp306) ; ATSlocal (ats_int64_type, tmp307) ; ATSlocal (anairiats_rec_7, tmp308) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_search_coalesce: #line 415 "igraph.dats" ATS_TRYWITH_TRY(tmp305) #line 416 "igraph.dats" tmp296 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ; #line 417 "igraph.dats" /* ats_ptr_type tmp297 ; */ #line 417 "igraph.dats" tmp297 = &(tmp302) ; __ats_fun_47_closure_init (tmp297, arg0) ; // closure initialization #line 426 "igraph.dats" tmp304 = ats_ptrget_mac(ats_ptr_type, tmp296) ; #line 426 "igraph.dats" /* tmp303 = */ linmap_foreach_clo_01918_ats_int64_type_2cats_ptr_type (tmp304, tmp297) ; #line 429 "igraph.dats" tmp280 = (ats_sum_ptr_type)0 ; ATS_TRYWITH_WITH(tmp305) do { /* branch: __ats_lab_62 */ #line 431 "igraph.dats" __ats_lab_62_0: #line 431 "igraph.dats" if (((ats_exn_ptr_type)tmp305)->tag != _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.tag) { ats_raise_exn (tmp305) ; } #line 431 "igraph.dats" __ats_lab_62_1: #line 431 "igraph.dats" tmp306 = ats_caselptr_mac(anairiats_sum_6, tmp305, atslab_0) ; #line 431 "igraph.dats" tmp307 = ats_caselptr_mac(anairiats_sum_6, tmp305, atslab_1) ; #line 431 "igraph.dats" ATS_FREE(tmp305) ; #line 431 "igraph.dats" tmp308.atslab_0 = tmp306 ; tmp308.atslab_1 = tmp307 ; #line 431 "igraph.dats" tmp280 = ATS_MALLOC(sizeof(anairiats_sum_8)) ; ats_selptrset_mac(anairiats_sum_8, tmp280, atslab_0, tmp308) ; break ; } while (0) ; ATS_TRYWITH_END() ; return (tmp280) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_search_coalesce] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 12655(line=439, offs=18) -- 13079(line=451, offs=8) */ ATSstaticdec() ats_void_type __ats_fun_49 (ats_int64_type arg0, ats_ref_type arg1) { /* local vardec */ // ATSlocal_void (tmp312) ; ATSlocal (ats_ptr_type, tmp313) ; ATSlocal (ats_bool_type, tmp314) ; ATSlocal (ats_ptr_type, tmp315) ; ATSlocal (ats_int_type, tmp316) ; ATSlocal (ats_int_type, tmp317) ; ATSlocal (ats_bool_type, tmp318) ; ATSlocal (ats_int_type, tmp319) ; ATSlocal (ats_ptr_type, tmp320) ; __ats_lab___ats_fun_49: #line 442 "igraph.dats" tmp313 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get (ats_ptrget_mac(ats_ptr_type, arg1)) ; #line 444 "igraph.dats" tmp314 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_isnot_empty (tmp313) ; #line 444 "igraph.dats" if (tmp314) { #line 445 "igraph.dats" tmp315 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get (ats_ptrget_mac(ats_ptr_type, arg1)) ; #line 446 "igraph.dats" tmp316 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_size (tmp313) ; #line 447 "igraph.dats" tmp317 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_size (tmp315) ; #line 449 "igraph.dats" tmp319 = atspre_iadd (tmp316, tmp317) ; #line 449 "igraph.dats" tmp318 = atspre_ilt (tmp319, statmp0) ; #line 449 "igraph.dats" if (tmp318) { #line 449 "igraph.dats" tmp320 = ATS_MALLOC(sizeof(anairiats_sum_4)) ; ((ats_exn_ptr_type)tmp320)->tag = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.tag ; ((ats_exn_ptr_type)tmp320)->name = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.name ; ats_selptrset_mac(anairiats_sum_4, tmp320, atslab_0, arg0) ; #line 449 "igraph.dats" /* tmp312 = */ ats_raise_exn (tmp320) ; } else { /* empty */ } /* end of [if] */ } else { /* empty */ } /* end of [if] */ return /* (tmp312) */ ; } /* end of [__ats_fun_49] */ typedef struct { ats_fun_ptr_type closure_fun ; } __ats_fun_49_closure_type ; ats_void_type __ats_fun_49_clofun (ats_clo_ptr_type cloptr, ats_int64_type arg0, ats_ref_type arg1) { __ats_fun_49 (arg0, arg1) ; return ; } /* end of function */ ATSinline() ats_void_type __ats_fun_49_closure_init (__ats_fun_49_closure_type *p_clo) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_49_clofun ; return ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 12532(line=436, offs=22) -- 13291(line=460, offs=4) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_search_freeze (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp309) ; ATSlocal (ats_ptr_type, tmp310) ; ATSlocal (ats_ptr_type, tmp311) ; ATSlocal (__ats_fun_49_closure_type, tmp321) ; // ATSlocal_void (tmp322) ; ATSlocal (ats_ptr_type, tmp323) ; ATSlocal (ats_ptr_type, tmp324) ; ATSlocal (ats_int64_type, tmp325) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_search_freeze: #line 437 "igraph.dats" ATS_TRYWITH_TRY(tmp324) #line 438 "igraph.dats" tmp310 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ; #line 439 "igraph.dats" /* ats_ptr_type tmp311 ; */ #line 439 "igraph.dats" tmp311 = &(tmp321) ; __ats_fun_49_closure_init (tmp311) ; // closure initialization #line 453 "igraph.dats" tmp323 = ats_ptrget_mac(ats_ptr_type, tmp310) ; #line 453 "igraph.dats" /* tmp322 = */ linmap_foreach_clo_01918_ats_int64_type_2cats_ptr_type (tmp323, tmp311) ; #line 456 "igraph.dats" tmp309 = (ats_sum_ptr_type)0 ; ATS_TRYWITH_WITH(tmp324) do { /* branch: __ats_lab_63 */ #line 458 "igraph.dats" __ats_lab_63_0: #line 458 "igraph.dats" if (((ats_exn_ptr_type)tmp324)->tag != _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.tag) { ats_raise_exn (tmp324) ; } #line 458 "igraph.dats" __ats_lab_63_1: #line 458 "igraph.dats" tmp325 = ats_caselptr_mac(anairiats_sum_4, tmp324, atslab_0) ; #line 458 "igraph.dats" ATS_FREE(tmp324) ; #line 458 "igraph.dats" tmp309 = ATS_MALLOC(sizeof(anairiats_sum_5)) ; ats_selptrset_mac(anairiats_sum_5, tmp309, atslab_0, tmp325) ; break ; } while (0) ; ATS_TRYWITH_END() ; return (tmp309) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_search_freeze] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 13665(line=471, offs=30) -- 14391(line=489, offs=8) */ ATSstaticdec() ats_void_type __ats_fun_51 (ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2, ats_int64_type arg0, ats_ref_type arg1) { /* local vardec */ // ATSlocal_void (tmp332) ; ATSlocal (ats_bool_type, tmp333) ; ATSlocal (ats_int_type, tmp334) ; // ATSlocal_void (tmp335) ; ATSlocal (ats_bool_type, tmp336) ; ATSlocal (ats_ptr_type, tmp337) ; ATSlocal (ats_int_type, tmp338) ; ATSlocal (ats_bool_type, tmp339) ; ATSlocal (ats_bool_type, tmp340) ; ATSlocal (ats_int_type, tmp341) ; ATSlocal (ats_int_type, tmp342) ; __ats_lab___ats_fun_51: #line 473 "igraph.dats" do { /* branch: __ats_lab_64 */ #line 474 "igraph.dats" __ats_lab_64_0: #line 474 "igraph.dats" __ats_lab_64_1: #line 474 "igraph.dats" tmp333 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_is_fixed (arg0) ; #line 474 "igraph.dats" if (!tmp333) { goto __ats_lab_65_1 ; } break ; /* branch: __ats_lab_65 */ #line 474 "igraph.dats" __ats_lab_65_0: #line 474 "igraph.dats" __ats_lab_65_1: #line 476 "igraph.dats" tmp334 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_nusedef_get (ats_ptrget_mac(ats_ptr_type, arg1)) ; #line 477 "igraph.dats" tmp336 = atspre_eq_int_int (tmp334, 0) ; #line 477 "igraph.dats" if (tmp336) { #line 477 "igraph.dats" tmp337 = ATS_MALLOC(sizeof(anairiats_sum_4)) ; ((ats_exn_ptr_type)tmp337)->tag = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.tag ; ((ats_exn_ptr_type)tmp337)->name = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.name ; ats_selptrset_mac(anairiats_sum_4, tmp337, atslab_0, arg0) ; #line 477 "igraph.dats" /* tmp335 = */ ats_raise_exn (tmp337) ; } else { /* empty */ } /* end of [if] */ #line 478 "igraph.dats" tmp338 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_nlivtot_get (ats_ptrget_mac(ats_ptr_type, arg1)) ; #line 479 "igraph.dats" tmp340 = atspre_gte_int_int (ats_ptrget_mac(ats_int_type, env1), 0) ; #line 479 "igraph.dats" if (tmp340) { #line 480 "igraph.dats" tmp341 = atspre_mul_int_int (ats_ptrget_mac(ats_int_type, env1), tmp334) ; #line 480 "igraph.dats" tmp342 = atspre_mul_int_int (tmp338, ats_ptrget_mac(ats_int_type, env2)) ; #line 480 "igraph.dats" tmp339 = atspre_lt_int_int (tmp341, tmp342) ; } else { #line 480 "igraph.dats" tmp339 = ats_true_bool ; } /* end of [if] */ #line 482 "igraph.dats" if (tmp339) { #line 483 "igraph.dats" ats_ptrget_mac(ats_int64_type, env0) = arg0 ; #line 483 "igraph.dats" ats_ptrget_mac(ats_int_type, env1) = tmp338 ; #line 483 "igraph.dats" ats_ptrget_mac(ats_int_type, env2) = tmp334 ; } else { /* empty */ } /* end of [if] */ break ; } while (0) ; return /* (tmp332) */ ; } /* end of [__ats_fun_51] */ typedef struct { ats_fun_ptr_type closure_fun ; ats_ptr_type closure_env_0 ; ats_ptr_type closure_env_1 ; ats_ptr_type closure_env_2 ; } __ats_fun_51_closure_type ; ats_void_type __ats_fun_51_clofun (ats_clo_ptr_type cloptr, ats_int64_type arg0, ats_ref_type arg1) { __ats_fun_51 (((__ats_fun_51_closure_type*)cloptr)->closure_env_0, ((__ats_fun_51_closure_type*)cloptr)->closure_env_1, ((__ats_fun_51_closure_type*)cloptr)->closure_env_2, arg0, arg1) ; return ; } /* end of function */ ATSinline() ats_void_type __ats_fun_51_closure_init (__ats_fun_51_closure_type *p_clo, ats_ptr_type env0, ats_ptr_type env1, ats_ptr_type env2) { p_clo->closure_fun = (ats_fun_ptr_type)&__ats_fun_51_clofun ; p_clo->closure_env_0 = env0 ; p_clo->closure_env_1 = env1 ; p_clo->closure_env_2 = env2 ; return ; } /* end of function */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 13356(line=463, offs=21) -- 14798(line=500, offs=4) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_search_spill (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp326) ; ATSlocal (ats_ptr_type, tmp327) ; ATSlocal (ats_int64_type, tmp328) ; ATSlocal (ats_int_type, tmp329) ; ATSlocal (ats_int_type, tmp330) ; ATSlocal (ats_ptr_type, tmp331) ; ATSlocal (__ats_fun_51_closure_type, tmp343) ; // ATSlocal_void (tmp344) ; ATSlocal (ats_ptr_type, tmp345) ; ATSlocal (ats_bool_type, tmp346) ; ATSlocal (ats_ptr_type, tmp347) ; ATSlocal (ats_int64_type, tmp348) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_search_spill: #line 465 "igraph.dats" ATS_TRYWITH_TRY(tmp347) #line 466 "igraph.dats" tmp327 = ats_selsin_mac(ats_castfn_mac(ats_ptr_type, arg0), atslab_1) ; #line 467 "igraph.dats" /* ats_int64_type tmp328 ; */ #line 467 "igraph.dats" tmp328 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_bogus ; #line 468 "igraph.dats" /* ats_int_type tmp329 ; */ #line 468 "igraph.dats" tmp329 = -1 ; #line 469 "igraph.dats" /* ats_int_type tmp330 ; */ #line 469 "igraph.dats" tmp330 = 0 ; #line 471 "igraph.dats" /* ats_ptr_type tmp331 ; */ #line 471 "igraph.dats" tmp331 = &(tmp343) ; __ats_fun_51_closure_init (tmp331, (&tmp328), (&tmp329), (&tmp330)) ; // closure initialization #line 491 "igraph.dats" tmp345 = ats_ptrget_mac(ats_ptr_type, tmp327) ; #line 491 "igraph.dats" /* tmp344 = */ linmap_foreach_clo_01918_ats_int64_type_2cats_ptr_type (tmp345, tmp331) ; #line 496 "igraph.dats" tmp346 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2templab_2esats__temp_isnot_bogus (tmp328) ; #line 496 "igraph.dats" if (tmp346) { #line 496 "igraph.dats" tmp326 = ATS_MALLOC(sizeof(anairiats_sum_5)) ; ats_selptrset_mac(anairiats_sum_5, tmp326, atslab_0, tmp328) ; } else { #line 496 "igraph.dats" tmp326 = (ats_sum_ptr_type)0 ; } /* end of [if] */ ATS_TRYWITH_WITH(tmp347) do { /* branch: __ats_lab_66 */ #line 498 "igraph.dats" __ats_lab_66_0: #line 498 "igraph.dats" if (((ats_exn_ptr_type)tmp347)->tag != _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.tag) { ats_raise_exn (tmp347) ; } #line 498 "igraph.dats" __ats_lab_66_1: #line 498 "igraph.dats" tmp348 = ats_caselptr_mac(anairiats_sum_4, tmp347, atslab_0) ; #line 498 "igraph.dats" ATS_FREE(tmp347) ; #line 498 "igraph.dats" tmp326 = ATS_MALLOC(sizeof(anairiats_sum_5)) ; ats_selptrset_mac(anairiats_sum_5, tmp326, atslab_0, tmp348) ; break ; } while (0) ; ATS_TRYWITH_END() ; return (tmp326) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_search_spill] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 14932(line=509, offs=26) -- 16039(line=542, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_int_edge_insert (ats_ptr_type arg0, ats_int64_type arg1, ats_int64_type arg2) { /* local vardec */ // ATSlocal_void (tmp349) ; ATSlocal (ats_ptr_type, tmp350) ; ATSlocal (ats_ptr_type, tmp351) ; ATSlocal (ats_ptr_type, tmp352) ; ATSlocal (ats_ptr_type, tmp353) ; // ATSlocal_void (tmp354) ; ATSlocal (ats_ptr_type, tmp355) ; ATSlocal (ats_ptr_type, tmp356) ; // ATSlocal_void (tmp357) ; ATSlocal (ats_int_type, tmp358) ; ATSlocal (ats_ptr_type, tmp359) ; ATSlocal (ats_ptr_type, tmp360) ; ATSlocal (ats_bool_type, tmp361) ; // ATSlocal_void (tmp362) ; ATSlocal (ats_ptr_type, tmp363) ; ATSlocal (ats_ptr_type, tmp364) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_int_edge_insert: #line 515 "igraph.dats" tmp350 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, arg1) ; #line 516 "igraph.dats" tmp351 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, arg2) ; #line 518 "igraph.dats" tmp352 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get (tmp350) ; #line 519 "igraph.dats" tmp353 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_add (tmp352, arg2) ; #line 520 "igraph.dats" /* tmp354 = */ ignodeinfo_intset_set (tmp350, tmp353) ; #line 524 "igraph.dats" tmp355 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get (tmp351) ; #line 525 "igraph.dats" tmp356 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_add (tmp355, arg1) ; #line 526 "igraph.dats" /* tmp357 = */ ignodeinfo_intset_set (tmp351, tmp356) ; #line 529 "igraph.dats" /* ats_int_type tmp358 ; */ #line 529 "igraph.dats" tmp358 = 0 ; #line 530 "igraph.dats" tmp359 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get (tmp350) ; #line 531 "igraph.dats" tmp360 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove_flag (tmp359, arg2, (&tmp358)) ; #line 532 "igraph.dats" tmp361 = atspre_gt_int_int (tmp358, 0) ; #line 532 "igraph.dats" if (tmp361) { #line 533 "igraph.dats" /* tmp362 = */ ignodeinfo_movset_set (tmp350, tmp360) ; #line 534 "igraph.dats" tmp363 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get (tmp351) ; #line 535 "igraph.dats" tmp364 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove_flag (tmp363, arg1, (&tmp358)) ; #line 536 "igraph.dats" /* tmp349 = */ ignodeinfo_movset_set (tmp351, tmp364) ; } else { /* empty */ } /* end of [if] */ return /* (tmp349) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_int_edge_insert] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 16111(line=545, offs=26) -- 16814(line=565, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_int_edge_remove (ats_ptr_type arg0, ats_int64_type arg1, ats_int64_type arg2) { /* local vardec */ // ATSlocal_void (tmp365) ; ATSlocal (ats_ptr_type, tmp366) ; ATSlocal (ats_ptr_type, tmp367) ; ATSlocal (ats_ptr_type, tmp368) ; // ATSlocal_void (tmp369) ; ATSlocal (ats_ptr_type, tmp370) ; ATSlocal (ats_ptr_type, tmp371) ; ATSlocal (ats_ptr_type, tmp372) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_int_edge_remove: #line 552 "igraph.dats" tmp366 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, arg1) ; #line 553 "igraph.dats" tmp367 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get (tmp366) ; #line 554 "igraph.dats" tmp368 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove (tmp367, arg2) ; #line 555 "igraph.dats" /* tmp369 = */ ignodeinfo_intset_set (tmp366, tmp368) ; #line 558 "igraph.dats" tmp370 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, arg2) ; #line 559 "igraph.dats" tmp371 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get (tmp370) ; #line 560 "igraph.dats" tmp372 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove (tmp371, arg1) ; #line 561 "igraph.dats" /* tmp365 = */ ignodeinfo_intset_set (tmp370, tmp372) ; return /* (tmp365) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_int_edge_remove] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 16917(line=571, offs=7) -- 17172(line=578, offs=24) */ ATSstaticdec() ats_void_type loop1_55 (ats_ptr_type arg0, ats_int64_type arg1, ats_ptr_type arg2) { /* local vardec */ // ATSlocal_void (tmp374) ; ATSlocal (ats_int64_type, tmp375) ; ATSlocal (ats_ptr_type, tmp376) ; // ATSlocal_void (tmp377) ; __ats_lab_loop1_55: #line 573 "igraph.dats" do { /* branch: __ats_lab_67 */ #line 574 "igraph.dats" __ats_lab_67_0: #line 574 "igraph.dats" if (arg2 == (ats_sum_ptr_type)0) { goto __ats_lab_68_0 ; } #line 574 "igraph.dats" __ats_lab_67_1: #line 574 "igraph.dats" tmp375 = ats_caselptr_mac(anairiats_sum_0, arg2, atslab_0) ; #line 574 "igraph.dats" tmp376 = ats_caselptr_mac(anairiats_sum_0, arg2, atslab_1) ; #line 575 "igraph.dats" /* tmp377 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_int_edge_insert (arg0, arg1, tmp375) ; #line 576 "igraph.dats" arg0 = arg0 ; #line 576 "igraph.dats" arg1 = arg1 ; #line 576 "igraph.dats" arg2 = tmp376 ; #line 576 "igraph.dats" goto __ats_lab_loop1_55 ; // tail call break ; /* branch: __ats_lab_68 */ #line 578 "igraph.dats" __ats_lab_68_0: #line 578 "igraph.dats" // if (arg2 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 578 "igraph.dats" __ats_lab_68_1: break ; } while (0) ; return /* (tmp374) */ ; } /* end of [loop1_55] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 17199(line=580, offs=7) -- 17459(line=587, offs=24) */ ATSstaticdec() ats_void_type loop2_56 (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp378) ; ATSlocal (ats_int64_type, tmp379) ; ATSlocal (ats_ptr_type, tmp380) ; ATSlocal (ats_ptr_type, tmp381) ; // ATSlocal_void (tmp382) ; __ats_lab_loop2_56: #line 582 "igraph.dats" do { /* branch: __ats_lab_69 */ #line 583 "igraph.dats" __ats_lab_69_0: #line 583 "igraph.dats" if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_70_0 ; } #line 583 "igraph.dats" __ats_lab_69_1: #line 583 "igraph.dats" tmp379 = ats_caselptr_mac(anairiats_sum_0, arg1, atslab_0) ; #line 583 "igraph.dats" tmp380 = ats_caselptr_mac(anairiats_sum_0, arg1, atslab_1) ; #line 584 "igraph.dats" tmp381 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, tmp379) ; #line 585 "igraph.dats" /* tmp382 = */ loop1_55 (arg0, tmp379, tmp380) ; #line 585 "igraph.dats" arg0 = arg0 ; #line 585 "igraph.dats" arg1 = tmp380 ; #line 585 "igraph.dats" goto __ats_lab_loop2_56 ; // tail call break ; /* branch: __ats_lab_70 */ #line 587 "igraph.dats" __ats_lab_70_0: #line 587 "igraph.dats" // if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 587 "igraph.dats" __ats_lab_70_1: break ; } while (0) ; return /* (tmp378) */ ; } /* end of [loop2_56] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 16900(line=570, offs=19) -- 17520(line=591, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_initialize (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp373) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_initialize: #line 590 "igraph.dats" /* tmp373 = */ loop2_56 (arg0, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__theGeneralReglst) ; return /* (tmp373) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_initialize] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 17608(line=596, offs=26) -- 18179(line=612, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_mov_edge_insert (ats_ptr_type arg0, ats_int64_type arg1, ats_int64_type arg2) { /* local vardec */ // ATSlocal_void (tmp383) ; ATSlocal (ats_ptr_type, tmp384) ; ATSlocal (ats_ptr_type, tmp385) ; ATSlocal (ats_bool_type, tmp386) ; ATSlocal (ats_ptr_type, tmp387) ; ATSlocal (ats_ptr_type, tmp388) ; // ATSlocal_void (tmp389) ; ATSlocal (ats_ptr_type, tmp390) ; ATSlocal (ats_ptr_type, tmp391) ; ATSlocal (ats_ptr_type, tmp392) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_mov_edge_insert: #line 597 "igraph.dats" tmp384 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, arg1) ; #line 598 "igraph.dats" tmp385 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_intset_get (tmp384) ; #line 599 "igraph.dats" tmp386 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_ismem (tmp385, arg2) ; #line 601 "igraph.dats" if (tmp386) { /* empty */ } else { #line 602 "igraph.dats" tmp387 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get (tmp384) ; #line 603 "igraph.dats" tmp388 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_add (tmp387, arg2) ; #line 604 "igraph.dats" /* tmp389 = */ ignodeinfo_movset_set (tmp384, tmp388) ; #line 605 "igraph.dats" tmp390 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, arg2) ; #line 606 "igraph.dats" tmp391 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get (tmp390) ; #line 607 "igraph.dats" tmp392 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_add (tmp391, arg1) ; #line 608 "igraph.dats" /* tmp383 = */ ignodeinfo_movset_set (tmp390, tmp392) ; } /* end of [if] */ return /* (tmp383) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_mov_edge_insert] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/igraph.dats: 18251(line=615, offs=26) -- 18767(line=630, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_mov_edge_remove (ats_ptr_type arg0, ats_int64_type arg1, ats_int64_type arg2) { /* local vardec */ // ATSlocal_void (tmp393) ; ATSlocal (ats_ptr_type, tmp394) ; ATSlocal (ats_ptr_type, tmp395) ; ATSlocal (ats_ptr_type, tmp396) ; // ATSlocal_void (tmp397) ; ATSlocal (ats_ptr_type, tmp398) ; ATSlocal (ats_ptr_type, tmp399) ; ATSlocal (ats_ptr_type, tmp400) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_mov_edge_remove: #line 617 "igraph.dats" tmp394 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, arg1) ; #line 618 "igraph.dats" tmp395 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get (tmp394) ; #line 619 "igraph.dats" tmp396 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove (tmp395, arg2) ; #line 620 "igraph.dats" /* tmp397 = */ ignodeinfo_movset_set (tmp394, tmp396) ; #line 623 "igraph.dats" tmp398 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_nodeinfo_get (arg0, arg2) ; #line 624 "igraph.dats" tmp399 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__ignodeinfo_movset_get (tmp398) ; #line 625 "igraph.dats" tmp400 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2tempset_2esats__tempset_remove (tmp399, arg1) ; #line 626 "igraph.dats" /* tmp393 = */ ignodeinfo_movset_set (tmp398, tmp400) ; return /* (tmp393) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2esats__igraph_mov_edge_remove] */ /* static load function */ extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2error_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_2frame_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_2igraph_2esats__staload (void) ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats__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_2reference_2edats__staload (void) ; ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__staload () { static int _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__staload_flag = 0 ; if (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__staload_flag) return ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__staload_flag = 1 ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2error_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_2frame_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_2igraph_2esats__staload () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2list_2edats__staload () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2LIB_2linmap_randbst_2edats__staload () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2reference_2edats__staload () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.tag = ats_exception_con_tag_new () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.name = "_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found" ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.tag = ats_exception_con_tag_new () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.name = "_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found" ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.tag = ats_exception_con_tag_new () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.name = "_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found" ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.tag = ats_exception_con_tag_new () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found.name = "_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__Found" ; 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_2igraph_2edats__dynload_flag ; ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__dynload () { _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_2edats__dynload_flag = 1 ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2igraph_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(&statmp0, sizeof(ats_int_type)) ; ATS_GC_MARKROOT(&statmp36, sizeof(ats_ptr_type)) ; /* marking external values for GC */ /* code for dynamic loading */ #line 22 "igraph.dats" statmp0 = list_length_01478_ats_int64_type (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2frame_2esats__theGeneralReglst) ; #line 111 "igraph.dats" statmp36 = __ats_fun_11_closure_make () ; return ; } /* end of [dynload function] */ /* external codes at mid */ /* external codes at bot */ #line 634 "igraph.dats" ats_void_type ignodeinfo_intset_set (ats_ptr_type info, ats_ptr_type intset) { ((ignodeinfo_t)info)->atslab_intset = intset ; return ; } ats_void_type ignodeinfo_movset_set (ats_ptr_type info, ats_ptr_type movset) { ((ignodeinfo_t)info)->atslab_movset = movset ; return ; } ats_void_type ignodeinfo_nusedef_set (ats_ptr_type info, ats_int_type n) { ((ignodeinfo_t)info)->atslab_nusedef = n ; return ; } ats_void_type ignodeinfo_nusedef_inc (ats_ptr_type info) { ++(((ignodeinfo_t)info)->atslab_nusedef) ; return ; } ats_void_type ignodeinfo_nlivtot_set (ats_ptr_type info, ats_int_type n) { ((ignodeinfo_t)info)->atslab_nlivtot = n ; return ; } ats_void_type ignodeinfo_nlivtot_inc (ats_ptr_type info) { ++(((ignodeinfo_t)info)->atslab_nlivtot) ; return ; } /* ****** ****** */ /* end of [igraph_dats.c] */