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