/* ** ** The C code is generated by ATS/Anairiats ** The compilation time is: 2011-9-10: 22h:12m ** */ /* include some .h files */ #ifndef _ATS_HEADER_NONE #include "ats_config.h" #include "ats_basics.h" #include "ats_types.h" #include "ats_exception.h" #include "ats_memory.h" #endif /* _ATS_HEADER_NONE */ /* include some .cats files */ #ifndef _ATS_PRELUDE_NONE #include "prelude/CATS/basics.cats" #include "prelude/CATS/bool.cats" #include "prelude/CATS/byte.cats" #include "prelude/CATS/char.cats" #include "prelude/CATS/float.cats" #include "prelude/CATS/integer.cats" #include "prelude/CATS/integer_fixed.cats" #include "prelude/CATS/integer_ptr.cats" #include "prelude/CATS/lazy.cats" #include "prelude/CATS/lazy_vt.cats" #include "prelude/CATS/pointer.cats" #include "prelude/CATS/printf.cats" #include "prelude/CATS/reference.cats" #include "prelude/CATS/sizetype.cats" #include "prelude/CATS/string.cats" #include "prelude/CATS/array.cats" #include "prelude/CATS/list.cats" #include "prelude/CATS/matrix.cats" #include "prelude/CATS/option.cats" #endif /* _ATS_PRELUDE_NONE */ /* prologues from statically loaded files */ /* external codes at top */ /* type definitions */ typedef struct { ats_int_type atslab_0 ; ats_ptr_type atslab_1 ; } anairiats_sum_0 ; /* external typedefs */ /* external dynamic constructor declarations */ ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__list_cons) ; ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__list_nil) ; /* external dynamic constant declarations */ ATSextern_fun(ats_int_type, atspre_add_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_bool_type, atspre_gt_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_bool_type, atspre_eq_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_int_type, atspre_compare_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_void_type, atspre_fprint_int) (ats_ptr_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_void_type, atspre_fprint_string) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnode) (ats_ptr_type, ats_int_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnodelst) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_bool_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_ismem) (ats_ptr_type, ats_int_type) ; ATSextern_fun(ats_ptr_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_add) (ats_ptr_type, ats_int_type) ; /* external dynamic terminating constant declarations */ #ifdef _ATS_PROOFCHECK #endif /* _ATS_PROOFCHECK */ /* sum constructor declarations */ /* exn constructor declarations */ /* global dynamic (non-functional) constant declarations */ /* internal function declarations */ static ats_void_type loop_9 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) ; /* partial value template declarations */ /* static temporary variable declarations */ /* external value variable declarations */ /* function implementations */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgnode.dats: 269(line=20, offs=27) -- 276(line=20, offs=34) */ ATSglobaldec() ats_int_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnode_make_int (ats_int_type arg0) { /* local vardec */ ATSlocal (ats_int_type, tmp0) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnode_make_int: #line 20 "fgnode.dats" tmp0 = arg0 ; return (tmp0) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnode_make_int] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgnode.dats: 323(line=24, offs=25) -- 357(line=24, offs=59) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnode (ats_ptr_type arg0, ats_int_type arg1) { /* local vardec */ // ATSlocal_void (tmp1) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnode: #line 24 "fgnode.dats" /* tmp1 = */ atspre_fprint_int (arg0, arg1) ; return /* (tmp1) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnode] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgnode.dats: 381(line=25, offs=24) -- 420(line=25, offs=63) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__print_fgnode (ats_int_type arg0) { /* local vardec */ // ATSlocal_void (tmp2) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__print_fgnode: #line 25 "fgnode.dats" /* tmp2 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnode (stdout, arg0) ; return /* (tmp2) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__print_fgnode] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgnode.dats: 444(line=26, offs=24) -- 483(line=26, offs=63) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__prerr_fgnode (ats_int_type arg0) { /* local vardec */ // ATSlocal_void (tmp3) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__prerr_fgnode: #line 26 "fgnode.dats" /* tmp3 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnode (stderr, arg0) ; return /* (tmp3) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__prerr_fgnode] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgnode.dats: 533(line=30, offs=28) -- 571(line=30, offs=66) */ ATSglobaldec() ats_bool_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__eq_fgnode_fgnode (ats_int_type arg0, ats_int_type arg1) { /* local vardec */ ATSlocal (ats_bool_type, tmp4) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__eq_fgnode_fgnode: #line 30 "fgnode.dats" tmp4 = atspre_eq_int_int (arg0, arg1) ; return (tmp4) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__eq_fgnode_fgnode] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgnode.dats: 605(line=32, offs=33) -- 648(line=32, offs=76) */ ATSglobaldec() ats_int_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__compare_fgnode_fgnode (ats_int_type arg0, ats_int_type arg1) { /* local vardec */ ATSlocal (ats_int_type, tmp5) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__compare_fgnode_fgnode: #line 32 "fgnode.dats" tmp5 = atspre_compare_int_int (arg0, arg1) ; return (tmp5) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__compare_fgnode_fgnode] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgnode.dats: 754(line=40, offs=25) -- 762(line=40, offs=33) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_nil () { /* local vardec */ ATSlocal (ats_ptr_type, tmp6) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_nil: #line 40 "fgnode.dats" tmp6 = (ats_sum_ptr_type)0 ; return (tmp6) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_nil] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgnode.dats: 788(line=41, offs=26) -- 802(line=41, offs=40) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_sing (ats_int_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp7) ; ATSlocal (ats_ptr_type, tmp8) ; ATSlocal (ats_ptr_type, tmp9) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_sing: #line 41 "fgnode.dats" tmp7 = ATS_MALLOC(sizeof(anairiats_sum_0)) ; ats_selptrset_mac(anairiats_sum_0, tmp7, atslab_0, arg0) ; #line 41 "fgnode.dats" tmp8 = &ats_selptr_mac(ats_castptr_mac(anairiats_sum_0, tmp7), atslab_1) ; #line 41 "fgnode.dats" tmp9 = (ats_sum_ptr_type)0 ; #line 41 "fgnode.dats" ats_ptrget_mac(ats_ptr_type, tmp8) = tmp9 ; return (tmp7) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_sing] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgnode.dats: 902(line=47, offs=7) -- 1208(line=54, offs=24) */ ATSstaticdec() ats_void_type loop_9 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) { /* local vardec */ // ATSlocal_void (tmp11) ; ATSlocal (ats_int_type, tmp12) ; ATSlocal (ats_ptr_type, tmp13) ; // ATSlocal_void (tmp14) ; ATSlocal (ats_bool_type, tmp15) ; // ATSlocal_void (tmp16) ; ATSlocal (ats_int_type, tmp17) ; __ats_lab_loop_9: #line 48 "fgnode.dats" do { /* branch: __ats_lab_0 */ #line 49 "fgnode.dats" __ats_lab_0_0: #line 49 "fgnode.dats" if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_1_0 ; } #line 49 "fgnode.dats" __ats_lab_0_1: #line 49 "fgnode.dats" tmp12 = ats_caselptr_mac(anairiats_sum_0, arg1, atslab_0) ; #line 49 "fgnode.dats" tmp13 = ats_caselptr_mac(anairiats_sum_0, arg1, atslab_1) ; #line 50 "fgnode.dats" tmp15 = atspre_gt_int_int (arg2, 0) ; #line 50 "fgnode.dats" if (tmp15) { #line 50 "fgnode.dats" /* tmp14 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ; } else { /* empty */ } /* end of [if] */ #line 51 "fgnode.dats" /* tmp16 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnode (arg0, tmp12) ; #line 52 "fgnode.dats" tmp17 = atspre_add_int_int (arg2, 1) ; #line 52 "fgnode.dats" arg0 = arg0 ; #line 52 "fgnode.dats" arg1 = tmp13 ; #line 52 "fgnode.dats" arg2 = tmp17 ; #line 52 "fgnode.dats" goto __ats_lab_loop_9 ; // tail call break ; /* branch: __ats_lab_1 */ #line 54 "fgnode.dats" __ats_lab_1_0: #line 54 "fgnode.dats" // if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 54 "fgnode.dats" __ats_lab_1_1: break ; } while (0) ; return /* (tmp11) */ ; } /* end of [loop_9] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgnode.dats: 854(line=46, offs=3) -- 1229(line=56, offs=2) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnodelst (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp10) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnodelst: #line 46 "fgnode.dats" /* tmp10 = */ loop_9 (arg0, arg1, 0) ; return /* (tmp10) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnodelst] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgnode.dats: 1286(line=58, offs=27) -- 1330(line=58, offs=71) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__print_fgnodelst (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp18) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__print_fgnodelst: #line 58 "fgnode.dats" /* tmp18 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnodelst (stdout, arg0) ; return /* (tmp18) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__print_fgnodelst] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgnode.dats: 1357(line=59, offs=27) -- 1401(line=59, offs=71) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__prerr_fgnodelst (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp19) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__prerr_fgnodelst: #line 59 "fgnode.dats" /* tmp19 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fprint_fgnodelst (stderr, arg0) ; return /* (tmp19) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__prerr_fgnodelst] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgnode.dats: 1450(line=63, offs=27) -- 1664(line=69, offs=25) */ ATSglobaldec() ats_bool_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_ismem (ats_ptr_type arg0, ats_int_type arg1) { /* local vardec */ ATSlocal (ats_bool_type, tmp20) ; ATSlocal (ats_int_type, tmp21) ; ATSlocal (ats_ptr_type, tmp22) ; ATSlocal (ats_bool_type, tmp23) ; ATSlocal (ats_bool_type, tmp24) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_ismem: #line 63 "fgnode.dats" do { /* branch: __ats_lab_2 */ #line 64 "fgnode.dats" __ats_lab_2_0: #line 64 "fgnode.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_3_0 ; } #line 64 "fgnode.dats" __ats_lab_2_1: #line 64 "fgnode.dats" tmp21 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_0) ; #line 64 "fgnode.dats" tmp22 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_1) ; #line 65 "fgnode.dats" tmp23 = atspre_ilt (arg1, tmp21) ; #line 65 "fgnode.dats" if (tmp23) { #line 65 "fgnode.dats" tmp20 = ats_false_bool ; } else { #line 66 "fgnode.dats" tmp24 = atspre_igt (arg1, tmp21) ; #line 66 "fgnode.dats" if (tmp24) { #line 66 "fgnode.dats" arg0 = tmp22 ; #line 66 "fgnode.dats" arg1 = arg1 ; #line 66 "fgnode.dats" goto __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_ismem ; // tail call } else { #line 67 "fgnode.dats" tmp20 = ats_true_bool ; } /* end of [if] */ } /* end of [if] */ break ; /* branch: __ats_lab_3 */ #line 69 "fgnode.dats" __ats_lab_3_0: #line 69 "fgnode.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 69 "fgnode.dats" __ats_lab_3_1: #line 69 "fgnode.dats" tmp20 = ats_false_bool ; break ; } while (0) ; return (tmp20) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_ismem] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/fgnode.dats: 1739(line=74, offs=25) -- 2034(line=82, offs=46) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_add (ats_ptr_type arg0, ats_int_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp25) ; ATSlocal (ats_int_type, tmp26) ; ATSlocal (ats_ptr_type, tmp27) ; ATSlocal (ats_bool_type, tmp28) ; ATSlocal (ats_bool_type, tmp29) ; ATSlocal (ats_ptr_type, tmp30) ; ATSlocal (ats_ptr_type, tmp31) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_add: #line 74 "fgnode.dats" do { /* branch: __ats_lab_4 */ #line 75 "fgnode.dats" __ats_lab_4_0: #line 75 "fgnode.dats" if (arg0 == (ats_sum_ptr_type)0) { goto __ats_lab_5_0 ; } #line 75 "fgnode.dats" __ats_lab_4_1: #line 75 "fgnode.dats" tmp26 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_0) ; #line 75 "fgnode.dats" tmp27 = ats_caselptr_mac(anairiats_sum_0, arg0, atslab_1) ; #line 76 "fgnode.dats" tmp28 = atspre_ilt (arg1, tmp26) ; #line 76 "fgnode.dats" if (tmp28) { #line 77 "fgnode.dats" tmp25 = ATS_MALLOC(sizeof(anairiats_sum_0)) ; ats_selptrset_mac(anairiats_sum_0, tmp25, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_0, tmp25, atslab_1, arg0) ; } else { #line 78 "fgnode.dats" tmp29 = atspre_igt (arg1, tmp26) ; #line 78 "fgnode.dats" if (tmp29) { #line 79 "fgnode.dats" tmp30 = _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_add (tmp27, arg1) ; #line 79 "fgnode.dats" tmp25 = ATS_MALLOC(sizeof(anairiats_sum_0)) ; ats_selptrset_mac(anairiats_sum_0, tmp25, atslab_0, tmp26) ; ats_selptrset_mac(anairiats_sum_0, tmp25, atslab_1, tmp30) ; } else { #line 80 "fgnode.dats" tmp25 = arg0 ; } /* end of [if] */ } /* end of [if] */ break ; /* branch: __ats_lab_5 */ #line 82 "fgnode.dats" __ats_lab_5_0: #line 82 "fgnode.dats" // if (arg0 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 82 "fgnode.dats" __ats_lab_5_1: #line 82 "fgnode.dats" tmp31 = (ats_sum_ptr_type)0 ; #line 82 "fgnode.dats" tmp25 = ATS_MALLOC(sizeof(anairiats_sum_0)) ; ats_selptrset_mac(anairiats_sum_0, tmp25, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_0, tmp25, atslab_1, tmp31) ; break ; } while (0) ; return (tmp25) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__fgnodelst_add] */ /* static load function */ extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__staload (void) ; ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2edats__staload () { static int _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2edats__staload_flag = 0 ; if (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2edats__staload_flag) return ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2edats__staload_flag = 1 ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2esats__staload () ; return ; } /* staload function */ /* dynamic load function */ // dynload flag declaration extern ats_int_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2edats__dynload_flag ; ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2edats__dynload () { _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2edats__dynload_flag = 1 ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2fgnode_2edats__staload () ; #ifdef _ATS_PROOFCHECK #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ /* marking external values for GC */ /* code for dynamic loading */ return ; } /* end of [dynload function] */ /* external codes at mid */ /* external codes at bot */ /* ****** ****** */ /* end of [fgnode_dats.c] */