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
scop.c: fix typo in comment
2012-01-04
Sven Ve
r
doolaege
sco
p
.
c: fi
x
t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-04
Sven Ver
d
oo
l
aeg
e
add --versio
n
option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ver
d
ool
a
ege
pe
t
0
.
01
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-18
Sven V
e
rd
o
olae
g
e
upd
a
te isl
t
o v
e
r
s
ion 0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verd
o
o
l
aege
co
n
figure
.
ac: s
p
e
c
ify address
f
o
r bug reports
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
check fo
r
presence of prototype before
a
ccessi
n
g
p
arameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoo
l
aege
PetScan::
u
ns
u
pport
e
d: option
a
lly print cu
s
tom message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoolaege
README: a
d
d a small note on h
o
w to us
e
pe
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoolaege
keep track of "address of" op
e
rat
o
rs on acce
s
s
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
scop_extrac
t
_
f
r
o
m_
C
_source: properl
y
c
lean up
if inp
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
v
e
n Ve
r
doolae
g
e
construct_in
v
ocat
i
on: add mi
s
sing check fo
r
job
s
size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdool
a
ege
cac
h
e
v
alues in
assigned_value instead of expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Ver
d
oolaege
allo
w
b
o
olean e
x
pres
s
ions
w
her
e
an
a
ffin
e
e
xpression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
v
e
n
Ve
r
d
o
olaege
allow parens around integer literal in second argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en Verdoolaege
add extra
min
test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven
V
erdoola
e
g
e
updat
e
isl for
isl_pw_aff_has_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
v
e
n Verdoolaege
add missing
n
amespac
e
quali
f
ication on llvm:
:
ArrayRef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Ve
r
doolaege
pet_stmt_fro
m
_pet_expr: fix memory leak on
error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verd
o
olaege
scan
.
c
c: updat
e
c
ommen
t
of
v
al
i
d_
f
or_each_iteration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoo
l
aege
al
l
ow nested acce
s
ses in loo
p
upper
b
o
unds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
S
ven Verdo
o
laege
allow nested accesses in if
c
o
n
ditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdool
a
ege
extra
c
t
n
_nested_par
a
meter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ve
r
d
oolaege
e
xtract is_nested_pa
r
a
m
e
t
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sve
n
Verdoolaeg
e
extract e
x
tr
a
c
t_nes
t
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n V
e
r
d
o
o
l
aege
renam
e
non_affi
n
e
t
o nested
_
ac
c
es
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaeg
e
ad
d
pet_scop_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ve
r
doolaege
privately export pet_
e
xpr_foreach_ac
c
ess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven
Verdoola
e
ge
add -D option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
laege
ad
d
-I option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
oolaeg
e
pet
:
use
i
sl for arg
u
men
t
parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
oolaege
store autodetect option in a separate pet_options structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdoolaege
upda
t
e isl for
suppo
r
t for
string list
a
rgume
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoola
e
ge
up
d
ate isl for introduction
o
f isl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
use the clan
g
driver to
o
btain command
line arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
e
n Ve
r
doolaeg
e
destroy
M
yDiagnos
t
icPrinter
o
n
newer cla
n
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
V
e
r
d
oolaege
su
p
port
m
ore
recent LLV
M
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
oolaege
update isl for s
u
pport f
o
r recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoo
l
ae
g
e
extract_affine: a variable
t
hat has been
a
ssigned an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdo
o
la
e
ge
induct
i
on v
a
riable o
f
for
l
oop should be
cons
i
dered
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
S
ven
V
e
r
doolaege
an add
r
ess
p
a
s
s
ed to a
const pointer argument
s
houl
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
Sv
e
n
Verdoolaege
.
g
i
tignore: add config
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rd
o
olaeg
e
t
urn virtual scalars in
t
o virtual
a
rrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verdo
o
la
e
g
e
m
ark _
_
pet_t
e
st_* scal
a
rs as
o
nly
at
t
aining values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
l
a
ege
allow
l
abel
s
o
n
expression statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ve
n
Ve
r
doolaege
all
o
w specification
o
f only l
o
wer bound on para
m
eter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
r
d
oolae
g
e
u
se isl_set_
{
lower
,
upper}_bound_si instead of our own
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
update i
s
l for is
l
_set_upper_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ver
d
oolaege
explicitly link in gmp when usin
g
l
i
bisl
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Ver
d
ool
a
ege
Ma
k
e
f
i
l
e
.
am: appen
d
extra co
p
y o
f
C
LA
N
G_LDFLAGS to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Ver
d
oolaege
u
p
dat
e
isl to version 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdool
a
ege
upd
a
te isl for support for
r
ecent clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n
V
erd
o
olaege
accept non
-
affine co
n
d
ition
s
i
n
i
f
statem
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoola
e
ge
pet_scop_add: also collect the a
r
rays in
the p
e
t
_scop
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolaege
pet_s
t
mt: add arg
u
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolaege
pet_stmt_fro
m
_pet_expr: clear all field
s
of newly
creat
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update
i
sl
f
or change in isl_pw_aff_se
t
_tuple_id prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
on
l
y dis
t
ribute
b
u
ndled submodule
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verd
o
o
l
aege
k
e
e
p
t
r
ack of ass
i
gnments to
p
arameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
r
d
oolaege
expor
t
PetScan::e
x
tra
c
t_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
be mo
r
e
carefu
l
about using pa
r
ameter spac
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Ver
d
oolae
g
e
update isl f
o
r
i
sl_s
e
t
_
from_pa
r
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoolaege
handle extract
i
o
n
of
scops
inside a
l
oop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en
V
erdoolaege
pet_stmt_embed:
handle
N
ULL stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en Verd
o
o
l
a
ege
pet_expr_is_equal: not equa
l
if
access relation is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoo
l
aege
parse
.
c
:
extract_ar
g
u
men
t
s: plug mem
o
ry
leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verdoolaege
u
p
date isl for cha
n
ge in isl_se
t
_r
e
a
d_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verd
o
olaeg
e
u
pdate isl for
c
h
ange in isl_{in,}eq
u
a
l
ity_a
l
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
S
ven Verdo
o
laege
add copyright
s
tatement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sv
e
n Verdoolaege
p
e
t_scop_
e
x
t
r
act_from_
C
_s
o
urce:
use a Compi
l
erI
n
stance
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ve
n
Verdoo
l
ae
g
e
clear assi
g
ned_value for scala
r
s
t
hat ar
e
a
ssigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoolaege
PetScan::set_upper_bounds: gracefully
handle errors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdo
o
l
a
ege
updat
e
i
sl for chang
e
in
s
pace of i
s
l
_
pw_* objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolae
g
e
update isl for
explicit parameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
u
se isl_space_params_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verd
o
ola
e
ge
upda
t
e
isl for isl_space_params_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
rename isl_d
i
m
to isl
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
up
d
ate isl for rename of is
l
_dim to isl_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
accept infinite while loo
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
add "eq"
ope
r
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdo
o
la
e
ge
accept compound sta
t
ements
with
z
e
ro s
t
atements when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
ex
p
r_collec
t
_accesse
s
: use isl_map_has_tupl
e
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
Ve
r
d
o
olaege
c
h
e
c
k
i
f tuple has id bef
o
r
e
c
al
l
ing is
l
_{set,map}_get_t
u
ple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ve
r
d
oo
l
aege
u
pdat
e
isl for
isl_map_h
a
s_tu
p
le_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ver
d
oolaege
allow decla
r
ation of iterator in for loo
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven
V
e
r
doolaege
update isl
for rename of isl_map_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven
V
erdoolae
g
e
h
a
ndle
"
live-out" pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven V
e
rdoolaege
pet
.
cc: extract
o
ut update_a
r
r
ays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
p
et
.
c
c: extract out get
_
v
alue_
d
e
cl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
av
o
id w
r
apping on some simple cases of loops with
u
n
s
igned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verdoolaege
wrap re
s
ults of unsigned com
p
ut
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verdoolae
g
e
t
a
ke into acco
u
nt that
u
nsigned iter
a
tors may wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
ven Verdoolaege
allo
w
loop
increments of the
f
orm i
=
i + c
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
e
rdoola
e
ge
allow loop
i
ncrements
differ
e
nt from one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Ver
d
oolaeg
e
allow loop i
n
crements
of th
e
form
i
+= 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verdoola
e
g
e
f
i
x check f
o
r "sim
p
le"
loo
p
termina
t
ion cond
i
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
update isl for
isl_pw_aff_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
e
rdoolaege
proper
l
y handle g
e
ner
i
c conditions in fo
r
loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
erdoolaege
README: emp
h
a
size
t
hat we need
clang lib
r
aries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
update for ren
a
me of getInstantiationLineNumb
e
r
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n
Verdool
a
eg
e
scan
.
cc: fi
x
typo
i
n
c
omme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next