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_in
2018-09-06
Sven Verdoola
e
ge
dro
p
deprecated isl_map_
n
_in
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laeg
e
isl_map_dim
:
use is
l
_
s
pace_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
sl_set_par
a
ms: implement
in terms
o
f
i
sl_map_params
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
olaege
i
s
l
_
set_dim: i
m
plemen
t
i
n
t
e
rms of isl
_
map_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_morph
.
c: copy_equa
l
ities: use is
l
_ba
s
ic_se
t
_
g
et_space
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdool
a
ege
i
s
l
_map_subtract
.
c: tab_add_constraint: use isl_basic_map_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_map_subtract
.
c: tab_
a
d
d
_constraints: use isl_bas
i
c
_
map_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
s
l_
b
asic_set_var
i
a
ble_compression:
u
se isl_ba
s
ic
_
s
e
t_o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_b
a
s
i
c
_map_dom
a
in_product: use isl_basic_m
a
p_get
_
space
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
ege
isl_basic_map_ov
e
rlyi
n
g_set: use is
l
_basic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolae
g
e
isl
_
basic_map_ap
p
l
y
_range: use i
s
l_basic_map_g
e
t_space
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoola
e
ge
isl_map
.
c: move_la
s
t
:
use isl_basic_map_offset
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ve
r
doolaege
isl_map
.
c: move_last: us
e
isl
_
basic_m
a
p_peek_s
p
ace
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_move_dims: use
i
sl_basic_
m
ap_
p
e
e
k
_space
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdo
o
l
aeg
e
isl_ba
s
ic_map_inters
e
ct: use
isl_basic_map_peek_sp
a
c
e
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaeg
e
isl_basic_map_intersect_
r
ange: us
e
isl_basic_set_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
i
s
l
_basic_map_interse
c
t_domain:
use isl_basic_
s
et_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_map_solv
e
_lp: use
isl_
m
ap_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
eg
e
i
s
l_
p
o
l
yn
o
m
ial
.
c
:
fix_inactiv
e
:
u
se is
l
_s
e
t
_dim
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
is
l
_out
p
ut
.
c: drop_aff:
u
se isl_ba
s
ic
_
m
a
p_var
_
offset
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doolae
g
e
isl_basic_map_d
r
op_redundant_d
i
v
s_i
n
eq:
use
i
sl_basic
_
ma
p
_
va
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
isl_map_simpl
i
fy
.
c:
.
.
.
_drop_more_redundant_divs: u
s
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
isl_map_simplify
.
c
:
coa
l
e
sce_divs: use isl_basic_ma
p
_var_offset
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoolaege
isl_map_sim
p
lify
.
c
: div_i
s
_redundant:
u
se i
s
l_basic_map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic
_
map_is_div_constraint: use
isl_basic
_
map_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_map_sim
p
l
ify
.
c: eli
m
inate_unit_div
s
:
u
se isl_b
a
sic_map_o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map_simplify
.
c: check_fo
r
_div_con
s
traint
s
: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoo
l
aege
isl_
m
ap_s
i
mp
l
ify
.
c: be
t
t
e
r_
d
iv_constraint: use isl_basic_map
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaeg
e
i
sl_map_simplify
.
c: o
k
_to_set_div_from_bound: use isl_basi
c
_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
i
sl_map_simpli
f
y
.
c:
set
_
div_
f
rom_lo
w
e
r
_bound
:
use isl_basic_
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_
m
ap
.
c: fi
n
d_div:
use isl_basic_map_var
_
offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
a
sic_map
_
order_
d
ivs:
use isl_basic_map_
v
ar_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
l
aege
isl_map
.
c: ba
s
ic_set_append_equ
a
lit
i
e
s:
use isl_bas
i
c
_set_
o
ff
s
et
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_map
.
c
: i
n
s
ert_div_rows: use is
l
_ba
s
ic_map_o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoola
e
ge
isl_b
a
sic_map_
r
emov
e
_divs: use isl_basic_map_var
_
o
f
fset
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_basic_map_swa
p
_div: use
i
sl_basic_map
_
var_offset
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoola
e
ge
i
sl
_
basic_m
a
p_make_s
t
rides
_
e
x
plicit
:
u
se
isl_ba
s
ic_map_var_
o
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_aff_substitute_equalities_lifted: us
e
isl_ba
s
ic_set_offset
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_bas
i
c_set_
p
ositive_orthant:
u
se isl_space_dim
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
sl_ba
s
ic_{s
e
t,map}_pr
i
n
t
_
internal: use isl_printer_
p
r
i
n
t_ba
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
isl_
t
r
a
nsitive
_
c
l
o
sure
.
c:
empty_p
a
th_is
_
identity: use
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
i
s
l
_ma
p
_
s
implify
.
c: d
i
v
_find_coal
e
sce: reuse is_opposi
t
e
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
g
e
isl_map_sim
p
l
i
f
y
.
c: move up i
s
_opposite
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
o
l
aeg
e
i
s
l_tab_pip
.
c: find_context_di
v
: reserve negativ
e
r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p_simp
l
ify
.
c: div_find_coalesce
:
reserve nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verdoolaege
i
s
l_map
.
c:
f
ind
_
di
v
: r
e
serv
e
negat
i
v
e
return value
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
o
o
laege
i
s
l_bernstein
.
c: is
_
t
ig
h
t: mino
r
cod
e
simplification
commit
|
commitdiff
|
tree
2018-09-02
S
ven V
e
rdoola
e
ge
isl_
m
ap_s
i
mplify
.
c: lo
w
er
_
bound_is_cst
:
return -1 on
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
add_lo
w
er_div_con
s
traint:
r
eturn r
e
t
u
r
n mo
d
ified
re
s
u
l
t
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
olaege
add_upper_div_constraint: return return
m
odi
f
ied r
e
sult
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oola
e
ge
isl_basic_map_add_div_con
s
traint: r
e
turn return mo
d
ified
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_
b
asic_ma
p
_
a
d
d_div_constraints:
return
m
o
di
f
ied
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
add_{upper
.
lower}_div_constrain
t
: only
p
a
ss in p
o
sition
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Ver
d
oolaege
remove now unused isl_basic
_
{set,ma
p
}
_add_div_cons
t
r
a
int
s
_var
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_local_space
.
c: n
o
rmaliz
e
_div
:
return modi
f
i
ed result
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
normalize_di
v
_exp
r
e
s
si
o
n
: return modified result
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolaege
isl_map
_
simplif
y
.
c: eli
m
inate_var_using_
e
quality
:
return
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
l
aege
isl_map
.
c
: set_ma_divs:
ret
u
rn mo
d
ifie
d
r
esult
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
e
ge
isl_basic_map_swap_div: return modif
i
e
d result
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
e
r
d
ool
a
ege
isl_output
.
c: print_cons
t
raint_c: dro
p
no
w
r
ed
u
n
d
ant
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolae
g
e
is
l
_out
p
u
t
.
c
: drop print_affine_c
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doolaege
isl_output
.
c
:
p
r
int_constraint_c: use
p
rint
_
ls_af
f
in
e
_
c
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
isl_output
.
c:
print_basic_set_
c
: u
s
e
prin
t
_ls_partia
l
_affine_c
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doolaege
i
sl_cat
:
suppo
r
t
C
output for
m
at
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
ola
e
ge
i
sl_tra
n
sitive_clos
u
re
.
c: add_
l
ength
:
r
eus
e
in
c
rement
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdool
a
ege
isl_transitive_closure
.
c: m
o
ve
up
i
ncre
m
ent
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl
_
transit
i
ve_cl
o
sure
.
c: increment: return isl_map
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_transitive
_
closure
.
c:
i
ncrement:
clean up spac
e
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
isl_transitive_closu
r
e
.
c
:
map_power: use str
i
cter te
s
t
.
.
.
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_map_deltas
_
map: extr
a
ct out
isl_map_ch
e
ck_equa
l
_tupl
e
s
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdo
o
la
e
ge
isl_qp
o
lynomial_g
e
t_den: retu
r
n isl_va
l
commit
|
commitdiff
|
tree
2018-08-31
S
ven
V
e
rdoolaege
rename i
s
l_upol
y
t
o is
l
_poly
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoolaege
isl_
b
as
i
c
_
map_insert_
d
im
s
: create e
m
pty
basic map direc
t
ly
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
extr
a
ct ou
t
s
hared isl_p
o
int_dim
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaeg
e
e
x
tract out shared isl_s
e
t_check_range
commit
|
commitdiff
|
tree
2018-08-28
Sven
Ve
r
d
o
ola
e
g
e
extrac
t
o
u
t share
d
isl_term
_
check_r
a
nge
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
extract out shared i
s
l_space
_
check_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
m
erge isl*map_check
_
range
i
mplementations
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaeg
e
i
sl_map_fix: reu
s
e isl_m
a
p_check_rang
e
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doo
l
aege
isl_map_fix_s
i
: reuse isl_map_
c
heck_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_map_opp
o
se: r
e
use isl_map_che
c
k_
r
ange
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
is
l
_
map
.
c
:
map_bound_si: reuse
i
s
l_map_check_ra
n
g
e
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdoolaege
is
l
_map
.
c:
map_bou
n
d
: reu
s
e isl_map_ch
e
c
k_
r
ange
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
a
e
ge
isl_map_fix_val: reuse isl_m
a
p_check_ran
g
e
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Ve
r
doolaege
i
sl_bas
i
c_map_drop_core: r
e
u
s
e isl_basic_
m
ap_
c
he
c
k_range
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oo
l
aege
isl_basic_map_dr
o
p_d
i
v
:
imp
l
ement in terms of isl_basic_m
a
p_
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoo
l
aege
isl_
b
asic_map_dro
p
: extract out isl_basic
_
m
a
p
_
dro
p
_
core
commit
|
commitdiff
|
tree
2018-08-28
S
ven Ve
r
doo
l
aeg
e
isl_basic_map_drop: drop err
o
r label
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
isl
_
basic_map_drop_div
:
drop remova
l
of co
n
strai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rd
o
olaege
isl_ma
p
_sim
p
l
ify
.
c: rem
o
ve_redundant_divs: drop div
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
e
rdool
a
e
g
e
privately export
i
sl_ba
s
ic_map
_
drop_con
s
traints_i
n
volvin
g
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
l
a
eg
e
i
sl_ba
s
ic
_
map_drop_co
n
straints
_
i
n
volving: move out
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
oolaege
isl_basic_ma
p
_offset: use is
l
_ba
s
ic_map_peek_space
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_
b
asic_map_offse
t
:
use isl_sp
a
ce_offset
a
n
d i
s
l_s
p
a
ce_dim
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl
_
basi
c
_
map_
c
ontains_
p
oin
t
: use isl_local_extend_p
o
i
nt_vec
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
priv
a
tely export isl_l
o
c
a
l_allo
c
_
f
rom_mat
commit
|
commitdiff
|
tree
2018-08-28
S
ve
n
Verdoolaeg
e
expose i
s
l_loca
l
_
f
ree
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_m
a
p
.
c
: add_constraints
:
use isl_basic_map_add
_
co
n
straint
.
.
.
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
V
erdoolaege
is
l
_basic
_
set_op
t
:
reuse
isl
_
basic_set_get_div
s
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_t
a
b_pi
p
.
c: imp
l
ement s
p
l
i
t in
terms of spli
t
_domain
commit
|
commitdiff
|
tree
next