1%verify "executed"
2/* we ignore the high word, making this equivalent to a 32-bit reg move */
3%include "x86/OP_MOVE.S"
4