RATE
for (; srate >= 0 && RATE(srate) > 72; srate--)
for (; srate >= 0 && RATE(srate) != r; srate--)
for (; srate >= 0 && RATE(srate) > 72; srate--)
for (; srate >= 0 && RATE(srate) != r; srate--)
for (; srate >= 0 && RATE(srate) != r; srate--)
ASSERT(P->i <= RATE-1);
if (P->i == RATE-1)
ASSERT(P->i < RATE-1);
if (P->i == RATE-1)
ASSERT(P->i < RATE-1);
if (P->i == RATE-1)
ASSERT(P->i < RATE-1);
ASSERT(P->i <= RATE-1);
if (P->i == RATE-1)
ASSERT(P->i < RATE-1);
n = n0 = MIN(127, MIN(len, RATE-1 - P->i - 1));
ASSERT(P->i <= RATE-1);
ASSERT(P->i <= RATE-1);
if (P->i == RATE-1)
ASSERT(P->i < RATE-1);
ASSERT(P->i <= RATE-1);
while (n >= RATE-1) {
memcpy(p, P->s.u8, RATE-1);
memset(P->s.u8, 0, RATE-1);
P->s.u8[RATE-1] ^= 0x80;
p += RATE-1;
n -= RATE-1;
ASSERT(n < RATE-1);
memset(P->s.u8, 0, RATE-1); /* Zero all of it. */
P->s.u8[RATE-1] ^= 0x80;
uint8_t scratch[RATE];
const uint8_t zero[RATE] = {0};
entpool_enter(P, zero, RATE-3);
entpool_enter(P, zero, RATE-4);
if (!entpool_enter_nostir(P, zero, RATE-2))
if (!entpool_enter_nostir(P, zero, RATE-2 - 127 - 1))
if (!entpool_enter_nostir(P, zero, RATE-2))
CTASSERT(127 <= RATE-2);
if (!entpool_enter_nostir(P, zero, RATE-2 - 127 - 1))
entpool_enter(P, zero, RATE-3);
entpool_enter(P, zero, RATE-4);
if (!entpool_enter_nostir(P, zero, RATE-2))
CTASSERT(127 <= RATE-2);
if (!entpool_enter_nostir(P, zero, RATE-2 - 127 - 1))
if (!entpool_enter_nostir(P, zero, RATE-2))
CTASSERT(127 <= RATE-2);
if (!entpool_enter_nostir(P, zero, RATE-2 - 127 - 1))
if (!entpool_enter_nostir(P, zero, RATE-2))
CTASSERT(127 <= RATE-2);
if (!entpool_enter_nostir(P, zero, RATE-2 - 127 - 1))
entpool_extract(P, scratch, RATE-1 + 1);
uint8_t b[RATE-1];
{IN, {RATE-3, [RATE-2] = 1}},
{IN, {0x80|((RATE-4)&0x7f), (RATE-4)>>7, [RATE-2] = 1}},
{IN, {RATE-2}},
{IN, {127, [128] = RATE-2 - 127 - 1}},
{IN, {RATE-2}},
{IN, {127, [128] = RATE-2 - 127 - 1}},
{IN, {RATE-3, [RATE-2] = 0 /* truncated length */}},
{IN, {0x80|((RATE-4)&0x7f), (RATE-4)>>7,
[RATE-2] = 0 /* truncated length */}},
{IN, {RATE-2}},
{IN, {127, [128] = RATE-2 - 127 - 1}},
{IN, {RATE-2}},
{IN, {127, [128] = RATE-2 - 127 - 1}},
{IN, {RATE-2}},
{IN, {127, [128] = RATE-2 - 127 - 1}},
memset(u.b, 0, RATE-1);
u.b[RATE-1] ^= 0x80;
ix >= 0 && RATE(ix) != rate; ix--)