Skip to content

Commit

Permalink
[experimental] Add vmov cycle restriction
Browse files Browse the repository at this point in the history
  • Loading branch information
dop-amin committed Aug 7, 2024
1 parent baa526c commit c423d0f
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions slothy/targets/arm_v7m/cortex_m7.py
Original file line number Diff line number Diff line change
Expand Up @@ -48,6 +48,11 @@ def add_further_constraints(slothy):
if slothy.config.constraints.functional_only:
return
add_slot_constraints(slothy)
# TODO: verify this works as intended
for t in slothy._model.tree.nodes:
if isinstance(t.inst, vmov_gpr):
slothy._Add( t.cycle_start_var != 0 )
print("Add vmov constr")


def add_slot_constraints(slothy):
Expand Down

0 comments on commit c423d0f

Please sign in to comment.