tta.c 14.4 KB
Newer Older
1 2 3 4
/*
 * TTA (The Lossless True Audio) decoder
 * Copyright (c) 2006 Alex Beregszaszi
 *
5 6 7
 * This file is part of FFmpeg.
 *
 * FFmpeg is free software; you can redistribute it and/or
8 9
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
10
 * version 2.1 of the License, or (at your option) any later version.
11
 *
12
 * FFmpeg is distributed in the hope that it will be useful,
13 14 15 16 17
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
18
 * License along with FFmpeg; if not, write to the Free Software
19
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
20 21 22
 */

/**
23
 * @file
24
 * TTA (The Lossless True Audio) decoder
25 26
 * @see http://www.true-audio.com/
 * @see http://tta.corecodec.org/
27 28 29
 * @author Alex Beregszaszi
 */

30
#define BITSTREAM_READER_LE
31 32 33
//#define DEBUG
#include <limits.h>
#include "avcodec.h"
34
#include "get_bits.h"
Paul B Mahol's avatar
Paul B Mahol committed
35
#include "libavutil/crc.h"
36

37 38
#define FORMAT_SIMPLE    1
#define FORMAT_ENCRYPTED 2
39

40 41
#define MAX_ORDER 16
typedef struct TTAFilter {
Paul B Mahol's avatar
Paul B Mahol committed
42
    int32_t shift, round, error;
43 44 45 46 47 48 49 50 51 52 53 54 55 56 57
    int32_t qm[MAX_ORDER];
    int32_t dx[MAX_ORDER];
    int32_t dl[MAX_ORDER];
} TTAFilter;

typedef struct TTARice {
    uint32_t k0, k1, sum0, sum1;
} TTARice;

typedef struct TTAChannel {
    int32_t predictor;
    TTAFilter filter;
    TTARice rice;
} TTAChannel;

58 59
typedef struct TTAContext {
    AVCodecContext *avctx;
60
    AVFrame frame;
61
    GetBitContext gb;
Paul B Mahol's avatar
Paul B Mahol committed
62
    const AVCRC *crc_table;
63

64 65
    int format, channels, bps;
    unsigned data_length;
66 67
    int frame_length, last_frame_length, total_frames;

68
    int32_t *decode_buffer;
69

70
    TTAChannel *ch_ctx;
71 72
} TTAContext;

73
static const uint32_t shift_1[] = {
74 75 76 77 78 79 80 81 82 83 84 85
    0x00000001, 0x00000002, 0x00000004, 0x00000008,
    0x00000010, 0x00000020, 0x00000040, 0x00000080,
    0x00000100, 0x00000200, 0x00000400, 0x00000800,
    0x00001000, 0x00002000, 0x00004000, 0x00008000,
    0x00010000, 0x00020000, 0x00040000, 0x00080000,
    0x00100000, 0x00200000, 0x00400000, 0x00800000,
    0x01000000, 0x02000000, 0x04000000, 0x08000000,
    0x10000000, 0x20000000, 0x40000000, 0x80000000,
    0x80000000, 0x80000000, 0x80000000, 0x80000000,
    0x80000000, 0x80000000, 0x80000000, 0x80000000
};

86
static const uint32_t * const shift_16 = shift_1 + 4;
87

Paul B Mahol's avatar
Paul B Mahol committed
88 89 90 91 92
static const int32_t ttafilter_configs[4] = {
    10,
    9,
    10,
    12
93 94
};

Paul B Mahol's avatar
Paul B Mahol committed
95
static void ttafilter_init(TTAFilter *c, int32_t shift) {
96 97 98 99 100 101
    memset(c, 0, sizeof(TTAFilter));
    c->shift = shift;
   c->round = shift_1[shift-1];
//    c->round = 1 << (shift - 1);
}

