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_schedule_node.c: locally_covered_by_domain: return isl_bool
2018-09-02
S
v
en
V
erdoolaege
i
sl
_
s
chedule_node
.
c: locally_cover
e
d_by_domain: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
d
oolaege
isl_transitive_closure
.
c: incremental_on_entire_dom
a
in
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_transitive_c
l
osure
.
c:
h
as_
s
pu
r
ious_eleme
n
ts: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_transitiv
e
_clo
s
u
r
e
.
c: empty_path_
i
s
_identity: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_constraint_i
s
_di
v
_constraint: r
e
turn isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
isl_sch
e
d
ule_node
.
c: has_ancesto
r
s
: ret
u
rn
i
s
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_poly_
i
s_cst:
r
etur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l
_polynomial
.
c:
s
e
t
_active: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
is
l
_po
l
y_
i
s_{n
e
g,}one: return isl_b
o
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaeg
e
isl_qpolynomial_is_{a
f
f
i
n
e,
c
st
}
: retur
n
isl_
b
o
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verd
o
olaege
isl_pol
y
_
i
s
_{neg,}infty: return isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl
_
poly_is
_
nan: return
i
sl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoola
e
ge
isl_poly_
i
s_zero: re
t
urn
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdoolaege
isl_qp
o
lynomial_get
_
de
n
: improve
e
r
ror handli
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdoolaege
isl_
q
polynomial_g
e
t_d
e
n: return i
s
l_va
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
v
en Ve
r
doolaege
rename isl_up
o
ly to isl_pol
y
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoolaege
i
n
troduce expl
i
cit
isl_di
m
_map_free
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaeg
e
isl_mul
t
i_*_fa
c
tor_rang
e
: use
correct dimen
s
i
o
n type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
doolaege
i
s
l
_
basic_map_i
n
s
ert_dims: create empty b
a
s
i
c
m
ap directly
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
pip
.
c:
e
x
trac
t
o
u
t move_
p
ar
a
met
e
r
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
v
e
n Verd
o
olaege
expose isl_uni
o
n_set_proje
c
t_out_all_par
a
ms
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
extract
out
s
hared isl_space_drop_all_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
e
rd
o
o
lae
g
e
isl_ast
_
bu
i
ld_get
_
space: reuse isl_ast_bu
i
ld_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
v
e
n V
e
rdoolae
g
e
i
sl_ast_build_product: reus
e
is
l
_as
t
_bu
i
ld_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaeg
e
i
s
l
_
a
st_build_get_schedul
e
_
m
ap_multi_
a
ff: re
u
se
isl_ast_buil
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaeg
e
isl_ast_
b
uild_need_sche
d
ule_map: reuse
i
sl
_
ast_
b
uild_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ve
n
Verdoo
l
aege
is
l
_
a
s
t_build_set_
i
tera
t
or
s
: reuse isl_ast_buil
d
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verdoolae
g
e
extr
a
c
t
out sh
a
red
isl_b
a
sic_s
e
t
_
check_no
_
l
ocals
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdoolaege
e
xt
r
act
o
ut shar
e
d
is
l
_basic_set_che
c
k
_no_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Grosser
isl_s
p
a
ce_can_uncu
r
ry: implement wi
t
h isl_
s
pace
_
range_
i
s_wra
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-30
Tobias
G
rosser
isl_
s
pace_can_curry: impl
e
ment with isl_s
p
ace_domain_i
s
_wrapping
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Grosser
isl
_
space_is_wrapping: add miss
i
ng comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
o
laege
extra
c
t out s
h
ared isl
_
point
_
v
a
r_off
s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
extract out s
h
are
d
is
l
_point_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoo
l
aege
extr
a
c
t
out shared is
l
_
point_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
extrac
t
out sh
a
red i
s
l_pw
_
multi_aff_check_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_aff_involves_dim
s
: extract out isl_aff_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolae
g
e
extract out shared
i
sl_set_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
e
x
tr
a
ct
o
ut
s
hared
i
sl_
b
asic
_
set_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdoolaeg
e
extract out shared isl_qpolyn
o
m
i
a
l_check_r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract out
s
h
are
d
isl_term_check_ra
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
ext
r
act out shared isl_multi_*_che
c
k_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
Verdoolaege
isl_local_check_
p
os: extract
out
isl_local_chec
k
_r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erd
o
olaege
extract out sha
r
ed isl_const
r
aint
_
ch
e
ck_ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extra
c
t out
s
hared isl_local_space_c
h
eck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
la
e
g
e
extract out s
h
a
red isl_space_check_
r
ang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
merge isl*map_
c
heck_ra
n
ge implementation
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl_basic_
m
ap_plain_get
_
val_if_fixed:
reuse isl_map_check_ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verd
o
olaege
isl_
m
a
p_fix: reuse is
l
_m
a
p_chec
k
_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
isl
_
m
ap_fix_si
:
r
e
use is
l
_map_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_map_o
p
p
o
se:
reuse isl_map_check_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ver
d
oolae
g
e
isl_map
.
c: ma
p
_
b
oun
d
_s
i
:
reuse isl
_
map_check_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
g
e
isl_map
.
c: map_bou
n
d:
r
euse isl_map_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Verdo
o
laege
i
sl_map_fix_va
l
: reu
s
e isl_m
a
p_ch
e
ck
_
r
ange
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_
b
asic_ma
p
_swap_vars:
reuse isl_basic_map_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_basic_map_pre
i
mage_vars: reuse
i
sl_
b
as
i
c_map_chec
k
_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
oolaege
is
l
_basic_map_elim
i
nate:
r
euse i
s
l_basic_map_ch
e
ck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl_bas
i
c_map_transform_dims: reuse
i
s
l_basic_map_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_b
a
sic_map_drop_core: reuse isl_b
a
sic
_
map_check_ra
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
i
s
l_basic_map_has
_
defining_equalit
y
: reu
s
e
i
s
l_basic
_
map_che
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
a
ege
privately expos
e
isl_basic_ma
p
_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven
Ver
d
oolaege
isl_ba
s
ic_map_drop_div: implement in ter
m
s
of isl_basic_map
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_basic_map_drop: extract
o
ut isl_basi
c
_
map_dro
p
_core
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ver
d
oolaege
i
sl
_
basic_map_drop: drop
err
o
r l
a
b
e
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
isl_
b
asic_map
_
dr
o
p_div: drop
r
emoval o
f
co
n
strai
n
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_
m
ap
_
simpli
f
y
.
c
: remov
e
_r
e
du
n
dant_divs: drop di
v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
priv
a
tely
e
xp
o
rt
isl
_
b
a
sic_map_drop
_
c
o
n
s
traints_in
v
olving
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdool
a
ege
isl_
b
asic_map_drop_constraint
s
_involving: move ou
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_basic
_
map_offset: extract out i
s
l
_basic_map_var_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
o
l
aege
isl_basic_
m
ap_of
f
set: use isl_basic_map_peek_sp
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n
V
erdoo
l
aege
is
l
_
b
asic_
m
a
p
_
offset: use isl_spa
c
e_
o
ffset and
i
s
l
_
s
p
ace_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verd
o
ol
a
ege
isl_basic_map
_
contains_poin
t
: u
s
e isl_lo
c
al_extend_point_vec
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
pri
v
ately ex
p
ort isl_loca
l
_all
o
c_
f
rom_mat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ve
n
Verdoolaege
exp
o
se
i
s
l_lo
c
al_free
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobi
a
s
G
r
o
sser
i
s
l_uni
o
n
_
map_involves_d
i
ms: u
s
e is
l
_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_un
i
o
n
_m
a
p
.
c:m
a
p
_
ex
c
ludes: use is
l
_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
as Grosser
isl_union_m
a
p_is_strict_subse
t
:
use isl
_
bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
Grosser
sched
u
ler
.
c:graph_
h
as_edge: use isl_bo
o
l_
n
ot
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
T
o
bias Grosser
isl_map_is_str
i
ct_su
b
set: use isl_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
To
b
i
as
G
rosser
isl_basic_map_is_st
r
i
ct_
s
ubset: us
e
i
s
l_boo
l
_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
G
ro
s
ser
basic_
m
ap_follows: use
i
sl_bool_n
o
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
isl_map
.
c:
add_constr
a
ints: use is
l
_b
a
s
i
c
_
map_ad
d
_constrain
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdool
a
e
g
e
isl_schedule_no
d
e
_has_parent: reuse isl_schedule_node_get_tr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
isl_qpolynomia
l
_
cst_on_domain: reuse isl_qpol
y
nom
i
al_
z
e
r
o
_
on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
isl_qpolyn
o
m
ial_val_on_domain:
r
euse isl_qpolynomi
a
l_z
e
ro_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
isl_qpolynomial_r
a
t_cs
t
_on_domain: r
e
use isl
_
qp
o
lyno
m
ial_zer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl_p
o
lynom
i
al
.
c: e
x
t
r
act out shared do
m
ain
_
ty
p
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaeg
e
is
l
_te
s
t
.
c: rem
o
ve some code dupl
i
cati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
doolaege
isl
_
b
asic_se
t
_opt:
reuse
i
sl_ba
s
ic_set_get
_
divs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
s
l_t
a
b_pip
.
c: impleme
n
t split i
n
t
e
r
m
s
o
f
s
plit_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_set_total_dim:
i
mplement
i
n te
r
ms of isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
i
s
l_const
r
a
int
.
c: use
isl_basic_
s
et_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaeg
e
isl
_
constraint
.
c: use isl_basic_m
a
p_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Ver
d
oo
l
ae
g
e
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaeg
e
drop is
l
_basic_set_
e
xt
e
n
d
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
e
rdoolaege
drop
i
sl_basic_s
e
t_
a
dd
_
eq
u
ality du
p
licate
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
i
sl_basi
c
_map_add_eq: sp
e
cia
l
case empty inpu
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_bas
i
c_m
a
p
_
add_{eq,ineq}
:
o
n
ly
m
odify sin
g
l
e copy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
doolaege
isl_qpolyn
o
mial_as
_
po
l
ynomial_on_doma
i
n: use
i
sl_loca
l
_space
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
e
rd
o
olaege
isl_qpolynomial_
g
ist: u
s
e isl_local_
s
pac
e
_lift_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next