2018-01-07 01:36:27 +00:00
|
|
|
"""
|
2018-01-08 02:31:23 +00:00
|
|
|
Programming Language for 6502/6510 microprocessors, codename 'Sick'
|
2018-01-07 01:36:27 +00:00
|
|
|
This is the parser of the IL65 code, that generates a parse tree.
|
|
|
|
|
2018-01-08 02:31:23 +00:00
|
|
|
Written by Irmen de Jong (irmen@razorvine.net) - license: GNU GPL 3.0
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
|
2018-01-09 23:44:11 +00:00
|
|
|
import math
|
|
|
|
import builtins
|
|
|
|
import inspect
|
2018-01-09 01:40:32 +00:00
|
|
|
import enum
|
2018-01-08 00:51:36 +00:00
|
|
|
from collections import defaultdict
|
2018-03-04 14:11:45 +00:00
|
|
|
from typing import Union, Generator, Tuple, List, Optional, Dict, Any, no_type_check, Callable
|
2018-01-07 13:36:12 +00:00
|
|
|
import attr
|
2018-01-03 20:43:19 +00:00
|
|
|
from ply.yacc import yacc
|
2018-01-14 23:20:36 +00:00
|
|
|
from .plylex import SourceRef, tokens, lexer, find_tok_column, print_warning
|
2018-02-11 13:18:22 +00:00
|
|
|
from .datatypes import (DataType, VarType, REGISTER_SYMBOLS, REGISTER_BYTES, REGISTER_WORDS,
|
|
|
|
FLOAT_MAX_NEGATIVE, FLOAT_MAX_POSITIVE, char_to_bytevalue)
|
2018-01-03 20:43:19 +00:00
|
|
|
|
2018-01-07 13:36:12 +00:00
|
|
|
|
2018-03-06 21:25:45 +00:00
|
|
|
__all__ = ["ProgramFormat", "ZpOptions", "math_functions", "builtin_functions",
|
|
|
|
"AstNode", "Directive", "Scope", "Block", "Module", "Label", "Expression",
|
2018-02-08 20:10:52 +00:00
|
|
|
"Register", "Subroutine", "LiteralValue", "AddressOf", "SymbolName", "Dereference", "IncrDecr",
|
|
|
|
"ExpressionWithOperator", "Goto", "SubCall", "VarDef", "Return", "Assignment", "AugAssignment",
|
2018-02-20 23:50:09 +00:00
|
|
|
"InlineAssembly", "BuiltinFunction", "TokenFilter", "parser", "connect_parents", "DatatypeNode",
|
2018-03-06 21:25:45 +00:00
|
|
|
"parse_file", "coerce_constant_value", "datatype_of", "check_symbol_definition", "scoped_name",
|
|
|
|
"NotCompiletimeConstantError", "ExpressionEvaluationError", "ParseError", "UndefinedSymbolError"]
|
2018-02-08 20:10:52 +00:00
|
|
|
|
|
|
|
|
2018-01-09 01:40:32 +00:00
|
|
|
class ProgramFormat(enum.Enum):
|
|
|
|
RAW = "raw"
|
|
|
|
PRG = "prg"
|
|
|
|
BASIC = "basicprg"
|
|
|
|
|
|
|
|
|
|
|
|
class ZpOptions(enum.Enum):
|
|
|
|
NOCLOBBER = "noclobber"
|
|
|
|
CLOBBER = "clobber"
|
|
|
|
CLOBBER_RESTORE = "clobber_restore"
|
|
|
|
|
|
|
|
|
2018-01-31 22:32:21 +00:00
|
|
|
math_functions = {name: func for name, func in vars(math).items()
|
|
|
|
if inspect.isbuiltin(func) and name != "pow" and not name.startswith("_")}
|
2018-02-07 01:10:52 +00:00
|
|
|
builtin_functions = {name: getattr(builtins, name)
|
|
|
|
for name in ['abs', 'bin', 'chr', 'divmod', 'hash', 'hex', 'len', 'oct', 'ord', 'pow', 'round']}
|
|
|
|
# @todo support more builtins 'all', 'any', 'max', 'min', 'sum'
|
2018-01-09 23:44:11 +00:00
|
|
|
|
|
|
|
|
2018-01-09 01:40:32 +00:00
|
|
|
class ParseError(Exception):
|
|
|
|
def __init__(self, message: str, sourceref: SourceRef) -> None:
|
|
|
|
super().__init__(message)
|
|
|
|
self.sourceref = sourceref
|
2018-01-09 23:44:11 +00:00
|
|
|
# @todo chain attribute, a list of other exceptions, so we can have more than 1 error at a time.
|
2018-01-09 01:40:32 +00:00
|
|
|
|
|
|
|
def __str__(self):
|
|
|
|
return "{} {:s}".format(self.sourceref, self.args[0])
|
|
|
|
|
|
|
|
|
2018-02-18 17:19:51 +00:00
|
|
|
class NotCompiletimeConstantError(TypeError):
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
2018-01-09 23:44:11 +00:00
|
|
|
class ExpressionEvaluationError(ParseError):
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
2018-01-16 00:47:55 +00:00
|
|
|
class UndefinedSymbolError(LookupError):
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
2018-01-03 20:43:19 +00:00
|
|
|
start = "start"
|
|
|
|
|
|
|
|
|
2018-03-06 21:02:50 +00:00
|
|
|
@attr.s(repr=False, cmp=False, slots=True)
|
2018-01-07 13:36:12 +00:00
|
|
|
class AstNode:
|
2018-01-17 00:26:58 +00:00
|
|
|
# all ast nodes have: sourceref, parent, and nodes (=list of zero or more sub-nodes)
|
2018-03-06 21:02:50 +00:00
|
|
|
sourceref = attr.ib(type=SourceRef, init=True)
|
|
|
|
parent = attr.ib(type='AstNode', init=False, default=None) # will be hooked up later
|
|
|
|
nodes = attr.ib(type=List['AstNode'], init=False, default=attr.Factory(list))
|
2018-01-07 13:36:12 +00:00
|
|
|
|
|
|
|
@property
|
|
|
|
def lineref(self) -> str:
|
|
|
|
return "src l. " + str(self.sourceref.line)
|
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
def my_scope(self) -> 'Scope':
|
|
|
|
# returns the closest Scope in the ancestry of this node, or raises LookupError if no scope is found
|
2018-01-18 22:33:02 +00:00
|
|
|
scope = self.parent
|
2018-01-17 00:26:58 +00:00
|
|
|
while scope:
|
|
|
|
if isinstance(scope, Scope):
|
|
|
|
return scope
|
|
|
|
scope = scope.parent
|
2018-01-21 17:17:39 +00:00
|
|
|
raise LookupError("no scope found in node ancestry", self)
|
2018-01-17 00:26:58 +00:00
|
|
|
|
2018-01-21 00:32:50 +00:00
|
|
|
def all_nodes(self, *nodetypes: type) -> Generator['AstNode', None, None]:
|
2018-02-16 12:59:18 +00:00
|
|
|
if not self.nodes:
|
|
|
|
# this is the case when a node has been pruned away (nodes=None) or we don't have any child nodes
|
2018-02-15 23:55:58 +00:00
|
|
|
return
|
2018-01-29 21:34:28 +00:00
|
|
|
child_nodes = list(self.nodes)
|
2018-02-16 12:59:18 +00:00
|
|
|
if nodetypes:
|
|
|
|
for node in child_nodes:
|
|
|
|
if isinstance(node, nodetypes):
|
|
|
|
yield node
|
|
|
|
else:
|
|
|
|
yield from child_nodes
|
2018-01-29 21:34:28 +00:00
|
|
|
for node in child_nodes:
|
2018-02-16 12:59:18 +00:00
|
|
|
yield from node.all_nodes(*nodetypes)
|
2018-01-17 00:26:58 +00:00
|
|
|
|
|
|
|
def remove_node(self, node: 'AstNode') -> None:
|
2018-01-30 00:38:37 +00:00
|
|
|
assert node.parent is self
|
2018-01-17 00:26:58 +00:00
|
|
|
self.nodes.remove(node)
|
2018-01-30 00:38:37 +00:00
|
|
|
node.parent = None
|
2018-01-17 00:26:58 +00:00
|
|
|
|
|
|
|
def replace_node(self, oldnode: 'AstNode', newnode: 'AstNode') -> None:
|
2018-01-30 00:38:37 +00:00
|
|
|
assert oldnode.parent is self
|
2018-01-17 00:26:58 +00:00
|
|
|
assert isinstance(newnode, AstNode)
|
|
|
|
idx = self.nodes.index(oldnode)
|
|
|
|
self.nodes[idx] = newnode
|
2018-01-30 00:38:37 +00:00
|
|
|
newnode.parent = self
|
|
|
|
oldnode.parent = None
|
2018-02-13 22:11:36 +00:00
|
|
|
oldnode.nodes = None
|
2018-01-17 00:26:58 +00:00
|
|
|
|
|
|
|
def add_node(self, newnode: 'AstNode', index: int = None) -> None:
|
|
|
|
assert isinstance(newnode, AstNode)
|
|
|
|
if index is None:
|
|
|
|
self.nodes.append(newnode)
|
|
|
|
else:
|
|
|
|
self.nodes.insert(index, newnode)
|
2018-01-30 00:38:37 +00:00
|
|
|
newnode.parent = self
|
2018-01-08 02:31:23 +00:00
|
|
|
|
2018-01-07 13:36:12 +00:00
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
@attr.s(cmp=False)
|
2018-01-03 20:43:19 +00:00
|
|
|
class Directive(AstNode):
|
2018-03-04 14:11:45 +00:00
|
|
|
name = attr.ib(type=str, default=None)
|
2018-01-07 13:36:12 +00:00
|
|
|
args = attr.ib(type=list, default=attr.Factory(list))
|
2018-01-17 00:26:58 +00:00
|
|
|
# no subnodes.
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
2018-01-07 18:14:21 +00:00
|
|
|
@attr.s(cmp=False, slots=True, repr=False)
|
2018-01-07 13:36:12 +00:00
|
|
|
class Scope(AstNode):
|
2018-01-17 00:26:58 +00:00
|
|
|
# has zero or more subnodes
|
2018-03-06 21:02:50 +00:00
|
|
|
level = attr.ib(type=str, init=True) # type: ignore
|
2018-01-17 00:26:58 +00:00
|
|
|
nodes = attr.ib(type=list, init=True) # requires nodes in __init__
|
2018-01-07 18:14:21 +00:00
|
|
|
symbols = attr.ib(init=False)
|
|
|
|
name = attr.ib(init=False) # will be set by enclosing block, or subroutine etc.
|
2018-02-01 22:14:12 +00:00
|
|
|
float_const_values = attr.ib(type=dict, default=attr.Factory(dict), init=False) # floatingpoint number -> float const name
|
2018-01-18 22:33:02 +00:00
|
|
|
_save_registers = attr.ib(type=bool, default=None, init=False)
|
|
|
|
|
|
|
|
@property
|
|
|
|
def save_registers(self) -> bool:
|
|
|
|
if self._save_registers is not None:
|
|
|
|
return self._save_registers
|
2018-01-21 17:17:39 +00:00
|
|
|
try:
|
|
|
|
return self.my_scope().save_registers
|
|
|
|
except LookupError:
|
|
|
|
return False
|
2018-01-18 22:33:02 +00:00
|
|
|
|
|
|
|
@save_registers.setter
|
|
|
|
def save_registers(self, save: bool) -> None:
|
|
|
|
self._save_registers = save
|
2018-01-07 18:14:21 +00:00
|
|
|
|
2018-01-30 21:30:05 +00:00
|
|
|
@property
|
|
|
|
def parent_scope(self) -> Optional['Scope']:
|
|
|
|
parent_scope = self.parent
|
|
|
|
while parent_scope and not isinstance(parent_scope, Scope):
|
|
|
|
parent_scope = parent_scope.parent
|
2018-03-04 14:11:45 +00:00
|
|
|
return parent_scope # type: ignore
|
2018-01-30 21:30:05 +00:00
|
|
|
|
2018-01-07 18:14:21 +00:00
|
|
|
def __attrs_post_init__(self):
|
2018-01-16 00:47:55 +00:00
|
|
|
# populate the symbol table for this scope for fast lookups via scope.lookup("name") or scope.lookup("dotted.name")
|
2018-01-07 18:14:21 +00:00
|
|
|
self.symbols = {}
|
|
|
|
for node in self.nodes:
|
2018-01-08 02:31:23 +00:00
|
|
|
assert isinstance(node, AstNode)
|
2018-01-09 01:40:32 +00:00
|
|
|
self._populate_symboltable(node)
|
|
|
|
|
|
|
|
def _populate_symboltable(self, node: AstNode) -> None:
|
|
|
|
if isinstance(node, (Label, VarDef)):
|
|
|
|
if node.name in self.symbols:
|
2018-01-30 21:30:05 +00:00
|
|
|
raise ParseError("symbol '{}' already defined at {}".format(node.name, self.symbols[node.name].sourceref), node.sourceref)
|
2018-01-09 01:40:32 +00:00
|
|
|
self.symbols[node.name] = node
|
2018-01-30 21:30:05 +00:00
|
|
|
elif isinstance(node, (Subroutine, BuiltinFunction)):
|
2018-01-09 01:40:32 +00:00
|
|
|
if node.name in self.symbols:
|
2018-01-30 21:30:05 +00:00
|
|
|
raise ParseError("symbol '{}' already defined at {}".format(node.name, self.symbols[node.name].sourceref), node.sourceref)
|
2018-01-09 01:40:32 +00:00
|
|
|
self.symbols[node.name] = node
|
2018-01-30 23:28:21 +00:00
|
|
|
elif isinstance(node, (Block, Scope)):
|
2018-01-09 01:40:32 +00:00
|
|
|
if node.name:
|
|
|
|
if node.name != "ZP" and node.name in self.symbols:
|
2018-01-30 21:30:05 +00:00
|
|
|
raise ParseError("symbol '{}' already defined at {}"
|
|
|
|
.format(node.name, self.symbols[node.name].sourceref), node.sourceref)
|
2018-01-07 18:14:21 +00:00
|
|
|
self.symbols[node.name] = node
|
2018-01-30 21:30:05 +00:00
|
|
|
|
|
|
|
@no_type_check
|
|
|
|
def define_builtin_functions(self) -> None:
|
|
|
|
for name, func in math_functions.items():
|
|
|
|
f = BuiltinFunction(name=name, func=func, sourceref=self.sourceref)
|
|
|
|
self.add_node(f)
|
|
|
|
for name, func in builtin_functions.items():
|
|
|
|
f = BuiltinFunction(name=name, func=func, sourceref=self.sourceref)
|
|
|
|
self.add_node(f)
|
2018-01-07 18:14:21 +00:00
|
|
|
|
2018-02-01 22:14:12 +00:00
|
|
|
def define_float_constant(self, value: float) -> str:
|
|
|
|
if value in self.float_const_values:
|
|
|
|
return self.float_const_values[value]
|
|
|
|
name = "il65_float_const_" + str(1 + len(self.float_const_values))
|
|
|
|
self.float_const_values[name] = value
|
|
|
|
return name
|
|
|
|
|
2018-01-16 00:47:55 +00:00
|
|
|
def lookup(self, name: str) -> AstNode:
|
2018-01-09 23:44:11 +00:00
|
|
|
assert isinstance(name, str)
|
2018-01-07 18:14:21 +00:00
|
|
|
if '.' in name:
|
|
|
|
# look up the dotted name starting from the topmost scope
|
|
|
|
scope = self
|
2018-03-04 14:11:45 +00:00
|
|
|
node = self # type: AstNode
|
2018-01-30 21:30:05 +00:00
|
|
|
while node.parent:
|
|
|
|
if isinstance(node.parent, Scope):
|
|
|
|
scope = node.parent
|
|
|
|
node = node.parent
|
2018-01-07 18:14:21 +00:00
|
|
|
for namepart in name.split('.'):
|
|
|
|
if isinstance(scope, (Block, Subroutine)):
|
|
|
|
scope = scope.scope
|
|
|
|
if not isinstance(scope, Scope):
|
2018-01-16 00:47:55 +00:00
|
|
|
raise UndefinedSymbolError("undefined symbol: " + name)
|
2018-01-07 18:14:21 +00:00
|
|
|
scope = scope.symbols.get(namepart, None)
|
2018-01-08 02:31:23 +00:00
|
|
|
if not scope:
|
2018-01-16 00:47:55 +00:00
|
|
|
raise UndefinedSymbolError("undefined symbol: " + name)
|
2018-01-07 18:14:21 +00:00
|
|
|
return scope
|
|
|
|
else:
|
|
|
|
# find the name in nested scope hierarchy
|
|
|
|
if name in self.symbols:
|
|
|
|
return self.symbols[name]
|
2018-01-30 21:30:05 +00:00
|
|
|
parent_scope = self.parent
|
|
|
|
while parent_scope and not isinstance(parent_scope, Scope):
|
|
|
|
parent_scope = parent_scope.parent
|
|
|
|
if parent_scope:
|
2018-03-04 14:11:45 +00:00
|
|
|
assert isinstance(parent_scope, Scope)
|
2018-01-30 21:30:05 +00:00
|
|
|
return parent_scope.lookup(name)
|
2018-01-16 00:47:55 +00:00
|
|
|
raise UndefinedSymbolError("undefined symbol: " + name)
|
2018-01-03 20:43:19 +00:00
|
|
|
|
2018-01-08 00:51:36 +00:00
|
|
|
def remove_node(self, node: AstNode) -> None:
|
|
|
|
if hasattr(node, "name"):
|
2018-01-09 01:40:32 +00:00
|
|
|
try:
|
|
|
|
del self.symbols[node.name] # type: ignore
|
|
|
|
except KeyError:
|
|
|
|
pass
|
2018-01-17 00:26:58 +00:00
|
|
|
super().remove_node(node)
|
2018-01-08 00:51:36 +00:00
|
|
|
|
2018-01-08 02:31:23 +00:00
|
|
|
def replace_node(self, oldnode: AstNode, newnode: AstNode) -> None:
|
|
|
|
if hasattr(oldnode, "name"):
|
2018-01-09 01:40:32 +00:00
|
|
|
del self.symbols[oldnode.name] # type: ignore
|
2018-01-17 00:26:58 +00:00
|
|
|
super().replace_node(oldnode, newnode)
|
2018-01-09 01:40:32 +00:00
|
|
|
|
|
|
|
def add_node(self, newnode: AstNode, index: int=None) -> None:
|
2018-01-17 00:26:58 +00:00
|
|
|
super().add_node(newnode, index)
|
2018-01-09 01:40:32 +00:00
|
|
|
self._populate_symboltable(newnode)
|
|
|
|
|
|
|
|
|
2018-01-13 01:13:32 +00:00
|
|
|
def validate_address(obj: AstNode, attrib: attr.Attribute, value: Optional[int]) -> None:
|
2018-01-09 01:40:32 +00:00
|
|
|
if value is None:
|
|
|
|
return
|
2018-01-09 23:44:11 +00:00
|
|
|
if isinstance(obj, Block) and obj.name == "ZP":
|
|
|
|
raise ParseError("zeropage block cannot have custom start {:s}".format(attrib.name), obj.sourceref)
|
2018-01-09 01:40:32 +00:00
|
|
|
if value < 0x0200 or value > 0xffff:
|
2018-01-09 23:44:11 +00:00
|
|
|
raise ParseError("invalid {:s} (must be from $0200 to $ffff)".format(attrib.name), obj.sourceref)
|
2018-01-09 01:40:32 +00:00
|
|
|
|
|
|
|
|
2018-01-13 01:13:32 +00:00
|
|
|
def dimensions_validator(obj: 'DatatypeNode', attrib: attr.Attribute, value: List[int]) -> None:
|
|
|
|
if not value:
|
|
|
|
return
|
|
|
|
dt = obj.to_enum()
|
|
|
|
if value and dt not in (DataType.MATRIX, DataType.WORDARRAY, DataType.BYTEARRAY):
|
|
|
|
raise ParseError("cannot use a dimension for this datatype", obj.sourceref)
|
|
|
|
if dt == DataType.WORDARRAY or dt == DataType.BYTEARRAY:
|
|
|
|
if len(value) == 1:
|
|
|
|
if value[0] <= 0 or value[0] > 256:
|
|
|
|
raise ParseError("array length must be 1..256", obj.sourceref)
|
|
|
|
else:
|
|
|
|
raise ParseError("array must have only one dimension", obj.sourceref)
|
|
|
|
if dt == DataType.MATRIX:
|
2018-01-13 21:42:07 +00:00
|
|
|
if len(value) < 2 or len(value) > 3:
|
|
|
|
raise ParseError("matrix must have two dimensions, with optional interleave", obj.sourceref)
|
|
|
|
if len(value) == 3:
|
|
|
|
if value[2] < 1 or value[2] > 256:
|
|
|
|
raise ParseError("matrix interleave must be 1..256", obj.sourceref)
|
|
|
|
if value[0] < 0 or value[0] > 128 or value[1] < 0 or value[1] > 128:
|
|
|
|
raise ParseError("matrix rows and columns must be 1..128", obj.sourceref)
|
2018-01-13 01:13:32 +00:00
|
|
|
|
|
|
|
|
2018-01-09 01:40:32 +00:00
|
|
|
@attr.s(cmp=False, repr=False)
|
|
|
|
class Block(AstNode):
|
2018-01-17 00:26:58 +00:00
|
|
|
# has one subnode: the Scope.
|
2018-01-09 01:40:32 +00:00
|
|
|
name = attr.ib(type=str, default=None)
|
|
|
|
address = attr.ib(type=int, default=None, validator=validate_address)
|
|
|
|
_unnamed_block_labels = {} # type: Dict[Block, str]
|
|
|
|
|
2018-01-09 23:44:11 +00:00
|
|
|
@property
|
2018-01-17 00:26:58 +00:00
|
|
|
def scope(self) -> Scope:
|
|
|
|
return self.nodes[0] if self.nodes else None # type: ignore
|
|
|
|
|
|
|
|
@scope.setter
|
|
|
|
def scope(self, scope: Scope) -> None:
|
2018-01-18 22:33:02 +00:00
|
|
|
assert isinstance(scope, Scope)
|
2018-01-17 00:26:58 +00:00
|
|
|
self.nodes.clear()
|
|
|
|
self.nodes.append(scope)
|
|
|
|
scope.name = self.name
|
2018-01-09 23:44:11 +00:00
|
|
|
|
2018-01-09 01:40:32 +00:00
|
|
|
@property
|
|
|
|
def label(self) -> str:
|
|
|
|
if self.name:
|
|
|
|
return self.name
|
|
|
|
if self in self._unnamed_block_labels:
|
|
|
|
return self._unnamed_block_labels[self]
|
|
|
|
label = "il65_block_{:d}".format(len(self._unnamed_block_labels))
|
|
|
|
self._unnamed_block_labels[self] = label
|
|
|
|
return label
|
2018-01-08 02:31:23 +00:00
|
|
|
|
2018-01-07 18:14:21 +00:00
|
|
|
|
|
|
|
@attr.s(cmp=False, repr=False)
|
|
|
|
class Module(AstNode):
|
2018-01-17 00:26:58 +00:00
|
|
|
# has one subnode: the Scope.
|
2018-03-04 14:11:45 +00:00
|
|
|
name = attr.ib(type=str, default=None) # filename
|
2018-01-08 00:51:36 +00:00
|
|
|
subroutine_usage = attr.ib(type=defaultdict, init=False, default=attr.Factory(lambda: defaultdict(set))) # will be populated later
|
2018-01-09 01:40:32 +00:00
|
|
|
format = attr.ib(type=ProgramFormat, init=False, default=ProgramFormat.PRG) # can be set via directive
|
|
|
|
address = attr.ib(type=int, init=False, default=0xc000, validator=validate_address) # can be set via directive
|
|
|
|
zp_options = attr.ib(type=ZpOptions, init=False, default=ZpOptions.NOCLOBBER) # can be set via directive
|
2018-02-02 21:42:09 +00:00
|
|
|
floats_enabled = attr.ib(type=bool, init=False, default=False) # can be set via directive
|
2018-01-08 00:51:36 +00:00
|
|
|
|
2018-01-09 23:44:11 +00:00
|
|
|
@property
|
2018-01-17 00:26:58 +00:00
|
|
|
def scope(self) -> Scope:
|
|
|
|
return self.nodes[0] if self.nodes else None # type: ignore
|
2018-01-07 18:14:21 +00:00
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
@no_type_check
|
2018-01-09 01:40:32 +00:00
|
|
|
def zeropage(self) -> Optional[Block]:
|
|
|
|
# return the zeropage block (if defined)
|
2018-01-21 02:44:04 +00:00
|
|
|
first_block = next(self.scope.all_nodes(Block))
|
2018-01-09 01:40:32 +00:00
|
|
|
if first_block.name == "ZP":
|
|
|
|
return first_block
|
|
|
|
return None
|
2018-01-07 18:14:21 +00:00
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
@no_type_check
|
2018-01-09 01:40:32 +00:00
|
|
|
def main(self) -> Optional[Block]:
|
|
|
|
# return the 'main' block (if defined)
|
2018-01-21 02:44:04 +00:00
|
|
|
for block in self.scope.all_nodes(Block):
|
2018-01-09 01:40:32 +00:00
|
|
|
if block.name == "main":
|
|
|
|
return block
|
|
|
|
return None
|
2018-01-07 18:14:21 +00:00
|
|
|
|
2018-01-03 20:43:19 +00:00
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
@attr.s(cmp=False)
|
2018-01-03 20:43:19 +00:00
|
|
|
class Label(AstNode):
|
2018-03-04 14:11:45 +00:00
|
|
|
name = attr.ib(type=str, default=None)
|
2018-01-17 00:26:58 +00:00
|
|
|
# no subnodes.
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
2018-01-29 21:34:28 +00:00
|
|
|
@attr.s(cmp=False, slots=True, repr=False)
|
|
|
|
class Expression(AstNode):
|
|
|
|
# just a common base class for the nodes that are an expression themselves:
|
|
|
|
# ExpressionWithOperator, AddressOf, LiteralValue, SymbolName, Register, SubCall, Dereference
|
2018-02-18 17:19:51 +00:00
|
|
|
is_lhs = attr.ib(type=bool, init=False, default=False) # left hand side of incrdecr/assignment/augassign?
|
|
|
|
|
|
|
|
def is_compiletime_const(self) -> bool:
|
2018-01-29 21:34:28 +00:00
|
|
|
raise NotImplementedError("implement in subclass")
|
|
|
|
|
|
|
|
def const_value(self) -> Union[int, float, bool, str]:
|
|
|
|
raise NotImplementedError("implement in subclass")
|
|
|
|
|
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
@attr.s(cmp=False, slots=True)
|
2018-01-29 21:34:28 +00:00
|
|
|
class Register(Expression):
|
2018-03-04 14:11:45 +00:00
|
|
|
name = attr.ib(type=str, validator=attr.validators.in_(REGISTER_SYMBOLS), default="???")
|
2018-01-10 23:29:46 +00:00
|
|
|
datatype = attr.ib(type=DataType, init=False)
|
2018-01-17 00:26:58 +00:00
|
|
|
# no subnodes.
|
2018-01-10 23:29:46 +00:00
|
|
|
|
|
|
|
def __attrs_post_init__(self):
|
|
|
|
if self.name in REGISTER_BYTES:
|
|
|
|
self.datatype = DataType.BYTE
|
|
|
|
elif self.name in REGISTER_WORDS:
|
|
|
|
self.datatype = DataType.WORD
|
2018-01-14 23:20:36 +00:00
|
|
|
else:
|
|
|
|
self.datatype = None # register 'SC' etc.
|
2018-01-03 20:43:19 +00:00
|
|
|
|
2018-01-08 00:51:36 +00:00
|
|
|
def __hash__(self) -> int:
|
|
|
|
return hash(self.name)
|
|
|
|
|
|
|
|
def __eq__(self, other) -> bool:
|
|
|
|
if not isinstance(other, Register):
|
|
|
|
return NotImplemented
|
|
|
|
return self.name == other.name
|
|
|
|
|
|
|
|
def __lt__(self, other) -> bool:
|
|
|
|
if not isinstance(other, Register):
|
|
|
|
return NotImplemented
|
|
|
|
return self.name < other.name
|
|
|
|
|
2018-02-18 17:19:51 +00:00
|
|
|
def is_compiletime_const(self) -> bool:
|
2018-01-29 21:34:28 +00:00
|
|
|
return False
|
|
|
|
|
|
|
|
def const_value(self) -> Union[int, float, bool, str]:
|
2018-02-18 17:19:51 +00:00
|
|
|
raise NotCompiletimeConstantError("register doesn't have a constant numeric value", self)
|
2018-01-29 21:34:28 +00:00
|
|
|
|
2018-01-03 20:43:19 +00:00
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
@attr.s(cmp=False)
|
2018-01-03 20:43:19 +00:00
|
|
|
class PreserveRegs(AstNode):
|
2018-03-06 21:02:50 +00:00
|
|
|
registers = attr.ib(type=str) # type: ignore
|
2018-01-17 00:26:58 +00:00
|
|
|
# no subnodes.
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
2018-01-07 18:14:21 +00:00
|
|
|
@attr.s(cmp=False, repr=False)
|
2018-01-03 20:43:19 +00:00
|
|
|
class InlineAssembly(AstNode):
|
2018-01-17 00:26:58 +00:00
|
|
|
# no subnodes.
|
2018-03-06 21:02:50 +00:00
|
|
|
assembly = attr.ib(type=str) # type: ignore
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
@attr.s(cmp=False, slots=True)
|
2018-01-08 02:31:23 +00:00
|
|
|
class DatatypeNode(AstNode):
|
2018-01-17 00:26:58 +00:00
|
|
|
# no subnodes.
|
2018-03-06 21:02:50 +00:00
|
|
|
name = attr.ib(type=str) # type: ignore
|
2018-01-13 01:13:32 +00:00
|
|
|
dimensions = attr.ib(type=list, default=None, validator=dimensions_validator) # if set, 1 or more dimensions (ints)
|
2018-01-08 02:31:23 +00:00
|
|
|
|
|
|
|
def to_enum(self):
|
|
|
|
return {
|
|
|
|
"byte": DataType.BYTE,
|
|
|
|
"word": DataType.WORD,
|
|
|
|
"float": DataType.FLOAT,
|
2018-04-03 14:40:24 +00:00
|
|
|
"str": DataType.STRING,
|
|
|
|
"strp": DataType.STRING_P,
|
|
|
|
"strs": DataType.STRING_S,
|
|
|
|
"strps": DataType.STRING_PS,
|
2018-01-08 02:31:23 +00:00
|
|
|
"matrix": DataType.MATRIX,
|
|
|
|
"array": DataType.BYTEARRAY,
|
|
|
|
"wordarray": DataType.WORDARRAY
|
|
|
|
}[self.name]
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
2018-01-30 21:30:05 +00:00
|
|
|
@attr.s(cmp=False, repr=False)
|
|
|
|
class BuiltinFunction(AstNode):
|
|
|
|
# This is a pseudo-node that will be artificially injected in the top-most scope,
|
|
|
|
# to represent all supported built-in functions or math-functions.
|
|
|
|
# No child nodes.
|
2018-03-06 21:02:50 +00:00
|
|
|
name = attr.ib(type=str) # type: ignore
|
2018-03-04 14:11:45 +00:00
|
|
|
func = attr.ib(type=Callable)
|
2018-01-30 21:30:05 +00:00
|
|
|
|
|
|
|
|
2018-01-07 18:14:21 +00:00
|
|
|
@attr.s(cmp=False, repr=False)
|
2018-01-03 20:43:19 +00:00
|
|
|
class Subroutine(AstNode):
|
2018-01-17 00:26:58 +00:00
|
|
|
# one subnode: the Scope.
|
2018-03-06 21:02:50 +00:00
|
|
|
name = attr.ib(type=str) # type: ignore
|
2018-01-09 22:28:39 +00:00
|
|
|
param_spec = attr.ib(type=list)
|
|
|
|
result_spec = attr.ib(type=list)
|
2018-01-09 01:40:32 +00:00
|
|
|
address = attr.ib(type=int, default=None, validator=validate_address)
|
2018-01-07 13:36:12 +00:00
|
|
|
|
2018-01-09 23:44:11 +00:00
|
|
|
@property
|
2018-01-17 00:26:58 +00:00
|
|
|
def scope(self) -> Scope:
|
|
|
|
return self.nodes[0] if self.nodes else None # type: ignore
|
|
|
|
|
|
|
|
@scope.setter
|
|
|
|
def scope(self, scope: Scope) -> None:
|
2018-01-18 22:33:02 +00:00
|
|
|
assert isinstance(scope, Scope)
|
2018-01-17 00:26:58 +00:00
|
|
|
self.nodes.clear()
|
|
|
|
self.nodes.append(scope)
|
|
|
|
scope.name = self.name
|
|
|
|
if self.address is not None:
|
2018-01-07 13:36:12 +00:00
|
|
|
raise ValueError("subroutine must have either a scope or an address, not both")
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
2018-01-23 20:20:01 +00:00
|
|
|
@attr.s(cmp=True, slots=True, repr=False)
|
2018-01-29 21:34:28 +00:00
|
|
|
class LiteralValue(Expression):
|
2018-01-17 00:26:58 +00:00
|
|
|
# no subnodes.
|
2018-03-04 14:11:45 +00:00
|
|
|
value = attr.ib(default=None)
|
2018-01-03 20:43:19 +00:00
|
|
|
|
2018-01-23 20:20:01 +00:00
|
|
|
def __repr__(self) -> str:
|
|
|
|
return "<LiteralValue value={!r} at {}>".format(self.value, self.sourceref)
|
|
|
|
|
2018-01-29 21:34:28 +00:00
|
|
|
def const_value(self) -> Union[int, float, bool, str]:
|
|
|
|
return self.value
|
|
|
|
|
2018-02-18 17:19:51 +00:00
|
|
|
def is_compiletime_const(self) -> bool:
|
2018-01-29 21:34:28 +00:00
|
|
|
return True
|
2018-01-27 00:07:00 +00:00
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
|
|
|
|
@attr.s(cmp=False)
|
2018-01-29 21:34:28 +00:00
|
|
|
class AddressOf(Expression):
|
2018-01-17 00:26:58 +00:00
|
|
|
# no subnodes.
|
2018-03-04 14:11:45 +00:00
|
|
|
name = attr.ib(type=str, validator=attr.validators._InstanceOfValidator(type=str), default="???") # type: ignore
|
2018-01-17 00:26:58 +00:00
|
|
|
|
2018-02-18 17:19:51 +00:00
|
|
|
def is_compiletime_const(self) -> bool:
|
2018-02-07 01:10:52 +00:00
|
|
|
# address-of can be a compile time constant if the operand is a memory mapped variable or ZP variable
|
|
|
|
symdef = self.my_scope().lookup(self.name)
|
2018-02-07 22:29:56 +00:00
|
|
|
return isinstance(symdef, VarDef) and symdef.vartype == VarType.MEMORY \
|
|
|
|
or getattr(symdef, "zp_address", None) is not None # type: ignore
|
2018-01-29 21:34:28 +00:00
|
|
|
|
|
|
|
def const_value(self) -> Union[int, float, bool, str]:
|
2018-01-27 00:07:00 +00:00
|
|
|
symdef = self.my_scope().lookup(self.name)
|
|
|
|
if isinstance(symdef, VarDef):
|
|
|
|
if symdef.zp_address is not None:
|
|
|
|
return symdef.zp_address
|
|
|
|
if symdef.vartype == VarType.MEMORY:
|
2018-01-29 21:34:28 +00:00
|
|
|
return symdef.value.const_value()
|
2018-02-18 17:19:51 +00:00
|
|
|
raise NotCompiletimeConstantError("can only take constant address of a memory mapped variable", self)
|
|
|
|
raise NotCompiletimeConstantError("should be a vardef to be able to take its address", self)
|
2018-01-27 00:07:00 +00:00
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
|
2018-02-18 17:19:51 +00:00
|
|
|
@attr.s(cmp=True, slots=True)
|
2018-01-29 21:34:28 +00:00
|
|
|
class SymbolName(Expression):
|
2018-01-17 00:26:58 +00:00
|
|
|
# no subnodes.
|
2018-03-04 14:11:45 +00:00
|
|
|
name = attr.ib(type=str, default="???")
|
2018-01-17 00:26:58 +00:00
|
|
|
|
2018-02-18 17:19:51 +00:00
|
|
|
def is_compiletime_const(self) -> bool:
|
2018-01-29 21:34:28 +00:00
|
|
|
symdef = self.my_scope().lookup(self.name)
|
|
|
|
return isinstance(symdef, VarDef) and symdef.vartype == VarType.CONST
|
|
|
|
|
|
|
|
def const_value(self) -> Union[int, float, bool, str]:
|
2018-01-27 00:07:00 +00:00
|
|
|
symdef = self.my_scope().lookup(self.name)
|
|
|
|
if isinstance(symdef, VarDef) and symdef.vartype == VarType.CONST:
|
2018-01-29 21:34:28 +00:00
|
|
|
return symdef.const_value()
|
2018-02-18 17:19:51 +00:00
|
|
|
raise NotCompiletimeConstantError("should be a const vardef to be able to take its constant numeric value", self)
|
2018-01-27 00:07:00 +00:00
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
|
|
|
|
@attr.s(cmp=False)
|
2018-01-29 21:34:28 +00:00
|
|
|
class Dereference(Expression):
|
2018-02-16 15:15:48 +00:00
|
|
|
# one subnode: operand (SymbolName, integer LiteralValue or Register (pair) )
|
2018-03-04 14:11:45 +00:00
|
|
|
datatype = attr.ib(type=DataType, default=None)
|
2018-01-08 02:31:23 +00:00
|
|
|
size = attr.ib(type=int, default=None)
|
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
@property
|
2018-01-30 00:38:37 +00:00
|
|
|
def operand(self) -> Union[SymbolName, LiteralValue, Register]:
|
2018-01-17 00:26:58 +00:00
|
|
|
return self.nodes[0] # type: ignore
|
|
|
|
|
2018-01-08 02:31:23 +00:00
|
|
|
def __attrs_post_init__(self):
|
|
|
|
# convert datatype node to enum + size
|
|
|
|
if self.datatype is None:
|
|
|
|
assert self.size is None
|
|
|
|
self.size = 1
|
|
|
|
self.datatype = DataType.BYTE
|
|
|
|
elif isinstance(self.datatype, DatatypeNode):
|
|
|
|
assert self.size is None
|
|
|
|
self.size = self.datatype.dimensions
|
2018-01-14 17:02:39 +00:00
|
|
|
if not self.datatype.to_enum().isnumeric():
|
|
|
|
raise ParseError("dereference target value must be byte, word, float", self.datatype.sourceref)
|
2018-01-08 02:31:23 +00:00
|
|
|
self.datatype = self.datatype.to_enum()
|
2018-01-30 00:38:37 +00:00
|
|
|
if self.nodes and not isinstance(self.nodes[0], (SymbolName, LiteralValue, Register)):
|
|
|
|
raise TypeError("operand of dereference invalid type", self.nodes[0], self.sourceref)
|
2018-01-05 21:52:23 +00:00
|
|
|
|
2018-02-18 17:19:51 +00:00
|
|
|
def is_compiletime_const(self) -> bool:
|
2018-01-29 21:34:28 +00:00
|
|
|
return False
|
|
|
|
|
|
|
|
def const_value(self) -> Union[int, float, bool, str]:
|
2018-02-18 17:19:51 +00:00
|
|
|
raise NotCompiletimeConstantError("dereference is not a constant numeric value")
|
2018-01-29 21:34:28 +00:00
|
|
|
|
2018-01-09 23:44:11 +00:00
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
@attr.s(cmp=False)
|
2018-01-09 23:44:11 +00:00
|
|
|
class IncrDecr(AstNode):
|
2018-02-20 23:50:09 +00:00
|
|
|
# increment or decrement something by a small CONSTANT value (1..255)
|
|
|
|
# larger values will be treated/converted as an augmented assignment += or -=.
|
2018-02-11 14:11:14 +00:00
|
|
|
# one subnode: target (Register, SymbolName, or Dereference).
|
2018-03-06 21:02:50 +00:00
|
|
|
operator = attr.ib(type=str, validator=attr.validators.in_(["++", "--"])) # type: ignore
|
2018-01-09 23:44:11 +00:00
|
|
|
howmuch = attr.ib(default=1)
|
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
@property
|
2018-02-11 14:11:14 +00:00
|
|
|
def target(self) -> Union[Register, SymbolName, Dereference]:
|
2018-01-17 00:26:58 +00:00
|
|
|
return self.nodes[0] # type: ignore
|
|
|
|
|
|
|
|
@target.setter
|
2018-02-11 14:11:14 +00:00
|
|
|
def target(self, target: Union[Register, SymbolName, Dereference]) -> None:
|
2018-01-17 00:26:58 +00:00
|
|
|
if isinstance(target, Register):
|
|
|
|
if target.name not in REGISTER_BYTES | REGISTER_WORDS:
|
|
|
|
raise ParseError("cannot incr/decr that register", self.sourceref)
|
2018-01-18 22:33:02 +00:00
|
|
|
assert isinstance(target, (Register, SymbolName, Dereference))
|
2018-01-17 00:26:58 +00:00
|
|
|
self.nodes.clear()
|
2018-02-18 17:19:51 +00:00
|
|
|
# the expression on the left hand side should be marked LHS to avoid improper constant folding/replacement.
|
|
|
|
target.is_lhs = True
|
2018-01-17 00:26:58 +00:00
|
|
|
self.nodes.append(target)
|
|
|
|
|
2018-01-09 23:44:11 +00:00
|
|
|
def __attrs_post_init__(self):
|
2018-02-20 23:50:09 +00:00
|
|
|
# make sure the amount is always >= 0, flip the operator if needed
|
2018-01-09 23:44:11 +00:00
|
|
|
if self.howmuch < 0:
|
|
|
|
self.howmuch = -self.howmuch
|
|
|
|
self.operator = "++" if self.operator == "--" else "--"
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
2018-01-07 18:14:21 +00:00
|
|
|
@attr.s(cmp=False, slots=True, repr=False)
|
2018-01-29 21:34:28 +00:00
|
|
|
class ExpressionWithOperator(Expression):
|
2018-01-30 00:38:37 +00:00
|
|
|
# 2 nodes: left (Expression), right (not present if unary, Expression if not unary)
|
2018-03-04 14:11:45 +00:00
|
|
|
operator = attr.ib(type=str, default="???")
|
2018-01-03 20:43:19 +00:00
|
|
|
|
2018-01-30 00:38:37 +00:00
|
|
|
@property
|
|
|
|
def unary(self) -> bool:
|
|
|
|
return len(self.nodes) == 1
|
|
|
|
|
|
|
|
@property
|
|
|
|
def left(self) -> Expression:
|
|
|
|
return self.nodes[0] # type: ignore
|
|
|
|
|
|
|
|
@left.setter
|
|
|
|
def left(self, newleft: Expression) -> None:
|
|
|
|
if self.nodes:
|
|
|
|
self.nodes[0] = newleft
|
|
|
|
else:
|
|
|
|
self.nodes.append(newleft)
|
|
|
|
|
|
|
|
@property
|
|
|
|
def right(self) -> Optional[Expression]:
|
|
|
|
return self.nodes[1] if len(self.nodes) == 2 else None # type: ignore
|
|
|
|
|
|
|
|
@right.setter
|
|
|
|
def right(self, newright: Expression) -> None:
|
|
|
|
self.nodes[1] = newright
|
|
|
|
|
2018-01-09 23:44:11 +00:00
|
|
|
def __attrs_post_init__(self):
|
|
|
|
assert self.operator not in ("++", "--"), "incr/decr should not be an expression"
|
2018-01-18 22:33:02 +00:00
|
|
|
if self.operator == "mod":
|
|
|
|
self.operator = "%" # change it back to the more common '%'
|
2018-01-09 23:44:11 +00:00
|
|
|
|
2018-01-29 21:34:28 +00:00
|
|
|
def const_value(self) -> Union[int, float, bool, str]:
|
2018-02-07 01:10:52 +00:00
|
|
|
cv = [n.const_value() for n in self.nodes] # type: ignore
|
|
|
|
if self.unary:
|
|
|
|
if self.operator == "-":
|
|
|
|
return -cv[0]
|
|
|
|
elif self.operator == "+":
|
|
|
|
return cv[0]
|
|
|
|
elif self.operator == "~":
|
|
|
|
return ~cv[0]
|
|
|
|
elif self.operator == "not":
|
|
|
|
return not cv[0]
|
|
|
|
elif self.operator == "&":
|
2018-02-18 17:19:51 +00:00
|
|
|
raise NotCompiletimeConstantError("the address-of operator should have been parsed into an AddressOf node")
|
2018-02-07 01:10:52 +00:00
|
|
|
else:
|
|
|
|
raise ValueError("invalid unary operator: "+self.operator, self.sourceref)
|
|
|
|
else:
|
|
|
|
if self.operator == "-":
|
|
|
|
return cv[0] - cv[1]
|
|
|
|
elif self.operator == "+":
|
|
|
|
return cv[0] + cv[1]
|
|
|
|
elif self.operator == "*":
|
|
|
|
return cv[0] * cv[1]
|
|
|
|
elif self.operator == "/":
|
|
|
|
return cv[0] / cv[1]
|
|
|
|
elif self.operator == "**":
|
|
|
|
return cv[0] ** cv[1]
|
|
|
|
elif self.operator == "//":
|
|
|
|
return cv[0] // cv[1]
|
|
|
|
elif self.operator in ("%", "mod"):
|
|
|
|
return cv[0] % cv[1]
|
|
|
|
elif self.operator == "<<":
|
|
|
|
return cv[0] << cv[1]
|
|
|
|
elif self.operator == ">>":
|
|
|
|
return cv[0] >> cv[1]
|
|
|
|
elif self.operator == "|":
|
|
|
|
return cv[0] | cv[1]
|
|
|
|
elif self.operator == "&":
|
|
|
|
return cv[0] & cv[1]
|
|
|
|
elif self.operator == "^":
|
|
|
|
return cv[0] ^ cv[1]
|
|
|
|
elif self.operator == "==":
|
|
|
|
return cv[0] == cv[1]
|
|
|
|
elif self.operator == "!=":
|
|
|
|
return cv[0] != cv[1]
|
|
|
|
elif self.operator == "<":
|
|
|
|
return cv[0] < cv[1]
|
|
|
|
elif self.operator == ">":
|
|
|
|
return cv[0] > cv[1]
|
|
|
|
elif self.operator == "<=":
|
|
|
|
return cv[0] <= cv[1]
|
|
|
|
elif self.operator == ">=":
|
|
|
|
return cv[0] >= cv[1]
|
|
|
|
elif self.operator == "and":
|
|
|
|
return cv[0] and cv[1]
|
|
|
|
elif self.operator == "or":
|
|
|
|
return cv[0] or cv[1]
|
|
|
|
elif self.operator == "xor":
|
|
|
|
i1 = 1 if cv[0] else 0
|
|
|
|
i2 = 1 if cv[1] else 0
|
|
|
|
return bool(i1 ^ i2)
|
|
|
|
else:
|
|
|
|
raise ValueError("invalid operator: "+self.operator, self.sourceref)
|
2018-01-27 00:07:00 +00:00
|
|
|
|
2018-02-07 01:10:52 +00:00
|
|
|
@no_type_check
|
2018-02-18 17:19:51 +00:00
|
|
|
def is_compiletime_const(self) -> bool:
|
2018-02-07 01:10:52 +00:00
|
|
|
if len(self.nodes) == 1:
|
2018-02-18 17:19:51 +00:00
|
|
|
return self.nodes[0].is_compiletime_const()
|
2018-02-07 01:10:52 +00:00
|
|
|
elif len(self.nodes) == 2:
|
2018-02-18 17:19:51 +00:00
|
|
|
return self.nodes[0].is_compiletime_const() and self.nodes[1].is_compiletime_const()
|
2018-02-07 01:10:52 +00:00
|
|
|
raise ValueError("should have 1 or 2 nodes")
|
2018-01-29 21:34:28 +00:00
|
|
|
|
2018-01-27 00:07:00 +00:00
|
|
|
def evaluate_primitive_constants(self, sourceref: SourceRef) -> LiteralValue:
|
2018-01-09 23:44:11 +00:00
|
|
|
# make sure the lvalue and rvalue are primitives, and the operator is allowed
|
2018-01-17 00:26:58 +00:00
|
|
|
assert isinstance(self.left, LiteralValue)
|
|
|
|
assert isinstance(self.right, LiteralValue)
|
2018-01-18 22:33:02 +00:00
|
|
|
if self.operator not in {'+', '-', '*', '/', '//', '~', '|', '&', '%', '<<', '>>', '<', '>', '<=', '>=', '==', '!='}:
|
|
|
|
raise ValueError("operator", self.operator)
|
2018-01-17 00:26:58 +00:00
|
|
|
estr = "{} {} {}".format(repr(self.left.value), self.operator, repr(self.right.value))
|
2018-01-09 23:44:11 +00:00
|
|
|
try:
|
2018-01-30 00:38:37 +00:00
|
|
|
lv = LiteralValue(value=eval(estr, {}, {}), sourceref=sourceref) # type: ignore # safe because of checks above
|
|
|
|
lv.parent = self.parent
|
|
|
|
return lv
|
2018-01-23 23:41:50 +00:00
|
|
|
except ZeroDivisionError:
|
|
|
|
raise ParseError("division by zero", sourceref)
|
2018-01-09 23:44:11 +00:00
|
|
|
except Exception as x:
|
|
|
|
raise ExpressionEvaluationError("expression error: " + str(x), self.sourceref) from None
|
|
|
|
|
|
|
|
|
2018-01-21 12:34:07 +00:00
|
|
|
@attr.s(cmp=False, repr=False)
|
|
|
|
class Goto(AstNode):
|
2018-01-30 23:28:21 +00:00
|
|
|
# one or two subnodes: target (SymbolName, integer LiteralValue, or Dereference) and optionally: condition (Expression)
|
2018-02-16 15:15:48 +00:00
|
|
|
# also the if_stmt itself can be a form of a condition (if_gt, ...)
|
2018-01-21 12:34:07 +00:00
|
|
|
if_stmt = attr.ib(default=None)
|
|
|
|
|
|
|
|
@property
|
2018-01-30 23:28:21 +00:00
|
|
|
def target(self) -> Union[SymbolName, LiteralValue, Dereference]:
|
2018-01-21 12:34:07 +00:00
|
|
|
return self.nodes[0] # type: ignore
|
|
|
|
|
|
|
|
@property
|
2018-01-29 21:34:28 +00:00
|
|
|
def condition(self) -> Optional[Expression]:
|
2018-01-21 12:34:07 +00:00
|
|
|
return self.nodes[1] if len(self.nodes) == 2 else None # type: ignore
|
|
|
|
|
2018-02-16 15:15:48 +00:00
|
|
|
@property
|
|
|
|
def if_cond(self) -> str:
|
|
|
|
return self.if_stmt[3:] if self.if_stmt else ""
|
|
|
|
|
2018-01-21 12:34:07 +00:00
|
|
|
|
2018-01-21 17:17:39 +00:00
|
|
|
@attr.s(cmp=False, slots=True, repr=False)
|
2018-01-17 00:26:58 +00:00
|
|
|
class CallArgument(AstNode):
|
|
|
|
# one subnode: the value (Expression)
|
|
|
|
name = attr.ib(type=str, default=None)
|
|
|
|
|
|
|
|
@property
|
|
|
|
def value(self) -> Expression:
|
|
|
|
return self.nodes[0] # type: ignore
|
|
|
|
|
|
|
|
|
|
|
|
@attr.s(cmp=False)
|
|
|
|
class CallArguments(AstNode):
|
|
|
|
# subnodes are zero or more subroutine call arguments (CallArgument)
|
2018-03-06 21:02:50 +00:00
|
|
|
nodes = attr.ib(type=list, init=True) # type: ignore # requires nodes in __init__
|
2018-01-17 00:26:58 +00:00
|
|
|
|
|
|
|
|
|
|
|
@attr.s(cmp=False, repr=False)
|
2018-01-29 21:34:28 +00:00
|
|
|
class SubCall(Expression):
|
2018-01-17 00:26:58 +00:00
|
|
|
# has three subnodes:
|
2018-01-30 00:38:37 +00:00
|
|
|
# 0: target (Symbolname, integer LiteralValue, or Dereference),
|
2018-01-17 00:26:58 +00:00
|
|
|
# 1: preserve_regs (PreserveRegs)
|
|
|
|
# 2: arguments (CallArguments).
|
|
|
|
|
|
|
|
@property
|
2018-01-30 00:38:37 +00:00
|
|
|
def target(self) -> Union[SymbolName, LiteralValue, Dereference]:
|
2018-01-17 00:26:58 +00:00
|
|
|
return self.nodes[0] # type: ignore
|
|
|
|
|
|
|
|
@property
|
|
|
|
def preserve_regs(self) -> PreserveRegs:
|
|
|
|
return self.nodes[1] # type: ignore
|
|
|
|
|
|
|
|
@property
|
|
|
|
def arguments(self) -> CallArguments:
|
|
|
|
return self.nodes[2] # type: ignore
|
|
|
|
|
2018-02-18 17:19:51 +00:00
|
|
|
def is_compiletime_const(self) -> bool:
|
2018-02-07 01:10:52 +00:00
|
|
|
if isinstance(self.nodes[0], SymbolName):
|
|
|
|
symdef = self.nodes[0].my_scope().lookup(self.nodes[0].name)
|
|
|
|
if isinstance(symdef, BuiltinFunction):
|
|
|
|
return True
|
2018-01-29 21:34:28 +00:00
|
|
|
return False
|
|
|
|
|
2018-02-07 01:10:52 +00:00
|
|
|
@no_type_check
|
2018-01-29 21:34:28 +00:00
|
|
|
def const_value(self) -> Union[int, float, bool, str]:
|
2018-02-07 01:10:52 +00:00
|
|
|
if isinstance(self.nodes[0], SymbolName):
|
|
|
|
symdef = self.nodes[0].my_scope().lookup(self.nodes[0].name)
|
|
|
|
if isinstance(symdef, BuiltinFunction):
|
|
|
|
arguments = [a.nodes[0].const_value() for a in self.nodes[2].nodes]
|
|
|
|
return symdef.func(*arguments)
|
2018-02-18 17:19:51 +00:00
|
|
|
raise NotCompiletimeConstantError("subroutine call is not a constant value", self)
|
2018-01-29 21:34:28 +00:00
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
|
|
|
|
@attr.s(cmp=False, slots=True, repr=False)
|
|
|
|
class VarDef(AstNode):
|
2018-01-29 21:34:28 +00:00
|
|
|
# zero or one subnode: value (Expression).
|
2018-03-06 21:02:50 +00:00
|
|
|
name = attr.ib(type=str) # type: ignore
|
2018-01-17 00:26:58 +00:00
|
|
|
vartype = attr.ib()
|
|
|
|
datatype = attr.ib()
|
|
|
|
size = attr.ib(type=list, default=None)
|
|
|
|
zp_address = attr.ib(type=int, default=None, init=False) # the address in the zero page if this var is there, will be set later
|
|
|
|
|
|
|
|
@property
|
2018-01-29 21:34:28 +00:00
|
|
|
def value(self) -> Expression:
|
2018-01-17 00:26:58 +00:00
|
|
|
return self.nodes[0] if self.nodes else None # type: ignore
|
|
|
|
|
|
|
|
@value.setter
|
2018-01-29 21:34:28 +00:00
|
|
|
def value(self, value: Expression) -> None:
|
|
|
|
assert isinstance(value, Expression)
|
2018-01-17 00:26:58 +00:00
|
|
|
if self.nodes:
|
2018-01-18 22:33:02 +00:00
|
|
|
self.nodes[0] = value
|
2018-01-17 00:26:58 +00:00
|
|
|
else:
|
2018-01-18 22:33:02 +00:00
|
|
|
self.nodes.append(value)
|
2018-01-17 00:26:58 +00:00
|
|
|
|
2018-01-29 21:34:28 +00:00
|
|
|
def const_value(self) -> Union[int, float, bool, str]:
|
2018-01-27 00:07:00 +00:00
|
|
|
if self.vartype != VarType.CONST:
|
2018-02-18 17:19:51 +00:00
|
|
|
raise NotCompiletimeConstantError("not a constant value", self)
|
2018-01-29 21:34:28 +00:00
|
|
|
if self.nodes and isinstance(self.nodes[0], Expression):
|
|
|
|
return self.nodes[0].const_value()
|
|
|
|
raise ValueError("no value", self)
|
2018-01-27 00:07:00 +00:00
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
def __attrs_post_init__(self):
|
|
|
|
# convert vartype to enum
|
|
|
|
if self.vartype == "const":
|
|
|
|
self.vartype = VarType.CONST
|
|
|
|
elif self.vartype == "var":
|
|
|
|
self.vartype = VarType.VAR
|
|
|
|
elif self.vartype == "memory":
|
|
|
|
self.vartype = VarType.MEMORY
|
|
|
|
else:
|
|
|
|
raise ValueError("invalid vartype", self.vartype)
|
|
|
|
# convert datatype node to enum + size
|
|
|
|
if self.datatype is None:
|
|
|
|
assert self.size is None
|
|
|
|
self.size = [1]
|
|
|
|
self.datatype = DataType.BYTE
|
|
|
|
elif isinstance(self.datatype, DatatypeNode):
|
|
|
|
assert self.size is None
|
|
|
|
self.size = self.datatype.dimensions or [1]
|
|
|
|
self.datatype = self.datatype.to_enum()
|
2018-01-27 00:07:00 +00:00
|
|
|
if self.datatype == DataType.MATRIX and len(self.size) not in (2, 3):
|
|
|
|
raise ValueError("matrix size should be 2 dimensions with optional interleave", self)
|
2018-01-17 00:26:58 +00:00
|
|
|
if self.datatype.isarray() and sum(self.size) in (0, 1):
|
2018-01-27 00:07:00 +00:00
|
|
|
print("warning: {}: array/matrix with size 1, use normal byte/word instead".format(self.sourceref))
|
2018-01-17 00:26:58 +00:00
|
|
|
if self.value is None and (self.datatype.isnumeric() or self.datatype.isarray()):
|
2018-02-13 22:11:36 +00:00
|
|
|
if self.vartype != VarType.CONST:
|
|
|
|
# leave None when it's a const, so we can check for uninitialized consts later and raise error.
|
|
|
|
self.value = LiteralValue(value=0, sourceref=self.sourceref)
|
|
|
|
self.value.parent = self
|
2018-01-17 00:26:58 +00:00
|
|
|
# if it's a matrix with interleave, it must be memory mapped
|
|
|
|
if self.datatype == DataType.MATRIX and len(self.size) == 3:
|
|
|
|
if self.vartype != VarType.MEMORY:
|
|
|
|
raise ParseError("matrix with interleave can only be a memory-mapped variable", self.sourceref)
|
|
|
|
# note: value coercion is done later, when all expressions are evaluated
|
|
|
|
|
|
|
|
|
|
|
|
@attr.s(cmp=False, repr=False)
|
|
|
|
class Return(AstNode):
|
|
|
|
# one, two or three subnodes: value_A, value_X, value_Y (all three Expression)
|
|
|
|
@property
|
2018-01-29 21:34:28 +00:00
|
|
|
def value_A(self) -> Optional[Expression]:
|
2018-02-01 00:56:36 +00:00
|
|
|
return self.nodes[0] if len(self.nodes) >= 1 else None # type: ignore
|
2018-01-17 00:26:58 +00:00
|
|
|
|
|
|
|
@property
|
2018-01-29 21:34:28 +00:00
|
|
|
def value_X(self) -> Optional[Expression]:
|
2018-02-01 00:56:36 +00:00
|
|
|
return self.nodes[1] if len(self.nodes) >= 2 else None # type: ignore
|
2018-01-17 00:26:58 +00:00
|
|
|
|
|
|
|
@property
|
2018-01-29 21:34:28 +00:00
|
|
|
def value_Y(self) -> Optional[Expression]:
|
2018-02-01 00:56:36 +00:00
|
|
|
return self.nodes[2] if len(self.nodes) >= 3 else None # type: ignore
|
2018-01-17 00:26:58 +00:00
|
|
|
|
|
|
|
|
|
|
|
@attr.s(cmp=False, slots=True, repr=False)
|
|
|
|
class Assignment(AstNode):
|
2018-02-20 00:16:16 +00:00
|
|
|
# has two subnodes: left (=Register/SymbolName/Dereference ) and right (=Expression)
|
2018-01-17 00:26:58 +00:00
|
|
|
@property
|
2018-02-18 17:19:51 +00:00
|
|
|
def left(self) -> Union[Register, SymbolName, Dereference]:
|
2018-01-17 00:26:58 +00:00
|
|
|
return self.nodes[0] # type: ignore
|
|
|
|
|
|
|
|
@property
|
2018-01-29 21:34:28 +00:00
|
|
|
def right(self) -> Expression:
|
2018-01-17 00:26:58 +00:00
|
|
|
return self.nodes[1] # type: ignore
|
|
|
|
|
|
|
|
@right.setter
|
2018-01-29 21:34:28 +00:00
|
|
|
def right(self, rvalue: Expression) -> None:
|
|
|
|
assert isinstance(rvalue, Expression)
|
2018-01-17 00:26:58 +00:00
|
|
|
self.nodes[1] = rvalue
|
|
|
|
|
2018-02-18 17:19:51 +00:00
|
|
|
def mark_lhs(self):
|
|
|
|
# the expression on the left hand side should be marked LHS to avoid improper constant folding/replacement.
|
|
|
|
self.nodes[0].is_lhs = True
|
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
|
|
|
|
@attr.s(cmp=False, slots=True, repr=False)
|
|
|
|
class AugAssignment(AstNode):
|
2018-02-11 14:11:14 +00:00
|
|
|
# has two subnodes: left (=Register, SymbolName, or Dereference) and right (=Expression)
|
2018-03-06 21:02:50 +00:00
|
|
|
operator = attr.ib(type=str) # type: ignore
|
2018-01-17 00:26:58 +00:00
|
|
|
|
|
|
|
@property
|
2018-02-11 14:11:14 +00:00
|
|
|
def left(self) -> Union[Register, SymbolName, Dereference]:
|
2018-01-17 00:26:58 +00:00
|
|
|
return self.nodes[0] # type: ignore
|
|
|
|
|
|
|
|
@property
|
|
|
|
def right(self) -> Expression:
|
|
|
|
return self.nodes[1] # type: ignore
|
|
|
|
|
2018-02-01 00:56:36 +00:00
|
|
|
@right.setter
|
|
|
|
def right(self, rvalue: Expression) -> None:
|
|
|
|
assert isinstance(rvalue, Expression)
|
|
|
|
self.nodes[1] = rvalue
|
|
|
|
|
2018-02-18 17:19:51 +00:00
|
|
|
def mark_lhs(self):
|
|
|
|
# the expression on the left hand side should be marked LHS to avoid improper constant folding/replacement.
|
|
|
|
self.nodes[0].is_lhs = True
|
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
|
2018-02-01 00:56:36 +00:00
|
|
|
def datatype_of(targetnode: AstNode, scope: Scope) -> DataType:
|
2018-01-14 23:20:36 +00:00
|
|
|
# tries to determine the DataType of an assignment target node
|
2018-02-01 00:56:36 +00:00
|
|
|
if isinstance(targetnode, VarDef):
|
|
|
|
return DataType.WORD if targetnode.vartype == VarType.MEMORY else targetnode.datatype
|
|
|
|
elif isinstance(targetnode, (Dereference, Register)):
|
|
|
|
return targetnode.datatype
|
|
|
|
elif isinstance(targetnode, SymbolName):
|
|
|
|
symdef = scope.lookup(targetnode.name)
|
2018-01-14 23:20:36 +00:00
|
|
|
if isinstance(symdef, VarDef):
|
|
|
|
return symdef.datatype
|
2018-02-01 00:56:36 +00:00
|
|
|
raise TypeError("cannot determine datatype", targetnode)
|
2018-01-14 23:20:36 +00:00
|
|
|
|
|
|
|
|
2018-02-01 00:56:36 +00:00
|
|
|
def coerce_constant_value(datatype: DataType, value: Expression,
|
|
|
|
sourceref: SourceRef=None) -> Tuple[bool, Expression]:
|
2018-01-14 23:20:36 +00:00
|
|
|
# if we're a BYTE type, and the value is a single character, convert it to the numeric value
|
2018-02-01 00:56:36 +00:00
|
|
|
assert isinstance(value, Expression)
|
2018-01-17 00:26:58 +00:00
|
|
|
|
2018-02-01 00:56:36 +00:00
|
|
|
def verify_bounds(pvalue: Union[int, float, str]) -> None:
|
2018-01-14 23:20:36 +00:00
|
|
|
# if the value is out of bounds, raise an overflow exception
|
2018-02-01 00:56:36 +00:00
|
|
|
if isinstance(pvalue, (int, float)):
|
|
|
|
if datatype == DataType.BYTE and not (0 <= pvalue <= 0xff): # type: ignore
|
|
|
|
raise OverflowError("value out of range for byte: " + str(pvalue))
|
|
|
|
if datatype == DataType.WORD and not (0 <= pvalue <= 0xffff): # type: ignore
|
|
|
|
raise OverflowError("value out of range for word: " + str(pvalue))
|
|
|
|
if datatype == DataType.FLOAT and not (FLOAT_MAX_NEGATIVE <= pvalue <= FLOAT_MAX_POSITIVE): # type: ignore
|
|
|
|
raise OverflowError("value out of range for float: " + str(pvalue))
|
2018-01-17 00:26:58 +00:00
|
|
|
|
|
|
|
if isinstance(value, LiteralValue):
|
|
|
|
if type(value.value) is str and len(value.value) == 1 and (datatype.isnumeric() or datatype.isarray()):
|
|
|
|
# convert a string of length 1 to its numeric character value
|
2018-01-30 00:38:37 +00:00
|
|
|
lv = LiteralValue(value=char_to_bytevalue(value.value), sourceref=value.sourceref) # type: ignore
|
|
|
|
lv.parent = value.parent
|
|
|
|
return True, lv
|
2018-01-17 00:26:58 +00:00
|
|
|
# if we're an integer value and the passed value is float, truncate it (and give a warning)
|
|
|
|
if datatype in (DataType.BYTE, DataType.WORD, DataType.MATRIX) and isinstance(value.value, float):
|
|
|
|
frac = math.modf(value.value)
|
|
|
|
if frac != 0:
|
|
|
|
print_warning("float value truncated ({} to datatype {})".format(value.value, datatype.name), sourceref=sourceref)
|
|
|
|
v2 = int(value.value)
|
|
|
|
verify_bounds(v2)
|
2018-01-30 00:38:37 +00:00
|
|
|
lv = LiteralValue(value=v2, sourceref=value.sourceref) # type: ignore
|
|
|
|
lv.parent = value.parent
|
|
|
|
return True, lv
|
2018-01-17 00:26:58 +00:00
|
|
|
if type(value.value) in (int, float):
|
|
|
|
verify_bounds(value.value)
|
|
|
|
if datatype == DataType.WORD:
|
|
|
|
if type(value.value) not in (int, float, str):
|
|
|
|
raise TypeError("cannot assign '{:s}' to {:s}".format(type(value.value).__name__, datatype.name.lower()), sourceref)
|
|
|
|
elif datatype in (DataType.BYTE, DataType.WORD, DataType.FLOAT):
|
|
|
|
if type(value.value) not in (int, float):
|
|
|
|
raise TypeError("cannot assign '{:s}' to {:s}".format(type(value.value).__name__, datatype.name.lower()), sourceref)
|
2018-01-29 21:34:28 +00:00
|
|
|
elif isinstance(value, (ExpressionWithOperator, SubCall)):
|
2018-01-15 01:22:14 +00:00
|
|
|
return False, value
|
2018-01-21 17:17:39 +00:00
|
|
|
elif isinstance(value, SymbolName):
|
|
|
|
symboldef = value.my_scope().lookup(value.name)
|
|
|
|
if isinstance(symboldef, VarDef) and symboldef.vartype == VarType.CONST:
|
|
|
|
return True, symboldef.value
|
|
|
|
elif isinstance(value, AddressOf):
|
2018-01-27 00:07:00 +00:00
|
|
|
try:
|
2018-01-29 21:34:28 +00:00
|
|
|
address = value.const_value()
|
2018-01-30 00:38:37 +00:00
|
|
|
lv = LiteralValue(value=address, sourceref=value.sourceref) # type: ignore
|
|
|
|
lv.parent = value.parent
|
|
|
|
return True, lv
|
2018-01-27 00:07:00 +00:00
|
|
|
except TypeError:
|
|
|
|
return False, value
|
2018-01-17 00:26:58 +00:00
|
|
|
if datatype == DataType.WORD and not isinstance(value, (LiteralValue, Dereference, Register, SymbolName, AddressOf)):
|
|
|
|
raise TypeError("cannot assign '{:s}' to {:s}".format(type(value).__name__, datatype.name.lower()), sourceref)
|
|
|
|
elif datatype in (DataType.BYTE, DataType.WORD, DataType.FLOAT) \
|
2018-01-21 17:17:39 +00:00
|
|
|
and not isinstance(value, (LiteralValue, Dereference, Register, SymbolName, AddressOf)):
|
2018-01-17 00:26:58 +00:00
|
|
|
raise TypeError("cannot assign '{:s}' to {:s}".format(type(value).__name__, datatype.name.lower()), sourceref)
|
2018-01-14 23:20:36 +00:00
|
|
|
return False, value
|
|
|
|
|
|
|
|
|
2018-01-18 22:33:02 +00:00
|
|
|
def check_symbol_definition(name: str, scope: Scope, sref: SourceRef) -> Any:
|
|
|
|
try:
|
|
|
|
return scope.lookup(name)
|
|
|
|
except UndefinedSymbolError as x:
|
|
|
|
raise ParseError(str(x), sref)
|
|
|
|
|
|
|
|
|
2018-03-06 21:02:50 +00:00
|
|
|
@no_type_check
|
|
|
|
def scoped_name(node_with_name: AstNode, current_scope: Scope) -> str:
|
|
|
|
node_scope = node_with_name.my_scope()
|
|
|
|
return node_with_name.name if node_scope is current_scope else node_scope.name + "." + node_with_name.name
|
|
|
|
|
|
|
|
|
2018-01-09 23:44:11 +00:00
|
|
|
# ----------------- PLY parser definition follows ----------------------
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
def p_start(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
start : empty
|
|
|
|
| module_elements
|
|
|
|
"""
|
2018-01-03 20:43:19 +00:00
|
|
|
if p[1]:
|
2018-01-17 00:26:58 +00:00
|
|
|
scope = Scope(nodes=p[1], level="module", sourceref=_token_sref(p, 1))
|
2018-01-07 18:14:21 +00:00
|
|
|
scope.name = "<" + p.lexer.source_filename + " global scope>"
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = Module(name=p.lexer.source_filename, sourceref=_token_sref(p, 1))
|
|
|
|
p[0].nodes.append(scope)
|
2018-01-07 18:14:21 +00:00
|
|
|
else:
|
2018-01-17 00:26:58 +00:00
|
|
|
scope = Scope(nodes=[], level="module", sourceref=_token_sref(p, 1))
|
2018-01-07 18:14:21 +00:00
|
|
|
scope.name = "<" + p.lexer.source_filename + " global scope>"
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = Module(name=p.lexer.source_filename, sourceref=SourceRef(lexer.source_filename, 1, 1))
|
|
|
|
p[0].nodes.append(scope)
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_module(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
module_elements : module_elt
|
|
|
|
| module_elements module_elt
|
|
|
|
"""
|
2018-01-03 20:43:19 +00:00
|
|
|
if len(p) == 2:
|
2018-01-08 02:31:23 +00:00
|
|
|
if p[1] is None:
|
|
|
|
p[0] = []
|
|
|
|
else:
|
|
|
|
p[0] = [p[1]]
|
2018-01-03 20:43:19 +00:00
|
|
|
else:
|
2018-01-08 02:31:23 +00:00
|
|
|
if p[2] is None:
|
|
|
|
p[0] = p[1]
|
|
|
|
else:
|
|
|
|
p[0] = p[1] + [p[2]]
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_module_elt(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
module_elt : ENDL
|
|
|
|
| directive
|
|
|
|
| block
|
2018-01-07 18:14:21 +00:00
|
|
|
"""
|
|
|
|
if p[1] != '\n':
|
|
|
|
p[0] = p[1]
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_directive(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
directive : DIRECTIVE ENDL
|
|
|
|
| DIRECTIVE directive_args ENDL
|
2018-01-03 20:43:19 +00:00
|
|
|
"""
|
2018-01-09 01:40:32 +00:00
|
|
|
if len(p) == 3:
|
2018-01-07 13:36:12 +00:00
|
|
|
p[0] = Directive(name=p[1], sourceref=_token_sref(p, 1))
|
2018-01-03 20:43:19 +00:00
|
|
|
else:
|
2018-01-07 13:36:12 +00:00
|
|
|
p[0] = Directive(name=p[1], args=p[2], sourceref=_token_sref(p, 1))
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_directive_args(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
directive_args : directive_arg
|
|
|
|
| directive_args ',' directive_arg
|
2018-01-03 20:43:19 +00:00
|
|
|
"""
|
|
|
|
if len(p) == 2:
|
|
|
|
p[0] = [p[1]]
|
|
|
|
else:
|
|
|
|
p[0] = p[1] + [p[3]]
|
|
|
|
|
|
|
|
|
|
|
|
def p_directive_arg(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
directive_arg : NAME
|
|
|
|
| INTEGER
|
|
|
|
| STRING
|
2018-01-07 18:14:21 +00:00
|
|
|
| BOOLEAN
|
2018-01-03 20:43:19 +00:00
|
|
|
"""
|
|
|
|
p[0] = p[1]
|
|
|
|
|
|
|
|
|
2018-01-05 21:52:23 +00:00
|
|
|
def p_block_name_addr(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
block : BITINVERT NAME INTEGER endl_opt scope
|
|
|
|
"""
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = Block(name=p[2], address=p[3], sourceref=_token_sref(p, 2))
|
|
|
|
p[0].scope = p[5]
|
2018-01-05 21:52:23 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_block_name(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
block : BITINVERT NAME endl_opt scope
|
|
|
|
"""
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = Block(name=p[2], sourceref=_token_sref(p, 2))
|
|
|
|
p[0].scope = p[4]
|
2018-02-15 23:55:58 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_block_address(p):
|
|
|
|
"""
|
|
|
|
block : BITINVERT INTEGER endl_opt scope
|
|
|
|
"""
|
|
|
|
p[0] = Block(address=p[2], sourceref=_token_sref(p, 2))
|
|
|
|
p[0].scope = p[4]
|
2018-01-05 21:52:23 +00:00
|
|
|
|
|
|
|
|
2018-01-03 20:43:19 +00:00
|
|
|
def p_block(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
block : BITINVERT endl_opt scope
|
|
|
|
"""
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = Block(sourceref=_token_sref(p, 1))
|
|
|
|
p[0].scope = p[3]
|
2018-01-05 21:52:23 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_endl_opt(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
endl_opt : empty
|
|
|
|
| ENDL
|
|
|
|
"""
|
|
|
|
pass
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_scope(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
scope : '{' scope_elements_opt '}'
|
|
|
|
"""
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = Scope(nodes=p[2] or [], level="block", sourceref=_token_sref(p, 1))
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_scope_elements_opt(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
scope_elements_opt : empty
|
|
|
|
| scope_elements
|
2018-01-07 18:14:21 +00:00
|
|
|
"""
|
2018-01-03 20:43:19 +00:00
|
|
|
p[0] = p[1]
|
|
|
|
|
|
|
|
|
|
|
|
def p_scope_elements(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
scope_elements : scope_element
|
|
|
|
| scope_elements scope_element
|
2018-01-07 18:14:21 +00:00
|
|
|
"""
|
2018-01-03 20:43:19 +00:00
|
|
|
if len(p) == 2:
|
2018-01-07 18:14:21 +00:00
|
|
|
p[0] = [] if p[1] in (None, '\n') else [p[1]]
|
2018-01-03 20:43:19 +00:00
|
|
|
else:
|
2018-01-07 18:14:21 +00:00
|
|
|
if p[2] in (None, '\n'):
|
|
|
|
p[0] = p[1]
|
|
|
|
else:
|
|
|
|
p[0] = p[1] + [p[2]]
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_scope_element(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
scope_element : ENDL
|
|
|
|
| label
|
|
|
|
| directive
|
|
|
|
| vardef
|
|
|
|
| subroutine
|
|
|
|
| inlineasm
|
|
|
|
| statement
|
|
|
|
"""
|
2018-01-07 18:14:21 +00:00
|
|
|
if p[1] != '\n':
|
|
|
|
p[0] = p[1]
|
|
|
|
else:
|
|
|
|
p[0] = None
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_label(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
label : LABEL
|
|
|
|
"""
|
2018-01-07 13:36:12 +00:00
|
|
|
p[0] = Label(name=p[1], sourceref=_token_sref(p, 1))
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_inlineasm(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
inlineasm : INLINEASM ENDL
|
|
|
|
"""
|
2018-01-07 13:36:12 +00:00
|
|
|
p[0] = InlineAssembly(assembly=p[1], sourceref=_token_sref(p, 1))
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_vardef(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
vardef : VARTYPE type_opt NAME ENDL
|
|
|
|
"""
|
2018-01-09 01:40:32 +00:00
|
|
|
p[0] = VarDef(name=p[3], vartype=p[1], datatype=p[2], sourceref=_token_sref(p, 3))
|
2018-01-05 21:52:23 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_vardef_value(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
vardef : VARTYPE type_opt NAME IS expression
|
|
|
|
"""
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = VarDef(name=p[3], vartype=p[1], datatype=p[2], sourceref=_token_sref(p, 3))
|
|
|
|
p[0].value = p[5]
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_type_opt(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
type_opt : DATATYPE '(' dimensions ')'
|
|
|
|
| DATATYPE
|
|
|
|
| empty
|
|
|
|
"""
|
|
|
|
if len(p) == 5:
|
2018-01-08 02:31:23 +00:00
|
|
|
p[0] = DatatypeNode(name=p[1], dimensions=p[3], sourceref=_token_sref(p, 1))
|
|
|
|
elif len(p) == 2 and p[1]:
|
|
|
|
p[0] = DatatypeNode(name=p[1], sourceref=_token_sref(p, 1))
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_dimensions(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
dimensions : INTEGER
|
|
|
|
| dimensions ',' INTEGER
|
|
|
|
"""
|
2018-01-05 01:41:38 +00:00
|
|
|
if len(p) == 2:
|
2018-01-03 20:43:19 +00:00
|
|
|
p[0] = [p[1]]
|
|
|
|
else:
|
|
|
|
p[0] = p[1] + [p[3]]
|
|
|
|
|
|
|
|
|
|
|
|
def p_literal_value(p):
|
|
|
|
"""literal_value : INTEGER
|
|
|
|
| FLOATINGPOINT
|
|
|
|
| STRING
|
|
|
|
| CHARACTER
|
|
|
|
| BOOLEAN"""
|
2018-01-15 01:22:14 +00:00
|
|
|
tok = p.slice[-1]
|
2018-02-11 13:18:22 +00:00
|
|
|
if tok.type == "BOOLEAN":
|
2018-01-15 01:22:14 +00:00
|
|
|
p[1] = int(p[1]) # boolean literals are converted to integer form (true=1, false=0).
|
2018-01-09 23:44:11 +00:00
|
|
|
p[0] = LiteralValue(value=p[1], sourceref=_token_sref(p, 1))
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_subroutine(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
2018-01-07 13:36:12 +00:00
|
|
|
subroutine : SUB NAME '(' sub_param_spec ')' RARROW '(' sub_result_spec ')' subroutine_body ENDL
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
2018-01-07 13:36:12 +00:00
|
|
|
body = p[10]
|
|
|
|
if isinstance(body, Scope):
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = Subroutine(name=p[2], param_spec=p[4] or [], result_spec=p[8] or [], sourceref=_token_sref(p, 1))
|
|
|
|
p[0].scope = body
|
2018-01-15 01:22:14 +00:00
|
|
|
elif type(body) is int:
|
2018-01-09 22:28:39 +00:00
|
|
|
p[0] = Subroutine(name=p[2], param_spec=p[4] or [], result_spec=p[8] or [], address=body, sourceref=_token_sref(p, 1))
|
2018-01-07 13:36:12 +00:00
|
|
|
else:
|
|
|
|
raise TypeError("subroutine_body", p.slice)
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_sub_param_spec(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
sub_param_spec : empty
|
|
|
|
| sub_param_list
|
|
|
|
"""
|
2018-01-03 20:43:19 +00:00
|
|
|
p[0] = p[1]
|
|
|
|
|
|
|
|
|
|
|
|
def p_sub_param_list(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
sub_param_list : sub_param
|
|
|
|
| sub_param_list ',' sub_param
|
|
|
|
"""
|
2018-01-03 20:43:19 +00:00
|
|
|
if len(p) == 2:
|
|
|
|
p[0] = [p[1]]
|
|
|
|
else:
|
2018-01-07 01:36:27 +00:00
|
|
|
p[0] = p[1] + [p[3]]
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_sub_param(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
sub_param : LABEL REGISTER
|
|
|
|
| REGISTER
|
|
|
|
"""
|
2018-01-05 21:52:23 +00:00
|
|
|
if len(p) == 3:
|
|
|
|
p[0] = (p[1], p[2])
|
|
|
|
elif len(p) == 2:
|
|
|
|
p[0] = (None, p[1])
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_sub_result_spec(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
sub_result_spec : empty
|
|
|
|
| '?'
|
|
|
|
| sub_result_list
|
|
|
|
"""
|
2018-01-03 20:43:19 +00:00
|
|
|
if p[1] == '?':
|
|
|
|
p[0] = ['A', 'X', 'Y'] # '?' means: all registers clobbered
|
2018-01-07 01:36:27 +00:00
|
|
|
else:
|
|
|
|
p[0] = p[1]
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_sub_result_list(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
sub_result_list : sub_result_reg
|
|
|
|
| sub_result_list ',' sub_result_reg
|
|
|
|
"""
|
2018-01-03 20:43:19 +00:00
|
|
|
if len(p) == 2:
|
|
|
|
p[0] = [p[1]]
|
|
|
|
else:
|
|
|
|
p[0] = p[1] + [p[3]]
|
|
|
|
|
|
|
|
|
|
|
|
def p_sub_result_reg(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
sub_result_reg : REGISTER
|
|
|
|
| CLOBBEREDREGISTER
|
|
|
|
"""
|
2018-01-03 20:43:19 +00:00
|
|
|
p[0] = p[1]
|
|
|
|
|
|
|
|
|
|
|
|
def p_subroutine_body(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
subroutine_body : scope
|
|
|
|
| IS INTEGER
|
|
|
|
"""
|
2018-01-03 20:43:19 +00:00
|
|
|
if len(p) == 2:
|
|
|
|
p[0] = p[1]
|
|
|
|
else:
|
|
|
|
p[0] = p[2]
|
|
|
|
|
|
|
|
|
|
|
|
def p_statement(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
statement : assignment ENDL
|
|
|
|
| aug_assignment ENDL
|
|
|
|
| subroutine_call ENDL
|
|
|
|
| goto ENDL
|
|
|
|
| conditional_goto ENDL
|
|
|
|
| incrdecr ENDL
|
|
|
|
| return ENDL
|
2018-01-03 20:43:19 +00:00
|
|
|
"""
|
|
|
|
p[0] = p[1]
|
|
|
|
|
|
|
|
|
|
|
|
def p_incrdecr(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
incrdecr : assignment_target INCR
|
|
|
|
| assignment_target DECR
|
|
|
|
"""
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = IncrDecr(operator=p[2], sourceref=_token_sref(p, 2))
|
|
|
|
p[0].target = p[1]
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_call_subroutine(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
subroutine_call : calltarget preserveregs_opt '(' call_arguments_opt ')'
|
|
|
|
"""
|
2018-01-21 17:17:39 +00:00
|
|
|
sref = _token_sref(p, 3)
|
|
|
|
p[0] = SubCall(sourceref=sref)
|
2018-01-30 00:38:37 +00:00
|
|
|
target = p[1]
|
|
|
|
if isinstance(target, int):
|
|
|
|
target = LiteralValue(value=target, sourceref=sref)
|
|
|
|
p[0].nodes.append(target)
|
|
|
|
p[0].nodes.append(p[2] or PreserveRegs(registers="", sourceref=sref))
|
2018-01-21 17:17:39 +00:00
|
|
|
p[0].nodes.append(CallArguments(nodes=p[4] or [], sourceref=sref))
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_preserveregs_opt(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
preserveregs_opt : empty
|
|
|
|
| preserveregs
|
|
|
|
"""
|
2018-01-03 20:43:19 +00:00
|
|
|
p[0] = p[1]
|
|
|
|
|
|
|
|
|
|
|
|
def p_preserveregs(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
preserveregs : PRESERVEREGS
|
|
|
|
"""
|
2018-01-07 13:36:12 +00:00
|
|
|
p[0] = PreserveRegs(registers=p[1], sourceref=_token_sref(p, 1))
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_call_arguments_opt(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
call_arguments_opt : empty
|
|
|
|
| call_arguments
|
|
|
|
"""
|
2018-01-03 20:43:19 +00:00
|
|
|
p[0] = p[1]
|
|
|
|
|
|
|
|
|
|
|
|
def p_call_arguments(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
call_arguments : call_argument
|
|
|
|
| call_arguments ',' call_argument
|
|
|
|
"""
|
2018-01-03 20:43:19 +00:00
|
|
|
if len(p) == 2:
|
|
|
|
p[0] = [p[1]]
|
|
|
|
else:
|
|
|
|
p[0] = p[1] + [p[3]]
|
|
|
|
|
|
|
|
|
|
|
|
def p_call_argument(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
call_argument : expression
|
|
|
|
| register IS expression
|
|
|
|
| NAME IS expression
|
|
|
|
"""
|
2018-01-05 21:52:23 +00:00
|
|
|
if len(p) == 2:
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = CallArgument(sourceref=_token_sref(p, 1))
|
|
|
|
p[0].nodes.append(p[1])
|
2018-01-07 01:36:27 +00:00
|
|
|
elif len(p) == 4:
|
2018-01-21 17:17:39 +00:00
|
|
|
if isinstance(p[1], AstNode):
|
|
|
|
sref = p[1].sourceref
|
|
|
|
else:
|
|
|
|
sref = _token_sref(p, 2)
|
|
|
|
p[0] = CallArgument(name=p[1], sourceref=sref)
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0].nodes.append(p[3])
|
2018-01-05 21:52:23 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_return(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
return : RETURN
|
|
|
|
| RETURN expression
|
|
|
|
| RETURN expression ',' expression
|
|
|
|
| RETURN expression ',' expression ',' expression
|
|
|
|
"""
|
2018-01-05 21:52:23 +00:00
|
|
|
if len(p) == 2:
|
2018-01-07 13:36:12 +00:00
|
|
|
p[0] = Return(sourceref=_token_sref(p, 1))
|
2018-01-07 01:36:27 +00:00
|
|
|
elif len(p) == 3:
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = Return(sourceref=_token_sref(p, 1))
|
|
|
|
p[0].nodes.append(p[2]) # A
|
2018-01-07 01:36:27 +00:00
|
|
|
elif len(p) == 5:
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = Return(sourceref=_token_sref(p, 1))
|
|
|
|
p[0].nodes.append(p[2]) # A
|
|
|
|
p[0].nodes.append(p[4]) # X
|
2018-01-07 01:36:27 +00:00
|
|
|
elif len(p) == 7:
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = Return(sourceref=_token_sref(p, 1))
|
|
|
|
p[0].nodes.append(p[2]) # A
|
|
|
|
p[0].nodes.append(p[4]) # X
|
|
|
|
p[0].nodes.append(p[6]) # Y
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_register(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
register : REGISTER
|
|
|
|
"""
|
2018-01-07 13:36:12 +00:00
|
|
|
p[0] = Register(name=p[1], sourceref=_token_sref(p, 1))
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_goto(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
goto : GOTO calltarget
|
|
|
|
"""
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = Goto(sourceref=_token_sref(p, 1))
|
2018-01-30 23:28:21 +00:00
|
|
|
target = p[2]
|
|
|
|
if isinstance(target, int):
|
|
|
|
target = LiteralValue(value=target, sourceref=p[0].sourceref)
|
|
|
|
p[0].nodes.append(target)
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
2018-01-05 21:52:23 +00:00
|
|
|
def p_conditional_goto_plain(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
conditional_goto : IF GOTO calltarget
|
|
|
|
"""
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = Goto(if_stmt=p[1], sourceref=_token_sref(p, 1))
|
|
|
|
p[0].nodes.append(p[3])
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
2018-01-05 21:52:23 +00:00
|
|
|
def p_conditional_goto_expr(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
conditional_goto : IF expression GOTO calltarget
|
|
|
|
"""
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = Goto(if_stmt=p[1], sourceref=_token_sref(p, 1))
|
|
|
|
p[0].nodes.append(p[4])
|
|
|
|
p[0].nodes.append(p[2])
|
2018-01-05 21:52:23 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_calltarget(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
calltarget : symbolname
|
|
|
|
| INTEGER
|
|
|
|
| dereference
|
|
|
|
"""
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = p[1]
|
2018-01-05 21:52:23 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_dereference(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
dereference : '[' dereference_operand ']'
|
|
|
|
"""
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = Dereference(datatype=p[2][1], sourceref=_token_sref(p, 1))
|
2018-01-30 00:38:37 +00:00
|
|
|
operand = p[2][0]
|
|
|
|
if isinstance(operand, int):
|
|
|
|
p[0].nodes.append(LiteralValue(value=operand, sourceref=p[0].sourceref))
|
|
|
|
elif isinstance(operand, str):
|
|
|
|
p[0].nodes.append(Register(name=operand, sourceref=p[0].sourceref))
|
|
|
|
elif isinstance(operand, SymbolName):
|
|
|
|
p[0].nodes.append(operand)
|
|
|
|
attr.validate(p[0])
|
2018-01-05 21:52:23 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_dereference_operand(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
dereference_operand : symbolname type_opt
|
|
|
|
| REGISTER type_opt
|
|
|
|
| INTEGER type_opt
|
|
|
|
"""
|
2018-01-05 21:52:23 +00:00
|
|
|
p[0] = (p[1], p[2])
|
|
|
|
|
|
|
|
|
2018-01-03 20:43:19 +00:00
|
|
|
def p_symbolname(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
symbolname : NAME
|
|
|
|
| DOTTEDNAME
|
|
|
|
"""
|
2018-01-09 23:44:11 +00:00
|
|
|
p[0] = SymbolName(name=p[1], sourceref=_token_sref(p, 1))
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_assignment(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
assignment : assignment_target IS expression
|
|
|
|
"""
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = Assignment(sourceref=_token_sref(p, 2))
|
2018-02-18 17:19:51 +00:00
|
|
|
p[0].nodes.append(p[1])
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0].nodes.append(p[3])
|
2018-02-18 17:19:51 +00:00
|
|
|
p[0].mark_lhs()
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
2018-01-07 01:36:27 +00:00
|
|
|
def p_aug_assignment(p):
|
|
|
|
"""
|
|
|
|
aug_assignment : assignment_target AUGASSIGN expression
|
|
|
|
"""
|
2018-01-17 00:26:58 +00:00
|
|
|
p[0] = AugAssignment(operator=p[2], sourceref=_token_sref(p, 2))
|
|
|
|
p[0].nodes.append(p[1])
|
2018-01-18 22:33:02 +00:00
|
|
|
p[0].nodes.append(p[3])
|
2018-02-18 17:19:51 +00:00
|
|
|
p[0].mark_lhs()
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
2018-01-05 21:52:23 +00:00
|
|
|
precedence = (
|
2018-01-18 22:33:02 +00:00
|
|
|
# following the python operator precedence rules mostly; https://docs.python.org/3/reference/expressions.html#operator-precedence
|
|
|
|
('left', 'LOGICOR'),
|
2018-02-07 01:10:52 +00:00
|
|
|
('left', 'LOGICXOR'),
|
2018-01-18 22:33:02 +00:00
|
|
|
('left', 'LOGICAND'),
|
|
|
|
('right', 'LOGICNOT'),
|
|
|
|
('left', "LT", "GT", "LE", "GE", "EQUALS", "NOTEQUALS"),
|
|
|
|
('left', 'BITOR'),
|
|
|
|
('left', 'BITXOR'),
|
|
|
|
('left', 'BITAND'),
|
|
|
|
('left', 'SHIFTLEFT', 'SHIFTRIGHT'),
|
2018-01-05 21:52:23 +00:00
|
|
|
('left', '+', '-'),
|
2018-01-18 22:33:02 +00:00
|
|
|
('left', '*', '/', 'INTEGERDIVIDE', 'MODULO'),
|
2018-01-05 21:52:23 +00:00
|
|
|
('right', 'UNARY_MINUS', 'BITINVERT', "UNARY_ADDRESSOF"),
|
2018-01-18 22:33:02 +00:00
|
|
|
('left', 'POWER'),
|
2018-01-05 21:52:23 +00:00
|
|
|
('nonassoc', "COMMENT"),
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
|
|
def p_expression(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
expression : expression '+' expression
|
|
|
|
| expression '-' expression
|
|
|
|
| expression '*' expression
|
|
|
|
| expression '/' expression
|
2018-01-18 22:33:02 +00:00
|
|
|
| expression MODULO expression
|
|
|
|
| expression BITOR expression
|
|
|
|
| expression BITXOR expression
|
|
|
|
| expression BITAND expression
|
|
|
|
| expression SHIFTLEFT expression
|
|
|
|
| expression SHIFTRIGHT expression
|
|
|
|
| expression LOGICOR expression
|
|
|
|
| expression LOGICAND expression
|
2018-02-07 01:10:52 +00:00
|
|
|
| expression LOGICXOR expression
|
2018-01-18 22:33:02 +00:00
|
|
|
| expression POWER expression
|
2018-01-09 23:44:11 +00:00
|
|
|
| expression INTEGERDIVIDE expression
|
2018-01-07 01:36:27 +00:00
|
|
|
| expression LT expression
|
|
|
|
| expression GT expression
|
|
|
|
| expression LE expression
|
|
|
|
| expression GE expression
|
|
|
|
| expression EQUALS expression
|
|
|
|
| expression NOTEQUALS expression
|
|
|
|
"""
|
2018-01-30 00:38:37 +00:00
|
|
|
p[0] = ExpressionWithOperator(operator=p[2], sourceref=_token_sref(p, 2))
|
|
|
|
p[0].nodes.append(p[1])
|
|
|
|
p[0].nodes.append(p[3])
|
2018-01-05 21:52:23 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_expression_uminus(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
expression : '-' expression %prec UNARY_MINUS
|
|
|
|
"""
|
2018-01-30 00:38:37 +00:00
|
|
|
p[0] = ExpressionWithOperator(operator=p[1], sourceref=_token_sref(p, 1))
|
|
|
|
p[0].nodes.append(p[2])
|
2018-01-05 21:52:23 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_expression_addressof(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
expression : BITAND symbolname %prec UNARY_ADDRESSOF
|
|
|
|
"""
|
2018-01-30 00:38:37 +00:00
|
|
|
p[0] = AddressOf(name=p[2].name, sourceref=_token_sref(p, 1))
|
2018-01-05 21:52:23 +00:00
|
|
|
|
|
|
|
|
|
|
|
def p_unary_expression_bitinvert(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
expression : BITINVERT expression
|
|
|
|
"""
|
2018-01-30 00:38:37 +00:00
|
|
|
p[0] = ExpressionWithOperator(operator=p[1], sourceref=_token_sref(p, 1))
|
|
|
|
p[0].nodes.append(p[2])
|
2018-01-05 21:52:23 +00:00
|
|
|
|
|
|
|
|
2018-01-18 22:33:02 +00:00
|
|
|
def p_unary_expression_logicnot(p):
|
|
|
|
"""
|
|
|
|
expression : LOGICNOT expression
|
|
|
|
"""
|
2018-01-30 00:38:37 +00:00
|
|
|
p[0] = ExpressionWithOperator(operator=p[1], sourceref=_token_sref(p, 1))
|
|
|
|
p[0].nodes.append(p[2])
|
2018-01-18 22:33:02 +00:00
|
|
|
|
|
|
|
|
2018-01-05 21:52:23 +00:00
|
|
|
def p_expression_group(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
expression : '(' expression ')'
|
|
|
|
"""
|
2018-01-05 21:52:23 +00:00
|
|
|
p[0] = p[2]
|
|
|
|
|
|
|
|
|
2018-01-07 13:36:12 +00:00
|
|
|
def p_expression_expr_value(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""expression : expression_value"""
|
2018-01-05 21:52:23 +00:00
|
|
|
p[0] = p[1]
|
|
|
|
|
|
|
|
|
|
|
|
def p_expression_value(p):
|
2018-01-07 01:36:27 +00:00
|
|
|
"""
|
|
|
|
expression_value : literal_value
|
|
|
|
| symbolname
|
|
|
|
| register
|
|
|
|
| subroutine_call
|
|
|
|
| dereference
|
|
|
|
"""
|
|
|
|
p[0] = p[1]
|
|
|
|
|
|
|
|
|
|
|
|
def p_assignment_target(p):
|
|
|
|
"""
|
2018-02-11 14:11:14 +00:00
|
|
|
assignment_target : register
|
2018-01-07 01:36:27 +00:00
|
|
|
| symbolname
|
|
|
|
| dereference
|
|
|
|
"""
|
2018-01-03 20:43:19 +00:00
|
|
|
p[0] = p[1]
|
|
|
|
|
|
|
|
|
|
|
|
def p_empty(p):
|
|
|
|
"""empty :"""
|
|
|
|
pass
|
|
|
|
|
|
|
|
|
|
|
|
def p_error(p):
|
|
|
|
if p:
|
2018-01-05 21:52:23 +00:00
|
|
|
sref = SourceRef(p.lexer.source_filename, p.lineno, find_tok_column(p))
|
2018-01-09 23:44:11 +00:00
|
|
|
if p.value in ("", "\n"):
|
|
|
|
p.lexer.error_function(sref, "syntax error before end of line")
|
|
|
|
else:
|
2018-01-15 20:12:17 +00:00
|
|
|
p.lexer.error_function(sref, "syntax error before or at '{:.20s}'", str(p.value).rstrip())
|
2018-01-03 20:43:19 +00:00
|
|
|
else:
|
2018-01-07 22:45:42 +00:00
|
|
|
lexer.error_function(None, "syntax error at end of input", lexer.source_filename)
|
2018-02-11 14:11:14 +00:00
|
|
|
# stack_state_str = ' '.join([symbol.type for symbol in parser.symstack][1:])
|
2018-02-11 13:18:22 +00:00
|
|
|
# print('\n[ERROR DEBUG: parser state={:d} stack: {} . {} ]'.format(parser.state, stack_state_str, p))
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
|
|
|
def _token_sref(p, token_idx):
|
|
|
|
""" Returns the coordinates for the YaccProduction object 'p' indexed
|
2018-01-07 18:14:21 +00:00
|
|
|
with 'token_idx'. The coordinate includes the 'lineno' and 'column', starting from 1.
|
2018-01-03 20:43:19 +00:00
|
|
|
"""
|
|
|
|
last_cr = p.lexer.lexdata.rfind('\n', 0, p.lexpos(token_idx))
|
|
|
|
if last_cr < 0:
|
|
|
|
last_cr = -1
|
2018-01-14 17:02:39 +00:00
|
|
|
chunk = p.lexer.lexdata[last_cr:p.lexpos(token_idx)]
|
|
|
|
column = len(chunk.expandtabs())
|
2018-01-05 21:52:23 +00:00
|
|
|
return SourceRef(p.lexer.source_filename, p.lineno(token_idx), column)
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
2018-01-05 21:52:23 +00:00
|
|
|
class TokenFilter:
|
|
|
|
def __init__(self, lexer):
|
|
|
|
self.lexer = lexer
|
|
|
|
self.prev_was_EOL = False
|
|
|
|
assert "ENDL" in tokens
|
|
|
|
|
|
|
|
def token(self):
|
|
|
|
# make sure we only ever emit ONE "ENDL" token in sequence
|
|
|
|
if self.prev_was_EOL:
|
|
|
|
# skip all EOLS that might follow
|
|
|
|
while True:
|
|
|
|
tok = self.lexer.token()
|
|
|
|
if not tok or tok.type != "ENDL":
|
|
|
|
break
|
|
|
|
self.prev_was_EOL = False
|
|
|
|
else:
|
|
|
|
tok = self.lexer.token()
|
|
|
|
self.prev_was_EOL = tok and tok.type == "ENDL"
|
|
|
|
return tok
|
|
|
|
|
2018-01-03 20:43:19 +00:00
|
|
|
|
2018-01-05 21:52:23 +00:00
|
|
|
parser = yacc(write_tables=True)
|
2018-01-03 20:43:19 +00:00
|
|
|
|
|
|
|
|
2018-01-17 00:26:58 +00:00
|
|
|
def connect_parents(node: AstNode, parent: AstNode) -> None:
|
|
|
|
node.parent = parent
|
|
|
|
for childnode in node.nodes:
|
|
|
|
if isinstance(childnode, AstNode):
|
|
|
|
connect_parents(childnode, node)
|
|
|
|
|
|
|
|
|
2018-01-07 22:45:42 +00:00
|
|
|
def parse_file(filename: str, lexer_error_func=None) -> Module:
|
|
|
|
lexer.error_function = lexer_error_func
|
2018-01-07 18:14:21 +00:00
|
|
|
lexer.lineno = 1
|
|
|
|
lexer.source_filename = filename
|
|
|
|
tfilter = TokenFilter(lexer)
|
|
|
|
with open(filename, "rU") as inf:
|
|
|
|
sourcecode = inf.read()
|
2018-01-17 00:26:58 +00:00
|
|
|
result = parser.parse(input=sourcecode, tokenfunc=tfilter.token)
|
|
|
|
connect_parents(result, None)
|
|
|
|
return result
|