(if isspilled op1
then spill (op1, spillreg1)
else [])
+ | transform (X.INSN (pred, X.MOVSTR (op1, w))) =
+ [ X.INSN (pred, X.MOVSTR (real_op1 op1, w)) ] @
+ (if isspilled op1
+ then spill (op1, spillreg1)
+ else [])
| transform (X.INSN (pred, X.MOVLBL (op1, w))) =
[ X.INSN (pred, X.MOVLBL (real_op1 op1, w)) ] @
(if isspilled op1