Skip to content

Commit

Permalink
start implementation of regpair support 3 (wip)
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilippvK committed May 31, 2024
1 parent bdc5ee2 commit d12e20a
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion seal5/transform/collect_immediate_operands/collect.py
Original file line number Diff line number Diff line change
Expand Up @@ -81,7 +81,7 @@ def main():
logger.debug("collecting register operands for instr %s", instr_def.name)
instr_def.operation.generate(context)
instr_def.operands = context.operands
# print("context.raises", context.raises)
# print("instr_def.operands", instr_def.operands)
# input("next?")

logger.info("dumping model")
Expand Down
4 changes: 2 additions & 2 deletions seal5/transform/collect_register_operands/collect.py
Original file line number Diff line number Diff line change
Expand Up @@ -81,8 +81,8 @@ def main():
logger.debug("collecting register operands for instr %s", instr_def.name)
instr_def.operation.generate(context)
instr_def.operands = context.operands
# print("context.raises", context.raises)
# input("next?")
# print("operands", instr_def.operands)
# input("o")

logger.info("dumping model")
with open(model_path, "wb") as f:
Expand Down

0 comments on commit d12e20a

Please sign in to comment.