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