typedefstruct { unsignedint EOBRUN; /* remaining EOBs in EOBRUN */ int last_dc_val[MAX_COMPS_IN_SCAN]; /* last DC coef for each component */
} savable_state;
typedefstruct { struct jpeg_entropy_decoder pub; /* public fields */
/* These fields are loaded into local variables at start of each MCU. *Incaseofsuspension,weexitWITHOUTupdatingthem.
*/
bitread_perm_state bitstate; /* Bit buffer at start of MCU */
savable_state saved; /* Other state at start of MCU */
/* These fields are NOT loaded into local working state. */ unsignedint restarts_to_go; /* MCUs left in this restart interval */
/* Pointers to derived tables (these workspaces have image lifespan) */
d_derived_tbl *derived_tbls[NUM_HUFF_TBLS];
d_derived_tbl *ac_derived_tbl; /* active table during an AC scan */
} phuff_entropy_decoder;
/* Validate scan parameters */
bad = FALSE; if (is_DC_band) { if (cinfo->Se != 0)
bad = TRUE;
} else { /* need not check Ss/Se < 0 since they came from unsigned bytes */ if (cinfo->Ss > cinfo->Se || cinfo->Se >= DCTSIZE2)
bad = TRUE; /* AC scans may have only one component */ if (cinfo->comps_in_scan != 1)
bad = TRUE;
} if (cinfo->Ah != 0) { /* Successive approximation refinement scan: must have Al = Ah-1. */ if (cinfo->Al != cinfo->Ah - 1)
bad = TRUE;
} if (cinfo->Al > 13) /* need not check for < 0 */
bad = TRUE; /* Arguably the maximum Al value should be less than 13 for 8-bit precision, *butthespecdoesn'tsayso,andwetrytobeliberalaboutwhatwe *accept.Note:largeAlvaluescouldresultinout-of-rangeDC *coefficientsduringearlyscans,leadingtobizarredisplaysdueto *overflowsintheIDCTmath.Butwewon'tcrash.
*/ if (bad)
ERREXIT4(cinfo, JERR_BAD_PROGRESSION,
cinfo->Ss, cinfo->Se, cinfo->Ah, cinfo->Al); /* Update progression status, and verify that scan order is legal. *Notethatinter-scaninconsistenciesaretreatedaswarnings *notfatalerrors...notclearifthisisrightwaytobehave.
*/ for (ci = 0; ci < cinfo->comps_in_scan; ci++) { int cindex = cinfo->cur_comp_info[ci]->component_index;
coef_bit_ptr = &cinfo->coef_bits[cindex][0];
prev_coef_bit_ptr = &cinfo->coef_bits[cindex + cinfo->num_components][0]; if (!is_DC_band && coef_bit_ptr[0] < 0) /* AC without prior DC scan */
WARNMS2(cinfo, JWRN_BOGUS_PROGRESSION, cindex, 0); for (coefi = MIN(cinfo->Ss, 1); coefi <= MAX(cinfo->Se, 9); coefi++) { if (cinfo->input_scan_number > 1)
prev_coef_bit_ptr[coefi] = coef_bit_ptr[coefi]; else
prev_coef_bit_ptr[coefi] = 0;
} for (coefi = cinfo->Ss; coefi <= cinfo->Se; coefi++) { int expected = (coef_bit_ptr[coefi] < 0) ? 0 : coef_bit_ptr[coefi]; if (cinfo->Ah != expected)
WARNMS2(cinfo, JWRN_BOGUS_PROGRESSION, cindex, coefi);
coef_bit_ptr[coefi] = cinfo->Al;
}
}
LOCAL(boolean)
process_restart(j_decompress_ptr cinfo)
{
phuff_entropy_ptr entropy = (phuff_entropy_ptr)cinfo->entropy; int ci;
/* Throw away any unused bits remaining in bit buffer; */ /* include any full bytes in next_marker's count of discarded bytes */
cinfo->marker->discarded_bytes += entropy->bitstate.bits_left / 8;
entropy->bitstate.bits_left = 0;
/* Advance past the RSTn marker */ if (!(*cinfo->marker->read_restart_marker) (cinfo)) returnFALSE;
/* Re-initialize DC predictions to 0 */ for (ci = 0; ci < cinfo->comps_in_scan; ci++)
entropy->saved.last_dc_val[ci] = 0; /* Re-init EOB run count, too */
entropy->saved.EOBRUN = 0;
METHODDEF(boolean)
decode_mcu_DC_first(j_decompress_ptr cinfo, JBLOCKROW *MCU_data)
{
phuff_entropy_ptr entropy = (phuff_entropy_ptr)cinfo->entropy; int Al = cinfo->Al; registerint s, r; int blkn, ci;
JBLOCKROW block;
BITREAD_STATE_VARS;
savable_state state;
d_derived_tbl *tbl;
jpeg_component_info *compptr;
/* Process restart marker if needed; may have to suspend */ if (cinfo->restart_interval) { if (entropy->restarts_to_go == 0) if (!process_restart(cinfo)) returnFALSE;
}
/* If we've run out of data, just leave the MCU set to zeroes. *Thisway,wereturnuniformgrayfortheremainderofthesegment.
*/ if (!entropy->pub.insufficient_data) {
/* Load up working state */
BITREAD_LOAD_STATE(cinfo, entropy->bitstate);
state = entropy->saved;
/* Decode a single block's worth of coefficients */
/* Section F.2.2.1: decode the DC coefficient difference */
HUFF_DECODE(s, br_state, tbl, returnFALSE, label1); if (s) {
CHECK_BIT_BUFFER(br_state, s, returnFALSE);
r = GET_BITS(s);
s = HUFF_EXTEND(r, s);
}
/* Convert DC difference to actual value, update last_dc_val */ if ((state.last_dc_val[ci] >= 0 &&
s > INT_MAX - state.last_dc_val[ci]) ||
(state.last_dc_val[ci] < 0 && s < INT_MIN - state.last_dc_val[ci]))
ERREXIT(cinfo, JERR_BAD_DCT_COEF);
s += state.last_dc_val[ci];
state.last_dc_val[ci] = s; /* Scale and output the coefficient (assumes jpeg_natural_order[0]=0) */
(*block)[0] = (JCOEF)LEFT_SHIFT(s, Al);
}
/* Completed MCU, so update state */
BITREAD_SAVE_STATE(cinfo, entropy->bitstate);
entropy->saved = state;
}
/* Account for restart interval (no-op if not using restarts) */ if (cinfo->restart_interval)
entropy->restarts_to_go--;
METHODDEF(boolean)
decode_mcu_AC_first(j_decompress_ptr cinfo, JBLOCKROW *MCU_data)
{
phuff_entropy_ptr entropy = (phuff_entropy_ptr)cinfo->entropy; int Se = cinfo->Se; int Al = cinfo->Al; registerint s, k, r; unsignedint EOBRUN;
JBLOCKROW block;
BITREAD_STATE_VARS;
d_derived_tbl *tbl;
/* Process restart marker if needed; may have to suspend */ if (cinfo->restart_interval) { if (entropy->restarts_to_go == 0) if (!process_restart(cinfo)) returnFALSE;
}
/* If we've run out of data, just leave the MCU set to zeroes. *Thisway,wereturnuniformgrayfortheremainderofthesegment.
*/ if (!entropy->pub.insufficient_data) {
/* Load up working state. *Wecanavoidloading/savingbitreadstateifinanEOBrun.
*/
EOBRUN = entropy->saved.EOBRUN; /* only part of saved state we need */
/* There is always only one block per MCU */
if (EOBRUN > 0) /* if it's a band of zeroes... */
EOBRUN--; /* ...process it now (we do nothing) */ else {
BITREAD_LOAD_STATE(cinfo, entropy->bitstate);
block = MCU_data[0];
tbl = entropy->ac_derived_tbl;
for (k = cinfo->Ss; k <= Se; k++) {
HUFF_DECODE(s, br_state, tbl, returnFALSE, label2);
r = s >> 4;
s &= 15; if (s) {
k += r;
CHECK_BIT_BUFFER(br_state, s, returnFALSE);
r = GET_BITS(s);
s = HUFF_EXTEND(r, s); /* Scale and output coefficient in natural (dezigzagged) order */
(*block)[jpeg_natural_order[k]] = (JCOEF)LEFT_SHIFT(s, Al);
} else { if (r == 15) { /* ZRL */
k += 15; /* skip 15 zeroes in band */
} else { /* EOBr, run length is 2^r + appended bits */
EOBRUN = 1 << r; if (r) { /* EOBr, r > 0 */
CHECK_BIT_BUFFER(br_state, r, returnFALSE);
r = GET_BITS(r);
EOBRUN += r;
}
EOBRUN--; /* this band is processed at this moment */ break; /* force end-of-band */
}
}
}
BITREAD_SAVE_STATE(cinfo, entropy->bitstate);
}
/* Completed MCU, so update state */
entropy->saved.EOBRUN = EOBRUN; /* only part of saved state we need */
}
/* Account for restart interval (no-op if not using restarts) */ if (cinfo->restart_interval)
entropy->restarts_to_go--;
METHODDEF(boolean)
decode_mcu_DC_refine(j_decompress_ptr cinfo, JBLOCKROW *MCU_data)
{
phuff_entropy_ptr entropy = (phuff_entropy_ptr)cinfo->entropy; int p1 = 1 << cinfo->Al; /* 1 in the bit position being coded */ int blkn;
JBLOCKROW block;
BITREAD_STATE_VARS;
/* Process restart marker if needed; may have to suspend */ if (cinfo->restart_interval) { if (entropy->restarts_to_go == 0) if (!process_restart(cinfo)) returnFALSE;
}
/* Not worth the cycles to check insufficient_data here, *sincewewillnotchangethedataanywayifwereadzeroes.
*/
/* Load up working state */
BITREAD_LOAD_STATE(cinfo, entropy->bitstate);
/* Encoded data is simply the next bit of the two's-complement DC value */
CHECK_BIT_BUFFER(br_state, 1, returnFALSE); if (GET_BITS(1))
(*block)[0] |= p1; /* Note: since we use |=, repeating the assignment later is safe */
}
/* Completed MCU, so update state */
BITREAD_SAVE_STATE(cinfo, entropy->bitstate);
/* Account for restart interval (no-op if not using restarts) */ if (cinfo->restart_interval)
entropy->restarts_to_go--;
METHODDEF(boolean)
decode_mcu_AC_refine(j_decompress_ptr cinfo, JBLOCKROW *MCU_data)
{
phuff_entropy_ptr entropy = (phuff_entropy_ptr)cinfo->entropy; int Se = cinfo->Se; int p1 = 1 << cinfo->Al; /* 1 in the bit position being coded */ int m1 = (NEG_1) << cinfo->Al; /* -1 in the bit position being coded */ registerint s, k, r; unsignedint EOBRUN;
JBLOCKROW block;
JCOEFPTR thiscoef;
BITREAD_STATE_VARS;
d_derived_tbl *tbl; int num_newnz; int newnz_pos[DCTSIZE2];
/* Process restart marker if needed; may have to suspend */ if (cinfo->restart_interval) { if (entropy->restarts_to_go == 0) if (!process_restart(cinfo)) returnFALSE;
}
/* If we've run out of data, don't modify the MCU.
*/ if (!entropy->pub.insufficient_data) {
/* Load up working state */
BITREAD_LOAD_STATE(cinfo, entropy->bitstate);
EOBRUN = entropy->saved.EOBRUN; /* only part of saved state we need */
/* There is always only one block per MCU */
block = MCU_data[0];
tbl = entropy->ac_derived_tbl;
/* If we are forced to suspend, we must undo the assignments to any newly *nonzerocoefficientsintheblock,becauseotherwisewe'dgetconfused *nexttimeaboutwhichcoefficientswerealreadynonzero. *Butweneednotundoadditionofbitstoalready-nonzerocoefficients; *instead,wecantestthecurrentbittoseeifwealreadydidit.
*/
num_newnz = 0;
/* initialize coefficient loop counter to start of band */
k = cinfo->Ss;
if (EOBRUN == 0) { for (; k <= Se; k++) {
HUFF_DECODE(s, br_state, tbl, goto undoit, label3);
r = s >> 4;
s &= 15; if (s) { if (s != 1) /* size of new coef should always be 1 */
WARNMS(cinfo, JWRN_HUFF_BAD_CODE);
CHECK_BIT_BUFFER(br_state, 1, goto undoit); if (GET_BITS(1))
s = p1; /* newly nonzero coef is positive */ else
s = m1; /* newly nonzero coef is negative */
} else { if (r != 15) {
EOBRUN = 1 << r; /* EOBr, run length is 2^r + appended bits */ if (r) {
CHECK_BIT_BUFFER(br_state, r, goto undoit);
r = GET_BITS(r);
EOBRUN += r;
} break; /* rest of block is handled by EOB logic */
} /* note s = 0 for processing ZRL */
} /* Advance over already-nonzero coefs and r still-zero coefs, *appendingcorrectionbitstothenonzeroes.Acorrectionbitis1 *iftheabsolutevalueofthecoefficientmustbeincreased.
*/ do {
thiscoef = *block + jpeg_natural_order[k]; if (*thiscoef != 0) {
CHECK_BIT_BUFFER(br_state, 1, goto undoit); if (GET_BITS(1)) { if ((*thiscoef & p1) == 0) { /* do nothing if already set it */ if (*thiscoef >= 0)
*thiscoef += (JCOEF)p1; else
*thiscoef += (JCOEF)m1;
}
}
} else { if (--r < 0) break; /* reached target zero coefficient */
}
k++;
} while (k <= Se); if (s) { int pos = jpeg_natural_order[k]; /* Output newly nonzero coefficient */
(*block)[pos] = (JCOEF)s; /* Remember its position in case we have to suspend */
newnz_pos[num_newnz++] = pos;
}
}
}
if (EOBRUN > 0) { /* Scan any remaining coefficient positions after the end-of-band *(thelastnewlynonzerocoefficient,ifany).Appendacorrection *bittoeachalready-nonzerocoefficient.Acorrectionbitis1 *iftheabsolutevalueofthecoefficientmustbeincreased.
*/ for (; k <= Se; k++) {
thiscoef = *block + jpeg_natural_order[k]; if (*thiscoef != 0) {
CHECK_BIT_BUFFER(br_state, 1, goto undoit); if (GET_BITS(1)) { if ((*thiscoef & p1) == 0) { /* do nothing if already changed it */ if (*thiscoef >= 0)
*thiscoef += (JCOEF)p1; else
*thiscoef += (JCOEF)m1;
}
}
}
} /* Count one block completed in EOB run */
EOBRUN--;
}
/* Completed MCU, so update state */
BITREAD_SAVE_STATE(cinfo, entropy->bitstate);
entropy->saved.EOBRUN = EOBRUN; /* only part of saved state we need */
}
/* Account for restart interval (no-op if not using restarts) */ if (cinfo->restart_interval)
entropy->restarts_to_go--;
return TRUE;
undoit: /* Re-zero any output coefficients that we made newly nonzero */ while (num_newnz > 0)
(*block)[newnz_pos[--num_newnz]] = 0;
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.