summaryrefslogtreecommitdiff
path: root/src/backend/tacky/traverse.scm
diff options
context:
space:
mode:
Diffstat (limited to 'src/backend/tacky/traverse.scm')
-rw-r--r--src/backend/tacky/traverse.scm39
1 files changed, 39 insertions, 0 deletions
diff --git a/src/backend/tacky/traverse.scm b/src/backend/tacky/traverse.scm
new file mode 100644
index 0000000..9a1b7aa
--- /dev/null
+++ b/src/backend/tacky/traverse.scm
@@ -0,0 +1,39 @@
+(define-module (backend tacky traverse)
+ #:use-module (backend ast ir)
+ #:export (func
+ stmt
+ unary
+ const))
+
+
+(define (func name instrs)
+ (list 'srout name instrs))
+
+(define (stmt val)
+ (list 'instrs
+ (cons 'list (append (cdr val)
+ (list (list 'ret (car val)))))))
+
+(define (expr op val)
+ (make-instruction op (car val) (cdr val)))
+
+(define (const val)
+ (cons (imm val) '()))
+
+(define (make-instruction op src instrs)
+ (let ((dst (make-temporary)))
+ (cons dst
+ (append instrs
+ (list (op src dst))))))
+
+(define make-temporary
+ (let ((count 100))
+ (lambda ()
+ (set! count (1+ count))
+ (list 'tmp count))))
+
+(define (neg src dst)
+ (list 'neg src dst))
+
+(define (not src dst)
+ (list 'not src dst))