1%verify "executed" 2 /* const/4 vA, #+B */ 3 movsx rINSTbl,%eax # eax<-ssssssBx 4 movl $$0xf,rINST 5 andl %eax,rINST # rINST<- A 6 FETCH_INST_OPCODE 1 %ecx 7 ADVANCE_PC 1 8 sarl $$4,%eax 9 SET_VREG %eax rINST 10 GOTO_NEXT_R %ecx 11