Struct FatMaskBuilder

struct FatMaskBuilder {
    lo: [u8; 32],
    hi: [u8; 32],
}

Represents the low and high nybble masks that will be used during “fat” Teddy search.

Each mask is 32 bytes wide, and at the time of writing, only 256-bit vectors support fat Teddy.

A fat Teddy mask is like a slim Teddy mask, except that instead of repeating the bitsets in the high and low 128-bits in 256-bit vectors, the high and low 128-bit halves each represent distinct buckets. (Bringing the total to 16 instead of 8.) This permits spreading the patterns out a bit more and thus putting less pressure on verification to be fast.

Each byte in the mask corresponds to a 8-bit bitset, where bit i is set if and only if the corresponding nybble is in the ith bucket. The index of the byte (0-15, inclusive) corresponds to the nybble.

Fields

lo: [u8; 32]

hi: [u8; 32]

Implementations

impl FatMaskBuilder

fn add(&mut self, bucket: usize, byte: u8)

Update this mask by adding the given byte to the given bucket. The given bucket must be in the range 0-15.

Panics

When bucket >= 16.

unsafe fn build<V: Vector>(&self) -> Mask<V>

Turn this builder into a vector mask.

Panics

When V represents a vector bigger than what MaskBytes can contain.

Safety

Callers must ensure that this is okay to call in the current target for the current CPU.

unsafe fn from_teddy<const BYTES: usize, V: Vector>( teddy: &Teddy<16>, ) -> [Mask<V>; BYTES]

A convenience function for building N vector masks from a fat Teddy value.

Panics

When V represents a vector bigger than what MaskBytes can contain.

Safety

Callers must ensure that this is okay to call in the current target for the current CPU.

Trait Implementations

impl Clone for FatMaskBuilder

fn clone(&self) -> FatMaskBuilder

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FatMaskBuilder

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for FatMaskBuilder

fn default() -> FatMaskBuilder

Returns the “default value” for a type.

impl Copy for FatMaskBuilder