Skip to content

Fix mem_plus_reg predicate

Created by: MaryBennett

Issues #73 (closed) #74 (closed)

mem_plus_reg needs to check that both operands are registers. Added constraint to prevent operands (mem (plus reg reg)).

Merge request reports

Loading