Skip to content

Commit f560ca9

Browse files
committed
Update isl to isl-0.15-129-gb086c90
llvm-svn: 246552
1 parent f6f1bb6 commit f560ca9

21 files changed

+258
-98
lines changed

polly/lib/External/isl/GIT_HEAD_ID

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
isl-0.15-117-ge42acfe
1+
isl-0.15-129-gb086c90

polly/lib/External/isl/Makefile.am

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -303,6 +303,18 @@ deprecated_HEADERS = \
303303
include/isl/deprecated/val_int.h \
304304
include/isl/deprecated/vec_int.h
305305

306+
BUILT_SOURCES = gitversion.h
307+
308+
CLEANFILES = \
309+
gitversion.h
310+
311+
DISTCLEANFILES = \
312+
isl-uninstalled.sh \
313+
isl-uninstalled.pc \
314+
isl.pc \
315+
isl.pc.in \
316+
include/isl/stdint.h
317+
306318
EXTRA_DIST = \
307319
LICENSE \
308320
isl_config_post.h \

polly/lib/External/isl/Makefile.in

Lines changed: 21 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1045,6 +1045,17 @@ deprecated_HEADERS = \
10451045
include/isl/deprecated/val_int.h \
10461046
include/isl/deprecated/vec_int.h
10471047

1048+
BUILT_SOURCES = gitversion.h
1049+
CLEANFILES = \
1050+
gitversion.h
1051+
1052+
DISTCLEANFILES = \
1053+
isl-uninstalled.sh \
1054+
isl-uninstalled.pc \
1055+
isl.pc \
1056+
isl.pc.in \
1057+
include/isl/stdint.h
1058+
10481059
EXTRA_DIST = \
10491060
LICENSE \
10501061
isl_config_post.h \
@@ -1094,7 +1105,7 @@ EXTRA_DIST = \
10941105

10951106
pkgconfigdir = $(pkgconfig_libdir)
10961107
pkgconfig_DATA = $(pkgconfig_libfile)
1097-
all: isl_config.h
1108+
all: $(BUILT_SOURCES) isl_config.h
10981109
$(MAKE) $(AM_MAKEFLAGS) all-recursive
10991110

11001111
.SUFFIXES:
@@ -1980,15 +1991,17 @@ distcleancheck: distclean
19801991
exit 1; } >&2
19811992
check-am: all-am
19821993
$(MAKE) $(AM_MAKEFLAGS) check-TESTS
1983-
check: check-recursive
1994+
check: $(BUILT_SOURCES)
1995+
$(MAKE) $(AM_MAKEFLAGS) check-recursive
19841996
all-am: Makefile $(LTLIBRARIES) $(PROGRAMS) $(DATA) $(HEADERS) \
19851997
isl_config.h
19861998
installdirs: installdirs-recursive
19871999
installdirs-am:
19882000
for dir in "$(DESTDIR)$(libdir)" "$(DESTDIR)$(pkgconfigdir)" "$(DESTDIR)$(deprecateddir)" "$(DESTDIR)$(pkgincludedir)" "$(DESTDIR)$(pkgincludedir)"; do \
19892001
test -z "$$dir" || $(MKDIR_P) "$$dir"; \
19902002
done
1991-
install: install-recursive
2003+
install: $(BUILT_SOURCES)
2004+
$(MAKE) $(AM_MAKEFLAGS) install-recursive
19922005
install-exec: install-exec-recursive
19932006
install-data: install-data-recursive
19942007
uninstall: uninstall-recursive
@@ -2013,16 +2026,19 @@ mostlyclean-generic:
20132026
-test -z "$(TEST_SUITE_LOG)" || rm -f $(TEST_SUITE_LOG)
20142027

20152028
clean-generic:
2029+
-test -z "$(CLEANFILES)" || rm -f $(CLEANFILES)
20162030

20172031
distclean-generic:
20182032
-test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
20192033
-test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES)
20202034
-rm -f imath_wrap/$(DEPDIR)/$(am__dirstamp)
20212035
-rm -f imath_wrap/$(am__dirstamp)
2036+
-test -z "$(DISTCLEANFILES)" || rm -f $(DISTCLEANFILES)
20222037

20232038
maintainer-clean-generic:
20242039
@echo "This command is intended for maintainers to use"
20252040
@echo "it deletes files that may require special tools to rebuild."
2041+
-test -z "$(BUILT_SOURCES)" || rm -f $(BUILT_SOURCES)
20262042
clean: clean-recursive
20272043

