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
Merge branch 'maint'
2014-05-01
S
v
en V
e
r
d
o
o
l
aege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2014-05-01
S
v
en
V
e
rdoolae
g
e
isl_local_spac
e
_inters
e
ct:
a
dd missing isl_local_space_cow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-01
Sven Verdoo
l
aege
AST generator: detect partia
l
executed
r
elations that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-01
S
ven Verdool
a
ege
isl_ast_bui
l
d_expr_from_se
t
:
r
eturn
valid
r
e
sult on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-29
Sven Verdool
a
ege
remov
e
spurious include of isl/config
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-28
Sven Verdo
o
laege
.
gitignore: add co
m
pile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-28
S
v
en
Verdoolaege
int
e
rface/Makefile
.
am:
a
void
use
of INCLUDES
va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdoolaege
isl_ma
p
_union_di
s
join
t
: check spa
c
es befor
e
h
a
n
dling
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
doola
e
ge
M
e
r
g
e br
a
n
c
h 'main
t
'
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
la
e
ge
isl_flow
.
c: all_sources: fix
m
emory
m
a
n
agement annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdoolaege
isl_flow
.
c:
c
o
m
pute_v
a
l_ba
s
e
d
_dependences: use correct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-21
S
ven Verdoolaege
isl
_
qpolynomial
_
fro
m
_aff: plu
g
memo
r
y
leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-17
Tobias G
r
oss
e
r
Av
o
id
uniniti
a
lized memory
w
arning in
v
al
g
r
in
d
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-17
S
ven Ver
d
oolaege
dro
p
i
s
l_t
a
b_extend in favor
of i
s
l_tab_
e
xtend_co
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-17
Sven
Verdool
a
e
g
e
M
e
r
ge b
r
anch 'main
t
'
commit
|
commitdiff
|
tree
2014-04-17
Sven Verdoolaege
isl_s
a
mple
.
c: tab_shift_cone:
u
se isl_tab_extend_c
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-17
Sven Ve
r
doolaege
remo
v
e WARN_UNUS
E
D fr
o
m public he
a
der
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-17
Sven Verd
o
olaege
i
s
l_printer_free
:
f
r
e
e
indent_pref
i
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-15
Sve
n
Verdoolaege
isl_input
.
c: accept_extended_af
f
ine: plug
memory
l
eak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolae
g
e
isl 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaeg
e
isl_schedule
.
c: extr
a
c
t
_
e
d
ge: avoid NULL
p
ointer dereference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdool
a
e
ge
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Verdool
a
ege
isl_map
.
c: greator
:
avoid doub
l
e free o
n
error
p
ath
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
isl_u
n
ion
_
*_alloc: avoid double free on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
isl_union
_
*_alloc: plug memory leak on
e
r
r
or p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
isl_ctx_next_
o
pe
r
ation: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
Mark t
h
e compute out featu
r
e
e
xperi
m
ental
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
S
v
en Verdoolaege
up
d
ate AUTHOR
S
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Ve
r
doolaege
M
e
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
isl_coalesce
.
c: isl_map_co
a
lesce:
im
p
rove
error
ha
n
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sv
e
n Verdoolaege
isl
_
printer_t
o
_s
t
r: avoid ac
c
e
s
s
to uninitialized data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
S
ven Verd
o
olaege
isl_schedule
.
c:
graph
_
free: im
p
rove error h
a
ndling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaeg
e
isl_ast_exp
r
_
free: improve e
r
r
o
r handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
S
v
en Verd
o
o
laege
i
s
l_ast
_
no
d
e
_
al
l
oc_for: plug mem
o
ry leak
on er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven
V
erdoolaege
isl_map
.
c
: basic_se
t
_maxi
m
a
l
_diffe
r
ence_at: avoid double
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoola
e
ge
isl
_
coale
s
ce
.
c
:
e
q
_statu
s
_i
n
:
imp
r
ove e
r
ror handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven
V
erdool
a
ege
isl_coa
l
esce
.
c: ineq_statu
s
_in: im
p
rove error
h
and
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
i
s
l_basic_set_dim_residue_c
l
as
s
: avoid
d
ouble free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
i
sl
_
t
ab_pip
.
c: so
l
_fo
r
_fre
e
: handle NU
L
L input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
S
ven Verdo
o
laege
isl_tab_pip
.
c:
p
ro
p
agate_equalities: return indica
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
S
v
e
n
Verdoolaege
isl_ta
b
_add_sample: r
e
t
urn int instead of isl_tab *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
is
l
_hash_table_foreach: impr
o
ve error ha
n
dlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven Ver
d
oolaege
install deprecated he
a
der
files i
n
c
o
rre
c
t
locat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Tobias Gros
s
er
i
s
l_union_map_allo
c
: Rena
m
e
d
im to space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven Ver
d
oolae
g
e
Merg
e
branch
'main
t
'
commit
|
commitdiff
|
tree
2014-04-11
Tobias
G
rosser
isl_
u
n
io
n
_map_alloc:
p
l
u
g
m
emory leak on e
r
ror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-10
Sv
e
n Verdoolaege
i
n
terface/extract_inter
f
a
ce
.
cc: explicitly incl
u
de
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-10
Sven
V
erdoo
l
ae
g
e
update for change in argum
e
nts of CompilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-10
Sv
e
n Verdoolaege
i
nte
r
f
ace/ext
r
act
_
i
nte
r
face
.
cc: add s
p
ace
b
etween liter
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-10
S
v
en
Ver
d
o
o
laege
doc/SubmittingPatches: explain
h
ow to submit patc
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-10
Sven Verdoolaege
also c
o
nsider memory allocations to be "operations
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-05
S
ven Verdoolaege
isl_basic_{set,m
a
p}_read_*:
i
mprove err
o
r m
e
s
s
age
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdo
o
laege
add isl_un
i
o
n
_map_get_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n
Verdo
o
laege
add is
l
_union_map_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdo
o
laege
add i
s
l_union_map_project_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Ver
d
oolaege
a
d
d isl_union_map_preimage_domain_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolae
g
e
add missing declaration fo
r
isl_u
n
ion_map_pre
i
m
a
ge
_
do
m
ain_pw
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
isl_u
n
ion
_
map
.
c: update documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en Verdo
o
l
a
ege
i
sl_space_prod
u
ct: allow set spaces as inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Verdoolaege
isl_map
.
c:
f
ix
t
ypo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
is
l
_
*
_to_
*
_set: fix e
r
ror hand
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
ven Verdoolae
g
e
Merg
e
branc
h
'
m
aint'
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
i
s
l_t
e
st
.
c:
test_
v
ertices
:
check
t
h
at the expected
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sve
n
Verdoolaege
change
is
l
_vertex inspect
o
rs
t
o return pr
o
p
e
r isl objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoo
l
aege
isl_vertices
.
c: move isl_basic_set_s
e
t_in
t
egral before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
pri
v
ately expo
r
t isl
_
multi
_
a
ff_from_basic_set_equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven
V
er
d
oolae
g
e
isl_pw_multi_aff_from_map:
delay c
o
m
p
utation of f
l
oor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verd
o
o
l
aege
ad
d
isl_multi
_
aff
_
floo
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
add isl_obj_pw_m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
Do n
o
t
d
ereference a
NULL
p
o
inter i
n
tab_for_lex
m
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Tobia
s
Gros
s
er
Fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-09
T
o
bias G
r
osser
Add exter
n
C to val_gmp h
e
ad
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-09
S
v
en Verdoolaege
include
/
isl/
d
epr
e
ca
t
e
d/*int
.
h
:
allow incl
u
sion from
C
++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
Sven Ver
d
oolaege
add preliminar
y
support
for af
f
ine NaN expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
Sv
e
n Verd
o
o
l
aege
isl_input
.
c: acce
p
t_affine: rename
"
d
i
m
" variable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
add
s
om
e
bas
i
c tests fo
r
binary operation
s
on isl_
a
ff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
Sve
n
V
erdoolae
g
e
i
s
l
_aff
.
c
:
fix typo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
Sve
n
Ve
r
d
oo
l
aeg
e
isl
_
prin
t
er: add ind
e
nt
_
prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
Sven V
e
rdoo
l
ae
g
e
isl_printer: save
copy of prefix/suffix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
Sven Ver
d
oolae
g
e
isl_union_*_ad
d
_*:
align
parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
S
v
en
Verdoolaeg
e
decl
a
re
i
sl_
u
nion_pw_
m
ul
t
i
_
aff_align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
Sve
n
Verdoolae
g
e
isl_map_union: sp
e
cial case
o
bviously equal inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
Sven
V
e
rdoolaege
is
l
_ast_build_ast_fr
o
m_
s
chedule
:
coalesce input schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
Sv
e
n V
e
rdoo
l
a
e
ge
add
a
note on
i
s
l_map_union_di
s
joint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
isl_m
a
p_union: avoid calling isl_map_un
i
on_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
Sve
n
Verdoolaege
i
sl_ast_bui
l
d_ast_from_schedule: so
r
t
low
e
r and upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
Sven Ve
r
doolaeg
e
a
dd
isl_pw_aff_plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verd
o
olaege
add
isl_l
o
cal_space_c
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
S
v
en V
e
r
d
oolaege
a
d
d isl_
l
o
c
al_space_d
i
v_is_known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
Sven
Verdoolaege
a
dd
i
sl_space_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
S
v
en Verdoo
l
aege
add isl_id
_
cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
Sven van Haast
r
egt
AX_
D
E
TECT_GIT_HEA
D
:
a
void empty vers
i
o
n
string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
A
l
e
x
a
n
dre Isoard
isl_{set,m
a
p}_dim_{min,m
a
x}: fi
x
o
utput space on
e
mpty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
isl_*_
f
ree:
r
eturn NULL pointer of obje
c
t
t
ype rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
Sve
n
Verdoo
l
aege
isl
_
space_free: rename dim v
a
riable to space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
Sven Ve
r
dool
a
ege
d
o
c: move memory m
a
nagement
section befo
r
e va
l
ue
s
sec
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
S
v
en Ver
d
oolaege
isl_
a
ff_set_c
o
e
f
ficie
n
t_
s
i: first check if coefficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
add isl_pw_aff_res
e
t_tu
p
le
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
Sven Ver
d
o
o
laege
isl_pw_*_set_t
u
ple_id: fix
memory management ann
o
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
S
ven Verd
o
o
laege
add isl_uni
o
n
_
set_r
e
set
_
user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next