fixed_powi_value

miri::math

Function fixed_powi_value 

Source 
pub(crate) fn fixed_powi_value<S: Semantics>(
    ecx: &mut MiriInterpCx<'_>,
    base: IeeeFloat<S>,
    exp: i32,
) -> Option<IeeeFloat<S>>
where
    IeeeFloat<S>: IeeeExt,
Expand description

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.