17.1.6.17 Instruction pushhi

Synopsys:

pushhi VAL

Push the high 32 bits of the value passed as an argument to the main stack. This instruction shall be completed with a ‘pushlo’.

This instruction is a workaround to a limitation of Jitter.

Stack: ( -- HI32(VAL) )