summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorp4bl0 <r _at_ uzy .dot. me>2018-07-04 10:24:58 (CEST)
committerp4bl0 <r _at_ uzy .dot. me>2018-07-04 10:24:58 (CEST)
commite7832d330281d5e46bfe4d0480c4b643e907c2cf (patch)
treeed73290135f8e0bd232fe0a5ad9f9a6497b8069e
parent06777ed756119ab6d4d2c8f00010b5415d6697ef (diff)
downloadseselab-e7832d330281d5e46bfe4d0480c4b643e907c2cf.zip
seselab-e7832d330281d5e46bfe4d0480c4b643e907c2cf.tar.gz
change label name info from source to target
-rw-r--r--compiler.py5
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler.py b/compiler.py
index 4f41295..9f2b839 100644
--- a/compiler.py
+++ b/compiler.py
@@ -210,9 +210,12 @@ class Compiler:
lbl = instr[0][1][1]
if lbl in self._labels:
instr[0][1] = 'imm', self._labels[lbl][0]
- instr[1] = instr[1][0], instr[1][1], lbl
+ # instr[1] = instr[1][0], instr[1][1], lbl
else:
raise LabelNotFound(lbl, instr[1][0], instr[1][1])
+ for lbl in self._labels:
+ instr = self._code[self._labels[lbl][0]]
+ instr[1] = instr[1][0], instr[1][1], lbl
return self._code
except ParseError as e:
Pablo Rauzy — generated by cgit