1%verify "executed" 2 /* const vAA, #+BBBBbbbb */ 3 movl 2(rPC),%eax # grab all 32 bits at once 4 movl rINST,rINST # rINST<- AA 5 FETCH_INST_OPCODE 3 %ecx 6 ADVANCE_PC 3 7 SET_VREG %eax rINST # vAA<- eax 8 GOTO_NEXT_R %ecx 9