Add more rules to optimizer
Clarification and motivation
Some possible rules came to my mind:
-
SWAP
is redundant before commutative operations such asADD
orCOMPARE; EQ
. -
noDipNeeded
can be extended to many other instructions, e. g.NOW
,EMPTY_MAP
,SENDER
. Same forvariousNops
. - Use
EMPTY_MAP
instead ofPUSH {}
. Same for some other types.
Acceptance criteria
Optimizer automatically applies rules above.