Iniquity + GC (start).

Author: dvanhorn

langs/iniquity-gc/Makefile

@@ -0,0 +1,37 @@
+UNAME := $(shell uname)
+.PHONY: test
+
+ifeq ($(UNAME), Darwin)
+  format=macho64
+else
+  format=elf64
+endif
+
+objs = \
+	main.o \
+	values.o \
+	print.o \
+	io.o
+
+default: runtime.o
+
+runtime.o: $(objs)
+	ld -r $(objs) -o runtime.o
+
+%.run: %.o runtime.o
+	gcc runtime.o $< -o $@
+
+.c.o:
+	gcc -fPIC -c -g -o $@ $<
+
+.s.o:
+	nasm -g -f $(format) -o $@ $<
+
+%.s: %.rkt
+	racket -t compile-file.rkt -m $< > $@
+
+clean:
+	rm *.o *.s *.run
+
+test: example.run
+	@test "$(shell ./example.run)" = "$(shell racket example.rkt)"

langs/iniquity-gc/ast.rkt

@@ -0,0 +1,53 @@
+#lang racket
+(provide (all-defined-out))
+
+;; type Prog = (Prog (Listof Defn) Expr)
+(struct Prog (ds e) #:prefab)
+
+;; type Defn = (Defn Id (Listof Id) Expr)
+(struct Defn (f xs e) #:prefab)
+
+;; type Expr = (Eof)
+;;           | (Empty)
+;;           | (Int Integer)
+;;           | (Bool Boolean)
+;;           | (Char Character)
+;;           | (Str String)
+;;           | (Prim0 Op0)
+;;           | (Prim1 Op1 Expr)
+;;           | (Prim2 Op2 Expr Expr)
+;;           | (Prim3 Op3 Expr Expr Expr)
+;;           | (If Expr Expr Expr)
+;;           | (Begin Expr Expr)
+;;           | (Let Id Expr Expr)
+;;           | (Var Id)
+;;           | (App Id (Listof Expr))
+;; type Id   = Symbol
+;; type Op0  = 'read-byte
+;; type Op1  = 'add1 | 'sub1 | 'zero?
+;;           | 'char? | 'integer->char | 'char->integer
+;;           | 'write-byte | 'eof-object?
+;;           | 'box | 'car | 'cdr | 'unbox
+;;           | 'empty? | 'cons? | 'box?
+;;           | 'vector? | vector-length
+;;           | 'string? | string-length
+;; type Op2  = '+ | '- | '< | '=
+;;           | 'cons
+;;           | 'make-vector | 'vector-ref
+;;           | 'make-string | 'string-ref
+;; type Op3  = 'vector-set!
+(struct Eof   ()           #:prefab)
+(struct Empty ()           #:prefab)
+(struct Int   (i)          #:prefab)
+(struct Bool  (b)          #:prefab)
+(struct Char  (c)          #:prefab)
+(struct Str   (s)          #:prefab)
+(struct Prim0 (p)          #:prefab)
+(struct Prim1 (p e)        #:prefab)
+(struct Prim2 (p e1 e2)    #:prefab)
+(struct Prim3 (p e1 e2 e3) #:prefab)
+(struct If    (e1 e2 e3)   #:prefab)
+(struct Begin (e1 e2)      #:prefab)
+(struct Let   (x e1 e2)    #:prefab)
+(struct Var   (x)          #:prefab)
+(struct App   (f es)       #:prefab)

langs/iniquity-gc/compile-file.rkt

@@ -0,0 +1,13 @@
+#lang racket
+(provide main)
+(require "parse.rkt" "compile.rkt" "read-all.rkt" a86/printer)
+
+;; String -> Void
+;; Compile contents of given file name,
+;; emit asm code on stdout
+(define (main fn)
+  (let ((p (open-input-file fn)))
+    (begin
+      (read-line p) ; ignore #lang racket line
+      (displayln (asm-string (compile (parse (read-all p)))))
+      (close-input-port p))))