Module intrinsics

Modules§

apply_random_float_error_to_imm 🔒: Applies a random ULP floating point error to val and returns the new value. So if you want an X ULP error, ulp_exponent should be log2(X).
clamp_float_value 🔒: Given an floating-point operation and a floating-point value, clamps the result to the output range of the given operation.
fixed_float_value 🔒: For the intrinsics:
fixed_powi_float_value 🔒: Returns Some(output) if powi (called pown in C) results in a fixed value specified in the C standard (specifically, C23 annex F.10.4.6) when doing base^exp. Otherwise, returns None.