1%verify "executed" 2 /* const/4 vA, #+B */ 3 movsx rINST_HI,%eax # eax<-ssssssBx 4 movl $$0xf,%ecx 5 andl %eax,%ecx # ecx<- A 6 FETCH_INST_WORD(1) 7 ADVANCE_PC(1) 8 sarl $$4,%eax 9 SET_VREG(%eax,%ecx) 10 GOTO_NEXT 11 12