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
add isl_union_map_subtract_domain
2012-09-06
Sv
e
n Verdoolaege
add isl_union
_
map_s
u
btract_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_
p
w_*_gist
:
avoid inter
s
ecti
o
n of domain with context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doola
e
ge
isl_map_inters
e
ct_dom
a
in: avoi
d
useless do
u
b
l
e r
e
verse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaeg
e
isl_map_
i
ntersect_{
r
ange,dom
a
in}: stop allowing
i
n
terse
c
ti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
isl
_
map_inters
e
ct: special ca
s
e unive
r
s
a
l
i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add i
s
l_constrai
n
t_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oolaege
add isl_pw_multi_aff_set_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
ad
d
isl_
p
w_multi_af
f
_id
e
ntity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoolaege
declare is
l
_pw_multi_aff_align_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
e
g
e
d
ecl
a
re isl_b
a
sic_map_r
e
move_div
s
_inv
o
l
ving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdo
o
l
a
ege
ad
d
isl_
v
e
c
_
f
div_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoola
e
ge
add isl_*_list_ins
e
rt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdoo
l
aege
declar
e
isl_m
a
p
_
fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oolaege
add isl_bas
i
c_map_u
p
per_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
ol
a
ege
add
isl_basic_
m
ap_order_ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
de
c
lare isl
_
aff_zero_basic
_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoolaege
add isl
_
vec_co
n
cat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doo
l
aege
i
s
l_v
e
c_fr
e
e: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n
Verdoo
l
ae
g
e
isl_m
a
p
_
free
:
return NU
L
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoo
l
aege
isl_basic_
s
et_free: r
e
turn N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_basic_map
_
f
r
ee: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdool
a
ege
isl_
s
pace
_
fre
e
: re
t
urn NU
L
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_basic_map_gauss
:
also se
t
progre
s
s
if
a
div ex
p
ression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
laege
isl_tarjan_
g
raph_init
:
do
c
ument the o
r
der of the c
o
mponents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdo
o
l
a
e
g
e
isl_aff
.
c: d
o
cument
i
sl_aff_norma
l
ize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n
Verdoolaege
isl_aff
.
c
: fix
t
ypo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
hi
d
e internal
c
h
e
c
k_h
e
lp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolae
g
e
hide i
n
ternal
b
asi
c
_map_ide
n
tity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
is
l
_
m
ap_simplify
.
c
:
remove_duplicate_divs: preserve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
isl_basic_map_drop_red
u
ndant_
d
ivs: d
o
n't drop div
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdool
a
ege
is
l
_test: generalize subset test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verd
o
ola
e
ge
r
ename isl_set_dim_has_
*
_bound to isl_set_dim_ha
s
_any_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven V
e
rdo
o
laege
re
l
i
c
ense isl und
e
r the MIT license
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sve
n
Verdoola
e
ge
c
o
nfigu
r
e
.
a
c
: li
n
k against same LL
V
M
component
s
as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
S
v
en Verdoolaege
Merge branch
'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verd
o
olaege
isl_
m
a
p
_intersect: f
i
x error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
erd
o
olae
g
e
i
sl_acces
s
_inf
o
_ad
d
_sour
c
e: plug
memory leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
S
v
en Verdoolaege
is
l
_set_dim_r
e
s
i
due_class: corre
c
tly
consider all basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
Sven Verdoolaege
i
s
l_
m
ap_sub
t
rac
t
:
handle
d
uplicate divs in subtrahend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
Sv
e
n
Verdoolaege
isl_a
f
f_sca
l
e
_
down: check
f
or s
c
a
l
ing
d
ow
n
b
y
zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
S
v
en Verdo
o
lae
g
e
add
isl_*_list_drop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven
Ve
r
d
oolaege
i
s
l_*_lis
t
_add: dynamically grow
li
s
t to accomodate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdoolaege
configure
.
ac: don't
a
llo
w
installation i
n
source or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
v
en Ve
r
d
oola
e
g
e
add isl_space_
i
s_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Ve
r
doolaege
ex
p
ort
isl_space_is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
v
en
Verdo
o
laege
doc: d
o
cument isl_space_i
s
_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
add isl_space_is
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven V
e
rdoolae
g
e
declare
is
l
_pw_multi_aff_pro
j
ect_d
o
main_on_
p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
v
en
Ve
r
d
oola
e
ge
add isl_
m
ap_has_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-04
Sve
n
Verdoo
l
aege
AUTHORS: add Mythri
A
lle
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdool
a
ege
is
l
_p
r
inte
r
_free: retu
r
n NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Ver
d
oolaege
declare isl_pw
_
multi_aff_drop
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolae
g
e
export isl
_
multi_aff_gist_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
er
d
oolaeg
e
extra
c
t
common implementation o
f
Tarjan's
a
lgorithm
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doo
l
aege
ad
d
isl_point_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n
Verdo
o
laege
isl_union
_
map_ex
t
ract_map: ignore parameters in space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n
Verd
o
o
l
aege
isl_union_map_e
x
t
r
a
c
t_m
a
p
: rename dim argume
n
t to space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
o
l
aege
i
s
l
_map_sim
p
lify
.
c: eliminate_var
_
using_eq
u
ality: normaliz
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
rdoolaege
isl_strea
m
_read_map: f
o
rce
r
esu
l
t to be a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verd
o
olaege
i
s
l_stre
a
m_rea
d
_
m
a
p
: accept rational
affine
e
xpressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
a
d
d
isl_map_{lexmin,lexmax}_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
decla
r
e isl_map_remo
v
e_unknow
n
_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
oolaege
do
c
:
documen
t
isl_set_r
e
move
_
unknown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
r
d
oolaege
declare isl_m
a
p_
r
emove_divs_involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
d
oolaege
add isl_basic_set_r
e
move_divs_in
v
o
l
ving_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
r
d
oolaege
doc: document
isl
_
set
_
remo
v
e
_divs_i
n
v
ol
v
i
n
g_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verdoo
l
aege
add isl
_
basic_set_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n
V
erdoolaege
add isl_
u
nion
_
set_
f
rom_basic_set and isl_
u
nion_
m
a
p
_from_basi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_basic_{se
t
,map}_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdoolaege
add isl_b
a
s
i
c_{se
t
,map}
_
align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdoolaege
add isl_
u
nion_m
a
p_domain_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
de
c
lare
i
s
l_basic_map_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erd
o
ol
a
e
ge
add isl_pw
_
mul
t
i_aff_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verd
o
olaege
add isl_pw_multi_
a
ff_union_{lexmin,lexmax}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoola
e
g
e
isl_set_fre
e
: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdo
o
laege
add
i
sl_multi
_
af
f
_lex
_
{le,ge}_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
ege
decl
a
re is
l
_multi_aff_
g
et_domain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Ver
d
ool
a
e
g
e
a
dd isl_mu
l
ti_aff_id
e
ntity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoo
l
aege
add isl_aff_ne
g
_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en V
e
r
doolaege
add isl_aff_add_constant_num{,_
s
i}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
olae
g
e
a
d
d isl_id_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaeg
e
a
d
d
i
s
l_*_list_set_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_pw_multi_aff_has_
t
uple_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
e
n
Ver
d
oolaege
declare isl_pw_aff_get_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doolaege
ad
d
i
sl_map_has_
d
im_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add i
s
l_lo
c
al_sp
a
c
e
_
has_dim_id and
i
sl_local_spa
c
e_get_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
ven
Verdoolaege
is
l
_s
e
t_opt: a
l
ign parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_mu
l
ti_*_se
t
_*: che
c
k t
h
at parameter
s
and domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoola
e
ge
isl_basic_map_rang
e
_product:
c
heck
t
hat paramete
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
rdoolaege
isl_basic_map_simplify
:
eli
m
i
n
a
te known divs that appear
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
o
l
aege
isl_b
a
s
ic
_
map_remove_div
s
_involving_dims: inser
t
bound
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
olaege
isl_basic_map_si
m
plify: nor
m
alize di
v
expression
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Tobias Grosser
Use
a
n MIT licen
s
ed mergesort as th
e
sort
i
ng algor
i
t
h
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolaege
isl_access_info_
f
ree: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-31
Sven V
e
rdo
o
l
aege
a
d
d
i
sl_printer_print_do
u
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-30
S
ven Verdool
a
ege
doc: ad
d
a note on isl_
d
im_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-30
S
v
en
V
e
rdool
a
ege
doc
:
add a note about isl_*_int
e
rsect and parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-28
S
ven Ve
r
doolaege
doc: add missing documentation for some sc
h
eduli
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
Sven Ver
d
oo
l
aege
M
erge
b
ranch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
Sven Verd
o
olaege
isl
_
pw_
*
_realig
n
_
d
o
m
ai
n
: plug me
m
ory leak on
erro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next