NOTATION

<—

is given the value

{. . .}

= 1, if... is TRUE;

= 0, if ... is FALSE

—(SP) <—

is pushed onto the stack

<— (SP)+

is popped off the stack

+

addition

—

subtraction, or unary minus

*

multiplication

/

division

**

exponentiation

c(. . .)

contents of

SEXT(. . .)

the value of . . . , sign extended to a longer structure

ZEXT(. . .)

the value of . . . , zero extended to a longer structure

m: n

the bit field of a structure, consisting of bits m, m - 1, m - 2, . . ., n + 1, n

x<n>

bit n of the structure x

x<m : n>

bits m:n of the structure x

a[b]

the address a indexed by the value b

MAX(x,y)

the maximum of the numbers x and y

MI N (x ,y)

the minimum of the numbers x and y

EQL

equal to, signed or unsigned

GEQ

greater than or equal to, signed

GEQU

greater than or equal to, unsigned

GTR

greater than, signed

GTRU

greater than, unsigned

LEQ

less than or equal to, signed

LEQU

less than or equal to, unsigned

LSS

less than, signed

LSSU

less than, unsigned

NEQL

not equal to, signed or unsigned