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