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/jcdctmgr.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/jcdctmgr.c')
| -rw-r--r-- | test/monniaux/jpeg-6b/jcdctmgr.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/jpeg-6b/jcdctmgr.c b/test/monniaux/jpeg-6b/jcdctmgr.c index 61fa79b9..b85b0832 100644 --- a/test/monniaux/jpeg-6b/jcdctmgr.c +++ b/test/monniaux/jpeg-6b/jcdctmgr.c @@ -244,9 +244,9 @@ forward_DCT (j_compress_ptr cinfo, jpeg_component_info * compptr, * If your machine's division is fast enough, define FAST_DIVIDE. */ #ifdef FAST_DIVIDE -#define DIVIDE_BY(a,b) a /= b +#define DIVIDE_BY(a,b) a = INT_DIV(a, b) #else -#define DIVIDE_BY(a,b) if (a >= b) a /= b; else a = 0 +#define DIVIDE_BY(a,b) if (a >= b) a = INT_DIV(a, b); else a = 0 #endif if (temp < 0) { temp = -temp; |