repo.or.cz
/
isl.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
snapshot (
tar.gz
zip
)
isl_map_simplify.c: is_opposite_except: return isl_bool
tree
73ae913b2fcde1d9af0ab93eda943856b75199c1
-rw-r--r--
746
.gitignore
blob
|
blame
|
history
|
raw
-rw-r--r--
82
.gitmodules
blob
|
blame
|
history
|
raw
-rw-r--r--
1141
AUTHORS
blob
|
blame
|
history
|
raw
-rw-r--r--
6040
ChangeLog
blob
|
blame
|
history
|
raw
-rw-r--r--
1042
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
13299
Makefile.am
blob
|
blame
|
history
|
raw
-rw-r--r--
1757
README
blob
|
blame
|
history
|
raw
-rw-r--r--
17
all.c
blob
|
blame
|
history
|
raw
-rw-r--r--
265
all.h
blob
|
blame
|
history
|
raw
-rwxr-xr-x
24
autogen.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
8729
basis_reduction_tab.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8357
basis_reduction_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6652
bound.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
727
bound_test.sh.in
blob
|
blame
|
history
|
raw
-rw-r--r--
213
bset_from_bmap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
295
bset_to_bmap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1726
cat.c
blob
|
blame
|
history
|
raw
-rw-r--r--
544
check_type_range_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
908
closure.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6879
codegen.c
blob
|
blame
|
history
|
raw
-rw-r--r--
666
codegen_test.sh.in
blob
|
blame
|
history
|
raw
-rw-r--r--
4498
configure.ac
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
cpp
tree
|
history
drwxr-xr-x
-
doc
tree
|
history
-rw-r--r--
1349
extract_key.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1041
flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3404
flow_cmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
320
flow_test.sh.in
blob
|
blame
|
history
|
raw
m---------
-
imath
history
drwxr-xr-x
-
imath_wrap
tree
|
history
drwxr-xr-x
-
include
tree
|
history
drwxr-xr-x
-
interface
tree
|
history
-rw-r--r--
246926
isl_aff.c
blob
|
blame
|
history
|
raw
-rw-r--r--
14408
isl_aff_map.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5755
isl_aff_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
33644
isl_affine_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
27799
isl_arg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
72343
isl_ast.c
blob
|
blame
|
history
|
raw
-rw-r--r--
69809
isl_ast_build.c
blob
|
blame
|
history
|
raw
-rw-r--r--
73329
isl_ast_build_expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
865
isl_ast_build_expr.h
blob
|
blame
|
history
|
raw
-rw-r--r--
13620
isl_ast_build_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
186494
isl_ast_codegen.c
blob
|
blame
|
history
|
raw
-rw-r--r--
36026
isl_ast_graft.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3916
isl_ast_graft_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3103
isl_ast_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
540
isl_basis_reduction.h
blob
|
blame
|
history
|
raw
-rw-r--r--
15712
isl_bernstein.c
blob
|
blame
|
history
|
raw
-rw-r--r--
170
isl_bernstein.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2903
isl_blk.c
blob
|
blame
|
history
|
raw
-rw-r--r--
839
isl_blk.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8939
isl_bound.c
blob
|
blame
|
history
|
raw
-rw-r--r--
318
isl_bound.h
blob
|
blame
|
history
|
raw
-rw-r--r--
10199
isl_box.c
blob
|
blame
|
history
|
raw
-rw-r--r--
122462
isl_coalesce.c
blob
|
blame
|
history
|
raw
-rw-r--r--
759
isl_config_post.h
blob
|
blame
|
history
|
raw
-rw-r--r--
35774
isl_constraint.c
blob
|
blame
|
history
|
raw
-rw-r--r--
703
isl_constraint_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
85628
isl_convex_hull.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8279
isl_ctx.c
blob
|
blame
|
history
|
raw
-rw-r--r--
966
isl_ctx_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
422
isl_deprecated.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5729
isl_dim_map.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1423
isl_dim_map.h
blob
|
blame
|
history
|
raw
-rw-r--r--
24693
isl_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
974
isl_equalities.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8118
isl_factorization.c
blob
|
blame
|
history
|
raw
-rw-r--r--
782
isl_factorization.h
blob
|
blame
|
history
|
raw
-rw-r--r--
11370
isl_farkas.c
blob
|
blame
|
history
|
raw
-rw-r--r--
665
isl_ffs.c
blob
|
blame
|
history
|
raw
-rw-r--r--
97150
isl_flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
41511
isl_fold.c
blob
|
blame
|
history
|
raw
-rw-r--r--
608
isl_gmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5056
isl_hash.c
blob
|
blame
|
history
|
raw
-rw-r--r--
145
isl_hash_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4783
isl_id.c
blob
|
blame
|
history
|
raw
-rw-r--r--
835
isl_id_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
459
isl_id_to_ast_expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
402
isl_id_to_id.c
blob
|
blame
|
history
|
raw
-rw-r--r--
453
isl_id_to_pw_aff.c
blob
|
blame
|
history
|
raw
-rw-r--r--
23574
isl_ilp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
264
isl_ilp_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1753
isl_imath.c
blob
|
blame
|
history
|
raw
-rw-r--r--
448
isl_imath.h
blob
|
blame
|
history
|
raw
-rw-r--r--
106161
isl_input.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1410
isl_int.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3358
isl_int_gmp.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3031
isl_int_imath.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8109
isl_int_sioimath.c
blob
|
blame
|
history
|
raw
-rw-r--r--
37935
isl_int_sioimath.h
blob
|
blame
|
history
|
raw
-rw-r--r--
16076
isl_list_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
291
isl_list_templ.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7700
isl_local.c
blob
|
blame
|
history
|
raw
-rw-r--r--
690
isl_local.h
blob
|
blame
|
history
|
raw
-rw-r--r--
162
isl_local_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
41710
isl_local_space.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3701
isl_local_space_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
9422
isl_lp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
788
isl_lp_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
352214
isl_map.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7245
isl_map_lexopt_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
426
isl_map_list.c
blob
|
blame
|
history
|
raw
-rw-r--r--
23636
isl_map_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
147532
isl_map_simplify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
23506
isl_map_subtract.c
blob
|
blame
|
history
|
raw
-rw-r--r--
439
isl_map_to_basic_set.c
blob
|
blame
|
history
|
raw
-rw-r--r--
48353
isl_mat.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2407
isl_mat_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
154
isl_maybe_map.h
blob
|
blame
|
history
|
raw
-rw-r--r--
21151
isl_morph.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3018
isl_morph.h
blob
|
blame
|
history
|
raw
-rw-r--r--
127
isl_multi_align_set.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1275
isl_multi_align_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
139
isl_multi_align_union_set.c
blob
|
blame
|
history
|
raw
-rw-r--r--
127
isl_multi_apply_set.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2231
isl_multi_apply_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
139
isl_multi_apply_union_set.c
blob
|
blame
|
history
|
raw
-rw-r--r--
761
isl_multi_cmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
821
isl_multi_coalesce.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3130
isl_multi_dims.c
blob
|
blame
|
history
|
raw
-rw-r--r--
943
isl_multi_domain_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5715
isl_multi_explicit_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
592
isl_multi_floor.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1068
isl_multi_from_base_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
839
isl_multi_gist.c
blob
|
blame
|
history
|
raw
-rw-r--r--
534
isl_multi_hash.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1383
isl_multi_identity_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4621
isl_multi_intersect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
280
isl_multi_macro.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2140
isl_multi_move_dims_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5060
isl_multi_no_explicit_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2259
isl_multi_product_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4163
isl_multi_pw_aff_explicit_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1469
isl_multi_splice_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
31863
isl_multi_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
885
isl_multi_templ.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1626
isl_multi_union_pw_aff_explicit_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
978
isl_multi_zero_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8331
isl_obj.c
blob
|
blame
|
history
|
raw
-rw-r--r--
15318
isl_options.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1688
isl_options_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
90227
isl_output.c
blob
|
blame
|
history
|
raw
-rw-r--r--
857
isl_output_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
16707
isl_point.c
blob
|
blame
|
history
|
raw
-rw-r--r--
845
isl_point_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
111905
isl_polynomial.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9672
isl_polynomial_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1810
isl_power_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
19898
isl_printer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1320
isl_printer_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2077
isl_pw_eval.c
blob
|
blame
|
history
|
raw
-rw-r--r--
591
isl_pw_hash.c
blob
|
blame
|
history
|
raw
-rw-r--r--
160
isl_pw_macro.h
blob
|
blame
|
history
|
raw
-rw-r--r--
49689
isl_pw_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
111
isl_pw_templ.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7782
isl_pw_union_opt.c
blob
|
blame
|
history
|
raw
-rw-r--r--
14684
isl_range.c
blob
|
blame
|
history
|
raw
-rw-r--r--
281
isl_range.h
blob
|
blame
|
history
|
raw
-rw-r--r--
5135
isl_reordering.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1326
isl_reordering.h
blob
|
blame
|
history
|
raw
-rw-r--r--
37250
isl_sample.c
blob
|
blame
|
history
|
raw
-rw-r--r--
924
isl_sample.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7745
isl_scan.c
blob
|
blame
|
history
|
raw
-rw-r--r--
632
isl_scan.h
blob
|
blame
|
history
|
raw
-rw-r--r--
20569
isl_schedule.c
blob
|
blame
|
history
|
raw
-rw-r--r--
34148
isl_schedule_band.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5520
isl_schedule_band.h
blob
|
blame
|
history
|
raw
-rw-r--r--
19967
isl_schedule_constraints.c
blob
|
blame
|
history
|
raw
-rw-r--r--
913
isl_schedule_constraints.h
blob
|
blame
|
history
|
raw
-rw-r--r--
151986
isl_schedule_node.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2646
isl_schedule_node_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1061
isl_schedule_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
17929
isl_schedule_read.c
blob
|
blame
|
history
|
raw
-rw-r--r--
79650
isl_schedule_tree.c
blob
|
blame
|
history
|
raw
-rw-r--r--
12056
isl_schedule_tree.h
blob
|
blame
|
history
|
raw
-rw-r--r--
226544
isl_scheduler.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7320
isl_seq.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2457
isl_seq.h
blob
|
blame
|
history
|
raw
-rw-r--r--
426
isl_set_list.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4922
isl_sort.c
blob
|
blame
|
history
|
raw
-rw-r--r--
197
isl_sort.h
blob
|
blame
|
history
|
raw
-rw-r--r--
66474
isl_space.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2312
isl_space_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
40
isl_srcdir.c.in
blob
|
blame
|
history
|
raw
-rw-r--r--
28135
isl_stream.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1670
isl_stream_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
9966
isl_stride.c
blob
|
blame
|
history
|
raw
-rw-r--r--
112576
isl_tab.c
blob
|
blame
|
history
|
raw
-rw-r--r--
12327
isl_tab.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7504
isl_tab_lexopt_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
166909
isl_tab_pip.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4014
isl_tarjan.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1296
isl_tarjan.h
blob
|
blame
|
history
|
raw
-rw-r--r--
285970
isl_test.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2333
isl_test_cpp-checked-conversion.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
4589
isl_test_cpp-checked.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
5330
isl_test_cpp-generic.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
4091
isl_test_cpp.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1969
isl_test_imath.c
blob
|
blame
|
history
|
raw
-rw-r--r--
17278
isl_test_int.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1108
isl_test_list_templ.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
4812
isl_test_python.py
blob
|
blame
|
history
|
raw
-rw-r--r--
76562
isl_transitive_closure.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1772
isl_union_eval.c
blob
|
blame
|
history
|
raw
-rw-r--r--
300
isl_union_macro.h
blob
|
blame
|
history
|
raw
-rw-r--r--
114834
isl_union_map.c
blob
|
blame
|
history
|
raw
-rw-r--r--
834
isl_union_map_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
12607
isl_union_multi.c
blob
|
blame
|
history
|
raw
-rw-r--r--
598
isl_union_neg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
322
isl_union_set_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
5341
isl_union_single.c
blob
|
blame
|
history
|
raw
-rw-r--r--
29194
isl_union_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
36775
isl_val.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3117
isl_val_gmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1784
isl_val_imath.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2459
isl_val_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1930
isl_val_sioimath.c
blob
|
blame
|
history
|
raw
-rw-r--r--
13615
isl_vec.c
blob
|
blame
|
history
|
raw
-rw-r--r--
673
isl_vec_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
227
isl_version.c
blob
|
blame
|
history
|
raw
-rw-r--r--
37912
isl_vertices.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1603
isl_vertices_private.h
blob
|
blame
|
history
|
raw
-rw-r--r--
338
isl_yaml.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2891
libisl-gdb.py
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
m4
tree
|
history
-rw-r--r--
373
mp_get_memory_functions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10567
pip.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
658
pip_test.sh.in
blob
|
blame
|
history
|
raw
-rw-r--r--
716
polyhedron_detect_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2436
polyhedron_minimize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
913
polyhedron_sample.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2415
polytope_scan.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2121
print.c
blob
|
blame
|
history
|
raw
-rw-r--r--
738
print_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
842
print_templ_yaml.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
python
tree
|
history
-rw-r--r--
956
read_in_string_templ.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1070
schedule.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1886
schedule_cmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
540
schedule_test.sh.in
blob
|
blame
|
history
|
raw
-rw-r--r--
178
set_from_map.c
blob
|
blame
|
history
|
raw
-rw-r--r--
218
set_list_from_map_list_inl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
254
set_to_map.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
test_inputs
tree
|
history
drwxr-xr-x
-
testsets
tree
|
history
-rw-r--r--
219
uset_from_umap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
301
uset_to_umap.c
blob
|
blame
|
history
|
raw