repo.or.cz
/
ppn.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
include/isa/adg.h: directly include required header
2017-01-05
Sven Verdoolaege
in
c
lude/
i
sa/adg
.
h: directly include
re
q
uired header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-05
Sven
V
erdoolaege
eqv3
.
cc: di
r
ect
l
y
i
n
clude
r
e
quired head
e
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-05
Sven Verdoolaege
dependence_graph
.
cc:
direc
t
ly inclu
d
e
r
e
q
u
i
red he
a
ders
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-05
Sven
V
er
d
ool
a
e
ge
c2pdg
.
c
c
: direc
t
ly in
c
lude requ
i
red headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-05
Sven Verdoolae
g
e
u
p
d
ate isl for
reduction of integer d
i
visi
o
n co
e
fficients
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-05
Sven Verdoolaege
update outputs for s
o
me pn2adg t
e
st cases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-20
Sven
Verd
o
ola
e
g
e
update pet to version 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-20
Sven Verdoolaege
update isl to v
e
rsion 0
.
18
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-09
Sve
n
Verdoolaeg
e
updat
e
pet for support for recent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-09
Sven Verdoolaege
u
p
d
ate isl
f
or
s
u
p
port for recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdoolaege
update p
e
t
to version 0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdo
o
laeg
e
update i
s
l
to version 0
.
1
7
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-11
S
v
en Verdoolaege
da: do not con
s
ider
k
illed
v
ariables as outp
u
t variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-11
Sven
V
erdoolaege
c
2pdg: keep track of v
a
ri
a
bles killed a
t
the
e
nd of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-11
S
v
en Ver
d
o
olae
g
e
dam
a
i
n
.
cc: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-09
Sven Verdoolae
g
e
u
p
dat
e
pet fo
r
kil
l
ing variabl
e
s declare
d
in t
h
e s
a
me
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-09
Sven Verdoolaeg
e
e
nsure o
u
t
p
ut
i
s not
k
illed in the
e
quivale
n
ce checker
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-09
S
v
en
V
e
rdoolaege
use for l
o
op i
n
itial declarations
i
n
test
c
ases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
Sven Verdoolaege
g
e
t_submodules
.
sh: take int
o
acco
u
nt ima
t
h
submodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-22
Sven Verdoolaege
up
d
ate barv
i
nok
t
o
version 0
.
39
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-22
Sven Verdoolaege
upd
a
te p
e
t t
o
v
ersion 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-22
Sven Verdoolaege
update
i
sl to version 0
.
16
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-24
Sven Verdoolaeg
e
tell bundle
d
isl to build extract_interfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-24
S
v
e
n V
e
rdoolaege
upd
a
te pet for rename
of pet_scop_collect_* to pet_scop_get_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-11
Sven Verdoolaege
upd
a
t
e
pet for support for recent
c
l
a
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-11
Sven Verdoola
e
g
e
update isl for support
f
or r
e
cent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-30
Sven
V
erdoolaege
updat
e
i
s
l for change in
isl_map_g
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-27
Sve
n
Verdoolaege
update pet for supp
o
rt for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-07-27
S
v
en Ve
r
d
o
olaege
update isl for
s
upport for recen
t
cl
a
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-16
Sven Verdo
o
l
a
ege
update barvinok to version 0
.
38
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-14
S
ven Verdoo
l
aeg
e
update pet to versi
o
n 0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-14
Sven Verd
o
ola
e
ge
eqv2
.
cc:
r
eplace isl_
{
,in}equa
l
ity_alloc by isl_constra
i
nt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-14
Sven
V
erdoolaeg
e
update isl
t
o
v
ersion 0
.
15
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-14
Sv
e
n
Verd
o
olaege
translation
.
cc: create_schedule: simp
l
ify i
m
p
l
eme
n
tation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-14
S
ven Verdoolaeg
e
dependence
_
graph
.
cc
:
scale: simp
l
if
y
i
m
p
lementation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-14
Sven Verdoolaege
d
e
pendence_gr
a
ph
.
cc: scale: r
e
na
m
e
"dim" v
a
ria
b
le
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-14
Sven Verdoolaege
da
.
cc: extend_access: simplify impl
e
mentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-14
S
ven Verd
o
olaege
d
a
.
cc: extend_access: rena
m
e "dim" vari
a
ble
t
o "space
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-14
Sven Verdoolaege
da
.
cc: extend_access: fix typo preventing ex
t
ension
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-14
Sven Ve
r
do
o
laege
upda
t
e pet
f
or suppo
r
t for declar
a
ti
o
n statemen
t
s
declari
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-14
Sv
e
n Verdo
o
laege
update isl for rename of isl
_
schedule_map_
s
c
h
e
d
ule_node
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-14
S
v
e
n
Ver
d
o
o
laege
update
i
sl
for introd
u
ction o
f
isl_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-14
Sven Ver
d
oolaege
updat
e
pet for including initial declar
a
tions in outer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-06-14
Sven
Verd
o
olaege
c2
p
dg:
skip kill st
a
tements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-13
S
ven V
e
rdo
o
laeg
e
update barvinok fo
r
co
m
paring NaN agains
t
string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-07
Sv
e
n Ve
r
doolaege
update barvinok
for direct header inclusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-05-07
Sve
n
Verdoolaege
u
p
date
pet
f
or direct
header
i
nclusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven Verdoolaege
updat
e
isl for
isl_ast
_
node_mark
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven Verdoolaege
da
.
c
c: directly include requ
i
red hea
d
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven Ver
d
oolae
g
e
c2pdg
.
c
c: directly include required header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
S
v
e
n Verd
o
olaege
pdg
.
h:
d
irectly
incl
u
de required header
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sven
V
e
rdo
o
la
e
ge
yll
.
c: use correct
printf format spe
c
i
fier fo
r
SYM
I
D
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
Sv
e
n
Verdoo
l
aege
eqv
.
c
c: avoid use of u
n
docu
m
ented
i
sl
_
map_em
p
ty_like
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
S
v
e
n
V
erdoolaege
eqv
.
cc: equivalence_checker::handle:
avoid undo
c
u
m
ented
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-30
S
v
e
n Ve
r
do
o
laege
dependence
_
graph
.
cc:
a
dd
_
const
a
n
t
_edge: avoi
d
undocumented
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-04-02
Sve
n
V
erdoo
l
aege
update isl
for replace
m
ent
of CL
o
o
G test cases w
i
th
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-10
S
ven Verdoolaege
c2pdg
.
cc: extract_node: extract pre
f
i
x
from schedule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-10
Sven
V
er
d
oolaege
c2pdg
.
cc: extract_node: extract
s
ta
t
ement name from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-10
Sve
n
Verdoolaege
c2pdg
.
cc
:
ext
r
act_node
:
r
e
n
ame "dim"
v
aria
b
l
e
t
o
"
spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-03-10
S
v
e
n Verdoolaege
c2pd
g
: all
o
w specification of isl opti
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven Ver
d
oo
l
aeg
e
up
d
ate ba
r
vinok f
o
r
a
voidi
n
g use of pet_
s
cop_collect
_
s
c
hedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdo
o
laege
update p
e
t
for re
p
r
e
sent
i
ng schedu
l
e as
schedule tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-26
Sv
e
n
V
er
d
oo
l
aege
update isl for su
f
fic
i
ent schedule tree support for pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdool
a
ege
update barvinok
f
or not usi
n
g is
l
_st
r
e
a
m
in
t
ernals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-05
Sven
V
erdoolaege
update is
l
for isl_stream_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
S
v
e
n
V
erdoolaege
u
p
dat
e
pet f
o
r
su
p
port for re
c
ent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
update isl fo
r
support f
o
r
r
ecent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoo
l
a
ege
d
u
mp_schedules
.
cc: use isl_pr
i
nter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
dump_dependence
s
.
cc: use
i
sl_prin
t
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-14
Sven Verdoolaege
update isl for improv
e
d coalesc
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-29
Sven Verdool
a
ege
update isl
for isl_as
t
_op_zdiv
_
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-23
Sven Verdoolaege
update
barvin
o
k fo
r
not usin
g
is
l
_space_tu
p
le_match
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sve
n
Ve
r
doolaege
update pet
t
o version 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verd
o
olaege
upd
a
t
e
i
sl to version
0
.
14
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-18
Sven Ve
r
doolaege
u
pd
a
t
e
is
l
for c
h
ange in i
s
l_map
_
subtract
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-18
S
v
en V
e
rd
o
olae
g
e
update
p
et for support for recent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-18
Sven V
e
r
doola
e
ge
u
p
date isl for suppo
r
t for
r
ec
e
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-18
Sven
V
erd
o
ola
e
ge
msa
.
cc: a
v
oi
d
use of depr
e
cat
e
d function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-18
Sven
Verdoo
l
aege
da
.
cc:
av
o
id use of
deprecated function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-09-11
Sven V
e
rd
o
olaege
update
b
a
r
vinok for not
using deprecated function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-01
Sven Verdo
o
laege
update pet for change in access relati
o
n in
t
erface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-17
Sven
V
erdoolaege
update barvin
o
k f
o
r use of
n
ew glp_ API
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-17
Sven Verdoolaege
INSTALL: upda
t
e
i
nstallation instructi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-28
S
ve
n
Verd
o
olaege
AX_SUBMODULE: allow
.
gi
t
file in submodule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-28
Sven
V
erdo
o
laeg
e
configure
.
ac: us
e
AX_SUBMODULE instead of ISA_SU
B
M
O
DULE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n
Verdoolaege
i
sa 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
v
e
n Verdoo
l
aeg
e
upd
a
te ba
r
vi
n
ok t
o
v
ersion 0
.
37
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
update pet to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
Sve
n
Verdoolaeg
e
u
p
date i
s
l
to version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
S
v
en Verd
o
olaege
rename
con
f
i
g
ure
.
in to co
n
figure
.
ac
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-04
Sven
Verdoolaege
u
pdate isl for change i
n
i
s
l_v
e
rt
e
x insp
e
ctors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verd
o
olaege
add memrchr
.
h
t
o pn
sou
r
ces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
u
p
d
ate pet for l
i
nk
i
ng pet_sc
o
p_cmp and pet_code
g
en
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Verd
o
olaege
update pet for representing body a
s
t
r
ee
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaeg
e
update pet for change
i
n handli
n
g o
f
scal
a
r
r
eads
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Verdoolaege
u
p
d
a
te pet
f
o
r pet_loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Verdoolaege
update p
e
t
for
sorting
of
array
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
u
p
dat
e
isl for affine N
a
N e
x
pre
s
sions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ver
d
o
olaege
up
d
a
te pet
f
or hid
i
ng pet_expr in
t
ernals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolae
g
e
upd
a
te
i
sl for
_
_isl
_
null memory management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
