1%verify "executed"
2    /* unop vA, vB */
3    movzbl    rINST_HI,%ecx            # ecx<- BA
4    sarl      $$4,%ecx                 # ecx<- B
5    movzbl    rINST_HI,rINST_FULL      # ecx<- BA
6    andb      $$0xf,rINST_LO           # rINST_FULL<- A
7    GET_VREG_WORD(%eax,%ecx,0)         # eax<- v[B+0]
8    GET_VREG_WORD(%ecx,%ecx,1)         # ecx<- v[B+1]
9    notl      %eax
10    notl      %ecx
11    SET_VREG_WORD(%eax,rINST_FULL,0)   # v[A+0]<- eax
12    SET_VREG_WORD(%ecx,rINST_FULL,1)   # v[A+1]<- ecx
13    FETCH_INST_WORD(1)
14    ADVANCE_PC(1)
15    GOTO_NEXT
16