Module arithmetic

Arithmetic

This module defines jets that compute arithmetic functions.

Functions

add_8

Add two integers and return the carry.

add_16

Add two integers and return the carry.

add_32

Add two integers and return the carry.

add_64

Add two integers and return the carry.

decrement_8

Decrement an integer by one and return the borrow bit.

decrement_16

Decrement an integer by one and return the borrow bit.

decrement_32

Decrement an integer by one and return the borrow bit.

decrement_64

Decrement an integer by one and return the borrow bit.

div_mod_8

Divide the first integer by the second integer, and return the remainder.

div_mod_16

Divide the first integer by the second integer, and return the remainder.

div_mod_32

Divide the first integer by the second integer, and return the remainder.

div_mod_64

Divide the first integer by the second integer, and return the remainder.

div_mod_128_64

Divide the 128-bit integer a by the 64-bit integer b. Return a tuple of the quotient q and the remainer r.

divide_8

Divide the first integer by the second integer.

divide_16

Divide the first integer by the second integer.

divide_32

Divide the first integer by the second integer.

divide_64

Divide the first integer by the second integer.

divides_8

Check if the first integer is divisible by the second integer.

divides_16

Check if the first integer is divisible by the second integer.

divides_32

Check if the first integer is divisible by the second integer.

divides_64

Check if the first integer is divisible by the second integer.

full_add_8

Add two integers. Take a carry-in and return a carry-out.

full_add_16

Add two integers. Take a carry-in and return a carry-out.

full_add_32

Add two integers. Take a carry-in and return a carry-out.

full_add_64

Add two integers. Take a carry-in and return a carry-out.

full_decrement_8

Decrement an integer by one. Take a borrow-in and return a borrow-out.

full_decrement_16

Decrement an integer by one. Take a borrow-in and return a borrow-out.

full_decrement_32

Decrement an integer by one. Take a borrow-in and return a borrow-out.

full_decrement_64

Decrement an integer by one. Take a borrow-in and return a borrow-out.

full_increment_8

Increment an integer by one. Take a carry-in and return a carry-out.

full_increment_16

Increment an integer by one. Take a carry-in and return a carry-out.

full_increment_32

Increment an integer by one. Take a carry-in and return a carry-out.

full_increment_64

Increment an integer by one. Take a carry-in and return a carry-out.

full_multiply_8

Helper for multiplying integers. Take the product of the first pair of integers and add the sum of the second pair.

full_multiply_16

Helper for multiplying integers. Take the product of the first pair of integers and add the sum of the second pair.

full_multiply_32

Helper for multiplying integers. Take the product of the first pair of integers and add the sum of the second pair.

full_multiply_64

Helper for multiplying integers. Take the product of the first pair of integers and add the sum of the second pair.

full_subtract_8

Subtract the second integer from the first integer. Take a borrow-in and return a borrow-out.

full_subtract_16

Subtract the second integer from the first integer. Take a borrow-in and return a borrow-out.

full_subtract_32

Subtract the second integer from the first integer. Take a borrow-in and return a borrow-out.

full_subtract_64

Subtract the second integer from the first integer. Take a borrow-in and return a borrow-out.

increment_8

Increment an integer by one and return the carry.

increment_16

Increment an integer by one and return the carry.

increment_32

Increment an integer by one and return the carry.

increment_64

Increment an integer by one and return the carry.

is_one_8

Check if an integer is one.

is_one_16

Check if an integer is one.

is_one_32

Check if an integer is one.

is_one_64

Check if an integer is one.

is_zero_8

Check if an integer is zero.

is_zero_16

Check if an integer is zero.

is_zero_32

Check if an integer is zero.

is_zero_64

Check if an integer is zero.

le_8

Check if an integer is less than or equal to another integer.

le_16

Check if an integer is less than or equal to another integer.

le_32

Check if an integer is less than or equal to another integer.

le_64

Check if an integer is less than or equal to another integer.

lt_8

Check if an integer is less than another integer.

lt_16

Check if an integer is less than another integer.

lt_32

Check if an integer is less than another integer.

lt_64

Check if an integer is less than another integer.

max_8

Return the bigger of two integers.

max_16

Return the bigger of two integers.

max_32

Return the bigger of two integers.

max_64

Return the bigger of two integers.

median_8

Return the median of three integers.

median_16

Return the median of three integers.

median_32

Return the median of three integers.

median_64

Return the median of three integers.

min_8

Return the smaller of two integers.

min_16

Return the smaller of two integers.

min_32

Return the smaller of two integers.

min_64

Return the smaller of two integers.

modulo_8

Compute the remainder after dividing both integers.

modulo_16

Compute the remainder after dividing both integers.

modulo_32

Compute the remainder after dividing both integers.

modulo_64

Compute the remainder after dividing both integers.

multiply_8

Multiply two integers. The output is a 16-bit integer.

multiply_16

Multiply two integers. The output is a 32-bit integer.

multiply_32

Multiply two integers. The output is a 64-bit integer.

multiply_64

Multiply two integers. The output is a 128-bit integer.

negate_8

Negate the integer (modulo 2⁸) and return the borrow bit.

negate_16

Negate the integer (modulo 2¹⁶) and return the borrow bit.

negate_32

Negate the integer (modulo 2³²) and return the borrow bit.

negate_64

Negate the integer (modulo 2⁶⁴) and return the borrow bit.

one_8

Return 1 as an 8-bit integer.

one_16

Return 1 as a 16-bit integer.

one_32

Return 1 as a 32-bit integer.

one_64

Return 1 as a 64-bit integer.

subtract_8

Subtract the second integer from the first integer, and return the borrow bit.

subtract_16

Subtract the second integer from the first integer, and return the borrow bit.

subtract_32

Subtract the second integer from the first integer, and return the borrow bit.

subtract_64

Subtract the second integer from the first integer, and return the borrow bit.