Skip to main content

choose_matmul_numerics_ranged

logicaffeine_compile::spatial::passes::from_tensor_op

Function choose_matmul_numerics_ranged 

Source 
pub fn choose_matmul_numerics_ranged(
    target: &SpatialTarget,
    range_a: Option<(i64, i64)>,
    range_b: Option<(i64, i64)>,
    k: usize,
) -> Result<(Precision, AccPolicy, Precision, NumericsClaim), SpatialReject>
Expand description

The chosen numerics of a matmul on a target, from each operand’s range [lo, hi]: (operand, accumulator, output, claim). An integer operand is the narrowest two’s-complement width that holds both ranges — an int8 activation clamped to [−128, 127] is int8 — and the claim is exact while k products of the operands’ extremes fit the accumulator.