Mercurial > repos > icfp2014
annotate code/lmc.tp @ 12:1c6d4f2642d0
Fist progress toward a simple recursive dot scanner bot
author | William Morgan <billjunk@mrgn.org> |
---|---|
date | Fri, 25 Jul 2014 19:19:07 -0700 |
parents | 66d0858692a9 |
children | 451043a65ff7 |
rev | line source |
---|---|
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
1 { |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
2 inst <- :_name _args { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
3 #{ |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
4 name <- _name |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
5 args <- _args |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
6 translateLabels <- :labelDict { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
7 missing <- #[] |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
8 foreach: args :idx arg { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
9 if: (object does: arg understand?: "isString?") && (arg isString?) { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
10 labelDict ifget: arg :translated { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
11 args set: idx translated |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
12 } else: { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
13 missing append: arg |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
14 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
15 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
16 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
17 missing |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
18 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
19 label <- "" |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
20 string <- { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
21 (if: label != "" { ";" . label . "\n " } else: { " " } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
22 ) . name . " " . (args join: " ") |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
23 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
24 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
25 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
26 _nextLabel <- 0 |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
27 _setLabel <- :inst { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
28 inst |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
29 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
30 prog <- #{ |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
31 instructions <- #[] |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
32 add <- :inst { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
33 instructions append: (_setLabel: inst) |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
34 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
35 makeLabel <- :suffix { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
36 num <- _nextLabel |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
37 _nextLabel <- _nextLabel + 1 |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
38 "" . num . "_" . suffix |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
39 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
40 labels <- dict hash |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
41 setLabel <- :name { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
42 labels set: name pc |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
43 _setLabel <- :inst { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
44 _setLabel <- :i { i } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
45 inst label!: name |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
46 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
47 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
48 pc <- { instructions length } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
49 print <- { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
50 foreach: instructions :idx i { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
51 missing <- i translateLabels: labels |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
52 if: (missing length) > 0 { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
53 error: "Undefined labels " . (missing join: ", ") . " at address " . idx |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
54 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
55 print: (string: i) . "\n" |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
56 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
57 |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
58 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
59 } |
2
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
60 error <- :msg { |
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
61 (file stderr) write: "Error - " . msg . "\n" |
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
62 } |
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
63 |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
64 _exprHandlers <- dict hash |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
65 |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
66 compileExpr:syms <- :expr :syms { |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
67 _exprHandlers ifget: (expr nodeType) :handler { |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
68 handler: expr syms |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
69 } else: { |
2
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
70 error: "Unhandled node type " . (expr nodeType) |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
71 } |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
72 } |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
73 |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
74 _exprHandlers set: (ast intlit) :expr syms { |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
75 prog add: (inst: "LDC" #[(expr val)]) |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
76 } |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
77 |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
78 _exprHandlers set: (ast sequence) :expr syms { |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
79 count <- 0 |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
80 foreach: (expr els) :idx el { |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
81 compileExpr: el syms: syms |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
82 count <- count + 1 |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
83 } |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
84 if: (expr array?) { |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
85 count <- count - 1 |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
86 } else: { |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
87 prog add: (inst: "LDC" #[0]) |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
88 } |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
89 while: { count > 0} do: { |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
90 prog add: (inst: "CONS" #[]) |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
91 count <- count - 1 |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
92 } |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
93 } |
2
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
94 |
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
95 _opNames <- dict hash |
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
96 _opNames set: "+" "ADD" |
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
97 _opNames set: "-" "SUB" |
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
98 _opNames set: "*" "MUL" |
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
99 _opNames set: "/" "DIV" |
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
100 _opNames set: "|" "CONS" |
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
101 _opNames set: "=" "CEQ" |
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
102 _opNames set: ">" "CGT" |
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
103 _opNames set: ">=" "CGTE" |
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
104 |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
105 _exprHandlers set: (ast binary) :expr syms { |
10
66d0858692a9
Fix operator argument order and add print primitive for the DBUG instruction
Michael Pavone <pavone@retrodev.com>
parents:
9
diff
changeset
|
106 compileExpr: (expr left) syms: syms |
66d0858692a9
Fix operator argument order and add print primitive for the DBUG instruction
Michael Pavone <pavone@retrodev.com>
parents:
9
diff
changeset
|
107 compileExpr: (expr right) syms: syms |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
108 _opNames ifget: (expr op) :i { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
109 prog add: (inst: i #[]) |
2
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
110 } else: { |
6 | 111 if: (expr op) = "<" { |
112 prog add: (inst: "CGTE" #[]) | |
113 prog add: (inst: "LDC" #[0]) | |
114 prog add: (inst: "CEQ" #[]) | |
115 } else: { | |
116 if: (expr op) = "<=" { | |
117 prog add: (inst: "CGT" #[]) | |
118 prog add: (inst: "LDC" #[0]) | |
119 prog add: (inst: "CEQ" #[]) | |
120 } else: { | |
121 error: "operator " . (expr op) . " is not supported" | |
122 } | |
123 } | |
2
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
124 } |
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
125 } |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
126 |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
127 _funHandlers <- dict hash |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
128 _funHandlers set: "if:else" :args syms { |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
129 compileExpr: (args value) syms: syms |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
130 args <- args tail |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
131 tlabel <- prog makeLabel: "true" |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
132 flabel <- prog makeLabel: "false" |
5
80e224fff567
Fix handling of true case in if:else
Michael Pavone <pavone@retrodev.com>
parents:
4
diff
changeset
|
133 elabel <- prog makeLabel: "end" |
4
eaf0a014d18b
Use TSEL instead of SEL for if:else
Michael Pavone <pavone@retrodev.com>
parents:
3
diff
changeset
|
134 prog add: (inst: "TSEL" #[ |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
135 tlabel |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
136 flabel |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
137 ]) |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
138 prog setLabel: tlabel |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
139 foreach: ((args value) expressions) :idx expr { |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
140 compileExpr: expr syms: syms |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
141 } |
5
80e224fff567
Fix handling of true case in if:else
Michael Pavone <pavone@retrodev.com>
parents:
4
diff
changeset
|
142 prog add: (inst: "LDC" #[1]) |
80e224fff567
Fix handling of true case in if:else
Michael Pavone <pavone@retrodev.com>
parents:
4
diff
changeset
|
143 prog add: (inst: "TSEL" #[ |
80e224fff567
Fix handling of true case in if:else
Michael Pavone <pavone@retrodev.com>
parents:
4
diff
changeset
|
144 elabel |
80e224fff567
Fix handling of true case in if:else
Michael Pavone <pavone@retrodev.com>
parents:
4
diff
changeset
|
145 elabel |
80e224fff567
Fix handling of true case in if:else
Michael Pavone <pavone@retrodev.com>
parents:
4
diff
changeset
|
146 ]) |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
147 args <- args tail |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
148 prog setLabel: flabel |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
149 foreach: ((args value) expressions) :idx expr { |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
150 compileExpr: expr syms: syms |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
151 } |
5
80e224fff567
Fix handling of true case in if:else
Michael Pavone <pavone@retrodev.com>
parents:
4
diff
changeset
|
152 prog setLabel: elabel |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
153 } |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
154 _funHandlers set: "isInteger?" :args syms { |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
155 compileExpr: (args value) syms: syms |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
156 prog add: (inst: "ATOM" #[]) |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
157 } |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
158 _funHandlers set: "value" :args syms { |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
159 compileExpr: (args value) syms: syms |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
160 prog add: (inst: "CAR" #[]) |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
161 } |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
162 _funHandlers set: "tail" :args syms { |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
163 compileExpr: (args value) syms: syms |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
164 prog add: (inst: "CDR" #[]) |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
165 } |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
166 _funHandlers set: "not" :args syms { |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
167 compileExpr: (args value) syms: syms |
6 | 168 prog add: (inst: "LDC" #[0]) |
169 prog add: (inst: "CEQ" #[]) | |
170 } | |
10
66d0858692a9
Fix operator argument order and add print primitive for the DBUG instruction
Michael Pavone <pavone@retrodev.com>
parents:
9
diff
changeset
|
171 _funHandlers set: "print" :args syms { |
66d0858692a9
Fix operator argument order and add print primitive for the DBUG instruction
Michael Pavone <pavone@retrodev.com>
parents:
9
diff
changeset
|
172 compileExpr: (args value) syms: syms |
66d0858692a9
Fix operator argument order and add print primitive for the DBUG instruction
Michael Pavone <pavone@retrodev.com>
parents:
9
diff
changeset
|
173 prog add: (inst: "DBUG" #[]) |
66d0858692a9
Fix operator argument order and add print primitive for the DBUG instruction
Michael Pavone <pavone@retrodev.com>
parents:
9
diff
changeset
|
174 } |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
175 |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
176 _exprHandlers set: (ast call) :expr syms { |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
177 tc <- (expr tocall) |
9
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
178 normal <- true |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
179 if: (tc nodeType) = (ast sym) { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
180 _funHandlers ifget: (tc name) :handler { |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
181 handler: (expr args) syms |
9
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
182 normal <- false |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
183 } else: { |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
184 } |
9
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
185 } |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
186 if: normal { |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
187 compileExpr: tc syms: syms |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
188 num <- 0 |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
189 foreach: (expr args) :idx arg { |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
190 compileExpr: arg syms: syms |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
191 num <- num + 1 |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
192 } |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
193 prog add: (inst: "AP" #[num]) |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
194 } |
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
195 } |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
196 |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
197 _exprHandlers set: (ast sym) :expr syms { |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
198 syms ifDefined: (expr name) :info { |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
199 frame <- if: (info isLocal?) { 0 } else: { info depth } |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
200 prog add: (inst: "LD" #[ |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
201 frame |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
202 (info def) |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
203 ]) |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
204 } else: { |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
205 error: "symbol " . (expr name) . " is not defined" |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
206 } |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
207 } |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
208 |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
209 _exprHandlers set: (ast assignment) :expr syms { |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
210 sym <- expr to |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
211 syms ifDefined: (sym name) :info { |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
212 frame <- if: (info isLocal?) { 0 } else: { info depth } |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
213 compileExpr: (expr assign) syms: syms |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
214 prog add: (inst: "ST" #[ |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
215 frame |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
216 (info def) |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
217 ]) |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
218 } else: { |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
219 error: "symbol " . (sym name) . " is not defined" |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
220 } |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
221 } |
9
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
222 |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
223 compileLambda:syms <- :fname fun :syms { |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
224 prog setLabel: fname |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
225 argsyms <- symbols tableWithParent: syms |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
226 foreach: (fun args) :idx el { |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
227 argsyms define: (if: (el startsWith?: ":") { el from: 1 } else: { el }) idx |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
228 } |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
229 |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
230 slot <- 0 |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
231 locsyms <- symbols tableWithParent: argsyms |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
232 foreach: (fun expressions) :idx expr { |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
233 if: (expr nodeType) = (ast assignment) { |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
234 locsyms ifDefined: ((expr to) name) :sym { |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
235 //already defined, nothing to do here |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
236 } else: { |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
237 locsyms define: ((expr to) name) slot |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
238 slot <- slot + 1 |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
239 } |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
240 } |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
241 } |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
242 fsyms <- if: slot > 0 { |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
243 //allocate frame for locals |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
244 prog add: (inst: "DUM" #[slot]) |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
245 i <- 0 |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
246 while: { i < slot } do: { |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
247 prog add: (inst: "LDC" #[0]) |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
248 i <- i + 1 |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
249 } |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
250 prologue_end <- prog makeLabel: fname . "_real" |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
251 prog add: (inst: "LDF" #[prologue_end]) |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
252 prog add: (inst: "TRAP" #[slot]) |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
253 prog setLabel: prologue_end |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
254 locsyms |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
255 } else: { argsyms } |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
256 |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
257 foreach: (fun expressions) :idx expr { |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
258 compileExpr: expr syms: fsyms |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
259 } |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
260 prog add: (inst: "RTN" #[]) |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
261 } |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
262 |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
263 _exprHandlers set: (ast lambda) :expr syms { |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
264 fname <- prog makeLabel: "lambda" |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
265 end <- prog makeLabel: "lambda_end" |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
266 prog add: (inst: "LDC" #[1]) |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
267 prog add: (inst: "TSEL" #[ |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
268 end |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
269 end |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
270 ]) |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
271 compileLambda: fname expr syms: syms |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
272 prog setLabel: end |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
273 } |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
274 #{ |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
275 compile <- :code { |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
276 res <- parser top: code |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
277 if: res { |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
278 outer <- res yield |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
279 functions <- dict hash |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
280 |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
281 num <- (outer messages) length |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
282 syms <- symbols table |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
283 |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
284 prog add: (inst: "DUM" #[num]) |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
285 slot <- 0 |
9
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
286 mainArgs <- 0 |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
287 foreach: (outer messages) :idx msg { |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
288 if: (msg nodeType) = (ast assignment) { |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
289 def <- msg assign |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
290 sym <- (msg to) name |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
291 |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
292 if: (def nodeType) = (ast lambda) { |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
293 prog add: (inst: "LDF" #[sym]) |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
294 functions set: sym def |
9
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
295 if: sym = "main" { |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
296 mainArgs <- (def args) length |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
297 } |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
298 } else: { |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
299 compileExpr: def syms: syms |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
300 } |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
301 syms define: sym slot |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
302 slot <- slot + 1 |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
303 } else: { |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
304 error: "Only assignments are allowed at the top level" |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
305 } |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
306 } |
8
494ef2e3a756
Properly pass initial arguments to main
Michael Pavone <pavone@retrodev.com>
parents:
7
diff
changeset
|
307 after_env <- prog makeLabel: "after_env" |
494ef2e3a756
Properly pass initial arguments to main
Michael Pavone <pavone@retrodev.com>
parents:
7
diff
changeset
|
308 prog add: (inst: "LDF" #[after_env]) |
494ef2e3a756
Properly pass initial arguments to main
Michael Pavone <pavone@retrodev.com>
parents:
7
diff
changeset
|
309 prog add: (inst: "TRAP" #[num]) |
494ef2e3a756
Properly pass initial arguments to main
Michael Pavone <pavone@retrodev.com>
parents:
7
diff
changeset
|
310 prog setLabel: after_env |
9
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
311 |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
312 i <- 0 |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
313 while: { i < mainArgs } do: { |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
314 prog add: (inst: "LD" #[ |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
315 0 |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
316 i |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
317 ]) |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
318 i <- i + 1 |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
319 } |
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
320 |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
321 prog add: (inst: "LDF" #["main"]) |
9
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
322 prog add: (inst: "TAP" #[mainArgs]) |
7
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
323 |
afd55b32549b
Implement support for local variables and top level functions
Michael Pavone <pavone@retrodev.com>
parents:
6
diff
changeset
|
324 foreach: functions :fname fun { |
9
526bec3b2090
Function call and lambda expression support. Fix ABI for main function. Use main definition for number of args rather than assuming 2 of them.
Michael Pavone <pavone@retrodev.com>
parents:
8
diff
changeset
|
325 compileLambda: fname fun syms: syms |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
326 } |
3
a9a2ad99adfb
Rework lmc a bit to support labels in generated code. Add support for certain special funcall expressions, namely: if:else, isInteger? value and tail which translate to SEL ATOM CAR and CDR respectively
Michael Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
327 print: prog |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
328 } else: { |
2
71e8d638da5c
Add operator support to lmc
Michael Pavone <pavone@retrodev.com>
parents:
1
diff
changeset
|
329 error: "Parse failed!" |
1
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
330 } |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
331 } |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
332 |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
333 compileFile <- :filename { |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
334 f <- file open: filename |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
335 compile: (f readAll) |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
336 } |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
337 |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
338 main <- :args { |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
339 if: (args length) > 1 { |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
340 compileFile: (args get: 1) |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
341 } else: { |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
342 print: "Usage lmc FILE\n" |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
343 } |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
344 } |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
345 } |
68d1447bfdbe
Support for compiling lists, tuples and integer literals in lmc. Added small test lm program for exercising compiler.
Michael Pavone <pavone@retrodev.com>
parents:
0
diff
changeset
|
346 } |