aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/jpeg-6b/jdmainct.c
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-02-01 15:45:39 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-02-01 15:45:39 +0100
commit35244064bbb2a853fb5c08898e8a74a7ec489aaa (patch)
treee9b7ccb8b46174301ccf106807ea2fcd640350e5 /test/monniaux/jpeg-6b/jdmainct.c
parent8ae9063a94fbf3756bb2b1d596f35b81e3e608eb (diff)
downloadcompcert-kvx-35244064bbb2a853fb5c08898e8a74a7ec489aaa.tar.gz
compcert-kvx-35244064bbb2a853fb5c08898e8a74a7ec489aaa.zip
block tail calls etc.
Diffstat (limited to 'test/monniaux/jpeg-6b/jdmainct.c')
-rw-r--r--test/monniaux/jpeg-6b/jdmainct.c29
1 files changed, 12 insertions, 17 deletions
diff --git a/test/monniaux/jpeg-6b/jdmainct.c b/test/monniaux/jpeg-6b/jdmainct.c
index cd987e05..c4be8ac1 100644
--- a/test/monniaux/jpeg-6b/jdmainct.c
+++ b/test/monniaux/jpeg-6b/jdmainct.c
@@ -175,8 +175,8 @@ alloc_funny_pointers (j_decompress_ptr cinfo)
for (ci = 0, compptr = cinfo->comp_info; ci < cinfo->num_components;
ci++, compptr++) {
- rgroup = DIVISION((compptr->v_samp_factor * compptr->DCT_scaled_size),
- cinfo->min_DCT_scaled_size); /* height of a row group of component */
+ rgroup = (compptr->v_samp_factor * compptr->DCT_scaled_size) /
+ cinfo->min_DCT_scaled_size; /* height of a row group of component */
/* Get space for pointer lists --- M+4 row groups in each list.
* We alloc both pointer lists with one call to save a few cycles.
*/
@@ -208,8 +208,8 @@ make_funny_pointers (j_decompress_ptr cinfo)
for (ci = 0, compptr = cinfo->comp_info; ci < cinfo->num_components;
ci++, compptr++) {
- rgroup = DIVISION((compptr->v_samp_factor * compptr->DCT_scaled_size),
- cinfo->min_DCT_scaled_size); /* height of a row group of component */
+ rgroup = (compptr->v_samp_factor * compptr->DCT_scaled_size) /
+ cinfo->min_DCT_scaled_size; /* height of a row group of component */
xbuf0 = main->xbuffer[0][ci];
xbuf1 = main->xbuffer[1][ci];
/* First copy the workspace pointers as-is */
@@ -248,8 +248,8 @@ set_wraparound_pointers (j_decompress_ptr cinfo)
for (ci = 0, compptr = cinfo->comp_info; ci < cinfo->num_components;
ci++, compptr++) {
- rgroup = DIVISION((compptr->v_samp_factor * compptr->DCT_scaled_size),
- cinfo->min_DCT_scaled_size); /* height of a row group of component */
+ rgroup = (compptr->v_samp_factor * compptr->DCT_scaled_size) /
+ cinfo->min_DCT_scaled_size; /* height of a row group of component */
xbuf0 = main->xbuffer[0][ci];
xbuf1 = main->xbuffer[1][ci];
for (i = 0; i < rgroup; i++) {
@@ -278,15 +278,15 @@ set_bottom_pointers (j_decompress_ptr cinfo)
ci++, compptr++) {
/* Count sample rows in one iMCU row and in one row group */
iMCUheight = compptr->v_samp_factor * compptr->DCT_scaled_size;
- rgroup = DIVISION(iMCUheight, cinfo->min_DCT_scaled_size);
+ rgroup = iMCUheight / cinfo->min_DCT_scaled_size;
/* Count nondummy sample rows remaining for this component */
- rows_left = (int) MODULO(compptr->downsampled_height, (JDIMENSION) iMCUheight);
+ rows_left = (int) (compptr->downsampled_height % (JDIMENSION) iMCUheight);
if (rows_left == 0) rows_left = iMCUheight;
/* Count nondummy row groups. Should get same answer for each component,
* so we need only do it once.
*/
if (ci == 0) {
- main->rowgroups_avail = (JDIMENSION) (DIVISION(rows_left-1, rgroup + 1));
+ main->rowgroups_avail = (JDIMENSION) ((rows_left-1) / rgroup + 1);
}
/* Duplicate the last real sample row rgroup*2 times; this pads out the
* last partial rowgroup and ensures at least one full rowgroup of context.
@@ -333,9 +333,7 @@ start_pass_main (j_decompress_ptr cinfo, J_BUF_MODE pass_mode)
ERREXIT(cinfo, JERR_BAD_BUFFER_MODE);
break;
}
-#ifdef TAIL_CALL_MISSING
- int dummy=1;
-#endif
+ KILL_TAIL_CALL();
}
@@ -466,9 +464,6 @@ process_data_crank_post (j_decompress_ptr cinfo,
(*cinfo->post->post_process_data) (cinfo, (JSAMPIMAGE) NULL,
(JDIMENSION *) NULL, (JDIMENSION) 0,
output_buf, out_row_ctr, out_rows_avail);
-#ifdef TAIL_CALL_MISSING
- int dummy=1;
-#endif
}
#endif /* QUANT_2PASS_SUPPORTED */
@@ -508,8 +503,8 @@ jinit_d_main_controller (j_decompress_ptr cinfo, boolean need_full_buffer)
for (ci = 0, compptr = cinfo->comp_info; ci < cinfo->num_components;
ci++, compptr++) {
- rgroup = DIVISION((compptr->v_samp_factor * compptr->DCT_scaled_size),
- cinfo->min_DCT_scaled_size); /* height of a row group of component */
+ rgroup = (compptr->v_samp_factor * compptr->DCT_scaled_size) /
+ cinfo->min_DCT_scaled_size; /* height of a row group of component */
main->buffer[ci] = (*cinfo->mem->alloc_sarray)
((j_common_ptr) cinfo, JPOOL_IMAGE,
compptr->width_in_blocks * compptr->DCT_scaled_size,