Module multi_bit_logic

Multi-bit logic

This module defines jets that operate on strings of bits.

Functions

all_8

Check if the value is u8::MAX.

all_16

Check if the value is u16::MAX.

all_32

Check if the value is u32::MAX.

all_64

Check if the value is u64::MAX.

and_1

Bitwise AND of two 1-bit values.

and_8

Bitwise AND of two 8-bit values.

and_16

Bitwise AND of two 16-bit values.

and_32

Bitwise AND of two 32-bit values

and_64

Bitwise AND of two 64-bit values

ch_1

Bitwise CHOICE of a bit and two 1-bit values. If the bit is true, then take the first value, else take the second value.

ch_8

Bitwise CHOICE of a bit and two 8-bit values. If the bit is true, then take the first value, else take the second value.

ch_16

Bitwise CHOICE of a bit and two 16-bit values. If the bit is true, then take the first value, else take the second value.

ch_32

Bitwise CHOICE of a bit and two 32-bit values. If the bit is true, then take the first value, else take the second value.

ch_64

Bitwise CHOICE of a bit and two 64-bit values. If the bit is true, then take the first value, else take the second value.

complement_1

Bitwise NOT of a 1-bit value.

complement_8

Bitwise NOT of an 8-bit value.

complement_16

Bitwise NOT of a 16-bit value.

complement_32

Bitwise NOT of a 32-bit value.

complement_64

Bitwise NOT of a 64-bit value.

eq_1

Check if two 1-bit values are equal.

eq_8

Check if two 8-bit values are equal.

eq_16

Check if two 16-bit values are equal.

eq_32

Check if two 32-bit values are equal.

eq_64

Check if two 64-bit values are equal.

eq_256

Check if two 256-bit values are equal.

full_left_shift_8_1

Helper for left-shifting bits. The bits are shifted from a 1-bit value into a 8-bit value. Return the shifted value and the 1 bit that was shifted out.

full_left_shift_8_2

Helper for left-shifting bits. The bits are shifted from a 2-bit value into a 8-bit value. Return the shifted value and the 2 bits that were shifted out.

full_left_shift_8_4

Helper for left-shifting bits. The bits are shifted from a 4-bit value into a 8-bit value. Return the shifted value and the 4 bits that were shifted out.

full_left_shift_16_1

Helper for left-shifting bits. The bits are shifted from a 1-bit value into a 16-bit value. Return the shifted value and the 1 bit that was shifted out.

full_left_shift_16_2

Helper for left-shifting bits. The bits are shifted from a 2-bit value into a 16-bit value. Return the shifted value and the 2 bits that were shifted out.

full_left_shift_16_4

Helper for left-shifting bits. The bits are shifted from a 4-bit value into a 16-bit value. Return the shifted value and the 4 bits that were shifted out.

full_left_shift_16_8

Helper for left-shifting bits. The bits are shifted from a 8-bit value into a 16-bit value. Return the shifted value and the 8 bits that were shifted out.

full_left_shift_32_1

Helper for left-shifting bits. The bits are shifted from a 1-bit value into a 32-bit value. Return the shifted value and the 1 bit that was shifted out.

full_left_shift_32_2

Helper for left-shifting bits. The bits are shifted from a 2-bit value into a 32-bit value. Return the shifted value and the 2 bits that were shifted out.

full_left_shift_32_4

Helper for left-shifting bits. The bits are shifted from a 4-bit value into a 32-bit value. Return the shifted value and the 4 bits that were shifted out.

full_left_shift_32_8

Helper for left-shifting bits. The bits are shifted from a 8-bit value into a 32-bit value. Return the shifted value and the 8 bits that were shifted out.

full_left_shift_32_16

Helper for left-shifting bits. The bits are shifted from a 16-bit value into a 32-bit value. Return the shifted value and the 16 bits that were shifted out.

full_left_shift_64_1

Helper for left-shifting bits. The bits are shifted from a 1-bit value into a 64-bit value. Return the shifted value and the 1 bit that was shifted out.

full_left_shift_64_2

Helper for left-shifting bits. The bits are shifted from a 2-bit value into a 64-bit value. Return the shifted value and the 2 bits that were shifted out.

