Module GoblintCil.CilintSource

The cilint type is public and not just big_int to make life with ocamldebug easier. Please do not rely on this representation, use the ..._of_cilint functions to get at a cilint's value.

0 as a cilint

1 as a cilint

-1 as a cilint

Result type for truncate_... functions

Truncate a cilint to an n-bit, signed 2's complement integer. Returns the truncated value, and an indication of the loss of precision. NoTruncation means the truncated value = original value. ValueTruncation means that truncated value <> original value, but the original value was between -2^(n-1) and (2^n)-1, so no "interesting" (not all-0 or all-1) bits were lost. If neither condition holds, the result is BitTruncation.

Truncate a cilint to an n-bit, unsigned integer. Returns the truncated value, and an indication of the loss of precision. NoTruncation means the truncated value = original value. ValueTruncation means that truncated value <> original value, but the original value was between -2^(n-1) and (2^n)-1, so no "interesting" (not all-0 or all-1) bits were lost. If neither condition holds, the result is BitTruncation.

Negate a cilint

Add two cilints

Subtract two cilints

Multiply two cilints

Divide two cilints, rounding down

Remainder for div_cilint

Divide two cilints, rounding towards zero

Remainder for div0_cilint

Bitwise-not a cilint

Bitwise-and of two cilints

Bitwise-or of two cilints

Bitwise-xor of two cilints

Left-shift a cilint

Right-shift a cilint. Note that there's no shift_right_logical_cilint as that makes no sense on an infinite precision 2's complement integer

Return the cilint's value as an integer, or raise Failure if the value doesn't fit in an int

Return the low-order 64-bits of cilint's value as an int64. Note that this never fails.

Return the cilint's value as a big_int

Return the cilint's value as a string

Make a cilint from an int

Make a cilint from an int64

Make a cilint from a big_int

Make a cilint from a string

Return true if the cilint is 0

ordering function for two cilints

Return true if the cilint's value is representable in an int