iii.3.52-not.md

III.3.52 not – bitwise complement

Format	Assembly Format	Description
66	not	Bitwise complement.

Stack Transition:

…, value → …, result

Description:

The not instruction computes the bitwise complement of the integer value on top of the stack and leaves the result on top of the stack. The return type is the same as the operand type.

The acceptable operand types and their corresponding result data type are encapsulated in Table 5: Integer Operations.

Exceptions:

None.

Correctness and Verifiability:

See Table 5: Integer Operations.