full_left_shift_64_4

Helper for left-shifting bits. The bits are shifted from a 4-bit value into a 64-bit value. Return the shifted value and the 4 bits that were shifted out.

full_left_shift_64_8

Helper for left-shifting bits. The bits are shifted from a 8-bit value into a 64-bit value. Return the shifted value and the 8 bits that were shifted out.

full_left_shift_64_16

Helper for left-shifting bits. The bits are shifted from a 16-bit value into a 64-bit value. Return the shifted value and the 16 bits that were shifted out.

full_left_shift_64_32

Helper for left-shifting bits. The bits are shifted from a 32-bit value into a 64-bit value. Return the shifted value and the 32 bits that were shifted out.

full_right_shift_8_1

Helper for right-shifting bits. The bits are shifted from a 1-bit value into a 8-bit value. Return the shifted value and the 1 bit that was shifted out.

full_right_shift_8_2

Helper for right-shifting bits. The bits are shifted from a 2-bit value into a 8-bit value. Return the shifted value and the 2 bits that were shifted out.

full_right_shift_8_4

Helper for right-shifting bits. The bits are shifted from a 4-bit value into a 8-bit value. Return the shifted value and the 4 bits that were shifted out.

full_right_shift_16_1

Helper for right-shifting bits. The bits are shifted from a 1-bit value into a 16-bit value. Return the shifted value and the 1 bit that was shifted out.

full_right_shift_16_2

Helper for right-shifting bits. The bits are shifted from a 2-bit value into a 16-bit value. Return the shifted value and the 2 bits that were shifted out.

full_right_shift_16_4

Helper for right-shifting bits. The bits are shifted from a 4-bit value into a 16-bit value. Return the shifted value and the 4 bits that were shifted out.

full_right_shift_16_8

Helper for right-shifting bits. The bits are shifted from a 8-bit value into a 16-bit value. Return the shifted value and the 8 bits that were shifted out.

full_right_shift_32_1

Helper for right-shifting bits. The bits are shifted from a 1-bit value into a 32-bit value. Return the shifted value and the 1 bit that was shifted out.

full_right_shift_32_2

Helper for right-shifting bits. The bits are shifted from a 2-bit value into a 32-bit value. Return the shifted value and the 2 bits that were shifted out.

full_right_shift_32_4

Helper for right-shifting bits. The bits are shifted from a 4-bit value into a 32-bit value. Return the shifted value and the 4 bits that were shifted out.

full_right_shift_32_8

Helper for right-shifting bits. The bits are shifted from a 8-bit value into a 32-bit value. Return the shifted value and the 8 bits that were shifted out.

full_right_shift_32_16

Helper for right-shifting bits. The bits are shifted from a 16-bit value into a 32-bit value. Return the shifted value and the 16 bits that were shifted out.

full_right_shift_64_1

Helper for right-shifting bits. The bits are shifted from a 1-bit value into a 64-bit value. Return the shifted value and the 1 bit that was shifted out.

full_right_shift_64_2

Helper for right-shifting bits. The bits are shifted from a 2-bit value into a 64-bit value. Return the shifted value and the 2 bits that were shifted out.

full_right_shift_64_4

Helper for right-shifting bits. The bits are shifted from a 4-bit value into a 64-bit value. Return the shifted value and the 4 bits that were shifted out.

full_right_shift_64_8

Helper for right-shifting bits. The bits are shifted from a 8-bit value into a 64-bit value. Return the shifted value and the 8 bits that were shifted out.

full_right_shift_64_16

Helper for right-shifting bits. The bits are shifted from a 16-bit value into a 64-bit value. Return the shifted value and the 16 bits that were shifted out.

full_right_shift_64_32

Helper for right-shifting bits. The bits are shifted from a 32-bit value into a 64-bit value. Return the shifted value and the 32 bits that were shifted out.

high_1

Return u1::MAX = 1.

high_8

Return u8::MAX.

high_16

Return u16::MAX.

high_32

Return u32::MAX.

high_64

Return u64::MAX.

left_extend_1_8

