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
.gitignore: add compile
2014-04-28
Sven Verdoolaeg
e
.
gi
t
ignore: ad
d
c
ompile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-28
Sve
n
Verdoolaege
interface/Makefile
.
am: avoid use of INC
L
U
DES variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en
V
erdoola
e
ge
isl
_
m
ap_unio
n
_d
i
sjoint: check
spa
c
es before handling
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
laege
Merge
b
r
an
c
h
'
maint'
commit
|
commitdiff
|
tree
2014-04-24
Sven Ver
d
oolaege
is
l
_flow
.
c: all_sources: f
i
x memo
r
y management annotat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
isl_flow
.
c: com
p
ute_val_based_dependences: use
c
or
r
ect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-21
Sven
V
erdool
a
e
ge
isl_q
p
ol
y
nom
i
a
l
_
f
r
o
m
_aff: plug
m
e
mory lea
k
o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sven
Verdoolaege
drop isl_ta
b
_extend in favor of isl_tab_extend_co
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
S
v
en Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-04-17
Sven
V
erdoola
e
ge
isl_
s
ample
.
c: tab_shi
f
t_cone: us
e
isl_tab_extend_con
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
S
v
en
Verdoolaege
r
e
move W
A
RN_UNUSED fr
o
m p
u
blic head
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sven Verdoolaege
isl_pr
i
nter_free: free indent_pre
f
ix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-15
Sven Verdoolaege
i
s
l_input
.
c: ac
c
ep
t
_ext
e
nded_affine: plug memo
r
y leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
isl 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
is
l
_
schedule
.
c: extract_edge: avoid NULL pointer
derefe
r
ence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sve
n
Verdoo
l
a
ege
M
e
rge br
a
nch '
m
aint'
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Verdool
a
e
g
e
isl_map
.
c
: gr
e
ator: avoid dou
b
le
f
ree on err
o
r path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verd
o
olaege
isl_un
i
on_*_alloc
:
av
o
id double fr
e
e on er
r
o
r p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verd
o
olaeg
e
isl_union_*_
a
lloc:
plug me
m
ory leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven
Ver
d
oola
e
ge
i
sl_
c
tx_next_operation: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
update AUTHO
R
S
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven V
e
rdoo
l
a
e
ge
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2014-04-12
S
v
en
Verdoola
e
g
e
isl
_
printe
r
_to_str
:
avoid
a
c
c
ess to uni
n
i
t
ialized data
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verd
o
olaege
isl_
s
ched
u
le
.
c: graph_free: improve e
r
ro
r
handl
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
is
l
_as
t
_exp
r
_free: improve error hand
l
in
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
S
v
e
n
Ver
d
oo
l
aege
isl_ast_node_alloc_f
o
r: plug memory lea
k
on
error pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sv
e
n Verdoolaege
is
l
_map
.
c:
basic_set_maximal_difference_at:
avoid double
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
S
ven
V
erdoola
e
g
e
i
sl_coale
s
ce
.
c: eq_statu
s
_in: improve e
r
ro
r
h
a
n
d
l
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
S
ven Ve
r
doola
e
ge
isl_coa
l
esce
.
c: ineq_status_i
n
: im
p
rove error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Ver
d
oolaege
isl_
b
asic_set_dim_residu
e
_class: avo
i
d
d
ouble fr
e
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Ver
d
o
o
laege
is
l
_tab_pip
.
c: sol
_
for_free:
handle
N
U
L
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Ve
r
doolae
g
e
isl_tab_pip
.
c:
propagate_equal
i
ties:
return indicati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sve
n
Verdoolae
g
e
isl_tab_
a
dd_
s
ample: return in
t
inste
a
d of i
s
l_tab *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven V
e
rdo
o
laege
is
l
_
hash_table_foreach: improve
error handlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven
V
e
r
dool
a
ege
install deprecated h
e
ader fil
e
s in correct location
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven V
e
rdool
a
eg
e
Merge branc
h
'
m
aint'
commit
|
commitdiff
|
tree
2014-04-10
Sven Verdoolaege
interface/extract_i
n
terface
.
cc:
e
xplicitly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sve
n
Ver
d
oolaege
u
p
date for change in a
r
guments o
f
Compil
e
r
I
nstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven
V
erdoolaege
interface/
e
xtr
a
ct
_
interface
.
cc:
a
dd space
b
etween
literal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven V
e
rdoolaeg
e
doc/Su
b
mit
t
i
ngPatches: explain how
t
o submit
p
atch
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven
V
erdoolaege
al
s
o consider
memory allocations
to be "operations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-05
Sven Verdoolaege
isl_basi
c
_{set,map}_read_*: i
m
prove error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Verdo
o
laege
add is
l
_u
n
ion_map_get_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolae
g
e
add isl_un
i
on_m
a
p_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
add is
l
_union_map_project_
o
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
add isl
_
union_map
_
preim
a
g
e_domain_multi_pw
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en
V
erdoolaege
add mis
s
ing
d
eclaration f
o
r isl
_
union_ma
p
_preimage_dom
a
in
_
pw
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
isl
_
unio
n
_map
.
c: u
p
d
a
te doc
u
mentat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoola
e
ge
isl_space
_
prod
u
ct: allow se
t
space
s
as inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
isl_map
.
c: fix typo in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verd
o
o
l
aege
i
s
l
_*_to_
*
_s
e
t: fix error
h
an
d
lin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
erdoolaege
Me
r
ge
branch 'maint'
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
isl
_
test
.
c: test_vertices: check t
h
a
t the exp
e
cted
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
change isl_vertex ins
p
ectors to return prope
r
isl objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
S
v
en Verdoolaege
isl_ve
r
tices
.
c: move isl
_
basi
c
_set_set_integral be
f
ore
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaeg
e
privat
e
ly export isl_multi_aff_fro
m
_basic_se
t
_equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
isl_pw_mu
l
ti_aff_f
r
om_map
:
delay
c
o
mputation o
f
floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
S
v
en Verdoola
e
ge
add isl_m
u
l
t
i
_aff_floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolae
g
e
add isl_obj_pw_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-09
Sven Verdoolaege
i
n
clude/isl/depr
e
cate
d
/*in
t
.
h: al
l
ow inc
l
usion from C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdo
o
laege
a
d
d prelim
i
nary support for affin
e
NaN expre
s
sions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
S
ven Verdoolae
g
e
is
l
_input
.
c: accept
_
affin
e
: rena
m
e "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
S
v
en
V
er
d
oolaege
add
s
ome
b
asic
tests for binary
o
p
e
r
atio
n
s on isl_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
isl_aff
.
c
:
fix typo in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
S
v
e
n V
e
rdo
o
laege
isl_printer: add indent_p
r
efix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
S
ven Verdoolaege
i
s
l
_pr
i
nter: save cop
y
of prefix/suffix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
S
v
en V
e
rdoola
e
ge
isl_u
n
i
on_
*
_
add
_
*: al
i
gn parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sve
n
Verdoo
l
aege
dec
l
are i
s
l
_
uni
o
n_pw_m
u
lti_aff_align_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
isl_map_union: spe
c
ial case obviously
e
qual inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
S
ven Verdoolaege
i
sl_ast_build_ast_from_s
c
hedule: coale
s
ce input s
c
hedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
add a note on isl_map_union_disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven
V
er
d
o
olaege
isl_map_union:
av
o
id calling isl_
m
ap_union_disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
isl_ast_build_ast_from_schedul
e
: s
o
rt lower and upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
S
v
e
n
Verdoolaege
a
dd is
l
_pw_aff_
p
lain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Ve
r
dool
a
ege
add isl_local_s
p
ace_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
S
v
en Verdoolaege
add
i
sl_local_space_div_is_kno
w
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
add isl_spa
c
e_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
a
d
d isl_id_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
S
v
en Verdoolaeg
e
isl_*_fre
e
: return NULL pointe
r
of
o
b
je
c
t t
y
pe rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
S
v
en Verdoolaege
isl_spac
e
_free:
r
ena
m
e
dim variable t
o
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verd
o
olaege
doc: move memory management section
b
efor
e
valu
e
s section
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
S
v
en Verd
o
olaege
isl_aff_s
e
t_coefficien
t
_si
:
f
i
r
st c
h
eck if
c
oef
f
icien
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven
V
erdoolaege
add
i
sl_pw_
a
f
f
_reset_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sv
e
n Verd
o
o
laege
isl_pw_*_set
_
t
u
ple_
i
d: fix mem
o
ry management
a
nnotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoo
l
aege
add
isl_uni
o
n_se
t
_
r
e
s
et_us
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
S
v
en Verdoola
e
ge
add isl_
u
nion_set_preim
a
g
e
_union_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven
Verdoola
e
g
e
add i
s
l_union_set_preimage_pw_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven
Verdoolaege
add isl_union_set_preimage_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdo
o
laege
add isl_union_map_preimage_
r
ange_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdool
a
ege
i
s
l_union_map_preimage_domain_m
u
lti_aff: align paramete
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven V
e
rdoolaege
i
s
l
_
multi_*_align_para
m
s:
c
heck
i
f paramet
e
rs m
a
t
c
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sv
e
n Verdoolaeg
e
add isl_map_preimage_ra
n
ge_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoo
l
a
e
ge
add isl_map
_
preimage
_
range_pw
_
multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
doc: reorde
r
preimage
f
uncti
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verd
o
ol
a
ege
isl_map
.
c:
improve documentat
i
on of isl_map_preimage_
d
omain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
S
ven Verdoolaege
isl_mult
i
_pw_aff_pullback_mul
t
i
_
pw_aff: use isl_p
w
_aff_pu
l
lb
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
S
ven Verdool
a
ege
add isl_pw_aff_p
u
llbac
k
_mu
l
ti_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
Sven Verdoolaege
isl_map
_
prei
m
age_multi_pw_aff
:
special c
a
se
u
niverse set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
Sven Verdoolaege
add isl_multi_*_involves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
Sven V
e
rdoolae
g
e
add i
s
l_multi_af
f
_flatten_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next