Function is_valid_cmse_output

fn is_valid_cmse_output<'tcx>(
    tcx: TyCtxt<'tcx>,
    fn_sig: PolyFnSig<'tcx>,
) -> Result<bool, &'tcx LayoutError<'tcx>>

Returns whether the output will fit into the available registers