Skip to main content

Module bitwise

Module bitwise 

Source
Expand description

Bitwise and shift test vectors.

Shift/rotate input: u64 value (8 bytes) + u32 shift amount (4 bytes). Binary ops input: two u64 values (16 bytes). Unary ops input: one u64 value (8 bytes). Output: one u64 result (8 bytes).

Each operation comes with a baked-corpus _suite() -> u64 that XOR-folds the per-case u64 results into a single fingerprint — consumed by the three-way conformance harness.

Functions§

and
and_suite
clz
clz_suite
ctz
ctz_suite
or
or_suite
rotate_right
rotate_right_suite
set_lt_s
set_lt_s_suite
set_lt_u
set_lt_u_suite
shift_left
shift_left_suite
shift_right_arithmetic
shift_right_arithmetic_suite
shift_right_logical
shift_right_logical_suite
xor
xor_suite