Extend a 1-bit value to an 8-bit value by padding its left with the MSB.

left_extend_1_16

Extend a 1-bit value to a 16-bit value by padding its left with the MSB.

left_extend_1_32

Extend a 1-bit value to a 32-bit value by padding its left with the MSB.

left_extend_1_64

Extend a 1-bit value to a 64-bit value by padding its left with the MSB.

left_extend_8_16

Extend an 8-bit value to a 16-bit value by padding its left with the MSB.

left_extend_8_32

Extend an 8-bit value to a 32-bit value by padding its left with the MSB.

left_extend_8_64

Extend an 8-bit value to a 64-bit value by padding its left with the MSB.

left_extend_16_32

Extend a 16-bit value to a 32-bit value by padding its left with the MSB.

left_extend_16_64

Extend a 16-bit value to a 64-bit value by padding its left with the MSB.

left_extend_32_64

Extend a 16-bit value to a 64-bit value by padding its left with the MSB.

left_pad_high_1_8

Extend a 1-bit value to an 8-bit value by padding its left with ones.

left_pad_high_1_16

Extend a 1-bit value to a 16-bit value by padding its left with ones.

left_pad_high_1_32

Extend a 1-bit value to a 32-bit value by padding its left with ones.

left_pad_high_1_64

Extend a 1-bit value to a 64-bit value by padding its left with ones.

left_pad_high_8_16

Extend an 8-bit value to a 16-bit value by padding its left with ones.

left_pad_high_8_32

Extend an 8-bit value to a 32-bit value by padding its left with ones.

left_pad_high_8_64

Extend a 1-bit value to a 64-bit value by padding its left with ones.

left_pad_high_16_32

Extend a 16-bit value to a 32-bit value by padding its left with ones.

left_pad_high_16_64

Extend a 16-bit value to a 64-bit value by padding its left with ones.

left_pad_high_32_64

Extend a 32-bit value to a 64-bit value by padding its left with ones.

left_pad_low_1_8

Extend a 1-bit value to an 8-bit value by padding its left with zeroes.

left_pad_low_1_16

Extend a 1-bit value to a 16-bit value by padding its left with zeroes.

left_pad_low_1_32

Extend a 1-bit value to a 32-bit value by padding its left with zeroes.

left_pad_low_1_64

Extend a 1-bit value to a 64-bit value by padding its left with zeroes.

left_pad_low_8_16

Extend an 8-bit value to a 16-bit value by padding its left with zeroes.

left_pad_low_8_32

Extend an 8-bit value to a 32-bit value by padding its left with zeroes.

left_pad_low_8_64

Extend an 8-bit value to a 64-bit value by padding its left with zeroes.

left_pad_low_16_32

Extend a 16-bit value to a 32-bit value by padding its left with zeroes.

left_pad_low_16_64

Extend a 16-bit value to a 64-bit value by padding its left with zeroes.

left_pad_low_32_64

Extend a 32-bit value to a 64-bit value by padding its left with zeroes.

left_rotate_8

Left-rotate an 8-bit value by the given amount.

left_rotate_16

Left-rotate a 16-bit value by the given amount.

left_rotate_32

Left-rotate a 32-bit value by the given amount.

left_rotate_64

Left-rotate a 64-bit value by the given amount.

left_shift_8

Left-shift an 8-bit value by the given amount. Bits are filled with zeroes.

left_shift_16

Left-shift a 16-bit value by the given amount. Bits are filled with zeroes.

left_shift_32

Left-shift a 32-bit value by the given amount. Bits are filled with zeroes.

left_shift_64

Left-shift a 64-bit value by the given amount. Bits are filled with zeroes.

left_shift_with_8

Left-shift an 8-bit value by the given amount. Bits are filled with the given bit.

left_shift_with_16

Left-shift a 16-bit value by the given amount. Bits are filled with the given bit.

left_shift_with_32

Left-shift a 32-bit value by the given amount. Bits are filled with the given bit.

left_shift_with_64

Left-shift a 64-bit value by the given amount. Bits are filled with the given bit.

leftmost_8_1

Return the most significant 1 bits of an 8-bit value.

leftmost_8_2

