1 /* 2 * jdinput.c 3 * 4 * This file was part of the Independent JPEG Group's software: 5 * Copyright (C) 1991-1997, Thomas G. Lane. 6 * libjpeg-turbo Modifications: 7 * Copyright (C) 2010, 2016, D. R. Commander. 8 * Copyright (C) 2015, Google, Inc. 9 * For conditions of distribution and use, see the accompanying README.ijg 10 * file. 11 * 12 * This file contains input control logic for the JPEG decompressor. 13 * These routines are concerned with controlling the decompressor's input 14 * processing (marker reading and coefficient decoding). The actual input 15 * reading is done in jdmarker.c, jdhuff.c, and jdphuff.c. 16 */ 17 18 #define JPEG_INTERNALS 19 #include "jinclude.h" 20 #include "jpeglib.h" 21 #include "jpegcomp.h" 22 23 24 /* Private state */ 25 26 typedef struct { 27 struct jpeg_input_controller pub; /* public fields */ 28 29 boolean inheaders; /* TRUE until first SOS is reached */ 30 } my_input_controller; 31 32 typedef my_input_controller * my_inputctl_ptr; 33 34 35 /* Forward declarations */ 36 METHODDEF(int) consume_markers (j_decompress_ptr cinfo); 37 38 39 /* 40 * Routines to calculate various quantities related to the size of the image. 41 */ 42 43 LOCAL(void) 44 initial_setup (j_decompress_ptr cinfo) 45 /* Called once, when first SOS marker is reached */ 46 { 47 int ci; 48 jpeg_component_info *compptr; 49 50 /* Make sure image isn't bigger than I can handle */ 51 if ((long) cinfo->image_height > (long) JPEG_MAX_DIMENSION || 52 (long) cinfo->image_width > (long) JPEG_MAX_DIMENSION) 53 ERREXIT1(cinfo, JERR_IMAGE_TOO_BIG, (unsigned int) JPEG_MAX_DIMENSION); 54 55 /* For now, precision must match compiled-in value... */ 56 if (cinfo->data_precision != BITS_IN_JSAMPLE) 57 ERREXIT1(cinfo, JERR_BAD_PRECISION, cinfo->data_precision); 58 59 /* Check that number of components won't exceed internal array sizes */ 60 if (cinfo->num_components > MAX_COMPONENTS) 61 ERREXIT2(cinfo, JERR_COMPONENT_COUNT, cinfo->num_components, 62 MAX_COMPONENTS); 63 64 /* Compute maximum sampling factors; check factor validity */ 65 cinfo->max_h_samp_factor = 1; 66 cinfo->max_v_samp_factor = 1; 67 for (ci = 0, compptr = cinfo->comp_info; ci < cinfo->num_components; 68 ci++, compptr++) { 69 if (compptr->h_samp_factor<=0 || compptr->h_samp_factor>MAX_SAMP_FACTOR || 70 compptr->v_samp_factor<=0 || compptr->v_samp_factor>MAX_SAMP_FACTOR) 71 ERREXIT(cinfo, JERR_BAD_SAMPLING); 72 cinfo->max_h_samp_factor = MAX(cinfo->max_h_samp_factor, 73 compptr->h_samp_factor); 74 cinfo->max_v_samp_factor = MAX(cinfo->max_v_samp_factor, 75 compptr->v_samp_factor); 76 } 77 78 #if JPEG_LIB_VERSION >=80 79 cinfo->block_size = DCTSIZE; 80 cinfo->natural_order = jpeg_natural_order; 81 cinfo->lim_Se = DCTSIZE2-1; 82 #endif 83 84 /* We initialize DCT_scaled_size and min_DCT_scaled_size to DCTSIZE. 85 * In the full decompressor, this will be overridden by jdmaster.c; 86 * but in the transcoder, jdmaster.c is not used, so we must do it here. 87 */ 88 #if JPEG_LIB_VERSION >= 70 89 cinfo->min_DCT_h_scaled_size = cinfo->min_DCT_v_scaled_size = DCTSIZE; 90 #else 91 cinfo->min_DCT_scaled_size = DCTSIZE; 92 #endif 93 94 /* Compute dimensions of components */ 95 for (ci = 0, compptr = cinfo->comp_info; ci < cinfo->num_components; 96 ci++, compptr++) { 97 #if JPEG_LIB_VERSION >= 70 98 compptr->DCT_h_scaled_size = compptr->DCT_v_scaled_size = DCTSIZE; 99 #else 100 compptr->DCT_scaled_size = DCTSIZE; 101 #endif 102 /* Size in DCT blocks */ 103 compptr->width_in_blocks = (JDIMENSION) 104 jdiv_round_up((long) cinfo->image_width * (long) compptr->h_samp_factor, 105 (long) (cinfo->max_h_samp_factor * DCTSIZE)); 106 compptr->height_in_blocks = (JDIMENSION) 107 jdiv_round_up((long) cinfo->image_height * (long) compptr->v_samp_factor, 108 (long) (cinfo->max_v_samp_factor * DCTSIZE)); 109 /* Set the first and last MCU columns to decompress from multi-scan images. 110 * By default, decompress all of the MCU columns. 111 */ 112 cinfo->master->first_MCU_col[ci] = 0; 113 cinfo->master->last_MCU_col[ci] = compptr->width_in_blocks - 1; 114 /* downsampled_width and downsampled_height will also be overridden by 115 * jdmaster.c if we are doing full decompression. The transcoder library 116 * doesn't use these values, but the calling application might. 117 */ 118 /* Size in samples */ 119 compptr->downsampled_width = (JDIMENSION) 120 jdiv_round_up((long) cinfo->image_width * (long) compptr->h_samp_factor, 121 (long) cinfo->max_h_samp_factor); 122 compptr->downsampled_height = (JDIMENSION) 123 jdiv_round_up((long) cinfo->image_height * (long) compptr->v_samp_factor, 124 (long) cinfo->max_v_samp_factor); 125 /* Mark component needed, until color conversion says otherwise */ 126 compptr->component_needed = TRUE; 127 /* Mark no quantization table yet saved for component */ 128 compptr->quant_table = NULL; 129 } 130 131 /* Compute number of fully interleaved MCU rows. */ 132 cinfo->total_iMCU_rows = (JDIMENSION) 133 jdiv_round_up((long) cinfo->image_height, 134 (long) (cinfo->max_v_samp_factor*DCTSIZE)); 135 136 /* Decide whether file contains multiple scans */ 137 if (cinfo->comps_in_scan < cinfo->num_components || cinfo->progressive_mode) 138 cinfo->inputctl->has_multiple_scans = TRUE; 139 else 140 cinfo->inputctl->has_multiple_scans = FALSE; 141 } 142 143 144 LOCAL(void) 145 per_scan_setup (j_decompress_ptr cinfo) 146 /* Do computations that are needed before processing a JPEG scan */ 147 /* cinfo->comps_in_scan and cinfo->cur_comp_info[] were set from SOS marker */ 148 { 149 int ci, mcublks, tmp; 150 jpeg_component_info *compptr; 151 152 if (cinfo->comps_in_scan == 1) { 153 154 /* Noninterleaved (single-component) scan */ 155 compptr = cinfo->cur_comp_info[0]; 156 157 /* Overall image size in MCUs */ 158 cinfo->MCUs_per_row = compptr->width_in_blocks; 159 cinfo->MCU_rows_in_scan = compptr->height_in_blocks; 160 161 /* For noninterleaved scan, always one block per MCU */ 162 compptr->MCU_width = 1; 163 compptr->MCU_height = 1; 164 compptr->MCU_blocks = 1; 165 compptr->MCU_sample_width = compptr->_DCT_scaled_size; 166 compptr->last_col_width = 1; 167 /* For noninterleaved scans, it is convenient to define last_row_height 168 * as the number of block rows present in the last iMCU row. 169 */ 170 tmp = (int) (compptr->height_in_blocks % compptr->v_samp_factor); 171 if (tmp == 0) tmp = compptr->v_samp_factor; 172 compptr->last_row_height = tmp; 173 174 /* Prepare array describing MCU composition */ 175 cinfo->blocks_in_MCU = 1; 176 cinfo->MCU_membership[0] = 0; 177 178 } else { 179 180 /* Interleaved (multi-component) scan */ 181 if (cinfo->comps_in_scan <= 0 || cinfo->comps_in_scan > MAX_COMPS_IN_SCAN) 182 ERREXIT2(cinfo, JERR_COMPONENT_COUNT, cinfo->comps_in_scan, 183 MAX_COMPS_IN_SCAN); 184 185 /* Overall image size in MCUs */ 186 cinfo->MCUs_per_row = (JDIMENSION) 187 jdiv_round_up((long) cinfo->image_width, 188 (long) (cinfo->max_h_samp_factor*DCTSIZE)); 189 cinfo->MCU_rows_in_scan = (JDIMENSION) 190 jdiv_round_up((long) cinfo->image_height, 191 (long) (cinfo->max_v_samp_factor*DCTSIZE)); 192 193 cinfo->blocks_in_MCU = 0; 194 195 for (ci = 0; ci < cinfo->comps_in_scan; ci++) { 196 compptr = cinfo->cur_comp_info[ci]; 197 /* Sampling factors give # of blocks of component in each MCU */ 198 compptr->MCU_width = compptr->h_samp_factor; 199 compptr->MCU_height = compptr->v_samp_factor; 200 compptr->MCU_blocks = compptr->MCU_width * compptr->MCU_height; 201 compptr->MCU_sample_width = compptr->MCU_width * compptr->_DCT_scaled_size; 202 /* Figure number of non-dummy blocks in last MCU column & row */ 203 tmp = (int) (compptr->width_in_blocks % compptr->MCU_width); 204 if (tmp == 0) tmp = compptr->MCU_width; 205 compptr->last_col_width = tmp; 206 tmp = (int) (compptr->height_in_blocks % compptr->MCU_height); 207 if (tmp == 0) tmp = compptr->MCU_height; 208 compptr->last_row_height = tmp; 209 /* Prepare array describing MCU composition */ 210 mcublks = compptr->MCU_blocks; 211 if (cinfo->blocks_in_MCU + mcublks > D_MAX_BLOCKS_IN_MCU) 212 ERREXIT(cinfo, JERR_BAD_MCU_SIZE); 213 while (mcublks-- > 0) { 214 cinfo->MCU_membership[cinfo->blocks_in_MCU++] = ci; 215 } 216 } 217 218 } 219 } 220 221 222 /* 223 * Save away a copy of the Q-table referenced by each component present 224 * in the current scan, unless already saved during a prior scan. 225 * 226 * In a multiple-scan JPEG file, the encoder could assign different components 227 * the same Q-table slot number, but change table definitions between scans 228 * so that each component uses a different Q-table. (The IJG encoder is not 229 * currently capable of doing this, but other encoders might.) Since we want 230 * to be able to dequantize all the components at the end of the file, this 231 * means that we have to save away the table actually used for each component. 232 * We do this by copying the table at the start of the first scan containing 233 * the component. 234 * The JPEG spec prohibits the encoder from changing the contents of a Q-table 235 * slot between scans of a component using that slot. If the encoder does so 236 * anyway, this decoder will simply use the Q-table values that were current 237 * at the start of the first scan for the component. 238 * 239 * The decompressor output side looks only at the saved quant tables, 240 * not at the current Q-table slots. 241 */ 242 243 LOCAL(void) 244 latch_quant_tables (j_decompress_ptr cinfo) 245 { 246 int ci, qtblno; 247 jpeg_component_info *compptr; 248 JQUANT_TBL * qtbl; 249 250 for (ci = 0; ci < cinfo->comps_in_scan; ci++) { 251 compptr = cinfo->cur_comp_info[ci]; 252 /* No work if we already saved Q-table for this component */ 253 if (compptr->quant_table != NULL) 254 continue; 255 /* Make sure specified quantization table is present */ 256 qtblno = compptr->quant_tbl_no; 257 if (qtblno < 0 || qtblno >= NUM_QUANT_TBLS || 258 cinfo->quant_tbl_ptrs[qtblno] == NULL) 259 ERREXIT1(cinfo, JERR_NO_QUANT_TABLE, qtblno); 260 /* OK, save away the quantization table */ 261 qtbl = (JQUANT_TBL *) 262 (*cinfo->mem->alloc_small) ((j_common_ptr) cinfo, JPOOL_IMAGE, 263 sizeof(JQUANT_TBL)); 264 MEMCOPY(qtbl, cinfo->quant_tbl_ptrs[qtblno], sizeof(JQUANT_TBL)); 265 compptr->quant_table = qtbl; 266 } 267 } 268 269 270 /* 271 * Initialize the input modules to read a scan of compressed data. 272 * The first call to this is done by jdmaster.c after initializing 273 * the entire decompressor (during jpeg_start_decompress). 274 * Subsequent calls come from consume_markers, below. 275 */ 276 277 METHODDEF(void) 278 start_input_pass (j_decompress_ptr cinfo) 279 { 280 per_scan_setup(cinfo); 281 latch_quant_tables(cinfo); 282 (*cinfo->entropy->start_pass) (cinfo); 283 (*cinfo->coef->start_input_pass) (cinfo); 284 cinfo->inputctl->consume_input = cinfo->coef->consume_data; 285 } 286 287 288 /* 289 * Finish up after inputting a compressed-data scan. 290 * This is called by the coefficient controller after it's read all 291 * the expected data of the scan. 292 */ 293 294 METHODDEF(void) 295 finish_input_pass (j_decompress_ptr cinfo) 296 { 297 cinfo->inputctl->consume_input = consume_markers; 298 } 299 300 301 /* 302 * Read JPEG markers before, between, or after compressed-data scans. 303 * Change state as necessary when a new scan is reached. 304 * Return value is JPEG_SUSPENDED, JPEG_REACHED_SOS, or JPEG_REACHED_EOI. 305 * 306 * The consume_input method pointer points either here or to the 307 * coefficient controller's consume_data routine, depending on whether 308 * we are reading a compressed data segment or inter-segment markers. 309 */ 310 311 METHODDEF(int) 312 consume_markers (j_decompress_ptr cinfo) 313 { 314 my_inputctl_ptr inputctl = (my_inputctl_ptr) cinfo->inputctl; 315 int val; 316 317 if (inputctl->pub.eoi_reached) /* After hitting EOI, read no further */ 318 return JPEG_REACHED_EOI; 319 320 val = (*cinfo->marker->read_markers) (cinfo); 321 322 switch (val) { 323 case JPEG_REACHED_SOS: /* Found SOS */ 324 if (inputctl->inheaders) { /* 1st SOS */ 325 initial_setup(cinfo); 326 inputctl->inheaders = FALSE; 327 /* Note: start_input_pass must be called by jdmaster.c 328 * before any more input can be consumed. jdapimin.c is 329 * responsible for enforcing this sequencing. 330 */ 331 } else { /* 2nd or later SOS marker */ 332 if (! inputctl->pub.has_multiple_scans) 333 ERREXIT(cinfo, JERR_EOI_EXPECTED); /* Oops, I wasn't expecting this! */ 334 start_input_pass(cinfo); 335 } 336 break; 337 case JPEG_REACHED_EOI: /* Found EOI */ 338 inputctl->pub.eoi_reached = TRUE; 339 if (inputctl->inheaders) { /* Tables-only datastream, apparently */ 340 if (cinfo->marker->saw_SOF) 341 ERREXIT(cinfo, JERR_SOF_NO_SOS); 342 } else { 343 /* Prevent infinite loop in coef ctlr's decompress_data routine 344 * if user set output_scan_number larger than number of scans. 345 */ 346 if (cinfo->output_scan_number > cinfo->input_scan_number) 347 cinfo->output_scan_number = cinfo->input_scan_number; 348 } 349 break; 350 case JPEG_SUSPENDED: 351 break; 352 } 353 354 return val; 355 } 356 357 358 /* 359 * Reset state to begin a fresh datastream. 360 */ 361 362 METHODDEF(void) 363 reset_input_controller (j_decompress_ptr cinfo) 364 { 365 my_inputctl_ptr inputctl = (my_inputctl_ptr) cinfo->inputctl; 366 367 inputctl->pub.consume_input = consume_markers; 368 inputctl->pub.has_multiple_scans = FALSE; /* "unknown" would be better */ 369 inputctl->pub.eoi_reached = FALSE; 370 inputctl->inheaders = TRUE; 371 /* Reset other modules */ 372 (*cinfo->err->reset_error_mgr) ((j_common_ptr) cinfo); 373 (*cinfo->marker->reset_marker_reader) (cinfo); 374 /* Reset progression state -- would be cleaner if entropy decoder did this */ 375 cinfo->coef_bits = NULL; 376 } 377 378 379 /* 380 * Initialize the input controller module. 381 * This is called only once, when the decompression object is created. 382 */ 383 384 GLOBAL(void) 385 jinit_input_controller (j_decompress_ptr cinfo) 386 { 387 my_inputctl_ptr inputctl; 388 389 /* Create subobject in permanent pool */ 390 inputctl = (my_inputctl_ptr) 391 (*cinfo->mem->alloc_small) ((j_common_ptr) cinfo, JPOOL_PERMANENT, 392 sizeof(my_input_controller)); 393 cinfo->inputctl = (struct jpeg_input_controller *) inputctl; 394 /* Initialize method pointers */ 395 inputctl->pub.consume_input = consume_markers; 396 inputctl->pub.reset_input_controller = reset_input_controller; 397 inputctl->pub.start_input_pass = start_input_pass; 398 inputctl->pub.finish_input_pass = finish_input_pass; 399 /* Initialize state: can't use reset_input_controller since we don't 400 * want to try to reset other modules yet. 401 */ 402 inputctl->pub.has_multiple_scans = FALSE; /* "unknown" would be better */ 403 inputctl->pub.eoi_reached = FALSE; 404 inputctl->inheaders = TRUE; 405 } 406