1%verify "executed" 2 # const/4 vA, /* +B */ 3 sll a1, rINST, 16 # a1 <- Bxxx0000 4 GET_OPA(a0) # a0 <- A+ 5 FETCH_ADVANCE_INST(1) # advance rPC, load rINST 6 sra a1, a1, 28 # a1 <- sssssssB (sign-extended) 7 and a0, a0, 15 8 GET_INST_OPCODE(t0) # ip <- opcode from rINST 9 SET_VREG_GOTO(a1, a0, t0) # fp[A] <- a1 10 11