Paul B Mahol's avatar
Paul B Mahol committed
102 103
static inline void ttafilter_process(TTAFilter *c, int32_t *in)
{
104
    register int32_t *dl = c->dl, *qm = c->qm, *dx = c->dx, sum = c->round;
105

106 107 108 109 110 111
    if (c->error < 0) {
        qm[0] -= dx[0]; qm[1] -= dx[1]; qm[2] -= dx[2]; qm[3] -= dx[3];
        qm[4] -= dx[4]; qm[5] -= dx[5]; qm[6] -= dx[6]; qm[7] -= dx[7];
    } else if (c->error > 0) {
        qm[0] += dx[0]; qm[1] += dx[1]; qm[2] += dx[2]; qm[3] += dx[3];
        qm[4] += dx[4]; qm[5] += dx[5]; qm[6] += dx[6]; qm[7] += dx[7];
112 113
    }

114 115 116 117 118 119 120 121 122 123
    sum += dl[0] * qm[0] + dl[1] * qm[1] + dl[2] * qm[2] + dl[3] * qm[3] +
           dl[4] * qm[4] + dl[5] * qm[5] + dl[6] * qm[6] + dl[7] * qm[7];

    dx[0] = dx[1]; dx[1] = dx[2]; dx[2] = dx[3]; dx[3] = dx[4];
    dl[0] = dl[1]; dl[1] = dl[2]; dl[2] = dl[3]; dl[3] = dl[4];

    dx[4] = ((dl[4] >> 30) | 1);
    dx[5] = ((dl[5] >> 30) | 2) & ~1;
    dx[6] = ((dl[6] >> 30) | 2) & ~1;
    dx[7] = ((dl[7] >> 30) | 4) & ~3;
124

Paul B Mahol's avatar
Paul B Mahol committed
125 126
    c->error = *in;
    *in += (sum >> c->shift);
127

128 129 130
    dl[4] = -dl[5]; dl[5] = -dl[6];
    dl[6] = *in - dl[7]; dl[7] = *in;
    dl[5] += dl[6]; dl[4] += dl[5];
131 132
}

133
static void rice_init(TTARice *c, uint32_t k0, uint32_t k1)
134 135 136 137 138 139 140 141 142 143 144 145
{
    c->k0 = k0;
    c->k1 = k1;
    c->sum0 = shift_16[k0];
    c->sum1 = shift_16[k1];
}

static int tta_get_unary(GetBitContext *gb)
{
    int ret = 0;

    // count ones
146
    while (get_bits_left(gb) > 0 && get_bits1(gb))
147 148 149 150
        ret++;
    return ret;
}

151 152 153 154 155 156 157 158 159 160
static const int64_t tta_channel_layouts[7] = {
    AV_CH_LAYOUT_STEREO,
    AV_CH_LAYOUT_STEREO|AV_CH_LOW_FREQUENCY,
    AV_CH_LAYOUT_QUAD,
    0,
    AV_CH_LAYOUT_5POINT1_BACK,
    AV_CH_LAYOUT_5POINT1_BACK|AV_CH_BACK_CENTER,
    AV_CH_LAYOUT_7POINT1_WIDE
};

Paul B Mahol's avatar
Paul B Mahol committed
161 162 163 164 165 166 167 168 169 170 171 172 173 174
static int tta_check_crc(TTAContext *s, const uint8_t *buf, int buf_size)
{
    uint32_t crc, CRC;

    CRC = AV_RL32(buf + buf_size);
    crc = av_crc(s->crc_table, 0xFFFFFFFFU, buf, buf_size);
    if (CRC != (crc ^ 0xFFFFFFFFU)) {
        av_log(s->avctx, AV_LOG_ERROR, "CRC error\n");
        return AVERROR_INVALIDDATA;
    }

    return 0;
}

