More CPS.

1 files changed, 26 insertions, 0 deletions

diff --git a/csc/cps-test.csc b/csc/cps-test.csc
index 5bd6c1a..0aead27 100644
--- a/csc/cps-test.csc
+++ b/csc/cps-test.csc
@@ -3,12 +3,15 @@
           map->alist)
         (only (csc ir1)
           make-constant
+          make-define-syntax
+          make-if
           make-lexical-ref
           make-lexical-set
           make-library-ref)
         (only (csc ir2)
           ir2=?
           make-atom
+          make-branch
           make-kargs
           make-ktail
           make-update)
@@ -73,3 +76,26 @@
                 (make-update (make-lexical-ref 'var #f)
                              (make-lexical-ref 'generated-symbol #f) 1))))
     (soup->alist (ir1->ir2 (make-lexical-set (make-lexical-ref 'var #f) (make-constant 5))))))
+
+
+(test no-op-define-syntax
+  (assert-equal soup=?
+    (list
+      (cons 0 (make-kargs '() (make-atom (make-constant #f) 1)))
+      (cons 1 (make-ktail)))
+    (soup->alist (ir1->ir2 (make-define-syntax 'name '(transformer))))))
+
+
+(test branch
+  (assert-equal soup=?
+    (list
+      (cons 0 (make-kargs '() (make-atom (make-constant #t) 2)))
+      (cons 1 (make-ktail))
+      (cons 2 (make-kargs (list (make-lexical-ref 'generated-symbol #f))
+                (make-branch (make-lexical-ref 'generated-symbol #f)
+                  3 4)))
+      (cons 3 (make-kargs '() (make-atom (make-constant 1) 1)))
+      (cons 4 (make-kargs '() (make-atom (make-constant 2) 1))))
+    (soup->alist (ir1->ir2 (make-if (make-constant #t)
+                             (make-constant 1)
+                             (make-constant 2))))))