20282044
clean-am: clean-generic clean-libLTLIBRARIES clean-libtool \
@@ -2101,7 +2117,8 @@ uninstall-am: uninstall-deprecatedHEADERS uninstall-libLTLIBRARIES \
21012117
uninstall-local uninstall-nodist_pkgincludeHEADERS \
21022118
uninstall-pkgconfigDATA uninstall-pkgincludeHEADERS
21032119

2104-
.MAKE: $(am__recursive_targets) all check-am install-am install-strip
2120+
.MAKE: $(am__recursive_targets) all check check-am install install-am \
2121+
install-strip
21052122

21062123
.PHONY: $(am__recursive_targets) CTAGS GTAGS TAGS all all-am \
21072124
am--refresh check check-TESTS check-am clean clean-cscope \

polly/lib/External/isl/basis_reduction_tab.c

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -63,19 +63,19 @@ struct tab_lp {
6363
#ifdef USE_SMALL_INT_OPT
6464
#define GBR_numref(a) isl_sioimath_encode_big(mp_rat_numer_ref(a))
6565
#define GBR_denref(a) isl_sioimath_encode_big(mp_rat_denom_ref(a))
66-
#define GBR_floor(a, b) isl_sioimath_fdiv_q(&(a), GBR_numref(b), GBR_denref(b))
67-
#define GBR_ceil(a, b) isl_sioimath_cdiv_q(&(a), GBR_numref(b), GBR_denref(b))
66+
#define GBR_floor(a, b) isl_sioimath_fdiv_q((a), GBR_numref(b), GBR_denref(b))
67+
#define GBR_ceil(a, b) isl_sioimath_cdiv_q((a), GBR_numref(b), GBR_denref(b))
6868
#define GBR_set_num_neg(a, b) \
6969
do { \
7070
isl_sioimath_scratchspace_t scratch; \
7171
impz_neg(mp_rat_numer_ref(*a), \
72-
isl_sioimath_bigarg_src(b, &scratch)); \
72+
isl_sioimath_bigarg_src(*b, &scratch));\
7373
} while (0)
7474
#define GBR_set_den(a, b) \
7575
do { \
7676
isl_sioimath_scratchspace_t scratch; \
7777
impz_set(mp_rat_denom_ref(*a), \
78-
isl_sioimath_bigarg_src(b, &scratch)); \
78+
isl_sioimath_bigarg_src(*b, &scratch));\
7979
} while (0)
8080
#else /* USE_SMALL_INT_OPT */
8181
#define GBR_numref(a) mp_rat_numer_ref(a)

polly/lib/External/isl/configure

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18480,7 +18480,6 @@ ac_config_commands="$ac_config_commands $ax_create_pkgconfig_generate"
1848018480
GIT_HEAD_VERSION="\`GIT_DIR=$GIT_REPO git describe --always\`"
1848118481
fi
1848218482

18483-
echo '#define GIT_HEAD_ID "'$GIT_HEAD_ID'"' > gitversion.h
1848418483

1848518484

1848618485
ac_config_headers="$ac_config_headers isl_config.h"

polly/lib/External/isl/configure.ac

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -247,7 +247,6 @@ PACKAGE_LIBS="-lisl $MP_LIBS"
247247
AX_CREATE_PKGCONFIG_INFO
248248

249249
AX_DETECT_GIT_HEAD
250-
echo '#define GIT_HEAD_ID "'$GIT_HEAD_ID'"' > gitversion.h
251250

