8.3. Integer

An integer is a signed 32-bit value. An integer can be represented by an i32 in MLIR.

8.3.1. Declaration

A integer value is declared with the keyword integer.

8.3.2. Literals

An integer literal is specified in base 10. For example:

1234
2
0

An integer literal must be a representable i32 value.

8.3.3. Operations

The following operations are defined between integer values. In all of the usage examples int-expr means some integer yielding expression.

Class	Operation	Symbol	Usage	Associativity
Grouping	parentheses	()	(int-expr)	N/A
Arithmetic	addition	+	int-expr + int-expr	left
	subtraction	-	int-expr - int-expr	left
	multiplication	*	int-expr * int-expr	left
	division	/	int-expr / int-expr	left
	remainder	%	int-expr % int-expr	left
	exponentiation	^	int-expr ^ int-expr	right
	unary negation	-	- int-expr	right
	unary plus (no-op)	+	+ int-expr	right
Comparison	less than	<	int-expr < int-expr	left
	greater than	>	int-expr > int-expr	left
	less than or equal to	<=	int-expr <= int-expr	left
	greater than or equal to	>=	int-expr >= int-expr	left
	equals	==	int-expr == int-expr	left
	not equals	!=	int-expr != int-expr	left

Unary negation produces the additive inverse of the integer expression. Unary plus always produces the same result as the integer expression it is applied to. Remainder mirrors the behaviour of remainder in C99.

Exponentiation between integers gives an integer result. This is the same behavior as performing exponentiation on reals then truncating to an integer.

This table specifies integer operator precedence. Operators without lines between them have the same level of precedence. Note that parentheses are not included in this list because they are used to override precedence and create new atoms in an expression.

Precedence	Operations
HIGHER	unary + unary -
	^
	* / %
	+ -
	< > <= >=
LOWER	== !=

8.3.4. Type Casting and Type Promotion

To see the types that integer may be cast and/or promoted to, see the sections on Type Casting and Type Promotion respectively.