repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_basic_map_offset: use isl_basic_map_peek_space
2018-08-28
Sven
Ver
d
o
olae
g
e
isl
_
basic_m
a
p
_
o
ffset
:
use is
l
_basic_map_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven
Verdoolaege
isl
_
basic_map_offset: use isl_s
p
ace_offs
e
t and isl_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
dool
a
ege
isl_basic_map_contains_point: use isl_
l
ocal_
e
xtend_point_ve
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
a
e
g
e
p
rivately
e
xpo
r
t isl_local_a
l
l
o
c_from_ma
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
e
x
p
ose isl_loca
l
_free
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_uni
o
n_map_involves_dims: use isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosse
r
isl_union_map
.
c:map_excludes: use isl_
b
ool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobia
s
Gros
s
er
isl_
u
n
io
n
_map_is_strict_subset: use isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias G
r
osser
sche
d
u
l
er
.
c:graph_has_edge: use isl_bool_
n
ot
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
T
o
bias Grosser
i
sl_map_is_s
t
r
i
ct_subset: use isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_basic_map_is_str
i
ct_subset: us
e
isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gros
s
er
basic_ma
p
_foll
o
ws:
use
isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoo
l
aege
isl_map
.
c:
a
dd_
c
onstr
a
i
nts: use isl_basic_map_add_constr
a
i
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
olaege
isl_schedule_
n
ode_ha
s
_
p
a
ren
t
: reu
s
e isl_schedule
_
node_get_tr
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ve
r
do
o
lae
g
e
isl
_
q
polynomial_cst_on_domain: reuse isl_qpolynomial_ze
r
o_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
r
doolaege
isl_qpo
l
ynomial_val_on_do
m
ain: re
u
se isl_qpo
l
ynomial_zero_o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl
_
qpolyn
o
mial_rat_cst_on_domain: reus
e
isl_
q
polynomial_zer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven
Ver
d
oolaege
isl_poly
n
omi
a
l
.
c: extra
c
t
o
ut sh
a
re
d
d
omai
n
_typ
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Ver
d
oolae
g
e
isl
_
t
est
.
c: rem
o
ve some co
d
e
d
u
plication
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
olaege
isl_basic_s
e
t_opt: re
u
s
e
isl_b
a
sic_set_get_d
i
vs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rd
o
o
l
ae
g
e
i
s
l_tab_pip
.
c: imple
m
ent split
in terms of
s
p
l
it_d
o
m
ain
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
i
s
l_basic_set_tot
a
l_dim: i
m
p
l
ement
i
n terms of isl_ba
s
ic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_con
s
tra
i
nt
.
c:
u
se isl_basic_se
t
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolae
g
e
isl_c
o
nstraint
.
c:
u
s
e isl_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
Merge branch
'
m
ai
n
t'
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
V
erd
o
o
laege
drop isl_basic_se
t
_e
x
tend
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
drop isl_bas
i
c_set_add_eq
u
ali
t
y duplicate
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_basic_m
a
p_a
d
d_eq: spe
c
ia
l
case e
m
pty i
n
put
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaeg
e
isl_basic_map_ad
d
_{eq,ineq}: only
modify single copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_qpolynomial_as_polynom
i
al_on_domain
:
u
se i
s
l
_
local_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaeg
e
isl_qpoly
n
o
m
ial_gist: use i
s
l_local_spa
c
e_lift_s
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verd
o
o
l
aege
add isl_
l
ocal_space_lif
t
_basic_s
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdo
o
laege
isl_aff_gis
t
: e
x
tract out isl_local_sp
a
ce_li
f
t
_
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
a
e
ge
add is
l
_
s
et_p
e
ek_s
p
a
ce
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
is
l
_printer_print_schedule_tree_
m
ark: use isl_schedu
l
e_
t
ree
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdoo
l
ae
g
e
isl
_
schedule_tr
e
e
.
c
:
initia
l
_d
o
main_
f
rom_ch
i
ldren:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_schedu
l
e
_tree
.
c:
.
.
.
_
e
xtend_from_chi
l
dren: u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
i
sl_
s
chedule
_
tr
e
e_d
r
op_child: use isl_sche
d
ul
e
_tree_n_children
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Ve
r
doolaege
isl_s
c
hedule_t
r
ee
_
update_anchore
d
: use isl_schedule_tree_n_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdool
a
ege
isl_schedu
l
e_node_has_next_sibling: use isl_s
c
hedule_t
r
ee_n_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_
s
chedule_tree_n_childr
e
n: explicitly h
a
nd
l
e missing
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tob
i
as
G
rosser
isl_
s
et_is
_
equal:
u
se isl_bool for loc
a
l
variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobias G
r
oss
e
r
s
h
a
red_outer: use
i
sl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobi
a
s Grosser
domai
n
_follows
_
at_depth:
u
se isl
_
bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
T
o
bia
s
Gros
s
er
bas
i
c
_map_is_empty
_
add:
us
e
enum varia
b
le instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
To
b
ias Grosser
is_subset_entr
y
: use isl_bool_f
a
lse inste
a
d of integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Tobi
a
s Gross
e
r
isl_ar
g
:
u
se named constant to identify a
r
gumen
t
s wi
t
hout
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sv
e
n Verdool
a
ege
isl
_
val_che
c
k
_matc
h
_do
m
ain_space: upda
t
e
d
o
cumentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
drop unused isl_basic_set
_
swap_div
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ve
r
doolaege
isl
_
a
f
fine_hull
.
c:
i
sl_basi
c
_map_make_strides_explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ve
r
doo
l
a
ege
isl
_
schedule_node
.
c:
co
l
lec
t
_filter_p
r
efix
_
update:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-24
Sve
n
Ve
r
d
o
o
laege
isl_sch
e
dule_tree
.
c: prin
t
_tr
e
e
_
ba
n
d: use
i
s
l
_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-23
Tobias
Gro
s
s
e
r
set -std
=
g
n
u99 for im
a
th-32 in CFLA
G
S not CPPFLAGS
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_
schedule_nod
e
_
b
and_
s
i
n
k: use isl_boo
l
for loca
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdoola
e
ge
i
s
l_test
.
c: befo
r
e_for
:
u
s
e
i
s
l
_bo
o
l for local variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_ma
p
_al
i
gn_d
i
v
s
: us
e
i
s
l_bool for l
o
cal v
a
ria
b
l
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_tran
s
itive_closure
.
c: check_exactness_omega: us
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doolaege
i
sl_transitive_
c
lo
s
ure
.
c: is_acyclic: use isl_
b
ool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolae
g
e
isl_
a
s
t_buil
d
_expr
.
c: is
l
_ast_build_from_multi
_
pw_a
f
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
d
oo
l
a
e
ge
isl_schedu
l
e_tree
.
c:
subtre
e
_schedu
l
e_extend_fr
o
m_children
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdo
o
laege
isl_convex_hull
.
c: convex_hull_pair
:
use isl_bool
f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_ast_codegen
.
c: compute_d
o
mains: use isl_bool fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doola
e
ge
isl_test
.
c: test_af
f
in
e
_
h
ul
l
: use isl_bool fo
r
local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
i
sl_pw_qpolynomial_fo
l
d_covers: u
s
e isl_bool for lo
c
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_node
.
c: extension
_
from_d
o
ma
i
n:
use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_
n
od
e
.
c: isl_sch
e
dul
e
_node_grou
p
: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaeg
e
isl_schedule_n
o
de
.
c: locally_cov
e
red_by_dom
a
in:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
c
hedule_n
o
d
e
.
c: group_b
a
nd: use isl_bool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_sc
h
edule_node_has_parent: u
s
e i
s
l
_bool for local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_s
c
hedule_node
.
c: extend_ex
t
ensi
o
n: us
e
isl_boo
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oolaege
isl_as
t
_c
o
dege
n
.
c: after_in_tr
e
e
:
us
e
is
l
_bool f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_ast_codegen
.
c: after_in_sequence: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoola
e
ge
isl
_
ast_co
d
ege
n
.
c: af
t
er_in_band: u
s
e
isl
_
bool
f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolaege
i
s
l_sch
e
dule_node
.
c: group_doma
i
n: use is
l
_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
is
l
_sc
h
edul
e
_n
o
de
.
c
:
group_context: use i
s
l_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoo
l
aege
isl_qpolynomial_project_domain_on_params: use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_test
.
c: t
e
s
t_gist: use isl_bool for local variab
l
es
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_sch
e
dule_node_order_be
f
ore_or_a
f
ter: use
i
sl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolae
g
e
i
sl_coa
l
e
sce
.
c:
check
_
coale
s
c
e
_into_eq:
use isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_schedule_node
.
c: gis
t
_lea
v
e: use
i
sl_bool for lo
c
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdool
a
ege
i
sl_
s
chedul
e
_node
.
c: gist_enter: u
s
e
i
sl_bool
f
o
r
lo
c
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Ve
r
doo
l
aege
isl_ast_
c
odegen
.
c: compute_unroll_d
o
mains: use isl_b
o
ol
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ba
s
i
c
_
m
ap_get_constr
a
int_li
s
t:
u
se
i
sl_boo
l
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
ool
a
ege
isl_ast_build
.
c: update_values
:
u
s
e isl_boo
l
for loc
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_mul
t
i_unio
n
_pw_
a
ff_apply_multi_a
f
f: u
s
e isl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
aege
isl_multi_union_pw_aff_ap
p
ly_aff: use is
l
_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_multi_un
i
on_pw_aff_apply_pw_multi_aff: use
i
sl_bool
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_multi_union
_
pw_aff_appl
y
_
pw_aff: use isl_bool for
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolae
g
e
isl_ast_build_e
x
pr
.
c
: tr
y
_
extra
c
t_mod: us
e
isl_s
t
at
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_a
s
t_graf
t
.
c: equal_independent_guards: r
e
tur
n
is
l
_
b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl
_
val_get_abs_num_chunks: return is
l
_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl
_
basic_map_id
e
n
t
ity
:
inli
n
e
basi
c
_ma
p
_identi
t
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oolaege
i
s
l_basic_map_id
e
nti
t
y: use
isl_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
m
ap
.
c: basic_map_iden
t
i
t
y
:
re
u
s
e
i
sl_basic_map_equa
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rd
o
ol
a
e
g
e
isl_qpolynomial_var_on_domai
n
: impose stricter
c
heck
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
olae
g
e
isl_constrain
t
_get_bo
u
nd: impose str
i
cter check
f
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Verdoolaege
isl_basic_set
_
f
rom
_
constraint: impose stricter che
c
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
is
l
_set
_
alloc_sp
a
ce:
impose stricter
c
heck for set
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
aege
isl_
s
pace
_
underly
i
n
g: return set space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdool
a
eg
e
isl_basic_
s
et_preimage: use is
l
_b
a
sic_set_ad
d
_dims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next