符号の検討(2) TAKソース読み

static const struct CParam {
    int init;       /* xの初期値のビット幅 */
    int escape;     /* おそらく、再帰的Golomb-Riceの1段目の閾値 */
    int scale;      /* おそらく、Golomb-Riceの商部に乗じる係数 */
    int aescape;    /* おそらく、再帰的Golomb-Riceの2段目の閾値 */
    int bias;
} xcodes[50] = { /* aiki: 略 */ };

/* aiki: 略 */

static int decode_segment(TAKDecContext *s, int8_t mode, int32_t *decoded, int len)
{
    struct CParam code;
    GetBitContext *gb = &s->gb;
    int i;

    if (!mode) {
        memset(decoded, 0, len * sizeof(*decoded));
        return 0;
    }

    if (mode > FF_ARRAY_ELEMS(xcodes))
        return AVERROR_INVALIDDATA;
    code = xcodes[mode - 1];

    for (i = 0; i < len; i++) {
        /* aiki: xが最終結果 */
        /* aiki: まずcode.initビット読み取った結果をセット（Golomb-Riceの剰余部を先に取得している？） */
        unsigned x = get_bits_long(gb, code.init);
        if (x >= code.escape && get_bits1(gb)) {
            /* aiki: xがcode.escape以上で、続く1ビットが1ならば... （再帰的Golomb-Riceの1段目？） */
            /* aiki: 最上位ビットに1をセット 最初の状態からすると x <- get_bits_long(gb, code.init + 1) となるはず */
            /* TODO: get_bits1(gb) == 0だった場合はifを抜けるけど、これは何を意味する？ */
            x |= 1 << code.init;
            if (x >= code.aescape) {
                /* aiki: xがcode.aescape以上ならば... （再帰的Golomb-Riceの2段目？） */
                /* aiki: 商部scaleの取得に入る。まずはα符号の取得。9で止める */
                unsigned scale = get_unary(gb, 1, 9);
                if (scale == 9) {
                    /* aiki: scaleが最大の9だったら、scaleの表現ビット数を3ビットで取得 */
                    /* aiki: 後でcode.biasを足し込む */
                    int scale_bits = get_bits(gb, 3);
                    if (scale_bits > 0) {
                        if (scale_bits == 7) {
                            /* aiki: scaleの表現ビットが最大の7の場合はさらに5ビット追加で取得 */
                            scale_bits += get_bits(gb, 5);
                            /* aiki: scaleが29ビットを超えることはない */
                            if (scale_bits > 29)
                                return AVERROR_INVALIDDATA;
                        }
                        /* aiki: scaleの差し替え。1だけゲタが入っている */
                        scale = get_bits_long(gb, scale_bits) + 1;
                        /* aiki: 商部の加算 */
                        x    += code.scale * scale;
                    }
                    /* aiki: code.biasの加算 */
                    x += code.bias;
                } else
                    /* aiki: 商部の加算。scale < 9の場合はcode.escapeを減じる（TODO: なぜ引くのか？） */
                    x += code.scale * scale - code.escape;
            } else
                /* aiki: x > code.aescapeの場合はcode.escapeを減じる */
                x -= code.escape;
        }
        /* aiki: 符号なし整数から符号付き整数に変換 */
        decoded[i] = (x >> 1) ^ -(x & 1);
    }

    return 0;
}