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_domain_product: use isl_basic_map_get_space
2018-09-02
Sven Verdoolaege
isl
_
bas
i
c_
m
ap_domain_product: u
s
e isl_basic_map_ge
t
_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_basic_map_overlying_set: use isl_basic
_
set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdool
a
ege
isl_basic_m
a
p_a
p
ply
_
rang
e
: u
s
e is
l
_basic_map_get_
s
p
a
ce
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolae
g
e
isl_m
a
p
.
c: move_last: use isl_bas
i
c_map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c:
m
ove_last: use isl_basic_map_peek
_
s
p
ac
e
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
aege
is
l
_
b
asic_m
a
p
_
move_dims: use is
l
_basic_map_peek_space
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolae
g
e
isl_basic_map_
i
ntersect:
u
se
isl_ba
s
i
c_map
_
peek_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laeg
e
i
s
l_
b
asic_map_intersect_range: use isl_
b
a
sic_set
_
dim
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doolaeg
e
isl_basic
_
ma
p
_intersec
t
_domain: use
i
sl_basic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
erdoolaege
isl_map_solve_lp: use
i
sl
_
m
ap_
d
im
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
i
sl_polyn
o
mial
.
c: fix_inacti
v
e
:
us
e
i
s
l_set_dim
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoolae
g
e
i
s
l_output
.
c: drop_aff:
use isl_basic
_
m
a
p_
v
ar_offset
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
aege
isl
_
basic_ma
p
_
drop_redun
d
a
n
t_div
s
_in
e
q: use isl_
b
a
s
i
c_map_va
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdool
a
e
g
e
isl
_
map_simpli
f
y
.
c:
.
.
.
_drop_more_redun
d
ant_divs: us
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Ve
r
doolae
g
e
isl_m
a
p_simplify
.
c: coalesce_divs: use isl_basic_map_var
_
o
ffset
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ver
d
o
o
l
a
e
ge
isl_map_simp
l
ify
.
c: div
_
is_redu
n
d
ant
:
use isl_basi
c
_
m
ap_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
i
s
l_basic_m
a
p_is_div_co
n
st
r
aint: use isl_b
a
sic_map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_map
_
simpli
f
y
.
c: eliminate_
u
nit_divs: use isl_basic
_
map_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_si
m
plify
.
c: ch
e
ck_for_
d
iv_
c
o
nstr
a
ints
:
use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_map_simplify
.
c: better_div_constraint
:
use isl
_
b
a
si
c
_
m
ap
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
isl_ma
p
_simplify
.
c: ok_t
o
_se
t
_di
v
_from
_
bound: use isl_
b
asi
c
_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map_s
i
mplify
.
c
:
set_d
i
v
_
from_lower_bound: u
s
e
i
s
l
_bas
i
c
_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl
_
map
.
c:
find_div:
u
se isl_
b
asic_map_var_off
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
isl_basic_map_order
_
di
v
s: use isl_basic_map_v
a
r_offse
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_map
.
c: basi
c
_se
t
_append_e
q
ualit
i
e
s
: use
i
s
l
_
b
asic_set_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: insert_div_rows:
u
s
e isl_basic_map_offse
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
isl_basic_map_remove_divs: use isl_b
a
si
c
_map_v
a
r
_offset
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
isl_basic_map_swap_div: use
i
sl_basi
c
_map_var_off
s
e
t
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_basi
c
_map_make_strides_ex
p
licit
:
u
se isl
_
basic_map_var_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
laeg
e
i
s
l_
a
ff_subst
i
tute_equalities_lifted: use isl_basic_se
t
_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
lae
g
e
isl_basic_set_p
o
s
i
tive_o
r
tha
n
t: use isl_space
_
dim
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
isl_basic_{set,map}_print_i
n
t
e
rnal: use is
l
_printer_pr
i
nt_ba
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
o
o
laeg
e
i
s
l_transitive_cl
o
sure
.
c: empty_p
a
th_is
_
i
dentity: u
s
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoo
l
aege
i
sl_map
_
simpli
f
y
.
c:
div_f
i
nd_coales
c
e:
r
euse is_opposite
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olaege
isl_map_simplif
y
.
c: mo
v
e up is_
o
pposite
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oo
l
a
eg
e
isl_tab_pi
p
.
c:
find_co
n
text_di
v
:
r
eserve
n
e
gative
r
etur
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaeg
e
i
s
l_map_simplify
.
c: d
i
v_find_
c
oal
e
sce: re
s
erve negative
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doolaege
isl_map
.
c: find_div: reserve negative return val
u
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
do
o
laege
i
s
l_bernst
e
in
.
c: is_tight: minor
cod
e
simpl
i
fication
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map_simpli
f
y
.
c: lower_bound_is_cst: retu
r
n
-
1 on
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ver
d
oolaege
add_
l
ower_div_
c
onstrai
n
t: r
e
turn ret
u
rn m
o
dified re
s
ult
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add_
u
pper_div_constraint: retu
r
n return modified re
s
ul
t
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_
b
a
s
i
c
_map_add_div_const
r
aint:
return retu
r
n modifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaege
isl_basic_map_add_div_
c
onstraints: retu
r
n modi
f
ied
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaeg
e
a
d
d
_{upper
.
l
ower}_div_const
r
aint:
o
nl
y
pass in
p
o
sitio
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
remove now unused
isl
_
b
asic
_
{set,map}_add_div
_
c
o
n
straints_var
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_l
o
cal_spa
c
e
.
c:
n
ormalize_div: re
t
urn
modified re
s
ult
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
nor
m
alize
_
div_ex
p
ression: retur
n
modified resul
t
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolaeg
e
isl_map_simplify
.
c:
eliminate_va
r
_using_
e
quality: retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaeg
e
isl_map
.
c: set_ma_divs: ret
u
rn
m
odified result
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
sl_basic_map_swap_div: return modif
i
e
d r
e
su
l
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c: pr
i
nt_c
o
nstrai
n
t_c: drop
n
o
w redu
n
da
n
t
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c
: drop print_affine_
c
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_output
.
c: print_constraint_c: use print_ls_affine_c
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
isl_output
.
c: print_b
a
sic_set_c
:
use print_ls_partial_affine_
c
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doo
l
ae
g
e
isl_cat: support
C outpu
t
format
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdo
o
laege
isl_transitive_clos
u
re
.
c: add_leng
t
h: reuse increm
e
nt
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoola
e
ge
is
l
_transi
t
ive_closure
.
c
:
move up increment
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
t
ran
s
itive_closure
.
c: incr
e
ment:
return isl_map
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doolaege
isl
_
transitive_closure
.
c: increm
e
n
t
: clean up space
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
i
sl_transit
i
ve_closur
e
.
c: m
a
p_power:
u
s
e st
r
icter
test
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_map_deltas
_
map: extract out isl_map_check_equa
l
_
tuples
commit
|
commitdiff
|
tree
2018-08-31
S
ven V
e
rd
o
olaege
isl
_
qpolynomial_get_den: return
i
s
l_val
commit
|
commitdiff
|
tree
2018-08-31
Sven V
e
rdoolaege
r
e
na
m
e
isl_
u
poly to isl_poly
commit
|
commitdiff
|
tree
2018-08-31
S
v
e
n Verdoolaege
isl_b
a
sic_m
a
p_i
n
s
e
rt_dim
s
: crea
t
e empty bas
i
c map d
i
r
e
ctly
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaeg
e
e
x
tr
a
ct out
s
hared isl_point_di
m
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
extr
a
c
t
out s
h
ared isl_set_c
h
e
c
k_range
commit
|
commitdiff
|
tree
2018-08-28
S
ven Ver
d
ool
a
ege
extract out shared
i
sl_
t
erm_che
c
k
_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
dool
a
ege
extract ou
t
s
h
ared isl
_
space_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
merg
e
isl*map
_
check_r
a
nge implementation
s
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
d
oolaege
isl_map_fix: reuse i
s
l_map_c
h
ec
k
_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
isl_map_f
i
x_si
:
reus
e
isl_
m
ap_chec
k
_rang
e
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_map_op
p
ose: reuse isl_map
_
chec
k
_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_map
.
c: map_
b
ound_si
:
r
euse isl_map_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaeg
e
isl_
m
ap
.
c: map_bound: reuse is
l
_
m
ap_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
erdool
a
ege
isl_map_
f
i
x_val: reuse isl_map
_
c
heck
_
r
a
nge
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
aege
i
s
l_
b
as
i
c_map_drop_c
o
r
e: reuse is
l
_
basic_map_chec
k
_range
commit
|
commitdiff
|
tree
2018-08-28
S
v
e
n Ve
r
doolaege
isl_
b
asic_map_dr
o
p_div
:
i
m
plement in
term
s
of isl_basic_map_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rd
o
ol
a
eg
e
isl
_
basic_map_drop
:
extract ou
t
i
s
l
_bas
i
c_map_dr
o
p_core
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doola
e
ge
i
sl_
b
asic_ma
p
_drop: drop
error
l
abe
l
commit
|
commitdiff
|
tree
2018-08-28
S
ven Ve
r
doolaege
isl_basi
c
_map_drop_div: drop
removal of constraints
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
S
v
en V
e
r
d
oolaege
isl_m
a
p_simpl
i
f
y
.
c
:
remove_redund
a
nt_divs: drop
d
iv
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoo
l
aege
pri
v
ate
l
y
export isl_
b
asic_map_drop_c
o
nstraints_invo
l
ving
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olaege
isl_basic_m
a
p
_
drop
_
constraints_i
n
v
o
lvi
n
g: move out
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoo
l
aege
isl_basic_map_offs
e
t: us
e
isl_basic_map_peek_space
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_offset: u
s
e isl_space_o
f
f
s
e
t
and isl_space_di
m
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verdool
a
ege
isl_basic_map_c
o
n
t
ains_point:
us
e
isl_l
o
cal_
e
xte
n
d
_
point_vec
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erd
o
ol
a
ege
priv
a
te
l
y ex
p
ort isl_loca
l
_
a
llo
c
_
f
ro
m
_
m
at
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdo
o
l
a
eg
e
expose isl_l
o
cal_free
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map
.
c: add_
c
o
n
strai
n
ts: use isl_ba
s
ic_map_add_constraint
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoola
e
ge
i
sl_
b
a
s
ic_set_opt: reuse
isl_ba
s
i
c_set_get_divs
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_tab_p
i
p
.
c: i
m
p
lement split in terms of split_domain
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
is
l
_
b
asic_set_total_dim: implem
e
nt i
n
terms o
f
isl_
b
asic_map
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
s
l
_constraint
.
c:
u
se isl_basic_set_offset
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Ve
r
dool
a
e
g
e
isl_constrain
t
.
c: use
i
sl_basic_map_offset
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n
Ve
r
d
oolaege
drop isl_basic_set_extend
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
drop isl_basi
c
_se
t
_add_
e
qual
i
ty dupl
i
cate
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_
b
asic_map
_
add_{
e
q,ineq}: only modify single cop
y
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdoolaege
isl_
q
po
l
ynomial_
a
s_polynomial_o
n
_domain:
u
se isl_local_spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaeg
e
i
sl_q
p
oly
n
o
mial_gist: use is
l
_local_spac
e
_li
f
t
_
s
et
commit
|
commitdiff
|
tree
next