## fixed_powi_value

# 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`.