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
Sven
Verdoolaege
document isl_{s
e
t
,map}_
s
e
t
_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-01
Sven Verdoo
l
ae
g
e
Merge
b
r
a
n
c
h 'maint'
commit
|
commitdiff
|
tree
2014-05-01
Sven Verdoo
l
a
e
g
e
isl_
l
ocal_sp
a
ce_int
e
rsect: add missing isl
_
local_
s
pace_cow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-01
Sven V
e
rdoolaege
A
ST generator:
d
et
e
ct par
t
ial e
x
ecute
d
rela
t
i
ons that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-01
Sven Verd
o
ola
e
ge
i
s
l_ast_build_e
x
p
r_from_set:
return valid re
s
ult on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-29
Sv
e
n V
e
rdoola
e
ge
rem
o
ve spurious include of isl/config
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-28
Sve
n
Verdoolaege
.
gitign
o
re: add compile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-28
Sven Verdool
a
e
ge
i
nterface/Ma
k
e
f
i
le
.
am: av
o
i
d use of INCLUDES variab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
isl_map_union_disjoint: check spaces
b
efore handl
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdo
o
l
a
ege
isl_flow
.
c: a
l
l_sourc
e
s:
fi
x
memory
m
a
n
age
m
ent annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdoolaege
i
s
l_flow
.
c: com
p
u
t
e_val_based_dependences: use correct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-21
Sve
n
Verdoolae
g
e
isl_qpoly
n
omial_from_aff:
p
lu
g
memory leak on
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Tobias Gro
s
ser
Avoid uninitialized memory warnin
g
in va
l
grind when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sven Verdoolaeg
e
drop isl_tab_extend in favor of
i
sl_t
a
b
_extend_cons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
Sven Verdoolaege
M
e
rge bra
n
ch
'
ma
i
nt'
commit
|
commitdiff
|
tree
2014-04-17
Sven Verdoolaege
i
sl_sam
p
le
.
c: tab_shift_cone: use i
s
l_
t
ab_extend
_
c
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
S
v
en Verdoolaege
r
e
move WARN_UNUSED from public header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-17
S
ven
Verdoolaege
is
l
_
printe
r
_free:
free indent_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-15
Sven
V
erd
o
olaeg
e
i
sl_inpu
t
.
c: ac
c
ept_extended_affine: plug mem
o
ry
l
eak
.
.
.
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
Sv
e
n Ve
r
do
o
l
aege
isl_schedule
.
c: extract_edge: avoid NULL point
e
r
dereference
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
Merge bran
c
h 'm
a
i
nt'
commit
|
commitdiff
|
tree
2014-04-14
S
ven
V
e
r
do
o
laege
isl_map
.
c: greator: avoid double
f
ree on error pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven V
e
r
d
oo
l
aege
isl_un
i
on_*_alloc: avoid double free on error
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolae
g
e
i
s
l_u
n
ion_*_a
l
loc
:
plug memory le
a
k on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sve
n
Verdoolaege
isl_ctx_next_operation: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Tobias Grosser
Mark the compute ou
t
featur
e
experimental
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Ve
r
do
o
laege
update
AUTHOR
S
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sv
e
n V
e
rdoolaeg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-04-13
Tobias
G
rosser
isl_coales
c
e
.
c
:
isl_map_coales
c
e: improve error
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
S
ven
V
er
d
oola
e
g
e
isl_p
r
inter_to_str: av
o
id
a
cc
e
s
s
to uninitialized
data
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven V
e
rdoo
l
aege
i
sl_sc
h
edu
l
e
.
c: g
r
aph_free: impro
v
e error hand
l
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven V
e
rdoola
e
ge
isl_ast_exp
r
_
free: improve er
r
or handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sv
e
n Verd
o
olaege
i
sl_ast_node_alloc_for: plug mem
o
ry leak o
n
err
o
r path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaeg
e
isl_map
.
c: bas
i
c_set_maximal_difference_at: avoid double
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Ve
r
doolaege
isl_coalesce
.
c: eq_status_in: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sv
e
n Verdoolaege
isl_coa
l
esce
.
c: i
n
eq_stat
u
s_in: improve
e
r
ror han
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
i
sl_basic_set_di
m
_resi
d
ue_class:
avoid
double
f
ree
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Ve
r
dool
a
e
g
e
isl_tab_pip
.
c: s
o
l_for_free:
h
andle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoola
e
ge
isl_tab_
p
ip
.
c: propagate
_
eq
u
alities: return indic
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
S
v
en Ve
r
doolaeg
e
is
l
_
t
ab_add
_
s
ample: r
e
turn i
n
t instead of i
s
l_tab *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sv
e
n
Verdoolaege
is
l
_hash_ta
b
le_foreach: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
Sven Verdoolaege
i
nstall deprec
a
ted h
e
ader f
i
les
i
n
corr
e
ct location
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
T
obias Gros
s
er
isl_union_map_alloc: Re
n
ame dim
to
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-12
S
v
en V
e
rd
o
olaege
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2014-04-11
Tob
i
as Gross
e
r
isl_uni
o
n_map
_
a
l
l
oc
:
plug mem
o
ry leak o
n
error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Verd
o
olaege
interfac
e
/e
x
t
ract
_
interfac
e
.
cc: explic
i
t
l
y in
c
l
u
d
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sv
e
n Verdoolaege
update f
o
r chan
g
e
in
arguments
o
f CompilerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Ver
d
oolaege
interface/ext
r
act_i
n
ter
f
ace
.
cc
:
add space be
t
ween literal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Verdoolaege
do
c
/Submitti
n
g
P
atches: exp
l
ain how to subm
i
t patch
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-10
Sven Verdoolaege
also consider me
m
ory all
o
cat
i
ons to be "operatio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-05
S
v
en Verdoolaege
isl_basic_{s
e
t,map}_rea
d
_*
:
improve error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
add isl_u
n
i
o
n
_map
_
get_d
i
m_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verd
o
olaege
add isl_union_map_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
a
dd isl_union_map_project_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
v
e
n Verdoolaege
add isl_union_map_preimage_domain_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
S
ven
Verdoolaege
add
m
issing dec
l
aration for
i
sl_union_map_preim
a
ge
_
d
o
m
ain
_
pw
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoola
e
ge
isl
_
union_map
.
c
:
upda
t
e docum
e
n
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
e
rd
o
olaege
isl_
s
pace_
p
roduct: allow set spa
c
es
a
s inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
isl_m
a
p
.
c
:
fix
typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoo
l
a
ege
i
sl_*_to_*_se
t
: fix error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
Merge
b
ranc
h
'maint'
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
isl_test
.
c: te
s
t_vertices: c
h
eck that the expected
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
cha
n
ge is
l
_ve
r
tex
i
nspectors to return p
r
oper i
s
l obje
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sven V
e
r
d
oolaege
i
s
l_ve
r
tic
e
s
.
c: mov
e
isl
_
basic_
s
et_set_
i
ntegral before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
S
v
en Verdo
o
laege
p
r
ivately e
x
port isl
_
mult
i
_
a
f
f_from_bas
i
c
_
set_equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
S
ven Verdoola
e
ge
isl
_
pw_multi_aff_f
r
om_map:
de
l
ay c
o
m
pu
t
atio
n
of
floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
S
v
en
V
e
rdoolaege
add isl_multi_aff_floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-30
Sv
e
n Verdo
o
laege
a
dd i
s
l_obj_pw_mu
l
ti
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Gros
s
er
Do
no
t
derefe
r
ence
a
N
U
LL pointer in
tab_for_
l
exmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-10
Tobias Grosser
Fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-09
Tobias Grosser
Add
e
xtern C to v
a
l_gmp header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-09
Sven Verdool
a
ege
inclu
d
e/i
s
l/depr
e
cated/*int
.
h
:
allow inclusion from
C
+
+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
add p
r
eliminary s
u
ppo
r
t fo
r
affine NaN
expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sve
n
Verdo
o
laege
i
s
l
_
input
.
c: accep
t
_affine: ren
a
m
e "
d
im" varia
b
le to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Verdoolaege
ad
d
som
e
basic tests
f
or bi
n
ary operations o
n
i
s
l_
a
f
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven V
e
rdool
a
ege
isl_a
f
f
.
c
:
f
ix
t
ypo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven Ve
r
doolaege
i
sl_printe
r
: add inde
n
t_pre
f
ix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
Sven V
e
rd
o
olaege
i
s
l_printer: save copy of pr
e
fi
x
/suffix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
S
ven Verdoolaege
isl_union_*
_
add_*:
align parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
S
ven Verdo
o
laege
d
e
clare isl_union_p
w
_multi_aff_align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-02
S
v
en
V
erdoolaege
isl_map_union: spe
c
ial c
a
se obviously equal inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Ver
d
o
olaege
i
s
l
_
ast_build_ast_
f
ro
m
_sc
h
edule: coalesce input
schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
S
ven Verdool
a
ege
add a
n
ote on isl
_
m
a
p_union_disjoi
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdo
o
l
a
ege
is
l
_map_union:
a
void calling i
s
l_map_union_disj
o
int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Ve
r
dool
a
ege
isl_a
s
t
_
build_ast_from_s
c
hedule: sort
l
ower and
u
ppe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
add isl_pw_aff
_
plai
n
_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoolaege
add isl
_
l
ocal_s
p
ace_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
S
ven Verdool
a
ege
add isl_loca
l
_
sp
a
ce_di
v
_is_k
n
ow
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Verdoo
l
aege
add isl_sp
a
ce_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven Ver
d
oolaege
add isl_id_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
Sven v
a
n
H
a
a
stregt
AX_DETECT_GIT_HEAD: avoid empty version string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-01
A
l
exandr
e
Isoard
isl_
{
s
e
t,m
a
p}_dim_{min,max}
:
f
i
x out
p
u
t
s
pace on
empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Ve
r
doolaege
isl_*_free:
retu
r
n NULL pointer of ob
j
ect type rather
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sv
e
n Verdoolaege
isl_space_free: rename dim var
i
able
t
o
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Ve
r
dool
a
ege
d
o
c
: mov
e
me
m
ory management s
e
ction
b
efore valu
e
s
se
c
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
S
v
en Verdoolaeg
e
isl_af
f
_
set_coe
f
ficient_si: f
i
rs
t
chec
k
i
f
c
oeff
i
c
ient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
Sven Verdool
a
ege
add isl
_
pw_
a
ff_reset_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-24
S
v
e
n Verdoolaege
isl_p
w
_*_set_tuple_
i
d: fi
x
memory management
annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next