1%verify "executed" 2 /* const/4 vA, #+B */ 3 mov r1, rINST, lsl #16 @ r1<- Bxxx0000 4 mov r0, rINST, lsr #8 @ r0<- A+ 5 FETCH_ADVANCE_INST(1) @ advance rPC, load rINST 6 mov r1, r1, asr #28 @ r1<- sssssssB (sign-extended) 7 and r0, r0, #15 8 GET_INST_OPCODE(ip) @ ip<- opcode from rINST 9 SET_VREG(r1, r0) @ fp[A]<- r1 10 GOTO_OPCODE(ip) @ execute next instruction 11