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