1%verify "executed" 2 # const/16 vAA, /* +BBBB */ 3 FETCH_S(a0, 1) # a0 <- ssssBBBB (sign-extended) 4 GET_OPA(a3) # a3 <- AA 5 FETCH_ADVANCE_INST(2) # advance rPC, load rINST 6 GET_INST_OPCODE(t0) # extract opcode from rINST 7 SET_VREG_GOTO(a0, a3, t0) # vAA <- a0 8 9