Struct Lanes4Word32 

#[repr(C, align(16))]
pub struct Lanes4Word32(pub [u32; 4]);

Four lanes of Word32 = one 128-bit register (__m128i) — the SHA-1 state/message carrier. Unlike the arithmetic lane types, its vocabulary is the four Intel SHA operations (sha1rnds4/sha1msg1/ sha1msg2/sha1nexte), so SHA-1 WRITTEN in Logos over these compiles to the sha1rnds4 hardware sequence (AOT) and runs the byte-identical software spec crate::sha_ops on the interpreter. Lane i is bits [32i+31 : 32i] — index 0 low, index 3 high — matching _mm_loadu_si128.

Tuple Fields

0: [u32; 4]

Implementations

impl Lanes4Word32

pub const LANES: usize = 4

The number of lanes.

pub const fn splat(x: u32) -> Self

Broadcast one value into all four lanes.

pub fn from_words(s: &[Word32]) -> Self

Pack the first four Word32s of a slice (shorter slices zero-fill), lane 0 = element 0.

pub fn to_words(self) -> [Word32; 4]

The lanes as four Word32s.

pub fn lane(self, i: usize) -> Word32

Lane i (0-based) as a Word32.

pub fn sha1rnds4(self, msg: Self, func: u32) -> Self

Four SHA-1 rounds (sha1rnds4), func ∈ 0..=3 — the Intel SHA-NI instruction when the CPU has it, else the byte-identical software spec (crate::sha_ops, proven equal by fuzz). self is the ABCD state, msg the four message dwords with the round’s E folded in.

pub fn sha1msg1(self, o: Self) -> Self

Message-schedule step 1 (sha1msg1).

pub fn sha1msg2(self, o: Self) -> Self

Message-schedule step 2 (sha1msg2).

pub fn sha1nexte(self, o: Self) -> Self

Fold the next round constant E (sha1nexte).

pub fn add(self, o: Self) -> Self

Lane-wise wrapping add (_mm_add_epi32) — folds the round E into the message dwords and the per-block state back into the running hash. LLVM lowers the four-lane loop to one paddd.

pub fn bitxor(self, o: Self) -> Self

Lane-wise XOR (_mm_xor_si128) — the message-schedule W_t ⊕ W_{t-2} coupling; lowers to pxor.

Trait Implementations

impl Add for Lanes4Word32

type Output = Lanes4Word32

The resulting type after applying the + operator.

fn add(self, o: Self) -> Self

Performs the + operation.

impl BitXor for Lanes4Word32

type Output = Lanes4Word32

The resulting type after applying the ^ operator.

fn bitxor(self, o: Self) -> Self

Performs the ^ operation.

impl Clone for Lanes4Word32

fn clone(&self) -> Lanes4Word32

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Lanes4Word32

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

Formats the value using the given formatter.

impl Hash for Lanes4Word32

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Lanes4Word32

fn eq(&self, other: &Lanes4Word32) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Lanes4Word32

impl Eq for Lanes4Word32

impl StructuralPartialEq for Lanes4Word32