iii.3.3-and.md

III.3.3 and – bitwise AND

Format	Instruction	Description
5F	and	Bitwise AND of two integral values, returns an integral value.

Stack Transition:

…, value1, value2 → …, result

Description:

The and instruction computes the bitwise AND of value1 and value2 and pushes the result on the stack. 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.