1%verify "executed" 2 /* unop vA, vB */ 3 movzbl rINSTbl,%ecx # ecx<- BA 4 sarl $$4,%ecx # ecx<- B 5 andb $$0xf,rINSTbl # rINST<- A 6 GET_VREG_WORD %eax %ecx 0 # eax<- v[B+0] 7 GET_VREG_WORD %ecx %ecx 1 # ecx<- v[B+1] 8 notl %eax 9 notl %ecx 10 SET_VREG_WORD %eax rINST 0 # v[A+0]<- eax 11 FETCH_INST_OPCODE 1 %eax 12 SET_VREG_WORD %ecx rINST 1 # v[A+1]<- ecx 13 ADVANCE_PC 1 14 GOTO_NEXT_R %eax 15