diff options
Diffstat (limited to 'lib/csc/ir1.csc')
| -rw-r--r-- | lib/csc/ir1.csc | 215 |
1 files changed, 215 insertions, 0 deletions
diff --git a/lib/csc/ir1.csc b/lib/csc/ir1.csc new file mode 100644 index 0000000..b91e8ab --- /dev/null +++ b/lib/csc/ir1.csc @@ -0,0 +1,215 @@ +(define-library (csc ir1) + (export + %call + %call-builtin + %constant + %define-syntax + %if + %lambda + %letrec + %lexical-ref + %lexical-set + %library-define + %library-ref + %sequence + call-arguments + call-builtin-arguments + call-builtin-operation + call-builtin? + call-procedure + call? + constant-expression + constant? + define-syntax-name + define-syntax-transformer + define-syntax? + if-alternate + if-consequent + if-test + if? + lambda-arguments + lambda-body + lambda-rest + lambda? + letrec-expression + letrec-gensyms + letrec-in-order? + letrec-names + letrec-values + letrec? + lexical-ref-gensym + lexical-ref-name + lexical-ref? + lexical-set-expression + lexical-set-ref + lexical-set? + library-define-expression + library-define-ref + library-define? + library-ref-library + library-ref-name + library-ref? + make-call + make-call-builtin + make-constant + make-define-syntax + make-if + make-lambda + make-letrec + make-lexical-ref + make-lexical-set + make-library-define + make-library-ref + make-sequence + sequence-head + sequence-tail + sequence?) + (import (scheme base) + (only (csc list) + all) + (only (csc loop) loop return) + (only (csc match) + define-match-record-type)) + (begin + ; This library defines the intermediate representation IR1. An expression + ; in IR1 has one of the following forms (plagiarized from Guile's + ; Tree-IL). + + + ; <constant> expression + ; Constant is used to include literal constants in scheme code. + (define-match-record-type <constant> + (make-constant expression) + constant? + %constant + (expression constant-expression)) + + + ; <lexical-ref> name gensym + ; A reference to a lexically-bound variable. The name is the original name + ; of the variable in the source program. gensym is a unique identifier for + ; this variable. + (define-match-record-type <lexical-ref> + (make-lexical-ref name gensym) + lexical-ref? + %lexical-ref + (name lexical-ref-name) + (gensym lexical-ref-gensym)) + + + ; <library-ref> name + ; A free reference to a variable in a library. If the library is 'main, + ; then it is a top-level global variable. + (define-match-record-type <library-ref> + (make-library-ref name library) + library-ref? + %library-ref + (name library-ref-name) + (library library-ref-library)) + + + ; <lexical-set> name gensym expression + ; Sets a lexically-bound variable. + (define-match-record-type <lexical-set> + (make-lexical-set ref expression) + lexical-set? + %lexical-set + (ref lexical-set-ref) + (expression lexical-set-expression)) + + + ; <library-define> name expression + ; Defines a new variable in the current library. + (define-match-record-type <library-define> + (make-library-define ref expression) + library-define? + %library-define + (ref library-define-ref) + (expression library-define-expression)) + + + ; <define-syntax> name transformer + ; Defines a new macro in the current environment. name is the name of the + ; macro. transformer is a macro transformer. + (define-match-record-type <define-syntax> + (make-define-syntax name transformer) + define-syntax? + %define-syntax + (name define-syntax-name) + (transformer define-syntax-transformer)) + + + ; <if> test consequent alternate + ; A conditional. + (define-match-record-type <if> + (make-if test consequent alternate) + if? + %if + (test if-test) + (consequent if-consequent) + (alternate if-alternate)) + + + ; <call> procedure arguments + ; A procedure call. The procedure and arguments are evaluated in an + ; unspecified order, and the resulting procedure is passed the + ; resulting arguments. + (define-match-record-type <call> + (make-call procedure arguments) + call? + %call + (procedure call-procedure) + (arguments call-arguments)) + + + ; <call-builtin> operation arguments + ; Executes the given builtin operation on the arguments. The known builtin + ; operations are listed below. Each operation can return a value, or not. + ; - alloc: size -> result + ; - peek: pointer * offset -> result + ; - poke: word * pointer * offset -> () + ; - int<?: int * int -> bool + (define-match-record-type <call-builtin> + (make-call-builtin operation arguments) + call-builtin? + %call-builtin + (operation call-builtin-operation) + (arguments call-builtin-arguments)) + + + ; <sequence> head tail + ; Evaluate head, ignoring any result. Then tail is evaluated. + (define-match-record-type <sequence> + (make-sequence head tail) + sequence? + %sequence + (head sequence-head) + (tail sequence-tail)) + + + ; <lambda> body + ; A closure. Arguments is a list of lexical-refs. + ; Rest is a lexical ref or #f if the lambda doesn't take a rest parameter. + (define-match-record-type <lambda> + (make-lambda arguments rest body) + lambda? + %lambda + (arguments lambda-arguments) + (rest lambda-rest) + (body lambda-body)) + + + ; <letrec> in-order? names gensyms values expression + ; Lexical binding, like Scheme's letrec, or letrec* if in-order? is true. + ; names are the original binding names, gensyms are gensyms corresponding + ; to the names, and values are IR1 expressions for the values. expression + ; is a single IR1 expression. + (define-match-record-type <letrec> + (make-letrec in-order? names gensyms values expression) + letrec? + %letrec + (in-order? letrec-in-order?) + (names letrec-names) + (gensyms letrec-gensyms) + (values letrec-values) + (expression letrec-expression)))) |