175
static av_cold int tta_decode_init(AVCodecContext * avctx)
176 177 178 179 180 181 182
{
    TTAContext *s = avctx->priv_data;

    s->avctx = avctx;

    // 30bytes includes a seektable with one frame
    if (avctx->extradata_size < 30)
183
        return AVERROR_INVALIDDATA;
184

185
    init_get_bits(&s->gb, avctx->extradata, avctx->extradata_size * 8);
186
    if (show_bits_long(&s->gb, 32) == AV_RL32("TTA1"))
187
    {
Paul B Mahol's avatar
Paul B Mahol committed
188 189
        if (avctx->err_recognition & AV_EF_CRCCHECK) {
            s->crc_table = av_crc_get_table(AV_CRC_32_IEEE_LE);
190
            tta_check_crc(s, avctx->extradata, 18);
Paul B Mahol's avatar
Paul B Mahol committed
191 192
        }

193
        /* signature */
Paul B Mahol's avatar
Paul B Mahol committed
194
        skip_bits_long(&s->gb, 32);
195

196 197 198
        s->format = get_bits(&s->gb, 16);
        if (s->format > 2) {
            av_log(s->avctx, AV_LOG_ERROR, "Invalid format\n");
199
            return AVERROR_INVALIDDATA;
200
        }
201 202
        if (s->format == FORMAT_ENCRYPTED) {
            av_log_missing_feature(s->avctx, "Encrypted TTA", 0);
203
            return AVERROR_PATCHWELCOME;
204
        }
205
        avctx->channels = s->channels = get_bits(&s->gb, 16);
206 207
        if (s->channels > 1 && s->channels < 9)
            avctx->channel_layout = tta_channel_layouts[s->channels-2];
208 209
        avctx->bits_per_raw_sample = get_bits(&s->gb, 16);
        s->bps = (avctx->bits_per_raw_sample + 7) / 8;
210 211
        avctx->sample_rate = get_bits_long(&s->gb, 32);
        s->data_length = get_bits_long(&s->gb, 32);
Paul B Mahol's avatar
Paul B Mahol committed
212
        skip_bits_long(&s->gb, 32); // CRC32 of header
213

214 215 216
        if (s->channels == 0) {
            av_log(s->avctx, AV_LOG_ERROR, "Invalid number of channels\n");
            return AVERROR_INVALIDDATA;
217 218 219
        } else if (avctx->sample_rate == 0) {
            av_log(s->avctx, AV_LOG_ERROR, "Invalid samplerate\n");
            return AVERROR_INVALIDDATA;
220 221
        }

222
        switch(s->bps) {
223
        case 1: avctx->sample_fmt = AV_SAMPLE_FMT_U8; break;
224 225 226 227 228 229
        case 2:
            avctx->sample_fmt = AV_SAMPLE_FMT_S16;
            break;
        case 3:
            avctx->sample_fmt = AV_SAMPLE_FMT_S32;
            break;
230
        //case 4: avctx->sample_fmt = AV_SAMPLE_FMT_S32; break;
231 232 233
        default:
            av_log(avctx, AV_LOG_ERROR, "Invalid/unsupported sample format.\n");
            return AVERROR_INVALIDDATA;
234 235
        }

236
        // prevent overflow
237
        if (avctx->sample_rate > 0x7FFFFFu) {
238 239 240 241
            av_log(avctx, AV_LOG_ERROR, "sample_rate too large\n");
            return AVERROR(EINVAL);
        }
        s->frame_length = 256 * avctx->sample_rate / 245;
242 243 244 245 246

        s->last_frame_length = s->data_length % s->frame_length;
        s->total_frames = s->data_length / s->frame_length +
                        (s->last_frame_length ? 1 : 0);

247 248
        av_log(s->avctx, AV_LOG_DEBUG, "format: %d chans: %d bps: %d rate: %d block: %d\n",
            s->format, avctx->channels, avctx->bits_per_coded_sample, avctx->sample_rate,
249 250 251 252
            avctx->block_align);
        av_log(s->avctx, AV_LOG_DEBUG, "data_length: %d frame_length: %d last: %d total: %d\n",
            s->data_length, s->frame_length, s->last_frame_length, s->total_frames);

253 254 255
        if (s->total_frames < 0)
            return AVERROR_INVALIDDATA;

256
        // FIXME: seek table
257 258
        if (avctx->extradata_size <= 26 || s->total_frames > INT_MAX / 4 ||
            avctx->extradata_size - 26 < s->total_frames * 4)
Paul B Mahol's avatar
Paul B Mahol committed
259 260
            av_log(avctx, AV_LOG_WARNING, "Seek table missing or too small\n");
        else if (avctx->err_recognition & AV_EF_CRCCHECK) {
261
            if (avctx->extradata_size < 26 + s->total_frames * 4 || tta_check_crc(s, avctx->extradata + 22, s->total_frames * 4))
Paul B Mahol's avatar
Paul B Mahol committed
262 263
                return AVERROR_INVALIDDATA;
        }
Paul B Mahol's avatar
Paul B Mahol committed
264 265
        skip_bits_long(&s->gb, 32 * s->total_frames);
        skip_bits_long(&s->gb, 32); // CRC32 of seektable
266

267 268
        if(s->frame_length >= UINT_MAX / (s->channels * sizeof(int32_t))){
            av_log(avctx, AV_LOG_ERROR, "frame_length too large\n");
269
            return AVERROR_INVALIDDATA;
270 271
        }

272 273 274 275
        if (s->bps < 3) {
            s->decode_buffer = av_mallocz(sizeof(int32_t)*s->frame_length*s->channels);
            if (!s->decode_buffer)
                return AVERROR(ENOMEM);
276 277
        } else
            s->decode_buffer = NULL;
278
        s->ch_ctx = av_malloc(avctx->channels * sizeof(*s->ch_ctx));
279 280
        if (!s->ch_ctx) {
            av_freep(&s->decode_buffer);
281
            return AVERROR(ENOMEM);
282
        }
283 284
    } else {
        av_log(avctx, AV_LOG_ERROR, "Wrong extradata present\n");
285
        return AVERROR_INVALIDDATA;
286 287
    }

288 289 290
    avcodec_get_frame_defaults(&s->frame);
    avctx->coded_frame = &s->frame;

291 292 293
    return 0;
}

