Skip to main content

eval_lanewise_add

logicaffeine_compile::codegen_sva::simd

Function eval_lanewise_add 

Source 
pub fn eval_lanewise_add(ty: LaneTy, a: u64, b: u64) -> u64
Expand description

Evaluate the lane-wise add SPEC concretely (each lane an independent width-bit wrapping add).