Return the most significant 1 bits of an 8-bit value.

leftmost_8_4

Return the most significant 1 bits of an 8-bit value.

leftmost_16_1

Return the most significant 1 bit of a 16-bit value.

leftmost_16_2

Return the most significant 2 bits of a 16-bit value.

leftmost_16_4

Return the most significant 4 bits of a 16-bit value.

leftmost_16_8

Return the most significant 8 bits of a 16-bit value.

leftmost_32_1

Return the most significant 1 bit of a 32-bit value.

leftmost_32_2

Return the most significant 2 bits of a 32-bit value.

leftmost_32_4

Return the most significant 4 bits of a 32-bit value.

leftmost_32_8

Return the most significant 8 bits of a 32-bit value.

leftmost_32_16

Return the most significant 16 bits of a 32-bit value.

leftmost_64_1

Return the most significant 1 bits of a 64-bit value.

leftmost_64_2

Return the most significant 2 bits of a 64-bit value.

leftmost_64_4

Return the most significant 4 bits of a 64-bit value.

leftmost_64_8

Return the most significant 8 bits of a 64-bit value.

leftmost_64_16

Return the most significant 16 bits of a 64-bit value.

leftmost_64_32

Return the most significant 32 bits of a 64-bit value.

low_1

Return u1::MIN = 1.

low_8

Return u8::MIN.

low_16

Return u16::MIN.

low_32

Return u32::MIN.

low_64

Return u64::MIN.

maj_1

Bitwise MAJORITY of three 1-bit values. The output bit is false if two or more input bits are false, and true otherwise.

maj_8

Bitwise MAJORITY of three 1-bit values. The output bit is false if two or more input bits are false, and true otherwise.

maj_16

Bitwise MAJORITY of three 1-bit values. The output bit is false if two or more input bits are false, and true otherwise.

maj_32

Bitwise MAJORITY of three 1-bit values. The output bit is false if two or more input bits are false, and true otherwise.

maj_64

Bitwise MAJORITY of three 1-bit values. The output bit is false if two or more input bits are false, and true otherwise.

or_1

Bitwise OR of two 1-bit values.

or_8

Bitwise OR of two 8-bit values.

or_16

Bitwise OR of two 16-bit values.

or_32

Bitwise OR of two 32-bit values.

or_64

Bitwise OR of two 64-bit values.

right_extend_8_16

Extend an 8-bit value to a 16-bit value by padding its right with the MSB.

right_extend_8_32

Extend an 8-bit value to a 32-bit value by padding its right with the MSB.

right_extend_8_64

Extend an 8-bit value to a 64-bit value by padding its right with the MSB.

right_extend_16_32

Extend a 16-bit value to a 32-bit value by padding its right with the MSB.

right_extend_16_64

Extend a 16-bit value to a 64-bit value by padding its right with the MSB.

right_extend_32_64

Extend a 16-bit value to a 64-bit value by padding its right with the MSB.

right_pad_high_1_8

Extend a 1-bit value to an 8-bit value by padding its right with ones.

right_pad_high_1_16

Extend a 1-bit value to a 16-bit value by padding its right with ones.

right_pad_high_1_32

Extend a 1-bit value to a 32-bit value by padding its right with ones.

right_pad_high_1_64

Extend a 1-bit value to a 64-bit value by padding its right with ones.

right_pad_high_8_16

Extend an 8-bit value to a 16-bit value by padding its right with ones.

right_pad_high_8_32

Extend an 8-bit value to a 32-bit value by padding its right with ones.

right_pad_high_8_64

Extend a 1-bit value to a 64-bit value by padding its right with ones.

right_pad_high_16_32

Extend a 16-bit value to a 32-bit value by padding its right with ones.

right_pad_high_16_64

Extend a 16-bit value to a 64-bit value by padding its right with ones.

right_pad_high_32_64

Extend a 32-bit value to a 64-bit value by padding its right with ones.

right_pad_low_1_8

Extend a 1-bit value to an 8-bit value by padding its right with zeroes.

right_pad_low_1_16

Extend a 1-bit value to a 16-bit value by padding its right with zeroes.

right_pad_low_1_32

