For "store" operations of the form: op1 op= op2 such as MOVLPS.
op2 These cannot be marked as pure, as semantic() doesn't check them.
See Implementation
For "store" operations of the form: op1 op= op2 such as MOVLPS.