stackmac can say "Hello, world!" now, at least.
catseye
12 years ago
| 0 | |
from castile.types import Void
|
|
0 |
from castile.types import Void, String
|
| 1 | 1 |
|
| 2 | 2 |
# Compile to some hypothetical stack-based machine.
|
| 3 | 3 |
# Not yet in a good way.
|
|
| 42 | 42 |
self.loop_end = None
|
| 43 | 43 |
self.fun_lit = None
|
| 44 | 44 |
self.fun_argcount = 0
|
| 45 | |
self.global_pos = 0 # globals at the bottom of the stack
|
|
45 |
# 0 = print,
|
|
46 |
self.global_pos = 1 # globals at the bottom of the stack
|
| 46 | 47 |
self.local_pos = 0 # locals after the passed arguments
|
| 47 | 48 |
|
| 48 | 49 |
def get_label(self, pref):
|
|
| 55 | 56 |
if ast.type == 'Program':
|
| 56 | 57 |
self.out.write("""\
|
| 57 | 58 |
; AUTOMATICALLY GENERATED -- EDIT AT OWN RISK
|
|
59 |
|
|
60 |
print_index=0
|
|
61 |
|
|
62 |
jmp past_print
|
|
63 |
print:
|
|
64 |
sys_print
|
|
65 |
rts
|
|
66 |
past_print:
|
|
67 |
push print
|
| 58 | 68 |
|
| 59 | 69 |
""")
|
| 60 | 70 |
for child in ast.children:
|
|
| 133 | 143 |
self.compile(ast.children[1])
|
| 134 | 144 |
self.out.write('%s\n' % OPS.get(ast.value, ast.value))
|
| 135 | 145 |
elif ast.type == 'VarRef':
|
| 136 | |
if ast.aux == 'toplevel':
|
|
146 |
if ast.aux in ('toplevel', 'global'):
|
| 137 | 147 |
self.out.write('get_global %s_index\n' % (ast.value))
|
| 138 | 148 |
else:
|
| 139 | 149 |
self.out.write('get_local %s_local_%s\n' % (self.fun_lit, ast.value))
|
| 4 | 4 |
import sys
|
| 5 | 5 |
|
| 6 | 6 |
from castile.builtins import BUILTINS
|
|
7 |
from castile.eval import TaggedValue
|
| 7 | 8 |
|
| 8 | 9 |
|
| 9 | 10 |
labels = {}
|
|
| 17 | 18 |
return 0
|
| 18 | 19 |
|
| 19 | 20 |
|
| 20 | |
def run(program):
|
|
21 |
def run(program, strings):
|
| 21 | 22 |
global labels
|
| 22 | 23 |
ip = 0
|
| 23 | 24 |
iter = 0
|
|
| 77 | 78 |
elif op == 'not':
|
| 78 | 79 |
a = stack.pop()
|
| 79 | 80 |
stack.append(boo(a == 0))
|
|
81 |
elif op == 'tag':
|
|
82 |
a = stack.pop()
|
|
83 |
stack.append(TaggedValue(arg, a))
|
| 80 | 84 |
elif op == 'set_baseptr':
|
| 81 | 85 |
stack.append(baseptr)
|
| 82 | 86 |
baseptr = len(stack) - 1
|
|
| 102 | 106 |
stack.append(stack[baseptr + arg])
|
| 103 | 107 |
elif op == 'set_local':
|
| 104 | 108 |
stack[baseptr + arg] = stack.pop()
|
|
109 |
elif op == 'make_struct':
|
|
110 |
size = stack.pop()
|
|
111 |
struct = []
|
|
112 |
x = 0
|
|
113 |
while x < size:
|
|
114 |
struct.append(stack.pop())
|
|
115 |
x += 1
|
|
116 |
stack.append(struct)
|
|
117 |
elif op == 'sys_print':
|
|
118 |
str_id = stack.pop()
|
|
119 |
print strings[str_id]
|
| 105 | 120 |
else:
|
| 106 | 121 |
raise NotImplementedError((op, arg))
|
| 107 | 122 |
ip += 1
|
|
| 169 | 184 |
|
| 170 | 185 |
# resolve labels
|
| 171 | 186 |
p = []
|
|
187 |
strings = []
|
| 172 | 188 |
for (op, arg) in program:
|
| 173 | 189 |
if arg in labels:
|
| 174 | 190 |
p.append((op, labels[arg]))
|
|
191 |
elif arg is None:
|
|
192 |
p.append((op, arg))
|
| 175 | 193 |
else:
|
| 176 | |
if arg is not None:
|
|
194 |
match = re.match(r"^'(.*?)'$", arg)
|
|
195 |
if match:
|
|
196 |
strings.append(match.group(1))
|
|
197 |
arg = len(strings) - 1
|
|
198 |
else:
|
| 177 | 199 |
arg = int(arg)
|
| 178 | 200 |
p.append((op, arg))
|
| 179 | 201 |
|
| 180 | |
run(p)
|
|
202 |
run(p, strings)
|