Extend a 1-bit value to a 32-bit value by padding its right with zeroes.

right_pad_low_1_64

Extend a 1-bit value to a 64-bit value by padding its right with zeroes.

right_pad_low_8_16

Extend an 8-bit value to a 16-bit value by padding its right with zeroes.

right_pad_low_8_32

Extend an 8-bit value to a 32-bit value by padding its right with zeroes.

right_pad_low_8_64

Extend an 8-bit value to a 64-bit value by padding its right with zeroes.

right_pad_low_16_32

Extend a 16-bit value to a 32-bit value by padding its right with zeroes.

right_pad_low_16_64

Extend a 16-bit value to a 64-bit value by padding its right with zeroes.

right_pad_low_32_64

Extend a 32-bit value to a 64-bit value by padding its right with zeroes.

right_rotate_8

Right-rotate an 8-bit value by the given amount.

right_rotate_16

Right-rotate a 16-bit value by the given amount.

right_rotate_32

Right-rotate a 32-bit value by the given amount.

right_rotate_64

Right-rotate a 64-bit value by the given amount.

right_shift_8

Right-shift an 8-bit value by the given amount. Bits are filled with zeroes.

right_shift_16

Right-shift a 16-bit value by the given amount. Bits are filled with zeroes.

right_shift_32

Right-shift a 32-bit value by the given amount. Bits are filled with zeroes.

right_shift_64

Right-shift a 64-bit value by the given amount. Bits are filled with zeroes.

right_shift_with_8

Right-shift an 8-bit value by the given amount. Bits are filled with the given bit.

right_shift_with_16

Right-shift a 16-bit value by the given amount. Bits are filled with the given bit.

right_shift_with_32

Right-shift a 32-bit value by the given amount. Bits are filled with the given bit.

right_shift_with_64

Right-shift a 64-bit value by the given amount. Bits are filled with the given bit.

rightmost_8_1

Return the least significant 1 bits of an 8-bit value.

rightmost_8_2

Return the least significant 1 bits of an 8-bit value.

rightmost_8_4

Return the least significant 1 bits of an 8-bit value.

rightmost_16_1

Return the least significant 1 bit of a 16-bit value.

rightmost_16_2

Return the least significant 2 bits of a 16-bit value.

rightmost_16_4

Return the least significant 4 bits of a 16-bit value.

rightmost_16_8

Return the least significant 8 bits of a 16-bit value.

rightmost_32_1

Return the least significant 1 bit of a 32-bit value.

rightmost_32_2

Return the least significant 2 bits of a 32-bit value.

rightmost_32_4

Return the least significant 4 bits of a 32-bit value.

rightmost_32_8

Return the least significant 8 bits of a 32-bit value.

rightmost_32_16

Return the least significant 16 bits of a 32-bit value.

rightmost_64_1

Return the least significant 1 bits of a 64-bit value.

rightmost_64_2

Return the least significant 2 bits of a 64-bit value.

rightmost_64_4

Return the least significant 4 bits of a 64-bit value.

rightmost_64_8

Return the least significant 8 bits of a 64-bit value.

rightmost_64_16

Return the least significant 16 bits of a 64-bit value.

rightmost_64_32

Return the least significant 32 bits of a 64-bit value.

some_1

Check if a 1-bit value is nonzero.

some_8

Check if an 8-bit value is nonzero.

some_16

Check if a 16-bit value is nonzero.

some_32

Check if a 32-bit value is nonzero.

some_64

Check if a 64-bit value is nonzero.

xor_1

Bitwise XOR of two 1-bit values.

xor_8

Bitwise XOR of two 8-bit values.

xor_16

Bitwise XOR of two 16-bit values.

xor_32

Bitwise XOR of two 32-bit values.

xor_64

Bitwise XOR of two 64-bit values.

xor_xor_1

Bitwise XOR of three 1-bit values.

xor_xor_8

Bitwise XOR of three 8-bit values.

xor_xor_16

Bitwise XOR of three 16-bit values.

xor_xor_32

Bitwise XOR of three 32-bit values.

xor_xor_64

Bitwise XOR of three 64-bit values.