hacspec_lib::prelude

Function cadd

Source
pub fn cadd<T: Integer + Copy>(x: T, y: T, c: T) -> T
Expand description

Add two numerics if condition c is set (all bits 1). Returns x if condition c is 0. Note: Addition is always wrapping.