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_ast_build_need_schedule_map: return isl_bool
2018-09-02
Sven
V
e
r
do
o
laege
isl_ast
_
bu
i
ld_nee
d
_s
c
hedul
e
_map: return isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_morp
h
.
c
:
ide
n
tity_on_parameters: return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
ae
g
e
isl_mat_is_
s
ca
l
e
d
_identity: retur
n
isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
sl_range
.
c:
pro
p
agate_on_d
o
ma
i
n
:
ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl
_
pw_qpolynomial
_
f
o
ld_covers: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolae
g
e
isl_vertices
.
c
:
ca
n
_select: retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ver
t
ices
.
c: is_indepe
n
d
e
nt: ret
u
rn
i
s
l_boo
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdool
a
ege
is
l
_ast_codeg
e
n
.
c: after_in_*: retu
r
n
isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_input
.
c:
t
u
pl
e
_has_expr: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verd
o
ol
a
ege
isl_sched
u
le
_
node
.
c
:
loca
l
ly_covered_by_domain: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
la
e
ge
is
l
_tra
n
sitiv
e
_
cl
o
sure
.
c: incremen
t
al_on_entire_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl
_
tr
a
n
s
i
ti
v
e_clo
s
ure
.
c: has_spurious_elements:
r
e
t
urn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
i
s
l_
t
ran
s
i
tive_
c
losure
.
c:
empty_path_is_identity: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl
_
constrai
n
t_is_div_constraint: ret
u
rn
isl_b
o
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_schedul
e
_
n
ode
.
c: h
a
s_ancestors: return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
doolaege
isl_poly_is_cst: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olaege
i
s
l
_polynom
i
al
.
c: set_active
:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoolaege
isl_pol
y
_
is_{neg
,
}one
:
retur
n
i
sl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
q
po
l
ynom
i
a
l_is_{affine,cst}:
r
e
t
ur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_p
o
l
y
_i
s
_{neg,}inft
y
:
r
eturn
i
sl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoo
l
aege
isl_
p
o
ly_is_nan: re
t
urn
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_poly_is_ze
r
o: ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en
V
erdoolaege
i
s
l_qpolynomial
_
g
e
t_den: impr
o
ve error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdoolaege
isl_qpolyn
o
mia
l
_get_den:
return isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoolaege
rename
i
s
l_
u
poly t
o
isl_poly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ver
d
oolaege
i
ntr
o
duce e
x
pli
c
it isl_dim_map_free
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoola
e
ge
isl_multi_*_fa
c
to
r
_
r
ange: us
e
correct di
m
ens
i
on
type
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaeg
e
i
s
l_basic_
m
a
p
_insert_dims: creat
e
e
m
pty
b
asic
m
ap directly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdool
a
eg
e
pip
.
c: extract out move_paramet
e
rs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdool
a
ege
expo
s
e isl_union_
s
et_proje
c
t
_ou
t
_all_p
a
rams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdo
o
laege
extrac
t
o
u
t
s
hared is
l
_space_drop_all_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
doolaege
isl_as
t
_build_g
e
t_sp
a
ce: reuse isl_a
s
t_bu
i
ld_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_ast_build_p
r
oduct: reus
e
isl_ast_
b
u
ild_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoo
l
aege
i
sl_ast_build_get_schedule_
m
ap_mul
t
i_aff: reuse is
l
_ast_buil
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
r
doolaege
i
s
l_ast_b
u
ild_need_schedul
e
_map: reus
e
i
s
l
_ast_build_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
S
v
e
n Verdoolaege
isl_ast_build_s
e
t_iterators: reuse is
l
_ast_build_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdoolaege
extract out shared isl
_
bas
i
c_set_check_no
_
l
o
c
a
l
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
extract out sh
a
red is
l
_basic
_
set_ch
e
ck_no_para
m
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-30
Tobias
Gro
s
ser
isl_space_can_uncurry: imp
l
ement wit
h
isl_sp
a
c
e_range
_
is_wra
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-30
T
obias
G
rosse
r
is
l
_
s
pace
_
can_cur
r
y: implement with isl_space_d
o
main_is_wrapping
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Grosser
isl
_
sp
a
ce_is_wrappin
g
: add
mi
s
sing comme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
ex
t
ract
o
ut shared
isl_point_var_
o
ff
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract out shared
i
s
l
_
poin
t
_c
h
eck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
a
e
g
e
extract out shared isl_p
o
int_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
er
d
oolaege
extract out shared
isl_pw_mu
l
ti_aff_check_r
a
nge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolae
g
e
isl_aff_involves
_
dims: extract
o
ut is
l
_aff_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
o
l
aege
ex
t
rac
t
out shar
e
d isl_set_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en V
e
rdoolaeg
e
e
xtract out share
d
isl_b
a
s
i
c_set_che
c
k_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ver
d
oolaege
e
x
trac
t
out shar
e
d
i
s
l
_qpolynomia
l
_
ch
e
c
k
_ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
extract out s
h
ared isl_term_c
h
ec
k
_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en V
e
r
d
oolaege
e
x
tract
out shared
i
sl_multi_*_check_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaeg
e
isl_local_check_pos:
extract out isl_local_
c
heck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract out sh
a
re
d
isl_constraint_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
extract o
u
t shared i
s
l
_local_space_che
c
k_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
extract out shared isl_spa
c
e_check
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ver
d
ool
a
e
ge
merge isl*map_check_range imp
l
em
e
ntations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ve
r
doolaege
isl
_
basic_
m
a
p_p
l
ain_get_v
a
l_if_fixed: re
u
se
i
s
l_map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdo
o
l
a
ege
isl_map_fix: re
u
s
e isl_map_check
_
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doola
e
g
e
isl_
m
ap_fix_si: reuse isl_map_chec
k
_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_op
p
ose: reuse isl_map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aeg
e
isl_map
.
c
:
map_bound_
s
i: reuse
i
sl_map
_
c
heck_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdo
o
laege
i
s
l_map
.
c: map_bound:
r
e
us
e
isl_map
_
chec
k
_ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n V
e
rdoolaege
isl_map_fi
x
_
v
al: reuse isl_map_ch
e
ck_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdool
a
ege
i
sl_basic
_
map_s
w
ap_va
r
s
: reuse is
l
_basic_map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ve
r
doolaege
i
s
l
_basic_map_preimage_vars:
reuse isl_basic_map_che
c
k_
r
a
nge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aeg
e
isl_basic_map
_
el
i
m
in
a
te: reuse isl_basic_map_c
h
e
ck_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erd
o
o
laege
isl_b
a
si
c
_map_t
r
ansf
o
r
m
_dims: reuse isl_b
a
sic_map_check_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_drop_c
o
re: reus
e
i
s
l_
b
asic_map_check_rang
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
oola
e
g
e
isl_
b
asic
_
map_has_
d
efining_
e
quality: r
e
use isl_basic_map_c
h
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdo
o
laege
privately expose isl_basic_map_ch
e
ck_ran
g
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl_b
a
sic_
m
a
p
_drop_div: im
p
lemen
t
in terms of isl_basic_
m
ap_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Ve
r
doolaege
isl_b
a
sic_m
a
p_drop:
e
xtract
o
ut is
l
_basic_map_drop
_
core
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven
Verdoolaege
i
sl_ba
s
i
c
_
m
a
p_d
r
op: drop erro
r
l
abel
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_b
a
sic_ma
p
_d
r
o
p
_div: drop
r
emoval of
constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_
s
implify
.
c: rem
o
ve_redun
d
ant_divs: d
r
op
d
i
v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
o
lae
g
e
privat
e
ly ex
p
ort isl_basic_map_drop_c
o
nstraints_in
v
olvi
n
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_basic_m
a
p_d
r
op_c
o
nstra
i
nts_involving: move out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
i
sl_basic
_
m
a
p_offs
e
t: e
x
t
ract out
i
s
l_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_basic_map
_
offset: u
s
e isl_basi
c
_ma
p
_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_ba
s
ic_map_offset: use is
l
_
s
p
a
ce_offset and is
l
_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
o
o
l
aege
isl
_
b
asi
c
_map_
c
ontains
_
point
:
use isl_local_extend_p
o
int_vec
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
p
rivat
e
ly
e
xport isl_
l
o
c
al_
a
ll
o
c_from_m
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
expose is
l
_local_f
r
ee
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
T
obias Grosser
isl_u
n
i
o
n_map
_
involve
s
_dims: use
isl
_
bool_
n
ot
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl
_
u
n
ion_map
.
c:map_
e
xcludes:
use isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
To
b
ia
s
Gro
s
ser
i
sl_union_
m
ap_is_str
i
ct_subset: use
isl_bool_
n
ot
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
as Grosser
sc
h
ed
u
ler
.
c
:
gra
p
h_has_
e
dge: use
i
sl_bool_n
o
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
G
r
o
sser
isl
_
m
a
p_is_strict_subs
e
t
:
use isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobia
s
Grosser
i
sl_basic_
m
ap_is_strict
_
s
ubs
e
t
: use isl_b
o
ol_n
o
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gr
o
sser
basic_map_fo
l
lows: use isl_bool_not
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
r
doolaege
isl_map
.
c: add_co
n
straint
s
:
u
se is
l
_basic_map_add_constra
i
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
o
laege
isl_
s
chedule_node_has_parent:
reus
e
i
sl_schedule_node_get
_
t
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
a
e
ge
isl_qp
o
l
ynomial_
c
st_on_d
o
main: reuse isl_qpolyn
o
m
i
al
_
zero_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
isl_
q
polynomial_val_
o
n_domain: r
e
use
i
sl_qpoly
n
o
mial
_
zero_on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoo
l
aege
isl_qp
o
lyno
m
i
al_rat_cst_on_d
o
main: re
u
se isl_qpolynom
i
a
l
_ze
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_polyno
m
ia
l
.
c: extract out
s
hared
d
o
main
_
ty
p
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaeg
e
isl_test
.
c: remove some
code dupli
c
a
t
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_basic_set_
o
pt: reuse isl_basic_set
_
get_divs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
o
o
laege
isl_tab_pip
.
c: implement split in
te
r
ms o
f
split_domain
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
sl_basic_
s
et_total_d
i
m: implement in terms of isl_basi
c
_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next