算術の契約を確認する

8ビット符号付きオペランドから、バイアスなしでK=4個の積を加算します。アキュムレータは、最小の負の入力の積も含め、完全な正確な和を保持する必要があります。縮約全体に対して幅を選び、出力スケールの変換はその後に行います。