-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathcompile.scm
163 lines (155 loc) · 6.2 KB
/
compile.scm
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
(load "gen.scm")
(load "cps.scm")
(load "macro.scm")
(define (compile-define exp init global run-exps)
(let ((name (cadr exp))
(args (cddr exp)))
(cond ((pair? name)
(let* ((cps-lambda
(cadr (cps (macroexpand (list* 'lambda (cdr name) args)))))
(len (length (improper-list->proper-list (cadr cps-lambda))))
(clos (gensym "clos")))
(gen cps-lambda)
(push-function-vars! (cons 'lobject (car name)) global)
(push-function-vars! (cons "cont_t*" clos) init)
(push-function-body!
(list
(list clos " = malloc(sizeof(cont_t))")
(list clos "->tag = TAG_CONT")
(list clos "->env = NULL")
(list clos "->fn = (function1_t)" (find-lambda-name cps-lambda))
(list clos "->num_required_args = " len)
(list clos "->optional_args = "
(if (has-optional? (cadr cps-lambda)) 1 0))
(list (car name) " = (lobject)" clos))
init)))
(else
(push-function-vars! (cons 'lobject name) global)
(push-function-body! (list "add_heap_rootset(&" name ")") init)
(set-cdr! run-exps
(cons (list 'set! name (car args)) (cdr run-exps)))))))
(define (compile-exp exp init global run-exps)
(cond ((not (pair? exp)) #f)
((eq? (car exp) 'define)
(compile-define exp init global run-exps))
(else
(set-cdr! run-exps
(cons exp (cdr run-exps))))))
(define (write-header-file port)
(display "#include \"builtin/builtin.h\"" port) (newline port)
(display "#include \"core/function.h\"" port) (newline port)
(display "#include \"core/symbol.h\"" port) (newline port)
(newline port)
(for-each
(lambda (x)
(display (string-append (translate-prototype (cdr x)) ";") port)
(newline port))
compiled-results))
(define (write-c-file port init global main end-of-toplevel-exp header)
(display (string-append "#include \"" header "\"") port) (newline port)
(newline port)
(display "#include \"core/heap.h\"" port) (newline port)
(display "#include \"core/stack.h\"" port) (newline port)
(newline port)
(display (string-append "#include <assert.h>") port) (newline port)
(display (string-append "#include <setjmp.h>") port) (newline port)
(display (string-append "#include <stdlib.h>") port) (newline port)
(newline port)
(display (translate-local-vars (function-vars global) 0) port)
(newline port)
(for-each
(lambda (x)
(display (translate-to-c (cdr x)) port) (newline port))
compiled-results)
(display (translate-to-c init) port)
(newline port)
(display (translate-to-c end-of-toplevel-exp) port)
(newline port)
(display (translate-to-c main 'int) port))
(define (make-end-of-toplevel-exp-function end-of-toplevel-exp)
(set-function-name! end-of-toplevel-exp "end_of_toplevel_exp")
(set-function-args! end-of-toplevel-exp '(("env_t*" env) (lobject x)))
(set-function-vars! end-of-toplevel-exp '((cont_t c)))
(push-function-body!
(list 'if "++toplevel_exps_index < num_toplevel_exps"
(list
(list "c.tag = TAG_CONT")
(list "c.env = NULL")
(list "c.fn = end_of_toplevel_exp")
(list "c.num_required_args = 1")
(list "c.optional_args = 0")
(list "toplevel_exps[toplevel_exps_index](NULL, (lobject)&c)"))
(list "return"))
end-of-toplevel-exp))
(define (make-main-function run-exps main end-of-toplevel-exp entry-point)
(set-function-name! main "main")
(set-function-args! main '((int . argc) ("char**" argv)))
(push-function-body!
(list
(list "stack_bottom = (char*)&" (cdar (function-args main)))
(list "entry_point = &" entry-point)
(list "init_heap()")
(list "init_symbol()")
(list "init_builtin()")
(list "init()")
(list "num_toplevel_exps = " (length run-exps))
(list "toplevel_exps_index = 0"))
main)
(do ((i 0 (+ i 1))
(exps (reverse run-exps) (cdr exps)))
((null? exps) #t)
(let ((lambda-exp
(cadr (cps (macroexpand (list 'lambda '() (car exps)))))))
(gen lambda-exp)
(push-function-body!
(list "toplevel_exps[" i "] = (function1_t)"
(find-lambda-name lambda-exp))
main)))
(let ((cont (gensym "cont")))
(push-function-vars! (cons 'cont_t cont) main)
(push-function-body!
(list (list cont ".tag = TAG_CONT")
(list cont ".env = NULL")
(list cont ".fn = " (function-name end-of-toplevel-exp))
(list cont ".num_required_args = 1")
(list cont ".optional_args = 0")
(list 'if "!setjmp(*entry_point)"
(if (> (length run-exps) 0)
(list "toplevel_exps[0](NULL, (lobject)&" cont ")")
(list ""))
(list "CALL_THUNK(restart_thunk)"))
(list "return 0"))
main)))
(define (compile-file input output)
(init-compile)
(let ((init (make-function))
(run-exps (cons 'dummy '()))
(global (make-function))
(main (make-function))
(end-of-toplevel-exp (make-function))
(entry-point (gensym "entry_point")))
(set-function-name! init "init")
(set-function-vars!
global
(list (cons "static int" 'num_toplevel_exps)
(cons "static int" 'toplevel_exps_index)
(cons "static jmp_buf" entry-point)))
(call-with-input-file input
(lambda (inp)
(do ((exp (read inp) (read inp)))
((eof-object? exp) #t)
(compile-exp exp init global run-exps))))
(push-function-vars!
(cons "static function1_t"
(string-append "toplevel_exps["
(number->string (length (cdr run-exps)))
"]"))
global)
(make-end-of-toplevel-exp-function end-of-toplevel-exp)
(make-main-function (cdr run-exps) main end-of-toplevel-exp entry-point)
(call-with-output-file (string-append output ".h")
write-header-file)
(call-with-output-file (string-append output ".c")
(lambda (port)
(write-c-file port init global main end-of-toplevel-exp
(string-append output ".h"))))))