For testing libatscc2js
Atscc2js
/* ** ** The C code is generated by ATS/Postiats ** The starting compilation time is: 2015-11-3: 7h:20m ** */ /* ** include runtime header files */ #ifndef _ATS_CCOMP_HEADER_NONE #include "pats_ccomp_config.h" #include "pats_ccomp_basics.h" #include "pats_ccomp_typedefs.h" #include "pats_ccomp_instrset.h" #include "pats_ccomp_memalloc.h" #ifndef _ATS_CCOMP_EXCEPTION_NONE #include "pats_ccomp_memalloca.h" #include "pats_ccomp_exception.h" #endif // end of [_ATS_CCOMP_EXCEPTION_NONE] #endif /* _ATS_CCOMP_HEADER_NONE */ /* ** include prelude cats files */ #ifndef _ATS_CCOMP_PRELUDE_NONE // #include "prelude/CATS/basics.cats" #include "prelude/CATS/integer.cats" #include "prelude/CATS/pointer.cats" #include "prelude/CATS/bool.cats" #include "prelude/CATS/char.cats" #include "prelude/CATS/integer_ptr.cats" #include "prelude/CATS/integer_fixed.cats" #include "prelude/CATS/float.cats" #include "prelude/CATS/memory.cats" #include "prelude/CATS/string.cats" #include "prelude/CATS/strptr.cats" // #include "prelude/CATS/filebas.cats" // #include "prelude/CATS/list.cats" #include "prelude/CATS/option.cats" #include "prelude/CATS/array.cats" #include "prelude/CATS/arrayptr.cats" #include "prelude/CATS/arrayref.cats" #include "prelude/CATS/matrix.cats" #include "prelude/CATS/matrixptr.cats" // #endif /* _ATS_CCOMP_PRELUDE_NONE */ /* ** for user-supplied prelude */ #ifdef _ATS_CCOMP_PRELUDE_USER // #include _ATS_CCOMP_PRELUDE_USER // #endif /* _ATS_CCOMP_PRELUDE_USER */ /* ** for user2-supplied prelude */ #ifdef _ATS_CCOMP_PRELUDE_USER2 // #include _ATS_CCOMP_PRELUDE_USER2 // #endif /* _ATS_CCOMP_PRELUDE_USER2 */ /* staload-prologues(beg) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/SATS/list.sats: 262(line=21, offs=1) -- 291(line=21, offs=30) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 357(line=27, offs=1) -- 396(line=28, offs=32) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 423(line=32, offs=1) -- 455(line=32, offs=33) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 482(line=36, offs=1) -- 512(line=36, offs=31) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/SATS/print.sats: 189(line=14, offs=1) -- 218(line=14, offs=30) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 513(line=37, offs=1) -- 545(line=37, offs=33) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/SATS/filebas.sats: 200(line=16, offs=1) -- 229(line=16, offs=30) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/DATS/list.dats: 572(line=41, offs=1) -- 601(line=41, offs=30) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/SATS/list.sats: 262(line=21, offs=1) -- 291(line=21, offs=30) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 359(line=27, offs=1) -- 398(line=28, offs=32) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 425(line=32, offs=1) -- 457(line=33, offs=25) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 461(line=35, offs=1) -- 491(line=35, offs=31) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/SATS/print.sats: 189(line=14, offs=1) -- 218(line=14, offs=30) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/DATS/stream.dats: 516(line=39, offs=1) -- 547(line=39, offs=32) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/SATS/reference.sats: 200(line=16, offs=1) -- 229(line=16, offs=30) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/SATS/JSmath.sats: 200(line=16, offs=1) -- 229(line=16, offs=30) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/SATS/JSdate.sats: 200(line=16, offs=1) -- 229(line=16, offs=30) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/SATS/JSarray.sats: 200(line=16, offs=1) -- 229(line=16, offs=30) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/SATS/JSglobal.sats: 200(line=16, offs=1) -- 229(line=16, offs=30) */ /* /var/lib/openshift/5419477be0b8cddd09000122/app-root/repo/ats2-lang-contrib/contrib/libatscc/libatscc2js/SATS/print.sats: 189(line=14, offs=1) -- 218(line=14, offs=30) */ /* staload-prologues(end) */ /* typedefs-for-tyrecs-and-tysums(beg) */ /* typedefs-for-tyrecs-and-tysums(end) */ /* dynconlst-declaration(beg) */ /* dynconlst-declaration(end) */ /* dyncstlst-declaration(beg) */ ATSdyncst_mac(ats2jspre_print_string) ATSdyncst_mac(hello) /* dyncstlst-declaration(end) */ /* dynvalist-implementation(beg) */ /* dynvalist-implementation(end) */ /* exnconlst-declaration(beg) */ #ifndef _ATS_CCOMP_EXCEPTION_NONE ATSextern() atsvoid_t0ype the_atsexncon_initize ( atstype_exnconptr d2c, atstype_string exnmsg ) ; #endif // end of [_ATS_CCOMP_EXCEPTION_NONE] /* exnconlst-declaration(end) */ /* assumelst-declaration(beg) */ /* assumelst-declaration(end) */ /* extypelst-declaration(beg) */ /* extypelst-declaration(end) */ // ATSstatmpdec_void(statmp1) ; #if(0) ATSextern() atsvoid_t0ype hello() ; #endif // end of [QUALIFIED] /* /tmp/patsopt_ccats_w449no: 345(line=28, offs=6) -- 372(line=28, offs=33) */ /* local: global: hello$0$0(level=0) local: global: */ ATSextern() atsvoid_t0ype hello() { /* tmpvardeclst(beg) */ // ATStmpdec_void(tmpret0) ; /* tmpvardeclst(end) */ ATSfunbody_beg() /* emit_instr: loc0 = /tmp/patsopt_ccats_w449no: 340(line=28, offs=1) -- 372(line=28, offs=33) */ ATSINSflab(__patsflab_hello): /* emit_instr: loc0 = /tmp/patsopt_ccats_w449no: 350(line=28, offs=11) -- 372(line=28, offs=33) */ ATSINSmove_void(tmpret0, ats2jspre_print_string(ATSPMVstring("Hello, world!"))) ; ATSfunbody_end() ATSreturn_void(tmpret0) ; } /* end of [hello] */ /* ** for initialization(dynloading) */ ATSdynloadflag_minit(_057_tmp_057_patsopt_ccats_w449no__dynloadflag) ; ATSextern() atsvoid_t0ype _057_tmp_057_patsopt_ccats_w449no__dynload() { ATSfunbody_beg() ATSdynload(/*void*/) ATSdynloadflag_sta( _057_tmp_057_patsopt_ccats_w449no__dynloadflag ) ; ATSif( ATSCKiseqz( _057_tmp_057_patsopt_ccats_w449no__dynloadflag ) ) ATSthen() { ATSdynloadset(_057_tmp_057_patsopt_ccats_w449no__dynloadflag) ; /* dynexnlst-initize(beg) */ /* dynexnlst-initize(end) */ /* emit_instr: loc0 = /tmp/patsopt_ccats_w449no: 408(line=32, offs=10) -- 415(line=32, offs=17) */ ATSINSmove_void(statmp1, hello()) ; } /* ATSendif */ ATSfunbody_end() ATSreturn_void(tmpret_void) ; } /* end of [*_dynload] */ ATSextern() atsvoid_t0ype my_dynload() { ATSfunbody_beg() ATSINSmove_void(tmpret_void, _057_tmp_057_patsopt_ccats_w449no__dynload()) ; ATSfunbody_end() ATSreturn_void(tmpret_void) ; } // end-of-dynload-alias /* /tmp/patsopt_ccats_w449no: 440(line=36, offs=1) -- 542(line=42, offs=3) */ ATSextcode_beg() // ats2jspre_the_print_store_clear(); my_dynload(); alert(ats2jspre_the_print_store_join()); // ATSextcode_end() /* ****** ****** */ /* end-of-compilation-unit */