Skip to content

Commit

Permalink
check_pattern_support: add todo
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilippvK committed Mar 5, 2025
1 parent 7ba1901 commit ed7e0cb
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions seal5/transform/check_pattern_support/check.py
Original file line number Diff line number Diff line change
Expand Up @@ -96,6 +96,8 @@ def check_noop(operation):
has_call = Seal5InstrAttribute.HAS_CALL in attributes
uses_custom_reg = len(attributes.get(Seal5InstrAttribute.USES, []))
defs_custom_reg = len(attributes.get(Seal5InstrAttribute.DEFS, []))
# TODO: check if PC is being read/written -> not supported
# uses_pc = ?
skip_pattern_gen = (
is_noop
or is_rvc
Expand Down

0 comments on commit ed7e0cb

Please sign in to comment.