repos/icfp2014: code/lmc.tp annotate

annotate code/lmc.tp @ 15:4bc308c03952

Fix argument passing to main

author	Michael Pavone <pavone@retrodev.com>
date	Fri, 25 Jul 2014 21:06:22 -0700
parents	451043a65ff7
children	6b9b21456cf4

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 <- ""
13 451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	20 comment <- ""
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	21 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	22 (if: label != "" { ";" . label . "\n " } else: { " " }
13 451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	23 ) . name . " " . (args join: " ") . (
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	24 if: comment = "" { "" } else: { " ;" . comment})
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	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 }
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 }
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 _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	29 _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	30 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	31 }
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 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	33 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	34 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	35 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	36 }
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 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	38 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	39 _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	40 "" . 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	41 }
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 <- 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	43 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	44 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	45 _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	46 _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	47 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	48 }
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 }
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 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	51 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	52 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	53 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	54 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	55 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	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 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	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
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	60 }
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	61 }
2 71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	62 error <- :msg {
71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	63 (file stderr) write: "Error - " . msg . "\n"
71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	64 }
71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	65
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	66 _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	67
7 afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	68 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	69 _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	70 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	71 } else: {
2 71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	72 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	73 }
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	74 }
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	75
7 afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	76 _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	77 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	78 }
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
7 afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	80 _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	81 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	82 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	83 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	84 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	85 }
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 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	87 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	88 } 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	89 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	90 }
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 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	92 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	93 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	94 }
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	95 }
2 71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	96
71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	97 _opNames <- dict hash
71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	98 _opNames set: "+" "ADD"
71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	99 _opNames set: "-" "SUB"
71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	100 _opNames set: "*" "MUL"
71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	101 _opNames set: "/" "DIV"
71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	102 _opNames set: "\|" "CONS"
71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	103 _opNames set: "=" "CEQ"
71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	104 _opNames set: ">" "CGT"
71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	105 _opNames set: ">=" "CGTE"
71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	106
7 afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	107 _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	108 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	109 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	110 _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	111 prog add: (inst: i #[])
2 71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	112 } else: {
6 0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	113 if: (expr op) = "<" {
0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	114 prog add: (inst: "CGTE" #[])
0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	115 prog add: (inst: "LDC" #[0])
0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	116 prog add: (inst: "CEQ" #[])
0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	117 } else: {
0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	118 if: (expr op) = "<=" {
0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	119 prog add: (inst: "CGT" #[])
0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	120 prog add: (inst: "LDC" #[0])
0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	121 prog add: (inst: "CEQ" #[])
0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	122 } else: {
0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	123 error: "operator " . (expr op) . " is not supported"
0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	124 }
0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	125 }
2 71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	126 }
71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	127 }
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	128
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	129 _funHandlers <- dict hash
7 afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	130 _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	131 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	132 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	133 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	134 flabel <- prog makeLabel: "false"
5 80e224fff567 Fix handling of true case in if:else Michael Pavone <pavone@retrodev.com> parents: 4 diff changeset	135 elabel <- prog makeLabel: "end"
4 eaf0a014d18b Use TSEL instead of SEL for if:else Michael Pavone <pavone@retrodev.com> parents: 3 diff changeset	136 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	137 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	138 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	139 ])
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	140 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	141 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	142 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	143 }
5 80e224fff567 Fix handling of true case in if:else Michael Pavone <pavone@retrodev.com> parents: 4 diff changeset	144 prog add: (inst: "LDC" #[1])
80e224fff567 Fix handling of true case in if:else Michael Pavone <pavone@retrodev.com> parents: 4 diff changeset	145 prog add: (inst: "TSEL" #[
80e224fff567 Fix handling of true case in if:else Michael Pavone <pavone@retrodev.com> parents: 4 diff changeset	146 elabel
80e224fff567 Fix handling of true case in if:else Michael Pavone <pavone@retrodev.com> parents: 4 diff changeset	147 elabel
80e224fff567 Fix handling of true case in if:else Michael Pavone <pavone@retrodev.com> parents: 4 diff changeset	148 ])
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	149 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	150 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	151 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	152 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	153 }
5 80e224fff567 Fix handling of true case in if:else Michael Pavone <pavone@retrodev.com> parents: 4 diff changeset	154 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	155 }
13 451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	156 _funHandlers set: "while:do" :args syms {
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	157 top <- prog makeLabel: "loop_top"
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	158 body <- prog makeLabel: "loop_body"
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	159 end <- prog makeLabel: "loop_end"
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	160 cond <- args value
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	161 prog setLabel: top
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	162 foreach: (cond expressions) :idx expr {
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	163 compileExpr: expr syms: syms
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	164 }
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	165 prog add: (inst: "TSEL" #[
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	166 body
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	167 end
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	168 ])
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	169 prog setLabel: body
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	170 blambda <- (args tail) value
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	171 foreach: (blambda expressions) :idx expr {
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	172 compileExpr: expr syms: syms
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	173 }
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	174 prog add: (inst: "LDC" #[1])
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	175 prog add: (inst: "TSEL" #[
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	176 top
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	177 top
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	178 ])
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	179 prog setLabel: end
451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	180 }
7 afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	181 _funHandlers set: "isInteger?" :args syms {
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	182 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	183 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	184 }
7 afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	185 _funHandlers set: "value" :args syms {
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	186 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	187 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	188 }
7 afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	189 _funHandlers set: "tail" :args syms {
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	190 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	191 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	192 }
7 afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	193 _funHandlers set: "not" :args syms {
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	194 compileExpr: (args value) syms: syms
6 0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	195 prog add: (inst: "LDC" #[0])
0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	196 prog add: (inst: "CEQ" #[])
0ab6eb5f0190 Implement not, < and <= Michael Pavone <pavone@retrodev.com> parents: 5 diff changeset	197 }
10 66d0858692a9 Fix operator argument order and add print primitive for the DBUG instruction Michael Pavone <pavone@retrodev.com> parents: 9 diff changeset	198 _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	199 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	200 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	201 }
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	202
7 afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	203 _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	204 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	205 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	206 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	207 _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	208 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	209 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	210 } 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	211 }
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	212 }
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	213 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	214 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	215 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	216 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	217 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	218 }
13 451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	219 compileExpr: tc syms: 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	220 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	221 }
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	222 }
7 afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	223
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	224 _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	225 syms ifDefined: (expr name) :info {
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	226 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	227 prog add: (inst: "LD" #[
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	228 frame
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	229 (info def)
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	230 ])
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	231 } else: {
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	232 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	233 }
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	234 }
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	235
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	236 _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	237 sym <- expr to
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	238 syms ifDefined: (sym name) :info {
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	239 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	240 compileExpr: (expr assign) syms: syms
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	241 prog add: (inst: "ST" #[
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	242 frame
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	243 (info def)
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	244 ])
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	245 } else: {
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	246 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	247 }
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	248 }
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	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 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	251 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	252 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	253 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	254 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	255 }
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 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	258 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	259 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	260 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	261 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	262 //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	263 } 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	264 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	265 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	266 }
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 }
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 }
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 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	270 //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	271 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	272 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	273 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	274 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	275 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	276 }
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	277 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	278 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	279 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	280 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	281 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	282 } 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	283
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	284 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	285 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	286 }
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	287 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	288 }
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	289
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	290 _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	291 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	292 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	293 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	294 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	295 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	296 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	297 ])
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	298 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	299 prog setLabel: end
13 451043a65ff7 Add support for while:do. Fix lambda expressions. Fix function call expressions Michael Pavone <pavone@retrodev.com> parents: 10 diff changeset	300 prog add: (inst: "LDF" #[fname])
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	301 }
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	302 #{
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 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	304 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	305 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	306 outer <- res yield
7 afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	307 functions <- dict hash
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	308
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	309 num <- (outer messages) length
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	310 syms <- symbols table
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	311
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	312 prog add: (inst: "DUM" #[num])
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	313 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	314 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	315 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	316 if: (msg nodeType) = (ast assignment) {
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	317 def <- msg assign
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	318 sym <- (msg to) name
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	319
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	320 if: (def nodeType) = (ast lambda) {
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	321 prog add: (inst: "LDF" #[sym])
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	322 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	323 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	324 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	325 }
7 afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	326 } else: {
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	327 compileExpr: def syms: syms
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	328 }
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	329 syms define: sym slot
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	330 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	331 } else: {
7 afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	332 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	333 }
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 }
8 494ef2e3a756 Properly pass initial arguments to main Michael Pavone <pavone@retrodev.com> parents: 7 diff changeset	335 after_env <- prog makeLabel: "after_env"
494ef2e3a756 Properly pass initial arguments to main Michael Pavone <pavone@retrodev.com> parents: 7 diff changeset	336 prog add: (inst: "LDF" #[after_env])
494ef2e3a756 Properly pass initial arguments to main Michael Pavone <pavone@retrodev.com> parents: 7 diff changeset	337 prog add: (inst: "TRAP" #[num])
494ef2e3a756 Properly pass initial arguments to main Michael Pavone <pavone@retrodev.com> parents: 7 diff changeset	338 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	339
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	340 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	341 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	342 prog add: (inst: "LD" #[
15 4bc308c03952 Fix argument passing to main Michael Pavone <pavone@retrodev.com> parents: 13 diff changeset	343 1
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	344 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	345 ])
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	346 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	347 }
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	348
7 afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	349 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	350 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	351
afd55b32549b Implement support for local variables and top level functions Michael Pavone <pavone@retrodev.com> parents: 6 diff changeset	352 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	353 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	354 }
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	355 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	356 } else: {
2 71e8d638da5c Add operator support to lmc Michael Pavone <pavone@retrodev.com> parents: 1 diff changeset	357 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	358 }
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	359 }
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	360
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	361 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	362 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	363 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	364 }
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	365
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	366 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	367 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	368 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	369 } 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	370 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	371 }
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	372 }
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	373 }
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	374 }

Mercurial > repos > icfp2014

annotate code/lmc.tp @ 15:4bc308c03952