Difference between revisions of "GenAsm (language)"
From Mill Computing Wiki
(Added inline functions, both for definition and call) | |||
| Line 17: | Line 17: | ||
expDef ::= expression | definition; | expDef ::= expression | definition; | ||
definition ::= functionDef; | definition ::= functionDef; | ||
| − | functionDef ::= "func", identifier, formals, [results], "{", expDefs, "}"; | + | functionDef ::= ["inline"], "func", identifier, formals, [results], "{", expDefs, "}"; |
formals ::= "(", [formal, {",", formal}], ")"; | formals ::= "(", [formal, {",", formal}], ")"; | ||
formal ::= widthTag, identifier; | formal ::= widthTag, identifier; | ||
| Line 26: | Line 26: | ||
expression, binding | | expression, binding | | ||
expression, opId, [secondary] | | expression, opId, [secondary] | | ||
| + | expression, ["inline"], funcId, [secondary] | ||
expression, "?", expression, ":", expression; | expression, "?", expression, ":", expression; | ||
secondary ::= primary | | secondary ::= primary | | ||
| Line 32: | Line 33: | ||
[widthTag, ":"] number | | [widthTag, ":"] number | | ||
boundId | | boundId | | ||
| − | funcId | | + | i["inline"], funcId | |
opId | | opId | | ||
"(" expression ")"; | "(" expression ")"; | ||
Revision as of 03:46, 14 September 2014
The genAsm assembly language is a low-level dataflow language for writing programs to be executed on the Mill processors. The language is accepted by the genAsm assembler, which create ELF files suitable as input to the prelinker or specializer. The assembler is intended for use when high-level language compilers are unable to provide a desired access to Mill hardware facilities.
Syntax in EBNF:
Terminal keywords and symbols are in quotes Meta-symbols are bold
::= is defined as
| alternatives
[ ... ] option (zero or one times
{ ... } repetition (zero or more times)
, sequence (in order left-to-right)
; end of definition
program ::= "module", identifier, expDefs;
expDefs ::= expDef, {";", expDef};
expDef ::= expression | definition;
definition ::= functionDef;
functionDef ::= ["inline"], "func", identifier, formals, [results], "{", expDefs, "}";
formals ::= "(", [formal, {",", formal}], ")";
formal ::= widthTag, identifier;
widthTag ::= "b" | "h" | "w" | "d" | "q" | "bv" | "hv" | "wv" | "dv" | "qv";
results ::= "->", widthTag |
"->", "(", [widthTag, {",", widthTag}], ")";
expression ::= [secondary] |
expression, binding |
expression, opId, [secondary] |
expression, ["inline"], funcId, [secondary]
expression, "?", expression, ":", expression;
secondary ::= primary |
secondary, "(", [expression, {",", expression}], ")";
primary ::= widthTag |
[widthTag, ":"] number |
boundId |
i["inline"], funcId |
opId |
"(" expression ")";
binding ::= "-:" identifier |
"-:" "{", identifier, {",", identifier}, "}";
opId ::= identifier
boundId ::= identifier
funcId ::= identifier
identifier ::= alpha, {alnum}
alpha ::= "_" | <"a"-"z"> | <"A"-"Z">
digit ::= <"0"-"9">
alnum ::= digit | alpha
comment ::= "//", {<char>}, <EOL> | "/*", {<char>}, "*/"
