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