1 %verify "executed" 2 /* const/16 vAA, #+BBBB */ 3 FETCH_S(r0, 1) @ r0<- ssssBBBB (sign-extended) 4 mov r3, rINST, lsr #8 @ r3<- AA 5 FETCH_ADVANCE_INST(2) @ advance rPC, load rINST 6 SET_VREG(r0, r3) @ vAA<- r0 7 GET_INST_OPCODE(ip) @ extract opcode from rINST 8 GOTO_OPCODE(ip) @ jump to next instruction 9