252251
AH_BOTTOM([#include <isl_config_post.h>])
253252
AC_CONFIG_HEADERS(isl_config.h)

polly/lib/External/isl/doc/Makefile.am

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,16 @@
1+
2+
CLEANFILES = \
3+
manual.toc \
4+
manual.bbl \
5+
version.tex \
6+
user.tex \
7+
manual.pdf \
8+
manual.aux \
9+
manual.out \
10+
manual.blg \
11+
manual.log \
12+
manual.brf
13+
114
if GENERATE_DOC
215
export TEXINPUTS := $(srcdir):$(TEXINPUTS)
316
export BIBINPUTS := $(srcdir):$(BIBINPUTS)

polly/lib/External/isl/doc/Makefile.in

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -262,6 +262,18 @@ top_build_prefix = @top_build_prefix@
262262
top_builddir = @top_builddir@
263263
top_srcdir = @top_srcdir@
264264
versioninfo = @versioninfo@
265+
CLEANFILES = \
266+
manual.toc \
267+
manual.bbl \
268+
version.tex \
269+
user.tex \
270+
manual.pdf \
271+
manual.aux \
272+
manual.out \
273+
manual.blg \
274+
manual.log \
275+
manual.brf
276+
265277
all: all-am
266278

267279
.SUFFIXES:
@@ -364,6 +376,7 @@ install-strip:
364376
mostlyclean-generic:
365377

366378
clean-generic:
379+
-test -z "$(CLEANFILES)" || rm -f $(CLEANFILES)
367380

368381
distclean-generic:
369382
-test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
@@ -452,6 +465,7 @@ uninstall-am:
452465
mostlyclean-generic mostlyclean-libtool pdf pdf-am ps ps-am \
453466
tags-am uninstall uninstall-am
454467

468+
455469
@GENERATE_DOC_TRUE@export TEXINPUTS := $(srcdir):$(TEXINPUTS)
456470
@GENERATE_DOC_TRUE@export BIBINPUTS := $(srcdir):$(BIBINPUTS)
457471
@GENERATE_DOC_TRUE@export BSTINPUTS := $(srcdir):$(BSTINPUTS)

polly/lib/External/isl/doc/manual.pdf

473 Bytes
Binary file not shown.

polly/lib/External/isl/doc/user.pod

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7582,6 +7582,15 @@ redundant.
75827582
__isl_take isl_schedule *schedule,
75837583
__isl_take isl_union_set *domain);
75847584

7585+
The following function can be used to simplify the domain
7586+
of a schedule with a domain node as root with respect to the given
7587+
parameter domain.
7588+
7589+
#include <isl/schedule.h>
7590+
__isl_give isl_schedule *isl_schedule_gist_domain_params(
7591+
__isl_take isl_schedule *schedule,
7592+
__isl_take isl_set *context);
7593+
75857594
The following function resets the user pointers on all parameter
75867595
and tuple identifiers referenced by the nodes of the given schedule.
75877596

polly/lib/External/isl/include/isl/schedule.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -121,6 +121,8 @@ __isl_give isl_schedule *isl_schedule_set(
121121
__isl_take isl_schedule *schedule1, __isl_take isl_schedule *schedule2);
122122
__isl_give isl_schedule *isl_schedule_intersect_domain(
123123
__isl_take isl_schedule *schedule, __isl_take isl_union_set *domain);
124+
__isl_give isl_schedule *isl_schedule_gist_domain_params(
125+
__isl_take isl_schedule *schedule, __isl_take isl_set *context);
124126

125127
__isl_give isl_schedule *isl_schedule_reset_user(
126128
__isl_take isl_schedule *schedule);

polly/lib/External/isl/isl_equalities.c

Lines changed: 28 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -544,6 +544,32 @@ __isl_give isl_mat *isl_mat_variable_compression(__isl_take isl_mat *B,
544544
return NULL;
545545
}
546546

547+
/* Return "bset" and set *T and *T2 to the identity transformation
548+
* on "bset" (provided T and T2 are not NULL).
549+
*/
550+
static __isl_give isl_basic_set *return_with_identity(
551+
__isl_take isl_basic_set *bset, __isl_give isl_mat **T,
552+
__isl_give isl_mat **T2)
553+
{
554+
unsigned dim;
555+
isl_mat *id;
556+
557+
if (!bset)
558+
return NULL;
559+
if (!T && !T2)
560+
return bset;
561+
562+
dim = isl_basic_set_dim(bset, isl_dim_set);
563+
id = isl_mat_identity(isl_basic_map_get_ctx(bset), 1 + dim);
564+
if (T)
565+
*T = isl_mat_copy(id);
566+
if (T2)
567+
*T2 = isl_mat_copy(id);
568+
isl_mat_free(id);
569+
570+
return bset;
571+
}
572+
547573
/* Use the n equalities of bset to unimodularly transform the
548574
* variables x such that n transformed variables x1' have a constant value
549575
* and rewrite the constraints of bset in terms of the remaining
@@ -568,7 +594,7 @@ static struct isl_basic_set *compress_variables(
568594
dim = isl_basic_set_n_dim(bset);
569595
isl_assert(bset->ctx, bset->n_eq <= dim, goto error);
570596
if (bset->n_eq == 0)
571-
return bset;
597+
return return_with_identity(bset, T, T2);
572598

573599
B = isl_mat_sub_alloc6(bset->ctx, bset->eq, 0, bset->n_eq, 0, 1 + dim);
574600
TC = isl_mat_variable_compression(B, T2);
@@ -604,7 +630,7 @@ struct isl_basic_set *isl_basic_set_remove_equalities(
604630
isl_assert(bset->ctx, isl_basic_set_n_param(bset) == 0, goto error);
605631
bset = isl_basic_set_gauss(bset, NULL);
606632
if (ISL_F_ISSET(bset, ISL_BASIC_SET_EMPTY))
607-
return bset;
633+
return return_with_identity(bset, T, T2);
608634
bset = compress_variables(bset, T, T2);
609635
return bset;
610636
error:

polly/lib/External/isl/isl_int_sioimath.h

Lines changed: 62 additions & 62 deletions
Original file line numberDiff line numberDiff line change
@@ -1149,68 +1149,68 @@ inline size_t isl_sioimath_sizeinbase(isl_sioimath_src arg, int base)
11491149
void isl_sioimath_print(FILE *out, isl_sioimath_src i, int width);
11501150
void isl_sioimath_dump(isl_sioimath_src arg);
11511151

1152-
typedef isl_sioimath isl_int;
1153-
#define isl_int_init(i) isl_sioimath_init(&(i))
1154-
#define isl_int_clear(i) isl_sioimath_clear(&(i))
1155-
1156-
#define isl_int_set(r, i) isl_sioimath_set(&(r), i)
1157-
#define isl_int_set_si(r, i) isl_sioimath_set_si(&(r), i)
1158-
#define isl_int_set_ui(r, i) isl_sioimath_set_ui(&(r), i)
1159-
#define isl_int_fits_slong(r) isl_sioimath_fits_slong(r)
1160-
#define isl_int_get_si(r) isl_sioimath_get_si(r)
1161-
#define isl_int_fits_ulong(r) isl_sioimath_fits_ulong(r)
1162-
#define isl_int_get_ui(r) isl_sioimath_get_ui(r)
1163-
#define isl_int_get_d(r) isl_sioimath_get_d(r)
1164-
#define isl_int_get_str(r) isl_sioimath_get_str(r)
1165-
#define isl_int_abs(r, i) isl_sioimath_abs(&(r), i)
1166-
#define isl_int_neg(r, i) isl_sioimath_neg(&(r), i)
1167-
#define isl_int_swap(i, j) isl_sioimath_swap(&(i), &(j))
1168-
#define isl_int_swap_or_set(i, j) isl_sioimath_swap(&(i), &(j))
1169-
#define isl_int_add_ui(r, i, j) isl_sioimath_add_ui(&(r), i, j)
1170-
#define isl_int_sub_ui(r, i, j) isl_sioimath_sub_ui(&(r), i, j)
1171-
1172-
#define isl_int_add(r, i, j) isl_sioimath_add(&(r), i, j)
1173-
#define isl_int_sub(r, i, j) isl_sioimath_sub(&(r), i, j)
1174-
#define isl_int_mul(r, i, j) isl_sioimath_mul(&(r), i, j)
1175-
#define isl_int_mul_2exp(r, i, j) isl_sioimath_mul_2exp(&(r), i, j)
1176-
#define isl_int_mul_si(r, i, j) isl_sioimath_mul_si(&(r), i, j)
1177-
#define isl_int_mul_ui(r, i, j) isl_sioimath_mul_ui(&(r), i, j)
1178-
#define isl_int_pow_ui(r, i, j) isl_sioimath_pow_ui(&(r), i, j)
1179-
#define isl_int_addmul(r, i, j) isl_sioimath_addmul(&(r), i, j)
1180-
#define isl_int_addmul_ui(r, i, j) isl_sioimath_addmul_ui(&(r), i, j)
1181-
#define isl_int_submul(r, i, j) isl_sioimath_submul(&(r), i, j)
1182-
#define isl_int_submul_ui(r, i, j) isl_sioimath_submul_ui(&(r), i, j)
1183-
1184-
#define isl_int_gcd(r, i, j) isl_sioimath_gcd(&(r), i, j)
1185-
#define isl_int_lcm(r, i, j) isl_sioimath_lcm(&(r), i, j)
1186-
#define isl_int_divexact(r, i, j) isl_sioimath_tdiv_q(&(r), i, j)
1187-
#define isl_int_divexact_ui(r, i, j) isl_sioimath_tdiv_q_ui(&(r), i, j)
1188-
#define isl_int_tdiv_q(r, i, j) isl_sioimath_tdiv_q(&(r), i, j)
1189-
#define isl_int_cdiv_q(r, i, j) isl_sioimath_cdiv_q(&(r), i, j)
1190-
#define isl_int_fdiv_q(r, i, j) isl_sioimath_fdiv_q(&(r), i, j)
1191-
#define isl_int_fdiv_r(r, i, j) isl_sioimath_fdiv_r(&(r), i, j)
1192-
#define isl_int_fdiv_q_ui(r, i, j) isl_sioimath_fdiv_q_ui(&(r), i, j)
1193-
1194-
#define isl_int_read(r, s) isl_sioimath_read(&(r), s)
1195-
#define isl_int_sgn(i) isl_sioimath_sgn(i)
1196-
#define isl_int_cmp(i, j) isl_sioimath_cmp(i, j)
1197-
#define isl_int_cmp_si(i, si) isl_sioimath_cmp_si(i, si)
1198-
#define isl_int_eq(i, j) (isl_sioimath_cmp(i, j) == 0)
1199-
#define isl_int_ne(i, j) (isl_sioimath_cmp(i, j) != 0)
1200-
#define isl_int_lt(i, j) (isl_sioimath_cmp(i, j) < 0)
1201-
#define isl_int_le(i, j) (isl_sioimath_cmp(i, j) <= 0)
1202-
#define isl_int_gt(i, j) (isl_sioimath_cmp(i, j) > 0)
1203-
#define isl_int_ge(i, j) (isl_sioimath_cmp(i, j) >= 0)
1204-
#define isl_int_abs_cmp(i, j) isl_sioimath_abs_cmp(i, j)
1205-
#define isl_int_abs_eq(i, j) (isl_sioimath_abs_cmp(i, j) == 0)
1206-
#define isl_int_abs_ne(i, j) (isl_sioimath_abs_cmp(i, j) != 0)
1207-
#define isl_int_abs_lt(i, j) (isl_sioimath_abs_cmp(i, j) < 0)
1208-
#define isl_int_abs_gt(i, j) (isl_sioimath_abs_cmp(i, j) > 0)
1209-
#define isl_int_abs_ge(i, j) (isl_sioimath_abs_cmp(i, j) >= 0)
1210-
#define isl_int_is_divisible_by(i, j) isl_sioimath_is_divisible_by(i, j)
1211-
1212-
#define isl_int_hash(v, h) isl_sioimath_hash(v, h)
1152+
typedef isl_sioimath isl_int[1];
1153+
#define isl_int_init(i) isl_sioimath_init((i))
1154+
#define isl_int_clear(i) isl_sioimath_clear((i))
1155+
1156+
#define isl_int_set(r, i) isl_sioimath_set((r), *(i))
1157+
#define isl_int_set_si(r, i) isl_sioimath_set_si((r), i)
1158+
#define isl_int_set_ui(r, i) isl_sioimath_set_ui((r), i)
1159+
#define isl_int_fits_slong(r) isl_sioimath_fits_slong(*(r))
1160+
#define isl_int_get_si(r) isl_sioimath_get_si(*(r))
1161+
#define isl_int_fits_ulong(r) isl_sioimath_fits_ulong(*(r))
1162+
#define isl_int_get_ui(r) isl_sioimath_get_ui(*(r))
1163+
#define isl_int_get_d(r) isl_sioimath_get_d(*(r))
1164+
#define isl_int_get_str(r) isl_sioimath_get_str(*(r))
1165+
#define isl_int_abs(r, i) isl_sioimath_abs((r), *(i))
1166+
#define isl_int_neg(r, i) isl_sioimath_neg((r), *(i))
1167+
#define isl_int_swap(i, j) isl_sioimath_swap((i), (j))
1168+
#define isl_int_swap_or_set(i, j) isl_sioimath_swap((i), (j))
1169+
#define isl_int_add_ui(r, i, j) isl_sioimath_add_ui((r), *(i), j)
1170+
#define isl_int_sub_ui(r, i, j) isl_sioimath_sub_ui((r), *(i), j)
1171+
1172+
#define isl_int_add(r, i, j) isl_sioimath_add((r), *(i), *(j))
1173+
#define isl_int_sub(r, i, j) isl_sioimath_sub((r), *(i), *(j))
1174+
#define isl_int_mul(r, i, j) isl_sioimath_mul((r), *(i), *(j))
1175+
#define isl_int_mul_2exp(r, i, j) isl_sioimath_mul_2exp((r), *(i), j)
1176+
#define isl_int_mul_si(r, i, j) isl_sioimath_mul_si((r), *(i), j)
1177+
#define isl_int_mul_ui(r, i, j) isl_sioimath_mul_ui((r), *(i), j)
1178+
#define isl_int_pow_ui(r, i, j) isl_sioimath_pow_ui((r), *(i), j)
1179+
#define isl_int_addmul(r, i, j) isl_sioimath_addmul((r), *(i), *(j))
1180+
#define isl_int_addmul_ui(r, i, j) isl_sioimath_addmul_ui((r), *(i), j)
1181+
#define isl_int_submul(r, i, j) isl_sioimath_submul((r), *(i), *(j))
1182+
#define isl_int_submul_ui(r, i, j) isl_sioimath_submul_ui((r), *(i), j)
1183+
1184+
#define isl_int_gcd(r, i, j) isl_sioimath_gcd((r), *(i), *(j))
1185+
#define isl_int_lcm(r, i, j) isl_sioimath_lcm((r), *(i), *(j))
1186+
#define isl_int_divexact(r, i, j) isl_sioimath_tdiv_q((r), *(i), *(j))
1187+
#define isl_int_divexact_ui(r, i, j) isl_sioimath_tdiv_q_ui((r), *(i), j)
1188+
#define isl_int_tdiv_q(r, i, j) isl_sioimath_tdiv_q((r), *(i), *(j))
1189+
#define isl_int_cdiv_q(r, i, j) isl_sioimath_cdiv_q((r), *(i), *(j))
1190+
#define isl_int_fdiv_q(r, i, j) isl_sioimath_fdiv_q((r), *(i), *(j))
1191+
#define isl_int_fdiv_r(r, i, j) isl_sioimath_fdiv_r((r), *(i), *(j))
1192+
#define isl_int_fdiv_q_ui(r, i, j) isl_sioimath_fdiv_q_ui((r), *(i), j)
1193+
1194+
#define isl_int_read(r, s) isl_sioimath_read((r), s)
1195+
#define isl_int_sgn(i) isl_sioimath_sgn(*(i))
1196+
#define isl_int_cmp(i, j) isl_sioimath_cmp(*(i), *(j))
1197+
#define isl_int_cmp_si(i, si) isl_sioimath_cmp_si(*(i), si)
1198+
#define isl_int_eq(i, j) (isl_sioimath_cmp(*(i), *(j)) == 0)
1199+
#define isl_int_ne(i, j) (isl_sioimath_cmp(*(i), *(j)) != 0)
1200+
#define isl_int_lt(i, j) (isl_sioimath_cmp(*(i), *(j)) < 0)
1201+
#define isl_int_le(i, j) (isl_sioimath_cmp(*(i), *(j)) <= 0)
1202+
#define isl_int_gt(i, j) (isl_sioimath_cmp(*(i), *(j)) > 0)
1203+
#define isl_int_ge(i, j) (isl_sioimath_cmp(*(i), *(j)) >= 0)
1204+
#define isl_int_abs_cmp(i, j) isl_sioimath_abs_cmp(*(i), *(j))
1205+
#define isl_int_abs_eq(i, j) (isl_sioimath_abs_cmp(*(i), *(j)) == 0)
1206+
#define isl_int_abs_ne(i, j) (isl_sioimath_abs_cmp(*(i), *(j)) != 0)
1207+
#define isl_int_abs_lt(i, j) (isl_sioimath_abs_cmp(*(i), *(j)) < 0)
1208+
#define isl_int_abs_gt(i, j) (isl_sioimath_abs_cmp(*(i), *(j)) > 0)
1209+
#define isl_int_abs_ge(i, j) (isl_sioimath_abs_cmp(*(i), *(j)) >= 0)
1210+
#define isl_int_is_divisible_by(i, j) isl_sioimath_is_divisible_by(*(i), *(j))
1211+
1212+
#define isl_int_hash(v, h) isl_sioimath_hash(*(v), h)
12131213
#define isl_int_free_str(s) free(s)
1214-
#define isl_int_print(out, i, width) isl_sioimath_print(out, i, width)
1214+
#define isl_int_print(out, i, width) isl_sioimath_print(out, *(i), width)
12151215

12161216
#endif /* ISL_INT_SIOIMATH_H */

0 commit comments

Comments
 (0)