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_test.c: test_ast: avoid invalid access on error
2012-09-06
S
v
en
Ve
r
doola
e
ge
isl_aff
.
c: document isl_aff
_
normalize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaege
i
s
l_aff
.
c:
f
ix typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Ve
r
doolaege
h
i
de
internal c
h
eck_help
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
laege
hide internal
basic_map_
i
d
e
ntity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_map_simp
l
ify
.
c
:
r
e
m
ove_dupli
c
ate_d
i
vs: pres
e
rve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
isl_basic_map_drop_redundant
_
di
v
s: don't drop div
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sv
e
n Verdoolae
g
e
i
sl_test:
g
ener
a
li
z
e subset
test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Ver
d
oolaege
rename is
l
_set_
d
im_has_*_bound to isl_set_dim_has_any_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
relicense isl und
e
r th
e
MIT li
c
ense
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verd
o
olaege
conf
i
gure
.
a
c: link agai
n
st s
a
me LLVM components
a
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven V
e
rd
o
olaeg
e
M
e
rge branc
h
'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
erdoolaege
i
sl_map_in
t
erse
c
t: fix error h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdool
a
ege
is
l
_access_info_add_source: plug m
e
mory lea
k
on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sv
e
n Verdoolaeg
e
isl_set_dim_residue_class: c
o
rrectly consider all
b
asic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
S
v
e
n Verdoolae
g
e
isl_map_s
u
btract: ha
n
d
le duplicate divs in subtrahend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
Sven Verdoolaege
isl_aff_scale_down: check for scal
i
ng down by zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdool
a
ege
add isl_*_list
_
d
r
op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdoolaege
is
l
_*_list_add: dyn
a
mically gr
o
w li
s
t
to accom
o
date
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
S
ven
V
er
d
oolae
g
e
configure
.
ac: don't allow insta
l
l
a
ti
o
n
i
n sour
c
e or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdool
a
ege
add i
s
l_space_is
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
e
xport
i
sl_s
p
a
ce_is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
ven Verdoolaeg
e
doc:
docu
m
e
n
t isl_spa
c
e_is_e
q
ual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
ven Verdool
a
ege
add isl_space_is_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
v
en
Verdoolaege
declare is
l
_pw_multi
_
aff_p
r
oje
c
t_domain_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verd
o
olaege
a
d
d i
s
l_map_ha
s
_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-04
Sven
V
erdoolaege
A
U
THORS:
add Myth
r
i Alle
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdo
o
laege
i
sl_printer_
f
ree: r
e
turn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
olaege
declare isl_pw_multi
_
aff_drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaeg
e
export isl_multi_aff_gis
t
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolae
g
e
extrac
t
comm
o
n
i
mplement
a
tion
o
f
T
a
r
ja
n
's algorithm
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en
V
er
d
oolaeg
e
a
d
d isl_point
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Ver
d
oolaege
isl
_
union_m
a
p_extract_map: ignore
p
arameters in
s
pace
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoolaeg
e
i
s
l_uni
o
n
_map_
e
xtract_map: r
e
name dim argument
t
o
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdoolaege
is
l
_
map_s
i
mplify
.
c
: e
l
im
i
na
t
e
_
v
a
r_using_equality:
n
ormalize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Ve
r
doolaege
i
s
l
_st
r
eam_r
e
ad_map: force result
t
o b
e
a
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verdoolaege
is
l
_str
e
am_read_map: acc
e
pt rational af
f
i
ne expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add i
s
l_map_{lexmin,lexmax}
_
pw_
m
ul
t
i_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n
V
erdoolaege
declare is
l
_m
a
p_remov
e
_
unknown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoo
l
a
e
ge
doc: document isl
_
set_re
m
ove
_
unknown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
rd
o
olaege
declare isl_
m
ap_remove_div
s
_involv
i
n
g_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doolaeg
e
add isl_basic_s
e
t_
r
emove_divs
_
involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en
V
erd
o
olaege
doc: document isl_set
_
r
e
mo
v
e_divs
_
i
n
volving
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdo
o
lae
g
e
add isl_basic_
s
et_elimi
n
ate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
e
rdoolae
g
e
add isl_uni
o
n_set_from_basic_set
and is
l
_un
i
on_m
a
p
_
fro
m
_basi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verdoolae
g
e
add isl_basic_{set,map}_
i
nse
r
t_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
ege
add isl_ba
s
ic_{set,map}_ali
g
n_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoolaege
add
i
sl_u
n
ion_map_domain_prod
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoolaeg
e
decla
r
e isl_
b
as
i
c_m
a
p_pr
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
V
e
rdoola
e
ge
a
d
d
isl_pw
_
multi_a
f
f_pro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolae
g
e
add i
s
l_pw_multi_
a
ff_union_{l
e
xmin,lexmax}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Ve
r
doolaege
isl_set_fre
e
: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
olaege
add isl_multi_aff_l
e
x_{le,ge}_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
r
d
oolaege
d
ecla
r
e
i
sl_mult
i
_af
f
_get_domain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdoo
l
aege
add isl_multi_a
f
f_
i
d
entity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolae
g
e
add
isl
_
a
ff_neg_basi
c
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doo
l
aege
add isl_af
f
_add_c
o
nstant
_
n
u
m{,_si}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoolae
g
e
a
d
d
isl_id_
l
is
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add
i
s
l
_*
_
li
s
t_se
t
_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doolaege
add
i
s
l_
p
w_mult
i
_aff_has_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
e
r
doolaege
decla
r
e
is
l
_pw_aff_get
_
tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_map_h
a
s_dim_
n
a
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_local_space_has_
d
im_id an
d
isl_local_space_get_
d
im_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaeg
e
isl
_
set_opt: align p
a
rameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
i
sl_multi_
*
_set_
*
: check that parameters and
domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verdoola
e
ge
isl_basic_map_range_product: check
t
hat
p
a
r
ameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdo
o
laege
isl_ba
s
ic_map_simp
l
ify: eliminate kno
w
n divs tha
t
appear
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
e
rdool
a
e
g
e
isl_
b
asic
_
ma
p
_remove_divs_involving_dims: insert bo
u
nds
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
ool
a
e
g
e
i
sl_basi
c
_map_simplify: norm
a
lize d
i
v e
x
pressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Tobias Grosser
U
se
a
n
M
IT licensed mergesor
t
as the
s
o
r
ting algorith
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_access_info_free: retur
n
NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-31
Sven Verdo
o
laege
add isl_printer_print
_
double
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-30
S
ven Verdoo
l
aege
doc: add a note on isl_dim_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-30
Sven
Ve
r
doolaege
doc: add a note
about
i
sl_*_
i
nter
s
ect an
d
parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-28
S
v
en Verdoolaege
doc:
add missing
d
ocume
n
tation for some sch
e
duling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
Sven V
e
rdoolaege
Merge branch
'm
a
int
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
Sven Verdoolaege
isl_pw_*_real
i
g
n_domain: plug memory l
e
ak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
S
v
en Verdoolaege
i
sl_handle_
e
rror: av
o
id
use of isl_options_g
e
t_o
n
_error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
Sven Ve
r
d
oolaege
is
l
_space_extend_do
m
a
in_with_range: handle ranges with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
S
v
en Ve
r
dool
a
ege
isl_
m
ap_eliminate: check for
ov
e
rflow in compu
t
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
Sve
n
Verdoolaege
isl_*_eliminate: update c
o
mm
e
nts to reflect recent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-16
Sv
e
n Verdool
a
e
g
e
Merge branch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-16
Sven
V
er
d
o
olaege
i
s
l_multi_aff_set_dim_
n
ame: do not set name of elements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-13
S
v
en Verdoolaege
add doc/SubmittingPatches to the distributio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-13
Sven Verdoolaege
doc:
fix typo
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-11
Sven
Verdoola
e
ge
isl_*_eli
m
inate:
p
erform i
n
teger elim
i
nation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-11
Sve
n
Verdoolaege
p
r
ivat
e
ly expo
r
t i
s
l_basic_map
_
inser
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-08
Mythri Alle
isl
_
hash
.
c
:
reset the num
b
er of entries
t
o
0
w
h
en growing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-14
Sven Ve
r
doo
l
aege
is
l
_flow
.
c: merge is
l
_restriction_no
n
e and isl_
r
estriction
_
empt
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-09
Sven Verdoolaege
isl_tab_basic_map_partia
l
_lexopt: don't normalize intermedia
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
doolaege
isl 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
isl_space
.
c: avoid icc
w
a
rning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolae
g
e
isl_sc
h
ed
u
le
.
c: fix types of
e
num isl_
e
d
g
e_type
i
terato
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n Ve
r
dool
a
e
g
e
i
sl_inp
u
t
.
c
: c
o
nstruct_co
n
s
t
raints: avo
i
d icc warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oolaege
isl_handle_error
:
fix type of erro
r
argu
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoo
l
aege
up
d
a
te
A
U
THORS
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
r
d
oolaege
a
dd isl_map_
o
rder_lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-02
Sve
n
V
e
r
doolae
g
e
isl_space_unwrap: fix error me
s
sag
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-30
Sven Verdoolaege
Merg
e
bran
c
h 'main
t
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-30
Sv
e
n Verdo
o
laege
isl_union_se
t
_compu
t
e
_
schedule: f
i
x com
p
u
t
ation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-30
Sven V
e
r
d
oolaeg
e
isl_sp
a
ce
_
inse
r
t
_dims: fix
handling
of n
e
sted spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next