1. A method to execute an instruction on an operand stack, the method comprising: performing a stack-state-aware translation of the instruction to threaded code to determine an operand stack state for the instruction; dispatching the instruction according to the operand stack state for the instruction; and executing the instruction.