hacspec_lib::prelude

Function csub

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

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