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-04-24
Sv
e
n Verdo
o
laege
Merge branch 'mai
n
t
'
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
V
e
r
doolaege
isl_fl
o
w
.
c:
a
ll_so
u
rces: fix memory ma
n
a
g
e
m
ent annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Verdoolaege
isl_fl
o
w
.
c: com
p
ute_val
_
based_depen
d
en
c
es: use
c
o
rrect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-21
Sven Verdoolaege
i
sl_
q
p
olyno
m
ia
l
_from_a
f
f:
p
lu
g
m
emory
leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
T
o
bias
Gr
o
sse
r
Avoid
u
n
i
niti
a
li
z
ed memory wa
r
ning in
val
g
r
i
nd wh
e
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sven
V
erdoolaege
drop isl
_
tab_exte
n
d in
favor of isl
_
tab_ex
t
e
n
d_cons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sven
V
erdoola
e
ge
Merge
branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2014-04-17
Sven Verdoolaege
isl_sample
.
c: tab_shift_cone
:
u
se isl_
t
ab_extend_con
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
S
ven Verdoolaege
remove WARN_UNUSED from
p
u
blic heade
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sv
e
n Verdoolaege
i
sl_printer_free: free indent_p
r
efix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-15
Sven Verdo
o
laege
isl_
i
n
put
.
c
:
accept_extended_a
f
fine: plug
m
emory lea
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
lae
g
e
isl 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaeg
e
i
sl_sche
d
ule
.
c: e
x
tract_edg
e
:
a
void
N
U
LL pointer dereference
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
isl_map
.
c:
g
reator: avoid double fr
e
e on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Verd
o
o
laeg
e
i
sl_un
i
on_*_alloc: avoid double free
o
n error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
ve
n
Ver
d
oolaeg
e
isl_u
n
ion_*_alloc: plug memo
r
y leak on er
r
o
r path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
isl_ctx_
n
ext_operation: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Gross
e
r
Ma
r
k th
e
comput
e
out fea
t
ure experimental
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
S
v
e
n
V
e
rdoolaege
update AUTHORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
S
v
e
n Verdoolaege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
i
sl_coalesce
.
c
:
isl_map_coalesce: improve e
r
ro
r
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
S
ven Verd
o
olaege
isl_printe
r
_
t
o_str:
a
vo
i
d ac
c
ess to
uninitia
l
i
zed data
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven
V
e
rdo
o
laege
i
sl_schedule
.
c
:
graph_free: impr
o
v
e erro
r
han
d
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoo
l
a
e
g
e
isl_ast_
e
xpr_free: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
S
ven V
e
rdoola
e
ge
isl_ast_node_alloc_for: plug memo
r
y
lea
k
on
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
isl_map
.
c: basic_set_ma
x
i
mal_differen
c
e
_
at: av
o
id
double
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven V
e
rdoolaege
isl_coalesc
e
.
c: eq_status_in
:
impro
v
e error
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sve
n
Verd
o
olaege
isl_coalesce
.
c: i
n
e
q_sta
t
u
s_in:
improve err
o
r
handli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sv
e
n Ve
r
doo
l
aege
isl_basic_set_dim_residue_class: a
v
oid doubl
e
fre
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
S
v
en V
e
rdoolaege
i
s
l_
t
ab_pip
.
c: sol
_
for_free: handl
e
NUL
L
i
n
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven
Verdo
o
laege
isl_tab_pip
.
c: propaga
t
e_equalities: return indication
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sve
n
Verdoolaege
isl_tab_add_sample:
r
eturn in
t
ins
t
ead
of isl_tab *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven
V
erdoola
e
ge
isl_hash_table_foreac
h
: im
p
r
o
v
e
e
rror handl
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven
Verdoolaege
i
n
stall deprecated header fi
l
es
i
n correct location
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Tobias Grosser
isl_union_map_allo
c
: Ren
a
me dim to
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
S
ven
V
erd
o
olaege
Merge branch
'
maint'
commit
|
commitdiff
|
tree
2014-04-11
Tobias Grosser
is
l
_union_map_alloc:
p
l
ug m
e
mory leak on err
o
r path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Ver
d
oolaeg
e
in
t
erface
/
e
x
trac
t
_interface
.
cc: e
x
pl
i
c
i
tly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Ve
r
d
o
o
laege
update for change in argum
e
nts of Comp
i
l
erInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Verdoolaege
interface/extract_int
e
rface
.
cc: ad
d
sp
a
ce
b
etwe
e
n literal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Ve
r
d
oolaege
d
o
c
/SubmittingPatches:
explain how to sub
m
it pat
c
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Verdoolaege
also
c
on
s
id
e
r me
m
ory allo
c
a
tions to be "operations
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-05
S
v
en Verdoolaege
isl_basic_{set,map}_read_*:
i
m
prove erro
r
mess
a
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
add isl_union_m
a
p_get_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
erdo
o
laege
ad
d
i
s
l_union_map_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Verdoolaege
add is
l
_
u
nion_map
_
proj
e
ct_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
add isl_uni
o
n_map_preimage_dom
a
in_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Verdoolaege
add mi
s
sing dec
l
ar
a
ti
o
n for is
l
_
union_map_
p
reimage_domain_p
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
isl_union
_
map
.
c:
u
pdate documenta
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdo
o
laege
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
Sven
Ve
r
d
o
olae
g
e
isl_map
.
c: fix typo in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
isl_
*
_to_*_set: fix er
r
or
hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Verdoolaege
Merge branch
'
m
aint'
commit
|
commitdiff
|
tree
2014-03-30
S
v
en Ve
r
doolaege
isl_te
s
t
.
c
:
t
est_
v
ertice
s
:
check that
t
he expe
c
ted
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Ve
r
do
o
la
e
ge
change isl_
v
erte
x
i
n
spectors to re
t
urn proper is
l
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sve
n
Verdoolaeg
e
isl_vertices
.
c:
m
ove isl_basic_set_set_int
e
gr
a
l before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
S
ven Verdoo
l
aege
priv
a
te
l
y expo
r
t isl_multi_af
f
_fr
o
m_basic_set_equalitie
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdo
o
laege
isl_pw_multi
_
aff_from_map: delay computat
i
o
n of
floo
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven V
e
rdoolae
g
e
a
d
d isl_mul
t
i
_
aff_f
l
oor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven V
e
rd
o
olaege
add isl_obj_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
Do not
derefere
n
ce a
NULL pointer in tab_for_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
F
ix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-09
Tobias Gros
s
er
Add extern C to va
l
_
g
mp header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-09
Sven V
e
r
d
oolaege
i
n
clude/isl
/
deprecated/*int
.
h: a
l
low inclusion f
r
om
C
++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sve
n
Verdoola
e
ge
add preliminary su
p
po
r
t for affine NaN expres
s
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
isl
_
inpu
t
.
c: accept_affine: ren
a
me "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
a
d
d some basic tests
f
or binary operations on i
s
l_
a
ff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven V
e
rdoolaege
isl_aff
.
c: fix typo in
comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
isl_printer: add inden
t
_
prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven
V
erdoolaeg
e
i
s
l_printer
:
save copy of prefi
x
/suffix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven V
e
rd
o
olaeg
e
i
s
l_union_*_add_*:
align
p
arameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
declar
e
isl_union_pw_multi_aff_align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sve
n
V
erdoolaege
isl
_
map_u
n
ion: spe
c
ial case obviously equ
a
l
i
npu
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sv
e
n Verdoo
l
aege
i
s
l
_
a
st_build_ast_
f
rom_sched
u
le: coa
l
esce input schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven
V
erdoolaege
add
a
note on i
s
l_ma
p
_union_disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
isl_map_un
i
on: avoid calling isl_map_union_
d
isjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
isl_
a
st
_
b
u
i
ld_ast_from_schedule
:
s
o
r
t lower and u
p
per
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Ve
r
doolaege
a
d
d isl_pw_aff_p
l
ai
n
_
cm
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sve
n
Verdool
a
ege
add isl_local_space_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Ver
d
oolaege
add isl_local_spa
c
e
_
div_is
_
know
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Ve
r
d
o
ol
a
ege
add isl
_
space_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
add isl_id_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven
v
an
H
aastregt
AX_DETECT_GIT_HEAD
:
avoid empty
v
ersion strin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Alexandre Iso
a
rd
isl_{set,m
a
p}_dim_{min,max}
:
fix ou
t
p
ut space on empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sv
e
n
Verdoolaege
isl_*_free: return NULL pointer of obje
c
t type rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
isl_sp
a
ce_fre
e
: rename dim variable to spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Ver
d
oolaege
doc: move memo
r
y management section
b
efore val
u
e
s
section
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdo
o
laeg
e
is
l
_aff_set
_
coef
f
i
cient
_
si: first check
i
f coeffi
c
ient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
add isl_pw_aff_rese
t
_t
u
ple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sv
e
n
Verdoolaege
isl_pw_*_
s
e
t_tuple_i
d
: fi
x
m
emory
managemen
t
annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Ver
d
oolaege
ad
d
i
sl_union_set
_
r
e
s
e
t_
u
ser
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven
V
e
rdoolaege
add isl_union_set_
p
reimag
e
_union_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sve
n
Verd
o
o
l
aeg
e
add i
s
l_u
n
io
n
_set_preim
a
g
e
_pw_mult
i
_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven
V
erdoolaege
add
isl_
u
nion_set_preimage_
m
ul
t
i
_
af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
S
v
en Verdool
a
ege
a
d
d
i
s
l_un
i
on_map_preimage_
r
ange_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Ver
d
o
olaege
is
l
_unio
n
_
map_preimage_domain_multi_aff:
a
l
i
gn parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Ve
r
do
o
laege
isl
_
m
u
lti_*_ali
g
n_params: check if parameters match
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdoolaege
add isl_map_
p
r
eimage_range_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verd
o
olaege
add isl_
m
ap_p
r
eimage_range_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next