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
drop deprecated isl_map_n_param
2018-09-06
Sve
n
Verdoolaege
drop deprecated isl_map_n_param
commit
|
commitdiff
|
tree
2018-09-06
Sven Ve
r
doola
e
ge
drop deprecat
e
d isl_map_n_out
commit
|
commitdiff
|
tree
2018-09-06
Sven Verdo
o
la
e
ge
drop deprecated
i
sl_map_n_in
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ola
e
ge
isl_map
_
dim:
use isl_space_di
m
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
erdoolaeg
e
i
sl_se
t
_para
m
s: im
p
lement i
n
terms of isl_map_params
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_set_dim: implement in terms
o
f isl
_
map_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
isl_morph
.
c: copy_equ
a
liti
e
s: use isl_basic_se
t
_get_space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_subtract
.
c:
t
ab_add_con
s
traint: use isl_bas
i
c_map_dim
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoo
l
aege
is
l
_m
a
p_s
u
btract
.
c: t
a
b_add_constra
i
nts: us
e
isl_basic_ma
p
_d
i
m
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolae
g
e
isl_basic_set_variabl
e
_compres
s
ion: use isl_b
a
sic_s
e
t_o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_ba
s
i
c_map_domain_pr
o
duct: use isl_ba
s
ic_
m
ap
_
get_
s
pa
c
e
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
is
l
_basic_
m
ap_o
v
erlying_set: use isl_bas
i
c_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoo
l
aege
isl
_
b
a
sic_map_
a
pply_
r
ange: u
s
e
i
s
l_basic
_
m
a
p_get_space
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_map
.
c: move_last: u
s
e is
l
_basic_map_offse
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map
.
c: mov
e
_la
s
t
:
use isl_basic_map_peek_space
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl
_
b
a
si
c
_map_move_dims:
u
se i
s
l
_
ba
s
ic_map_peek_
s
pace
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoola
e
ge
isl_basic_map
_
in
t
ersect
:
use is
l
_basic_map_peek_space
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_
b
a
sic_map_intersect_rang
e
: use isl_ba
s
ic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doolae
g
e
isl_basic_map_intersect_domain: u
s
e
i
s
l
_
basic
_
set_dim
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_map_solve_lp: u
s
e i
s
l_
m
ap_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oolaege
is
l
_polynomial
.
c: fix_inactive: use
i
s
l_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ver
d
oolaege
isl_outpu
t
.
c: drop_aff: use
is
l
_
basic_map_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_
m
ap_drop_r
e
du
n
dant_divs_ine
q
: u
s
e
isl_basic_map_va
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
isl_map_simplify
.
c:
.
.
.
_dro
p
_more_
r
e
dundant_divs: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoo
l
aege
i
s
l
_ma
p
_si
m
p
lify
.
c: coalesce_di
v
s:
us
e
isl_b
a
sic_map_v
a
r_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
m
a
p
_sim
p
lify
.
c:
d
iv_i
s
_redu
n
dant: use
i
sl_basi
c
_map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
i
s
l
_basi
c
_map_is_div_constraint: use isl_b
a
s
i
c_map_off
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
_
simplify
.
c: eliminate_uni
t
_
d
iv
s
: u
s
e isl_basi
c
_map_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l_map_simplify
.
c: check_for_d
i
v_constraints: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p_
s
imp
l
ify
.
c
:
better_div_con
s
traint: use isl_basic_map
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolaeg
e
isl_
m
ap_
s
imp
l
i
f
y
.
c:
o
k_t
o
_set_div
_
from_bound:
u
se
isl_
b
asic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
do
o
laege
isl_map_simplify
.
c: set_div_f
r
om_lower_boun
d
: us
e
isl_bas
i
c_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_
m
ap
.
c:
f
in
d
_div: use isl_basi
c
_map_v
a
r_o
f
f
set
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olaege
is
l
_b
a
sic_m
a
p_order_div
s
: use isl_basic_ma
p
_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
isl_map
.
c: bas
i
c_set_app
e
nd_equal
i
ties: use isl_basic_set_o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
e
rd
o
olaege
isl_ma
p
.
c
:
insert_d
i
v
_
r
ows: use isl_b
a
sic
_
map
_
of
f
set
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
isl_basic
_
map_remove_divs: use isl_b
a
sic_m
a
p_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_basic_map_s
w
ap_div: us
e
isl_basic_map_var_o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_
b
asic_map_
m
ake_
s
tr
i
d
e
s
_explici
t
: us
e
isl_ba
s
i
c
_
m
ap_var_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
g
e
isl_aff_substitute_
e
qualities_lifted:
u
se isl_
b
a
s
i
c
_
s
et_offset
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdool
a
e
g
e
isl_basic_set_p
o
sit
i
ve_orthant: use isl_spac
e
_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
sl_basic_{set,map}_p
r
i
n
t_intern
a
l: use isl_print
e
r_p
r
int_ba
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_transitive_closure
.
c
: empty_pat
h
_is_i
d
en
t
ity: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdo
o
laege
isl_map_sim
p
l
ify
.
c: di
v
_f
i
n
d
_coalesce
:
reuse is_opp
o
s
i
te
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
dool
a
ege
isl_
m
a
p
_simplify
.
c: mov
e
up is_opposite
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
is
l
_tab_pip
.
c:
find_cont
e
xt_div:
r
ese
r
v
e
negat
i
ve re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoolae
g
e
i
sl_m
a
p_s
i
mpl
i
fy
.
c:
div_find_co
a
lesce: res
e
rve
n
egative
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdoolae
g
e
isl_ma
p
.
c: find_div: re
s
er
v
e
n
eg
a
tive re
t
urn
v
alue
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdool
a
ege
isl_berns
t
ein
.
c
:
i
s_tight: mi
n
o
r
code
simplifi
c
at
i
on
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
is
l
_map_simplify
.
c:
l
ower
_
b
o
und_is_cst: return
-1
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oolaege
a
d
d_lower
_
di
v
_constraint: ret
u
rn return m
o
difi
e
d
result
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
ad
d
_upper_div
_
constraint: return return modif
i
ed
result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl
_
basic_map_add_div_constraint: return return modified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
sl
_
basic_
m
a
p
_add
_
di
v
_co
n
strai
n
ts: retu
r
n modif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Ve
r
doolaege
a
d
d_{upper
.
lower}_div_const
r
aint: only pas
s
in posi
t
ion
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdo
o
laege
re
m
ove now unused
isl_basic_{set
,
map}_add_div
_
constraint
s
_var
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoolae
g
e
isl_
l
ocal_space
.
c:
n
o
rmalize_div: return modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
no
r
m
a
lize_div
_
expression
:
r
e
tu
r
n
m
o
dified res
u
lt
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
d
o
ol
a
ege
isl
_
ma
p
_s
i
mplify
.
c: e
l
iminate_var
_
using_equality: return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map
.
c
:
set_ma_div
s
: r
e
t
u
r
n
m
o
dified
r
esul
t
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
sl_ba
s
ic_map_
s
wap_
d
iv: return modified r
e
sul
t
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ver
d
oo
l
aege
i
s
l_outp
u
t
.
c:
p
r
i
nt_constrai
n
t_c: drop now redundant
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_outp
u
t
.
c: drop p
r
int_affine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_o
u
tput
.
c
:
print_constraint_c: u
s
e print_ls_
a
ffine_
c
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
o
l
aege
i
sl_output
.
c:
pri
n
t_basic
_
set_c: use pri
n
t
_
ls_pa
r
t
i
al_affine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_cat: support
C
output format
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
i
s
l_transitive_closure
.
c: add_length:
reu
s
e incr
e
m
ent
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_transitive_cl
o
sure
.
c: move up increment
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_t
r
ansitive_
c
losure
.
c: increment:
r
eturn
isl_
m
ap
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_
t
r
a
nsitive_closure
.
c:
increment:
c
lean up
s
p
a
ce
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
sl_t
r
ansitive_closu
r
e
.
c: map
_
power
:
use stricter test
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
la
e
ge
isl_map
_
delta
s
_map: ex
t
ract
out
i
s
l
_map_check_e
q
ual_tuples
commit
|
commitdiff
|
tree
2018-08-31
S
ven
V
e
rdo
o
l
a
ege
isl_
q
poly
n
omial_get_den: return isl_
v
al
commit
|
commitdiff
|
tree
2018-08-31
Sve
n
Verdoolaege
r
en
a
m
e
i
sl_up
o
ly to isl_poly
commit
|
commitdiff
|
tree
2018-08-31
Sven
V
erdoolaeg
e
isl_basic
_
m
ap_insert_dims:
create empty basic m
a
p directl
y
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
extract out sha
r
ed
isl_p
o
in
t
_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
extract out shared i
s
l_
s
et
_
check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
e
x
tract o
u
t shared is
l
_
t
erm_check_ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
extract out shared isl_space_che
c
k_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
merge isl
*
map_c
h
eck_range
i
m
pl
e
m
entations
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_
m
ap_fi
x
:
reuse
isl_ma
p
_check_rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
is
l
_
map
_
fix_si: reuse is
l
_map_check
_
ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
e
r
doolaege
isl_map_o
p
po
s
e: reuse isl
_
map_ch
e
c
k
_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_m
a
p
.
c:
m
ap_bound_si: reuse is
l
_ma
p
_
c
heck_range
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n V
e
rdoo
l
aege
i
s
l_map
.
c: map_bound: re
u
se isl_m
a
p_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_f
i
x
_va
l
: reuse
i
sl_ma
p
_check_ra
n
ge
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Ve
r
d
oolaege
is
l
_basic_map_dro
p
_core: reu
s
e isl_basic_map_ch
e
ck_range
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verdoolaege
i
s
l
_
basic_ma
p
_
d
rop_di
v
:
i
mplement in terms of i
s
l_basic
_
map_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_basic
_
map_d
r
op: extract
out
i
sl_basic
_
map_drop_core
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
i
sl_basic_m
a
p
_
drop:
d
rop
e
rror label
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdo
o
laege
isl
_
bas
i
c_map_drop_div:
drop remo
v
al of constraints
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolae
g
e
isl_map_simplify
.
c:
remove_redundant
_
d
ivs:
dr
o
p div
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdool
a
ege
privately export isl_
b
as
i
c_map
_
drop
_
constraints
_
involving
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolaege
i
s
l_basic_ma
p
_drop_constraints_involvi
n
g: mo
v
e out
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl_basi
c
_map_offset: use i
s
l_b
a
sic_ma
p
_peek_space
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
V
erdoola
e
ge
isl_b
a
sic_map
_
offset: use isl_space_offset and isl_space
_
dim
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
oolae
g
e
isl_basic_map_contains_point: use isl_local_e
x
tend_point
_
vec
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaege
pr
i
vately
e
xport isl_local_alloc_from_m
a
t
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoola
e
ge
exp
o
se
isl_local_free
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoolae
g
e
isl_
m
ap
.
c: add
_
constra
i
nts
:
use isl
_
basic_map_add_co
n
stra
i
nt
.
.
.
commit
|
commitdiff
|
tree
next