Skip to content

Commit

Permalink
model: add USES and DEFS attrs for instructions
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilippvK committed Aug 16, 2024
1 parent 6c7e825 commit e1db571
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions seal5/model.py
Original file line number Diff line number Diff line change
Expand Up @@ -138,6 +138,8 @@ class Seal5InstrAttribute(Enum):
IS_TERMINATOR = auto()
IS_BRANCH = auto()
COMPRESSED = auto()
USES = auto()
DEFS = auto()


class Seal5OperandAttribute(Enum):
Expand Down

0 comments on commit e1db571

Please sign in to comment.