diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-01 18:28:25 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-01 19:11:44 +0100 |
commit | 9d54081bf1f8dafe9ae71f3e3b0dd10ef7b931c2 (patch) | |
tree | 5091224db33b789c2a1fa0764a04305094415695 /test/monniaux/jpeg-6b/jdcoefct.c | |
parent | 8844e567fdc7f68c378f727a63278d94c2dd51bf (diff) | |
download | compcert-kvx-9d54081bf1f8dafe9ae71f3e3b0dd10ef7b931c2.tar.gz compcert-kvx-9d54081bf1f8dafe9ae71f3e3b0dd10ef7b931c2.zip |
fix various divisions, tail calls etc.
Diffstat (limited to 'test/monniaux/jpeg-6b/jdcoefct.c')
-rw-r--r-- | test/monniaux/jpeg-6b/jdcoefct.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/jpeg-6b/jdcoefct.c b/test/monniaux/jpeg-6b/jdcoefct.c index c14c936f..54888720 100644 --- a/test/monniaux/jpeg-6b/jdcoefct.c +++ b/test/monniaux/jpeg-6b/jdcoefct.c @@ -349,7 +349,7 @@ decompress_data (j_decompress_ptr cinfo, JSAMPIMAGE output_buf) block_rows = compptr->v_samp_factor; else { /* NB: can't use last_row_height here; it is input-side-dependent! */ - block_rows = (int) (compptr->height_in_blocks % compptr->v_samp_factor); + block_rows = (int) INT_MOD(compptr->height_in_blocks, compptr->v_samp_factor); if (block_rows == 0) block_rows = compptr->v_samp_factor; } inverse_DCT = cinfo->idct->inverse_DCT[ci]; @@ -508,7 +508,7 @@ decompress_smooth_data (j_decompress_ptr cinfo, JSAMPIMAGE output_buf) last_row = FALSE; } else { /* NB: can't use last_row_height here; it is input-side-dependent! */ - block_rows = (int) (compptr->height_in_blocks % compptr->v_samp_factor); + block_rows = (int) INT_MOD(compptr->height_in_blocks, compptr->v_samp_factor); if (block_rows == 0) block_rows = compptr->v_samp_factor; access_rows = block_rows; /* this iMCU row only */ last_row = TRUE; |