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