diff options
Diffstat (limited to 'test/monniaux/jpeg-6b/jconfig.h')
-rw-r--r-- | test/monniaux/jpeg-6b/jconfig.h | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/test/monniaux/jpeg-6b/jconfig.h b/test/monniaux/jpeg-6b/jconfig.h index 90ee0d5f..e45abb67 100644 --- a/test/monniaux/jpeg-6b/jconfig.h +++ b/test/monniaux/jpeg-6b/jconfig.h @@ -29,25 +29,12 @@ #define HAVE_PROTOTYPES #undef NO_SWITCH -#define HAS_FLOAT 1 -#ifdef __COMPCERT__ -extern long long __compcert_i64_sdiv(long long a, long long b); -extern long long __compcert_i64_smod(long long a, long long b); - -#define INT_UMOD(a, b) __compcert_i64_smod(a, b) -#define INT_MOD(a, b) __compcert_i64_smod(a, b) -#define INT_UDIV(a, b) __compcert_i64_sdiv(a, b) -#define INT_DIV(a, b) __compcert_i64_sdiv(a, b) -#define LONG_DIV(a, b) __compcert_i64_sdiv(a, b) - -#else #define INT_UMOD(a, b) ((a) % (b)) #define INT_MOD(a, b) ((a) % (b)) #define INT_UDIV(a, b) ((a) / (b)) #define INT_DIV(a, b) ((a) / (b)) #define LONG_DIV(a, b) ((a) / (b)) -#endif /* Does your compiler support the declaration "unsigned char" ? * How about "unsigned short" ? |