repo.or.cz
/
pet.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
pet 0.04
2013-06-26
Sven
V
erdoolaege
pet 0
.
04
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-23
Sven Ver
d
oola
e
ge
update isl to v
e
rsion
0
.
12
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-22
Sven V
e
r
d
oolaege
config
u
r
e
.
ac
:
e
x
plicitl
y
link in
llvm bitreade
r
co
m
ponent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
S
ven
Verdoola
e
ge
PetScan::scan:
fi
x
check
for sco
p
being
p
roper par
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sve
n
Verdoolaege
PetScan::e
x
tra
c
t
_int: use isl_val_int_
f
rom_c
h
unks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
S
ven Verdoolae
g
e
updat
e
isl
for isl_val_int_from_chu
n
ks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven
Verdoolaege
e
xt
e
n
d
start of scop to start of
l
ine if first token
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoolaege
parse
.
c: only p
a
rse fields co
r
responding to type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-19
Sve
n
Ver
d
oolaege
scan
.
cc: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-06-05
Sven Ve
r
do
o
laege
pet_
s
c
op_from_pet_s
t
mt:
f
ix err
o
r handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
scan
.
c
c: compute_wrappi
n
g: use isl_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sve
n
Verdoolaege
scan
.
cc: can_wr
a
p: use isl_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdool
a
ege
PetSca
n
::ex
t
r
act_for: use is
l
_va
l
to represent
l
oo
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
S
ven Verdoo
l
aege
scan
.
cc:
avoid_
o
verflow: use
i
sl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
Pe
t
Scan::ex
t
ract_aff
i
ne_
a
dd: use
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sve
n
Verdool
a
e
ge
scan
.
cc: set_parame
t
er_bounds: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sv
e
n
Verdo
o
laege
Pet
S
ca
n
::extract_affine: use isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
Sven
V
e
r
dool
a
ege
P
e
tScan::extr
a
c
t
_int:
return
isl_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-05-29
S
v
en Verdoolaege
upd
a
t
e isl
for isl_v
a
l abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-28
S
v
en Verdo
o
laege
stop destroying My
D
ia
g
nosticPrinter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-23
Sv
e
n
Verdoo
l
aege
u
pdate isl to
v
ersion 0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-21
Sven Verdoolaege
scop
.
c
:
a
d
d missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-21
Sven Ve
r
doolaege
pet_check_code
.
c
: ad
d
missing
inclu
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-21
Sven
Verdoolaege
Makefile
.
am: declare test extens
i
ons fo
r
parallel test
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sven Verdoola
e
ge
pe
t
_
c
heck_code
:
b
e
tter support fo
r
sc
h
edu
l
es that a
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-09
Sven Verdo
o
laege
p
e
t_check_code
.
c: add_assignm
e
n
t
: complete
l
y remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoolaege
u
pdate fo
r
change in argu
m
ents of clang's HeaderSearchOpt
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
S
v
e
n
Verdoolaege
upda
t
e for
change in arguments of clang
'
s Co
m
p
i
lerInstance
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-04-07
S
ven Verdoolaege
update isl fo
r
suppor
t
for r
e
cent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-09
Sven Verdoolaege
de
r
ive offset information from loca
t
ion of scop and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-08
Sven Verdoolaege
p
e
t
_scop: kee
p
t
ra
c
k of s
t
a
r
t and end
file offse
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-05
S
v
en
V
erdoolaege
support (
C
style) casts
in
s
tatements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-01-03
Sven
Ve
r
doolaege
scop
.
c:
f
ix typos
i
n
c
o
mments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-27
Sv
e
n
V
erdoolaege
update isl for
mi
s
s
i
ng in
c
lude in int
e
rface/python
.
cc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-26
S
ven Ve
r
doolaege
keep track
of
s
tring representa
t
ion of
f
l
oati
n
g po
i
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-24
Sven Verdoolaege
p
a
r
se
.
c: extra
c
t_
d
o
u
b
le: fix return type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdo
o
laege
u
p
date isl to ver
s
ion 0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
p
e
t
0
.
03
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Verdo
o
laege
upd
a
te isl
to version 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
e
r
doolae
g
e
u
pdate
f
or change in
t
he const
r
uctor of the clang Driver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ve
r
doolaege
u
pdate
i
sl
for support for rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n Verdoolaege
configure
.
ac: ch
e
ck if Target
I
nf
o
::CreateTargetInfo
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
update isl for su
p
port
f
o
r
recent
c
la
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
S
v
en V
e
rdoola
e
g
e
update
i
s
l fo
r
change i
n
AST
p
rintin
g
callback interf
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolae
g
e
add test for ver
i
fying the correctne
s
s
o
f the isl code
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
v
en
Verdool
a
ege
pet_scop_anony
m
ize: also remove user pointers from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaeg
e
scop_extra
c
t_fr
o
m
_C_source: anon
y
mi
z
e scop
af
t
er updating
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolae
g
e
add support
for (single
)
declaration
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
v
en
V
e
rdoolaege
pet_scop_collect_arrays:
skip array
s
that alre
a
dy ap
p
e
a
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven V
e
r
d
o
o
laege
extract out PetScan::assign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolae
g
e
Pe
t
Scan::mark_write:
handle
NU
L
L access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
v
e
n Ver
d
oolaege
ex
t
r
act out pet_sco
p
_
a
dd_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sve
n
Verdoolaege
pet_
a
rray_
f
ree:
r
eturn
N
ULL pointer of type
s
t
r
uct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
ven Verdoolae
g
e
fix u
s
e of
D
ia
g
nosticOptions for
o
l
der
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaege
up
d
ate for change in clang'
s
Pre
p
ro
c
e
s
s
o
rOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Ve
r
do
o
lae
g
e
updat
e
for chang
e
i
n cl
a
ng'
s
HeaderSearchOption
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven
Verdoolaege
update f
o
r change
in clang's Diagn
o
sticOption
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven
V
erdool
a
eg
e
s
cop_extract_from_C_source: take TargetOptions
o
bject
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sven Verdoolaege
PetScan::extract: also
clear assignments in whil
e
lo
o
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sven Verdo
o
laege
clear_assignments: also co
n
sider decrements and i
n
crements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sven Ver
d
oolae
g
e
configure
.
a
c
: ch
e
ck for getExpansionLoc in clan
g
/Bas
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
S
v
e
n Verdoolaege
configure
.
ac
:
link
a
gainst same LLVM
c
ompo
n
ents as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-03
S
v
en Verdoolaege
PetSc
a
n
:
:extrac
t
_a
r
ray
:
u
s
e declared size o
n
VLA parameter
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-01
S
ven
Verdoola
e
ge
P
e
tScan::scan: use expansion
offset t
o
d
e
ter
m
ine if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven
V
erdoolaeg
e
PetScan::extract_for:
also check whether b
o
un
d
is sim
p
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
use isl_pw_
a
ff_tdiv
_
q and isl_pw_aff_tdiv_r ins
t
ead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n Verd
o
olaege
update isl for isl_pw_aff_tdiv_q and isl_pw_aff_tdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verd
o
olaege
support modulo oper
a
tio
n
in statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-07
Sven Verdoolaege
i
n
clude/pet
.
h: fix typo in docum
e
n
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-07
Sven Verdoolaege
make avoiding ove
r
flows on signed integes
opt
i
on
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
S
v
en Verdoola
e
ge
update i
s
l
for renam
e
o
f !isl_set_di
m
_has_{l
o
wer,
u
pper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
Sven
Verdoola
e
g
e
scan
.
cc: add
missing i
n
clude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-06
Sven Verdoolaege
on
l
y
req
u
i
re libya
m
l for compiling the pet executa
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
S
ven Verdoolaege
p
e
t 0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verd
o
olaege
confi
g
ure
.
a
c: allow specification of gmp l
o
cation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoo
l
a
e
ge
update isl to
v
ersion
0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Ver
d
oola
e
ge
README: m
e
ntion support for non-affine cond
i
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Ver
d
oolaege
READM
E
: update to latest re
l
ease of clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaeg
e
s
c
op_add_bre
a
k: try and
merge f
i
l
t
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oolaeg
e
support bre
a
k and continue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolae
g
e
add pe
t
_expr_fil
t
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scop
.
c:
e
xtract ou
t
insert_filter_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
s
c
op
.
c: extract
o
ut args_insert_acces
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaege
add pet_
s
co
p
_all
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oola
e
ge
PetScan
:
:extra
c
t(
I
fSt
m
t *): ex
t
r
ac
t
out extract_non_affine_if
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aege
handl
e
generic conditions i
s
fo
r
loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoolaege
pet_scop_
e
m
b
ed: tak
e
mapp
i
ng from
virtual to
r
e
a
l
iterator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
V
e
r
d
oo
l
aege
PetScan::extr
a
ct_f
o
r: rename variab
l
e "
d
im"
t
o
"s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdoolaege
sco
p
.
c:
extract out internalize_iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaeg
e
scan
.
c
c: mo
v
e has_neste
d
up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scan
.
cc: move is
_
neste
d
_p
a
rameter up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n
Verdoolaege
han
d
le non-affine condition
s
in w
h
ile loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n Verdool
a
e
g
e
s
c
an
.
cc: extract out PetScan
:
:extrac
t
_af
f
ine_while
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
scan
.
cc: move
scop_
a
dd_array up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Verdoola
e
ge
scan
.
cc:
m
ove create_test_access up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en
V
erdoolaege
pet_scop_f
i
lter: allow filters with non-zero-dimens
i
on
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdo
o
laege
scan
.
cc: ext
r
act
out identi
t
y_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaeg
e
scan
.
cc: extr
a
ct
out infinite_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Ve
r
doolaege
add pet_sc
o
p_rese
t
_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdool
a
ege
sc
o
p
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next