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
document isl_{set,map}_set_tuple_name
2014-05-27
Sv
e
n Verdoolaege
docu
m
e
n
t
i
sl_{set
,
map}_set
_
tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-01
Sven Verdoola
e
g
e
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2014-05-01
Sven
Ver
d
oolae
g
e
i
s
l
_local_space_intersect
:
add missing
isl_local_s
p
ace_cow
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-01
Sven
Verd
o
olaege
AST genera
t
or: detect partial
e
xecuted
r
elations
that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-01
Sven
V
er
d
oolaege
i
s
l_ast_bui
l
d
_expr_from_set: re
t
urn vali
d
r
e
sult on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-29
Sven Verdoolaege
remove spurious include
o
f isl
/
co
n
fig
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-28
Sven V
e
rdoolaege
.
g
i
ti
g
nore: add compile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-28
Sven
V
erd
o
o
l
ae
g
e
i
nter
f
ac
e
/Mak
e
file
.
am: avoid use of INCLUDES variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolae
g
e
is
l
_map_union_disjoint: c
h
e
c
k
spaces befor
e
han
d
ling
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdoola
e
ge
isl_flow
.
c
:
a
ll_sour
c
es:
f
ix memory m
a
nagement annota
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
doo
l
aege
isl_flow
.
c:
compute_v
a
l_bas
e
d_depe
n
d
ences: us
e
correct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-21
Sven Verdoolaeg
e
isl_qpolynom
i
al_from_aff: p
l
ug memory leak on
e
rro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-17
Sven Verdoolaege
drop isl_t
a
b_exte
n
d in favor of isl
_
tab_e
x
t
end_co
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-17
Sv
e
n Verdoolaeg
e
Merge
branch 'm
a
int'
commit
|
commitdiff
|
tree
2014-04-17
Sven Verd
o
olaege
isl_sample
.
c: ta
b
_shift_cone:
u
se isl_tab_extend_cons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-17
Sven Ve
r
do
o
laege
remove WARN_UNUS
E
D
f
r
o
m
p
u
b
lic heade
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-17
Sven Ve
r
dool
a
ege
i
sl_printer_free: free inden
t
_pre
f
ix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-15
Sv
e
n Verdoolaege
isl_input
.
c: acc
e
pt_extended_affine
:
plug memory leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verd
o
olaege
isl 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Ver
d
oolae
g
e
isl_schedule
.
c
:
extract_edge: avoid
NUL
L
pointer derefer
e
nc
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
rdoo
l
aege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
i
sl_map
.
c: greator:
a
void double free on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
isl_unio
n
_*_all
o
c: avoid do
u
ble fr
e
e on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoo
l
ae
g
e
isl_union_
*
_allo
c
:
p
l
ug
mem
o
ry leak on err
o
r path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sve
n
Verdool
a
ege
isl_ctx_next_operation:
h
an
d
le NULL inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdo
o
laege
u
pdate
AUTHORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sve
n
Verdoolaege
M
e
rg
e
branc
h
'mai
n
t'
commit
|
commitdiff
|
tree
2014-04-12
Sven
Verdoolaege
is
l
_
printer_to_str: avo
i
d access t
o
uninitialized
data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoola
e
ge
isl_schedule
.
c: graph_fr
e
e
:
improve erro
r
han
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sve
n
Verdool
a
ege
isl_ast
_
expr_
f
re
e
: improve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
S
ven
Verdo
o
laege
isl_a
s
t_node
_
al
l
oc_for: p
l
ug
memo
r
y leak
on
e
r
ror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaeg
e
isl_map
.
c: basic_set_m
a
xima
l
_
d
if
f
erence
_
at: avoid do
u
ble
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verd
o
olaege
isl_
c
oa
l
esce
.
c: eq_status_in:
improve error handl
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
S
ven
V
erdo
o
laege
isl_coalesce
.
c: ineq_statu
s
_
i
n: improve error handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
S
ven
Verdoolaeg
e
isl_b
a
s
ic_set_dim_residue_cl
a
ss: avoid
do
u
bl
e
f
r
ee
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdool
a
ege
isl_tab_pip
.
c
:
so
l
_
f
o
r_fre
e
:
h
andl
e
NULL
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoo
l
aege
isl_ta
b
_pip
.
c
: pro
p
aga
t
e_equalities:
return
indication
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sv
e
n Verdoolaege
isl_tab_
a
dd_sample:
return
int in
s
tead of isl_tab *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
isl_hash_tabl
e
_foreach
:
improve err
o
r
h
a
ndling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdo
o
l
a
ege
install depreca
t
e
d
header files in co
r
r
e
c
t location
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-12
Sven V
e
rdoolaege
M
erge bra
n
c
h
'mai
n
t'
commit
|
commitdiff
|
tree
2014-04-10
Sven Verdoolaege
interface/extr
a
ct_inte
r
fa
c
e
.
cc: ex
p
licitly inc
l
ude
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-10
Sven Verdoola
e
g
e
update
f
or change in arguments of CompilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-10
Sven V
e
rdoolaege
in
t
e
rface/extract_i
n
terfa
c
e
.
c
c: add space betw
e
en lit
e
ra
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-10
Sven Verdoolaege
do
c
/SubmittingPatche
s
:
explain how to submit patch
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-10
Sve
n
V
erdoolae
g
e
also consi
d
er
memory a
l
loc
a
t
ions to be "o
p
e
r
a
tions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-05
Sven Verdoolaeg
e
isl_
b
asic_{s
e
t,map}_read_*: impro
v
e error mes
s
age
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
add
i
sl_union_map_
g
et_di
m
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Verdoolae
g
e
a
d
d isl_union_map_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verd
o
olaege
add isl_union_map_project_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Verdoolae
g
e
add isl_union_ma
p
_pre
i
mage_domain_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ver
d
oola
e
ge
add m
i
s
s
i
ng declaration for
i
sl_union_map_prei
m
age_domain_pw
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
isl_union_
m
ap
.
c: u
p
date do
c
ument
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en Verdoo
l
aege
isl_space_product: allow set spaces a
s
inpu
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Verdool
a
eg
e
isl_
m
ap
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Ve
r
doolaege
i
s
l_
*
_to_*_s
e
t: fix error handlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Verdoolaeg
e
Mer
g
e branch 'mai
n
t'
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdool
a
ege
isl_t
e
st
.
c: te
s
t_vert
i
ces:
c
hec
k
tha
t
the expected
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
change i
s
l_vertex
inspectors to ret
u
rn proper
i
sl objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
S
ven Ver
d
oolaege
isl_vertices
.
c:
move isl_bas
i
c_
s
et
_
s
et_integral before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Ve
r
doolaeg
e
p
rivate
l
y export i
s
l_multi_aff_f
r
om_bas
i
c_
s
et_equalit
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
is
l
_p
w
_multi_
a
ff_from_map
:
del
a
y
computatio
n
o
f floor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
add isl_multi
_
aff_f
l
oor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
add isl_obj_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-09
Sve
n
Verdoolaege
include
/
i
s
l/deprecated/
*
i
n
t
.
h:
a
llow inclu
s
ion from C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
S
v
en
V
erdoolaege
ad
d
p
r
elimi
n
ary supp
o
r
t
for
a
ffin
e
N
a
N e
x
pressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
S
ven Verdoolaege
isl_in
p
ut
.
c
:
ac
c
ept_affine: ren
a
me "dim"
v
ariable to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdo
o
laege
a
d
d some basic
t
ests for b
i
n
ary
o
perations on i
s
l_
a
ff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
S
v
en Verdoolaege
i
sl_a
f
f
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
Sv
e
n Verdoolaege
isl_printe
r
: add in
d
ent_prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
isl_printer
:
s
a
ve
copy
o
f prefix/suffix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaeg
e
isl_uni
o
n_*_add_*: align parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
Sve
n
V
e
rd
o
olaege
declare isl_union_p
w
_multi_a
f
f_a
l
ign
_
par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-02
S
v
e
n Verdoolaege
isl_map_union:
s
pecial c
a
s
e ob
v
iously equal inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
i
s
l
_ast_build_ast_from_schedule: coal
e
sce
input s
c
h
e
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
S
v
en
Verdoolaege
a
d
d a
n
ote on isl_
m
a
p
_union_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoo
l
aege
isl_map_union: a
v
oid calli
n
g isl_map_
u
n
i
on_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
S
v
en Verdoolaeg
e
i
sl_a
s
t_
b
uil
d
_ast_fr
o
m_schedule: sort lower an
d
upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
add isl_pw_aff_plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
add
i
s
l_loc
a
l_
s
pace_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoola
e
ge
add isl_local_space_div_is_k
n
own
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaeg
e
add is
l
_
s
p
a
ce_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-01
S
ven Verdool
a
ege
add isl
_
id
_
c
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
S
v
en Verdool
a
ege
isl_*_free: r
e
tu
r
n NULL pointer o
f
object typ
e
rat
h
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
S
ven Verdoolaege
isl_space_free: rename di
m
v
a
r
iabl
e
to space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
doc: move
m
emory management section b
e
fore
values s
e
c
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
Sven Ver
d
oo
l
aege
isl_aff
_
set_c
o
effi
c
ient_si: first che
c
k i
f
coeffici
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
Sven
V
e
r
doolaege
a
dd isl_pw_aff_reset_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
S
v
en Verdoolaege
isl_p
w
_
*_set_tuple_id: fix memory manage
m
ent
a
nnotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
S
v
e
n Verdoolaege
a
d
d
isl_union
_
set_r
e
set_
u
ser
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
Sven V
e
rdool
a
ege
a
dd isl_un
i
on_set_preimage_union_pw_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
add isl_union_set_preimage_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
Sve
n
Ver
d
oolaege
add isl_unio
n
_set_preimage_mul
t
i
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
Sven Ve
r
doolaege
add isl_unio
n
_map_preimage_rang
e
_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoo
l
aege
isl_
u
ni
o
n_
m
ap_preimage_domain_multi_aff: al
i
gn
p
a
rameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
S
v
en Verdoolae
g
e
isl_multi
_
*_align_params: check if parameters ma
t
ch
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
S
v
en Verdoolaege
a
d
d is
l
_map
_
preimage_range_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verd
o
olaege
add isl_m
a
p_preimage_range
_
pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
doc: reo
r
der preimage fun
c
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next