1 files changed, 131 insertions, 0 deletions
diff --git a/lib/csc/ir.scheme b/lib/csc/ir.scheme
new file mode 100644
index 0000000..94c1d32
--- /dev/null
+++ b/lib/csc/ir.scheme
@@ -0,0 +1,131 @@
+(define-library (csc ir)
+  (export
+    *void*
+    apply-args
+    apply-func
+    apply?
+    call-builtin-args
+    call-builtin-name
+    call-builtin?
+    const-val
+    const?
+    label-var
+    label?
+    lambda-body
+    lambda-vars
+    lambda?
+    letrec-body
+    letrec-funcs
+    letrec?
+    libvar-lib
+    libvar-var
+    libvar?
+    make-apply
+    make-call-builtin
+    make-const
+    make-label
+    make-lambda
+    make-letrec
+    make-libvar
+    make-primop
+    make-sequence
+    make-set
+    primop-args
+    primop-ks
+    primop-name
+    primop-vals
+    primop?
+    sequence-head
+    sequence-tail
+    sequence?
+    set-body
+    set-var
+    set?
+    void?)
+  (import (scheme base))
+  (begin
+
+
+    (define-record-type <libvar>
+      (make-libvar library var)
+      libvar?
+      (library libvar-lib)
+      (var libvar-var))
+
+
+    ;; ----------  IR1 
+
+    (define-record-type <lambda>
+      (make-lambda vars body)
+      lambda?
+      (vars lambda-vars)
+      (body lambda-body))
+
+
+    (define-record-type <letrec>
+      (make-letrec funcs body)
+      letrec?
+      (funcs letrec-funcs)
+      (body letrec-body))
+
+
+    (define-record-type <apply>
+      (make-apply func args)
+      apply?
+      (func apply-func)
+      (args apply-args))
+
+
+    (define-record-type <sequence>
+      (make-sequence head tail)
+      sequence?
+      (head sequence-head)
+      (tail sequence-tail))
+
+
+    (define-record-type <set>
+      (make-set var body)
+      set?
+      (var set-var)
+      (body set-body))
+
+
+    (define-record-type <call-builtin>
+      (make-call-builtin name args)
+      call-builtin?
+      (name call-builtin-name)
+      (args call-builtin-args))
+
+
+    (define-record-type <const>
+      (make-const val)
+      const?
+      (val const-val))
+
+
+    (define-record-type <void>
+      (make-void)
+      void?)
+
+
+    (define *void* (make-void))
+
+
+    ;; -------------  CPS
+
+    ; <apply>, <letrec>, <const>, and <void> are also IR2 forms.
+
+
+    (define-record-type <label>
+      (make-label var)
+      label?
+      (var label-var))
+
+
+    (define-record-type <primop>
+      (make-primop name arguments values continuations)
+      primop?
+      (name primop-name)
+      (arguments primop-args)
+      (values primop-vals)
+      (continuations primop-ks))))