From 302e3218b7d487539ec305bf23881a6ee7d5be99 Mon Sep 17 00:00:00 2001 From: Bryan Newbold Date: Mon, 20 Feb 2017 00:05:29 -0800 Subject: Import Upstream version 5e1 --- hobbit.info | 306 ++++++++++++++++++++++++++++++------------------------------ 1 file changed, 155 insertions(+), 151 deletions(-) (limited to 'hobbit.info') diff --git a/hobbit.info b/hobbit.info index a9d8b9f..d775565 100644 --- a/hobbit.info +++ b/hobbit.info @@ -1,4 +1,4 @@ -This is hobbit.info, produced by makeinfo version 4.0 from hobbit.texi. +This is hobbit.info, produced by makeinfo version 4.7 from hobbit.texi. INFO-DIR-SECTION The Algorithmic Language Scheme START-INFO-DIR-ENTRY @@ -40,8 +40,8 @@ approved by the author.  File: hobbit.info, Node: Introduction, Next: Compiling with Hobbit, Prev: Top, Up: Top -Introduction -************ +1 Introduction +************** Hobbit is a small optimizing scheme-to-C compiler written in Report 4 scheme and intended for use together with the SCM scheme interpreter of @@ -67,17 +67,17 @@ Hobbit (derived from hobbit5x) is now part of the SCM Scheme implementation. The most recent information about SCM can be found on SCM's "WWW" home page: - + `http://swiss.csail.mit.edu/~jaffer/SCM' Hobbit4d has also been ported to the Guile Scheme implementation: - + `http://www.gnu.org/software/guile/anon-cvs.html'  File: hobbit.info, Node: Compiling with Hobbit, Next: The Language Compiled, Prev: Introduction, Up: Top -Compiling with Hobbit -********************* +2 Compiling with Hobbit +*********************** * Menu: @@ -89,16 +89,16 @@ Compiling with Hobbit  File: hobbit.info, Node: Compiling And Linking, Next: Error Detection, Prev: Compiling with Hobbit, Up: Compiling with Hobbit -Compiling And Linking -===================== +2.1 Compiling And Linking +========================= `(require 'compile)' - - Function: hobbit name1.scm name2.scm ... + -- Function: hobbit name1.scm name2.scm ... Invokes the HOBBIT compiler to translate Scheme files `NAME1.scm', `NAME2.scm', ... to C files `NAME1.c' and `NAME1.h'. - - Function: compile-file name1.scm name2.scm ... + -- Function: compile-file name1.scm name2.scm ... Compiles the HOBBIT translation of NAME1.scm, NAME2.scm, ... to a dynamically linkable object file NAME1, where is the object file suffix for your computer (for @@ -110,26 +110,26 @@ Compiling And Linking cd ~/scm/ scm -rcompile -e'(compile-file "example.scm")' - + Starting to read example.scm - + Generic (slow) arithmetic assumed: 1.0e-3 found. - + ** Pass 1 completed ** ** Pass 2 completed ** ** Pass 3 completed ** ** Pass 4 completed ** ** Pass 5 completed ** ** Pass 6 completed ** - + C source file example.c is built. C header file example.h is built. - + These top level higher order procedures are not clonable (slow): (nonkeyword_make-promise map-streams generate-vector runge-kutta-4) These top level procedures create non-liftable closures (slow): (nonkeyword_make-promise damped-oscillator map-streams scale-vector elementwise runge-kutta-4 integrate-system) - + ; Scheme (linux) script created by SLIB/batch Sun Apr 7 22:49:49 2002 ; ================ Write file with C defines (delete-file "scmflags.h") @@ -138,7 +138,7 @@ Compiling And Linking (lambda (fp) (for-each (lambda (string) (write-line string fp)) - '("#define IMPLINIT \"Init5d9.scm\"" + '("#define IMPLINIT \"Init5e1.scm\"" "#define BIGNUMS" "#define FLOATS" "#define ARRAYS" @@ -149,10 +149,10 @@ Compiling And Linking (delete-file "example.o") ; ================ Link C object files (delete-file "slibcat") - + Compilation finished at Sun Apr 7 22:49:50 - - Function: compile->executable exename name1.scm name2.scm ... + -- Function: compile->executable exename name1.scm name2.scm ... Compiles and links the HOBBIT translation of NAME1.scm, NAME2.scm, ... to a SCM executable named EXENAME. NAME1.scm must be in the current directory; NAME2.scm, ... may be in other directories. @@ -162,26 +162,26 @@ Compiling And Linking cd ~/scm/ scm -rcompile -e'(compile->executable "exscm" "example.scm")' - + Starting to read example.scm - + Generic (slow) arithmetic assumed: 1.0e-3 found. - + ** Pass 1 completed ** ** Pass 2 completed ** ** Pass 3 completed ** ** Pass 4 completed ** ** Pass 5 completed ** ** Pass 6 completed ** - + C source file example.c is built. C header file example.h is built. - + These top level higher order procedures are not clonable (slow): (nonkeyword_make-promise map-streams generate-vector runge-kutta-4) These top level procedures create non-liftable closures (slow): (nonkeyword_make-promise damped-oscillator map-streams scale-vector elementwise runge-kutta-4 integrate-system) - + ; Scheme (linux) script created by SLIB/batch Sun Apr 7 22:46:31 2002 ; ================ Write file with C defines (delete-file "scmflags.h") @@ -190,7 +190,7 @@ Compiling And Linking (lambda (fp) (for-each (lambda (string) (write-line string fp)) - '("#define IMPLINIT \"Init5d9.scm\"" + '("#define IMPLINIT \"Init5e1.scm\"" "#define COMPILED_INITS init_example();" "#define CCLO" "#define FLOATS")))) @@ -198,7 +198,7 @@ Compiling And Linking (system "gcc -O2 -c continue.c scmmain.c findexec.c script.c time.c repl.c scl.c eval.c sys.c subr.c debug.c unif.c rope.c example.c scm.c") ; ================ Link C object files (system "gcc -rdynamic -o exscm continue.o scmmain.o findexec.o script.o time.o repl.o scl.o eval.o sys.o subr.o debug.o unif.o rope.o example.o scm.o -L/usr/local/lib/scm/ -lm -lc") - + Compilation finished at Sun Apr 7 22:46:44 _Note Bene:_ `#define CCLO' must be present in `scmfig.h'. @@ -212,8 +212,8 @@ before calling these functions.  File: hobbit.info, Node: Error Detection, Next: Hobbit Options, Prev: Compiling And Linking, Up: Compiling with Hobbit -Error Detection -=============== +2.2 Error Detection +=================== Error detection during compilation is minimal. In case your scheme code is syntactically incorrect, hobbit may crash with no sensible error @@ -252,8 +252,8 @@ and hobbit will immediately halt compilation.  File: hobbit.info, Node: Hobbit Options, Next: CC Optimizations, Prev: Error Detection, Up: Compiling with Hobbit -Hobbit Options -============== +2.3 Hobbit Options +================== 1. Selecting the type of arithmetics. @@ -440,8 +440,8 @@ Hobbit Options  File: hobbit.info, Node: CC Optimizations, Prev: Hobbit Options, Up: Compiling with Hobbit -CC Optimizations -================ +2.4 CC Optimizations +==================== When using the C compiler to compile the C code output by hobbit, always use strong optimizations (eg. `cc -xO3' for cc on Sun, `gcc -O2' or @@ -461,8 +461,8 @@ checking into the code it produces.  File: hobbit.info, Node: The Language Compiled, Next: Performance of Compiled Code, Prev: Compiling with Hobbit, Up: Top -The Language Compiled -********************* +3 The Language Compiled +*********************** Calls to `load' or `require' occurring at the top level of a file being compiled are ignored. Calls to `load' or `require' within a procedure @@ -483,8 +483,8 @@ hobbit as Scheme primitives.  File: hobbit.info, Node: Macros, Next: SCM Primitive Procedures, Prev: The Language Compiled, Up: The Language Compiled -Macros -====== +3.1 Macros +========== The Common-lisp style defmacro implemented in SCM is recognized and procedures defined by defmacro are expanded during compilation. @@ -500,8 +500,8 @@ file.  File: hobbit.info, Node: SCM Primitive Procedures, Next: SLIB Logical Procedures, Prev: Macros, Up: The Language Compiled -SCM Primitive Procedures -======================== +3.2 SCM Primitive Procedures +============================ Real-only versions of transcedental procedures (warning: these procedures are not compiled directly into the corresponding C library @@ -522,8 +522,8 @@ delete-file, rename-file.  File: hobbit.info, Node: SLIB Logical Procedures, Next: Fast Integer Calculations, Prev: SCM Primitive Procedures, Up: The Language Compiled -SLIB Logical Procedures -======================= +3.3 SLIB Logical Procedures +=========================== The following bitwise procedures in the scheme library file `logical.scm' are compiled directly to fast C operations on immediate @@ -534,8 +534,8 @@ C ops below): & | ^ ~ << >> The following alternative names logical:logand, logical:logior, -logical:logxor, logical:lognot, ash, logical:ash are compiled for the -generic case, not immediate-integers-only and are thus much slower. +logical:logxor, logical:lognot, and ash are compiled for the generic +case, not immediate-integers-only and are thus much slower. Notice that the procedures logsleft, logsright are NOT in the the library file `logical.scm:' the universal procedure ash is instead. @@ -549,8 +549,8 @@ logsleft and logsright are defined for non-compiled use in the file  File: hobbit.info, Node: Fast Integer Calculations, Next: Force and Delay, Prev: SLIB Logical Procedures, Up: The Language Compiled -Fast Integer Calculations -========================= +3.4 Fast Integer Calculations +============================= The following primitives are for immediate (30-bit) integer-only arithmetics. The are compiled directly into the corresponding C @@ -573,8 +573,8 @@ in the SCM distribution.  File: hobbit.info, Node: Force and Delay, Next: Suggestions for writing fast code, Prev: Fast Integer Calculations, Up: The Language Compiled -Force and Delay -=============== +3.5 Force and Delay +=================== The nonessential procedure `force' and syntax `delay' are implemented exactly as suggested in the report 4. This implementation deviates @@ -586,8 +586,8 @@ for the promises created by the interpreter.  File: hobbit.info, Node: Suggestions for writing fast code, Prev: Force and Delay, Up: The Language Compiled -Suggestions for writing fast code -================================= +3.6 Suggestions for writing fast code +===================================== The following suggestions may help you to write well-optimizable and fast code for the hobbit-scm combination. Roughly speaking, the main @@ -844,8 +844,8 @@ Here come the details.  File: hobbit.info, Node: Performance of Compiled Code, Next: Principles of Compilation, Prev: The Language Compiled, Up: Top -Performance of Compiled Code -**************************** +4 Performance of Compiled Code +****************************** * Menu: @@ -856,8 +856,8 @@ Performance of Compiled Code  File: hobbit.info, Node: Gain in Speed, Next: Benchmarks, Prev: Performance of Compiled Code, Up: Performance of Compiled Code -Gain in Speed -============= +4.1 Gain in Speed +================= The author has so far compiled and tested a number of large programs (theorem provers for various logics and hobbit itself). @@ -895,8 +895,8 @@ benchmark CPSTAK in the following table.  File: hobbit.info, Node: Benchmarks, Next: Benchmark Sources, Prev: Gain in Speed, Up: Performance of Compiled Code -Benchmarks -========== +4.2 Benchmarks +============== We will present a table with the performance of three scheme systems on a number of benchmarks: interpreted SCM, byte-compiled VSCM and @@ -956,8 +956,8 @@ before each test.  File: hobbit.info, Node: Benchmark Sources, Prev: Benchmarks, Up: Performance of Compiled Code -Benchmark Sources -================= +4.3 Benchmark Sources +===================== A selection of (smaller) benchmark sources ------------------------------------------ @@ -977,8 +977,8 @@ A selection of (smaller) benchmark sources  File: hobbit.info, Node: Destruct, Next: Recfib, Prev: Benchmark Sources, Up: Benchmark Sources -Destruct --------- +4.3.1 Destruct +-------------- ;;;; Destructive operation benchmark (define (destructive n m) @@ -1014,8 +1014,8 @@ Destruct  File: hobbit.info, Node: Recfib, Next: div-iter and div-rec, Prev: Destruct, Up: Benchmark Sources -Recfib ------- +4.3.2 Recfib +------------ (define (recfib x) (if (< x 2) @@ -1026,8 +1026,8 @@ Recfib  File: hobbit.info, Node: div-iter and div-rec, Next: Hanoi, Prev: Recfib, Up: Benchmark Sources -div-iter and div-rec --------------------- +4.3.3 div-iter and div-rec +-------------------------- ;;;; Recursive and iterative benchmark divides by 2 using lists of ()'s. (define (create-n n) @@ -1060,8 +1060,8 @@ div-iter and div-rec  File: hobbit.info, Node: Hanoi, Next: Tak, Prev: div-iter and div-rec, Up: Benchmark Sources -Hanoi ------ +4.3.4 Hanoi +----------- ;;; C optimiser should be able to remove the first recursive call to ;;; move-them. But Solaris 2.4 cc, gcc 2.5.8, and hobbit don't. @@ -1077,8 +1077,8 @@ Hanoi  File: hobbit.info, Node: Tak, Next: Ctak, Prev: Hanoi, Up: Benchmark Sources -Tak ---- +4.3.5 Tak +--------- ;;;; A vanilla version of the TAKeuchi function (define (tak x y z) @@ -1092,15 +1092,15 @@ Tak  File: hobbit.info, Node: Ctak, Next: Takl, Prev: Tak, Up: Benchmark Sources -Ctak ----- +4.3.6 Ctak +---------- ;;;; A version of the TAK function that uses continuations (define (ctak x y z) (call-with-current-continuation (lambda (k) (ctak-aux k x y z)))) - + (define (ctak-aux k x y z) (cond ((not (< y x)) (k z)) (else (call-with-current-continuation @@ -1112,9 +1112,9 @@ Ctak (lambda (k) (ctak-aux k (- y 1) z x))) (call-with-current-continuation (lambda (k) (ctak-aux k (- z 1) x y)))))))) - + (define (id x) x) - + (define (mb-test r x y z) (if (zero? r) (ctak x y z) @@ -1124,26 +1124,26 @@ Ctak  File: hobbit.info, Node: Takl, Next: Cpstak, Prev: Ctak, Up: Benchmark Sources -Takl ----- +4.3.7 Takl +---------- ;;;; The TAKeuchi function using lists as counters. (define (listn n) (if (not (= 0 n)) (cons n (listn (- n 1))) '())) - + (define l18 (listn 18)) (define l12 (listn 12)) (define l6 (listn 6)) - + (define (mas x y z) (if (not (shorterp y x)) z (mas (mas (cdr x) y z) (mas (cdr y) z x) (mas (cdr z) x y)))) - + (define (shorterp x y) (and (pair? y) (or (null? x) (shorterp (cdr x) (cdr y))))) ;; call: (mas l18 l12 l6) @@ -1151,8 +1151,8 @@ Takl  File: hobbit.info, Node: Cpstak, Next: Pi, Prev: Takl, Up: Benchmark Sources -Cpstak ------- +4.3.8 Cpstak +------------ ;;;; A continuation-passing version of the TAK benchmark. (define (cpstak x y z) @@ -1178,8 +1178,8 @@ Cpstak  File: hobbit.info, Node: Pi, Prev: Cpstak, Up: Benchmark Sources -Pi --- +4.3.9 Pi +-------- (define (pi n . args) (let* ((d (car args)) @@ -1210,8 +1210,8 @@ Pi  File: hobbit.info, Node: Principles of Compilation, Next: About Hobbit, Prev: Performance of Compiled Code, Up: Top -Principles of Compilation -************************* +5 Principles of Compilation +*************************** * Menu: @@ -1225,8 +1225,8 @@ Principles of Compilation  File: hobbit.info, Node: Macro-Expansion and Analysis, Next: Building Closures, Prev: Principles of Compilation, Up: Principles of Compilation -Expansion and Analysis -====================== +5.1 Expansion and Analysis +========================== 1. Macros defined by defmacro and all the quasiquotes are expanded and compiled into equivalent form without macros and quasiquotes. @@ -1320,8 +1320,8 @@ Expansion and Analysis  File: hobbit.info, Node: Building Closures, Next: Lambda-lifting, Prev: Macro-Expansion and Analysis, Up: Principles of Compilation -Building Closures -================= +5.2 Building Closures +===================== Here Hobbit produces code for creating real closures for all the lambda-terms which are not marked as being liftable by the previous @@ -1388,8 +1388,8 @@ called using an internal apply.  File: hobbit.info, Node: Lambda-lifting, Next: Statement-lifting, Prev: Building Closures, Up: Principles of Compilation -Lambda-lifting -============== +5.3 Lambda-lifting +================== When this pass starts, all the real (nonliftable) closures have been translated to closure-creating code. The remaining lambda-terms are @@ -1415,7 +1415,7 @@ is converted to (define foo (lambda (x y) (foo-fn1 x y) )) - + (define foo-fn1 (lambda (x u) (+ u x) )) @@ -1435,10 +1435,10 @@ of these variables: (define (foo x y z i) (foo-fn2 x z i) ) - + (define foo-fn1 (lambda (x z u) (if x (+ (foo-fn2 x z u) 1))) ) - + (define foo-fn2 (lambda (x z v) (if (zero? v) 1 (foo-fn1 x z z))) ) @@ -1462,7 +1462,7 @@ is converted to incorrect scheme: (lambda (x y z) (foo-fn1 x (**c-adr** z) y) z)) - + (define foo-fn1 (lambda (x (**c-adr** z) u) (set! (**c-fetch** z) (+ u x (**c-fetch** z))) )) @@ -1475,7 +1475,7 @@ The last two will finally be compiled into correct C as: foo_fn1(x, &z, y); return z; } - + SCM foo_fn1(x, z, u) SCM x, u; SCM *z; @@ -1486,8 +1486,8 @@ The last two will finally be compiled into correct C as:  File: hobbit.info, Node: Statement-lifting, Next: Higher-order Arglists, Prev: Lambda-lifting, Up: Principles of Compilation -Statement-lifting -================= +5.4 Statement-lifting +===================== As the scheme do-construction is compiled into C for, but for cannot occur in all places in C (it is a statement), then if the do in a @@ -1517,8 +1517,8 @@ the beginning of the procedure body.  File: hobbit.info, Node: Higher-order Arglists, Next: Typing and Constants, Prev: Statement-lifting, Up: Principles of Compilation -Higher-order Arglists -===================== +5.5 Higher-order Arglists +========================= All procedures taking a list argument are converted into ordinary non-list taking procedures and they are called with the list-making @@ -1583,8 +1583,8 @@ FUN is the name of the original procedure.  File: hobbit.info, Node: Typing and Constants, Prev: Higher-order Arglists, Up: Principles of Compilation -Typing and Constants -==================== +5.6 Typing and Constants +======================== All C<->Scheme conversions for immediate objects like numbers, booleans and characters are introduced. Internal apply is used for undefined @@ -1623,8 +1623,8 @@ instead of the default:  File: hobbit.info, Node: About Hobbit, Next: Index, Prev: Principles of Compilation, Up: Top -About Hobbit -************ +6 About Hobbit +************** * Menu: @@ -1637,8 +1637,8 @@ About Hobbit  File: hobbit.info, Node: The Aims of Developing Hobbit, Next: Manifest, Prev: About Hobbit, Up: About Hobbit -The Aims of Developing Hobbit -============================= +6.1 The Aims of Developing Hobbit +================================= 1. Producing maximally fast C code from simple scheme code. @@ -1657,8 +1657,8 @@ The Aims of Developing Hobbit  File: hobbit.info, Node: Manifest, Next: Author and Contributors, Prev: The Aims of Developing Hobbit, Up: About Hobbit -Manifest -======== +6.2 Manifest +============ `hobbit.scm' the hobbit compiler. `scmhob.scm' the file defining some additional procedures recognized @@ -1670,8 +1670,8 @@ Manifest  File: hobbit.info, Node: Author and Contributors, Next: Future Improvements, Prev: Manifest, Up: About Hobbit -Author and Contributors -======================= +6.3 Author and Contributors +=========================== Tanel Tammet Department of Computing Science @@ -1696,8 +1696,8 @@ NMICHAEL@us.oracle.com, Lee Iverson (leei@ai.sri.com), Burt Leavenworth  File: hobbit.info, Node: Future Improvements, Next: Release History, Prev: Author and Contributors, Up: About Hobbit -Future Improvements -=================== +6.4 Future Improvements +======================= 1. Optimisations: @@ -1727,8 +1727,8 @@ Future Improvements  File: hobbit.info, Node: Release History, Prev: Future Improvements, Up: About Hobbit -Release History -=============== +6.5 Release History +=================== [In February 2002, hobbit5x was integrated into the SCM distribution. Changes since then are recorded in `scm/ChangeLog'.] @@ -1916,55 +1916,59 @@ File: hobbit.info, Node: Index, Prev: About Hobbit, Up: Top Index ***** +[index] * Menu: * compile->executable: Compiling And Linking. + (line 67) * compile-file: Compiling And Linking. + (line 13) * hobbit: Compiling And Linking. + (line 9)  Tag Table: Node: Top199 Node: Introduction1227 -Node: Compiling with Hobbit2540 -Node: Compiling And Linking2793 -Node: Error Detection7538 -Node: Hobbit Options8836 -Node: CC Optimizations15557 -Node: The Language Compiled16505 -Node: Macros17160 -Node: SCM Primitive Procedures17756 -Node: SLIB Logical Procedures18607 -Node: Fast Integer Calculations19763 +Node: Compiling with Hobbit2543 +Node: Compiling And Linking2801 +Node: Error Detection7487 +Node: Hobbit Options8793 +Node: CC Optimizations15522 +Node: The Language Compiled16478 +Node: Macros17137 +Node: SCM Primitive Procedures17741 +Node: SLIB Logical Procedures18600 +Node: Fast Integer Calculations19755 Node: Force and Delay20889 -Node: Suggestions for writing fast code21466 -Node: Performance of Compiled Code31657 -Node: Gain in Speed31913 -Node: Benchmarks33490 -Node: Benchmark Sources36582 -Node: Destruct36920 -Node: Recfib38495 -Node: div-iter and div-rec38738 -Node: Hanoi39812 -Node: Tak40381 -Node: Ctak40724 -Node: Takl41707 -Node: Cpstak42366 -Node: Pi43133 -Node: Principles of Compilation44250 -Node: Macro-Expansion and Analysis44672 -Node: Building Closures48469 -Node: Lambda-lifting51352 -Node: Statement-lifting54100 -Node: Higher-order Arglists55200 -Node: Typing and Constants56998 -Node: About Hobbit58254 -Node: The Aims of Developing Hobbit58510 -Node: Manifest59393 -Node: Author and Contributors59844 -Node: Future Improvements60891 -Node: Release History61648 -Node: Index68429 +Node: Suggestions for writing fast code21474 +Node: Performance of Compiled Code31673 +Node: Gain in Speed31933 +Node: Benchmarks33518 +Node: Benchmark Sources36618 +Node: Destruct36964 +Node: Recfib38551 +Node: div-iter and div-rec38806 +Node: Hanoi39892 +Node: Tak40473 +Node: Ctak40828 +Node: Takl41808 +Node: Cpstak42464 +Node: Pi43243 +Node: Principles of Compilation44372 +Node: Macro-Expansion and Analysis44798 +Node: Building Closures48603 +Node: Lambda-lifting51494 +Node: Statement-lifting54225 +Node: Higher-order Arglists55333 +Node: Typing and Constants57139 +Node: About Hobbit58403 +Node: The Aims of Developing Hobbit58663 +Node: Manifest59554 +Node: Author and Contributors60013 +Node: Future Improvements61068 +Node: Release History61833 +Node: Index68622  End Tag Table -- cgit v1.2.3