294 295
static int tta_decode_frame(AVCodecContext *avctx, void *data,
                            int *got_frame_ptr, AVPacket *avpkt)
296
{
297 298
    const uint8_t *buf = avpkt->data;
    int buf_size = avpkt->size;
299
    TTAContext *s = avctx->priv_data;
300
    int i, ret;
301 302
    int cur_chan = 0, framelen = s->frame_length;
    int32_t *p;
303

Paul B Mahol's avatar
Paul B Mahol committed
304 305 306 307 308
    if (avctx->err_recognition & AV_EF_CRCCHECK) {
        if (buf_size < 4 || tta_check_crc(s, buf, buf_size - 4))
            return AVERROR_INVALIDDATA;
    }

309 310
    init_get_bits(&s->gb, buf, buf_size*8);

Justin Ruggles's avatar
Justin Ruggles committed
311 312 313 314
    // FIXME: seeking
    s->total_frames--;
    if (!s->total_frames && s->last_frame_length)
        framelen = s->last_frame_length;
315

316 317 318 319 320
    /* get output buffer */
    s->frame.nb_samples = framelen;
    if ((ret = avctx->get_buffer(avctx, &s->frame)) < 0) {
        av_log(avctx, AV_LOG_ERROR, "get_buffer() failed\n");
        return ret;
Justin Ruggles's avatar
Justin Ruggles committed
321 322
    }

323 324
    // decode directly to output buffer for 24-bit sample format
    if (s->bps == 3)
325
        s->decode_buffer = (int32_t *)s->frame.data[0];
326

Justin Ruggles's avatar
Justin Ruggles committed
327 328 329
    // init per channel states
    for (i = 0; i < s->channels; i++) {
        s->ch_ctx[i].predictor = 0;
Paul B Mahol's avatar
Paul B Mahol committed
330
        ttafilter_init(&s->ch_ctx[i].filter, ttafilter_configs[s->bps-1]);
Justin Ruggles's avatar
Justin Ruggles committed
331 332
        rice_init(&s->ch_ctx[i].rice, 10, 10);
    }
333

Justin Ruggles's avatar
Justin Ruggles committed
334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349
    for (p = s->decode_buffer; p < s->decode_buffer + (framelen * s->channels); p++) {
        int32_t *predictor = &s->ch_ctx[cur_chan].predictor;
        TTAFilter *filter = &s->ch_ctx[cur_chan].filter;
        TTARice *rice = &s->ch_ctx[cur_chan].rice;
        uint32_t unary, depth, k;
        int32_t value;

        unary = tta_get_unary(&s->gb);

        if (unary == 0) {
            depth = 0;
            k = rice->k0;
        } else {
            depth = 1;
            k = rice->k1;
            unary--;
350 351
        }

352 353 354 355
        if (get_bits_left(&s->gb) < k) {
            ret = AVERROR_INVALIDDATA;
            goto error;
        }
356

Justin Ruggles's avatar
Justin Ruggles committed
357
        if (k) {
358 359 360 361
            if (k > MIN_CACHE_BITS) {
                ret = AVERROR_INVALIDDATA;
                goto error;
            }
Justin Ruggles's avatar
Justin Ruggles committed
362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381
            value = (unary << k) + get_bits(&s->gb, k);
        } else
            value = unary;

        // FIXME: copy paste from original
        switch (depth) {
        case 1:
            rice->sum1 += value - (rice->sum1 >> 4);
            if (rice->k1 > 0 && rice->sum1 < shift_16[rice->k1])
                rice->k1--;
            else if(rice->sum1 > shift_16[rice->k1 + 1])
                rice->k1++;
            value += shift_1[rice->k0];
        default:
            rice->sum0 += value - (rice->sum0 >> 4);
            if (rice->k0 > 0 && rice->sum0 < shift_16[rice->k0])
                rice->k0--;
            else if(rice->sum0 > shift_16[rice->k0 + 1])
                rice->k0++;
        }
382

Justin Ruggles's avatar
Justin Ruggles committed
383
        // extract coded value
384
        *p = 1 + ((value >> 1) ^ ((value & 1) - 1));
385

Justin Ruggles's avatar
Justin Ruggles committed
386
        // run hybrid filter
Paul B Mahol's avatar
Paul B Mahol committed
387
        ttafilter_process(filter, p);
388

Justin Ruggles's avatar
Justin Ruggles committed
389
        // fixed order prediction
390
#define PRED(x, k) (int32_t)((((uint64_t)x << k) - x) >> k)
Justin Ruggles's avatar
Justin Ruggles committed
391
        switch (s->bps) {
392 393 394 395
        case 1: *p += PRED(*predictor, 4); break;
        case 2:
        case 3: *p += PRED(*predictor, 5); break;
        case 4: *p +=      *predictor;     break;
Justin Ruggles's avatar
Justin Ruggles committed
396 397 398 399 400 401 402
        }
        *predictor = *p;

        // flip channels
        if (cur_chan < (s->channels-1))
            cur_chan++;
        else {
403
            // decorrelate in case of multiple channels
Justin Ruggles's avatar
Justin Ruggles committed
404 405 406 407
            if (s->channels > 1) {
                int32_t *r = p - 1;
                for (*p += *r / 2; r > p - s->channels; r--)
                    *r = *(r + 1) - *r;
408
            }
Justin Ruggles's avatar
Justin Ruggles committed
409
            cur_chan = 0;
410
        }
Justin Ruggles's avatar
Justin Ruggles committed
411
    }
412

413 414 415 416
    if (get_bits_left(&s->gb) < 32) {
        ret = AVERROR_INVALIDDATA;
        goto error;
    }
Paul B Mahol's avatar
Paul B Mahol committed
417
    skip_bits_long(&s->gb, 32); // frame crc
418

Paul B Mahol's avatar
Paul B Mahol committed
419 420 421 422 423 424 425
    // convert to output buffer
    switch (s->bps) {
    case 1: {
        uint8_t *samples = (uint8_t *)s->frame.data[0];
        for (p = s->decode_buffer; p < s->decode_buffer + (framelen * s->channels); p++)
            *samples++ = *p + 0x80;
        break;
426
        }
Paul B Mahol's avatar
Paul B Mahol committed
427
    case 2: {
428
        int16_t *samples = (int16_t *)s->frame.data[0];
Paul B Mahol's avatar
Paul B Mahol committed
429 430 431 432 433 434 435 436 437 438 439 440 441 442
        for (p = s->decode_buffer; p < s->decode_buffer + (framelen * s->channels); p++)
            *samples++ = *p;
        break;
        }
    case 3: {
        // shift samples for 24-bit sample format
        int32_t *samples = (int32_t *)s->frame.data[0];
        for (p = s->decode_buffer; p < s->decode_buffer + (framelen * s->channels); p++)
            *samples++ <<= 8;
        // reset decode buffer
        s->decode_buffer = NULL;
        break;
        }
    }
443

444 445
    *got_frame_ptr   = 1;
    *(AVFrame *)data = s->frame;
446

447
    return buf_size;
448 449 450 451 452
error:
    // reset decode buffer
    if (s->bps == 3)
        s->decode_buffer = NULL;
    return ret;
453 454
}

455
static av_cold int tta_decode_close(AVCodecContext *avctx) {
456 457
    TTAContext *s = avctx->priv_data;

458 459 460
    if (s->bps < 3)
        av_free(s->decode_buffer);
    s->decode_buffer = NULL;
461
    av_freep(&s->ch_ctx);
462 463 464 465

    return 0;
}

466
AVCodec ff_tta_decoder = {
467 468
    .name           = "tta",
    .type           = AVMEDIA_TYPE_AUDIO,
469
    .id             = AV_CODEC_ID_TTA,
470 471 472 473
    .priv_data_size = sizeof(TTAContext),
    .init           = tta_decode_init,
    .close          = tta_decode_close,
    .decode         = tta_decode_frame,
474
    .capabilities   = CODEC_CAP_DR1,
475
    .long_name      = NULL_IF_CONFIG_SMALL("TTA (True Audio)"),
476
};