fiat_p384_cmovznz_u64

p384::arithmetic::field::field_impl

Function fiat_p384_cmovznz_u64 

Source 
pub const fn fiat_p384_cmovznz_u64(arg1: u8, arg2: u64, arg3: u64) -> u64
Expand description

The function fiat_p384_cmovznz_u64 is a single-word conditional move.

Postconditions: out1 = (if arg1 = 0 then arg2 else arg3)

Input Bounds: arg1: [0x0 ~> 0x1] arg2: [0x0 ~> 0xffffffffffffffff] arg3: [0x0 ~> 0xffffffffffffffff] Output Bounds: out1: [0x0 ~> 0xffffffffffffffff]