6502/SixtyPical
1
0
Fork 0
mirror of https://github.com/catseye/SixtyPical.git synced 2025-01-07 12:29:52 +00:00
Code Issues Projects Releases Wiki Activity

Make the loop variable unwriteable in the body of the "for" loop.

Browse Source
This commit is contained in:
Chris Pressey 2018-03-08 17:41:42 +00:00
parent f73a2313bd
commit 994449ecb0
1 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/sixtypical/analyzer.py
View File

@ -92,7 +92,8 @@ class Context(object):
the range of a word is 0..65535.
A location is writeable if it was listed in the outputs and trashes
lists of this routine.
lists of this routine. A location can also be temporarily marked
unwriteable in certain contexts, such as `for` loops.
"""
def __init__(self, routines, routine, inputs, outputs, trashes):
self.routines = routines # Location -> AST node
@ -238,6 +239,10 @@ class Context(object):
self.set_touched(*refs)
self.set_meaningful(*refs)
def set_unwriteable(self, *refs):
for ref in refs:
self._writeable.remove(ref)
class Analyzer(object):
@ -617,8 +622,8 @@ class Analyzer(object):
def analyze_for(self, instr, context):
# TODO: find the range of the loop variable in context, make sure it fits
# TODO: set the loop variable as 'not writeable' in the context
self.analyze_block(instr.block, context)
subcontext = context.clone()
subcontext.set_unwriteable(instr.dest)
self.analyze_block(instr.block, subcontext)
# TODO: at the end of the loop, we know the new range of the loop variable