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.01
2011-12-18
Sven Verdoolaege
pet 0
.
01
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
S
ven Verdoolaege
update is
l
to versio
n
0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
S
v
en
V
e
rdoolaege
c
o
nfigure
.
ac: s
p
ecify addres
s
fo
r
bug r
e
ports
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verd
o
ola
e
ge
check
f
o
r
prese
n
ce of prot
o
type before acc
e
ssing para
m
eters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Ver
d
oolaege
P
e
tScan::u
n
suppo
r
ted: op
t
ionally
p
rint
custom me
s
s
age
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven
V
erdoolaeg
e
README: ad
d
a
sma
l
l
note on how
t
o
use pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sv
e
n
Verdoolaege
k
e
e
p
tr
a
ck
o
f "ad
d
ress of" operators on accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
rdool
a
ege
scop_extract_
f
rom_C_source
:
properl
y
clea
n
up if input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
const
r
uc
t
_invocation: add missing check for jobs size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sve
n
Verdool
a
ege
cache values in
a
ssig
n
ed
_
value inst
e
a
d
of expression
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n Verdoola
e
ge
all
o
w boolean e
x
pressions
w
here an a
f
f
i
ne
expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Verdool
a
ege
allow pare
n
s
aro
u
nd inte
g
er liter
a
l
in second ar
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
rdoolaege
add extra min test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
v
e
n Verdoolaege
updat
e
is
l
for isl_pw_aff_has_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n Verdoolaege
a
dd missing name
s
pac
e
qualificati
o
n on
llvm
:
:ArrayRef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven
Verdool
a
ege
pet_stmt_from_pet_expr: fix
memory l
e
ak on
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoo
l
aege
scan
.
c
c
: up
d
at
e
c
o
mment of
v
alid_for_each_iter
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
ven
V
erdoolaege
allow nested acce
s
ses in loop u
p
p
e
r b
o
u
nds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ver
d
oolaege
allow nes
t
e
d acc
e
s
s
es in i
f
c
o
nditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
erdoolaeg
e
extr
a
ct n_nested_parame
t
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
erdoolaege
extract is_nested_parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
Verdo
o
l
aege
extract extr
a
ct
_
nested
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
Ver
d
ool
a
ege
r
e
n
a
me no
n
_affine
to nest
e
d_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n Ve
r
dool
a
ege
a
dd pet
_
s
c
op_writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
privately expor
t
pet_exp
r
_
f
oreac
h
_
access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaeg
e
ad
d
-D
o
p
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
add
-I o
p
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
d
o
olaege
pet: use i
s
l for argumen
t
parsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ven V
e
r
d
oolaege
store a
u
to
d
etect option
in a se
p
a
rate pet_option
s
s
t
ructure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
ol
a
ege
updat
e
isl f
o
r sup
p
ort for strin
g
list argu
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en
V
e
r
d
oolaege
update isl for introduction of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verd
o
olae
g
e
use the clang driver to obtain comma
n
d
lin
e
arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven V
e
rd
o
olaege
des
t
roy MyDiagnosticP
r
inter on newer clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
olaege
support mor
e
recent LLVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdo
o
laege
update isl for support
f
o
r recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
S
v
en Verdoolae
g
e
e
x
t
ract_affine: a v
a
riable
t
h
a
t
h
a
s been assigned an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
S
ven Verdoolaege
induction variable of for loop s
h
ould b
e
c
onsidered
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
an address passed to a const
p
ointer argum
e
nt should
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
S
ven
Verdoolae
g
e
.
gitignore
:
a
d
d config
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
turn virtu
a
l
scal
a
rs into virtual
a
rrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdoo
l
aeg
e
mark __pet_test_
*
scalars
as only
attaining values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdool
a
e
g
e
a
llow labels on
e
xpressi
o
n
s
tatem
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rdoolaege
allow
specifica
t
ion
o
f o
n
ly lowe
r
bou
n
d o
n
parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verdoolaege
use
i
sl
_
set_{lo
w
e
r,upper}_b
o
und_si instea
d
o
f our own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rdoolaege
up
d
a
te isl f
o
r
isl_set_upper_b
o
und_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Ve
r
d
o
o
l
aege
explicit
l
y link in gmp when
using libisl
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven
Verdoolaege
Make
f
ile
.
am: ap
p
end extra copy of CLANG_LDF
L
AGS to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
upd
a
te isl to version 0
.
0
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sve
n
Ve
r
doolaege
update isl for sup
p
ort for recent
cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n
Verdoo
l
aege
ac
c
ept non-a
f
fi
n
e c
o
nditions in if statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
pet_sco
p
_
a
dd: also
c
o
llect th
e
arrays in the pet_scops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
p
e
t_stm
t
: add arg
u
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
pet_stmt_from_pet_expr: c
l
e
a
r all fields of
newly created
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update
i
sl for change in
isl_pw_aff_set_tuple_id prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
only d
i
stribute bundled su
b
modules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoola
e
ge
keep
track of as
s
ignm
e
nt
s
to paramet
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdoolaeg
e
exp
o
rt PetScan::e
x
tract_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
be more careful a
b
o
u
t using parameter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
oolaege
u
pdate
i
sl for isl_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sv
e
n Verd
o
ol
a
e
g
e
handl
e
extraction of s
c
ops inside a loop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verdoolaege
p
et_
s
tmt_e
m
bed: hand
l
e
N
ULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verdo
o
laege
pet_exp
r
_is_equal: not equal
if access relation is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en
V
e
rd
o
olaege
parse
.
c:
e
xtract
_
argumen
t
s:
p
lug memory leak
on
e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoola
e
ge
updat
e
isl
f
or c
h
ange
in isl_set_read_from_
s
tr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en
Verdoolaege
update isl for change
in isl_{in
,
}
e
qualit
y
_
a
lloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sv
e
n Ve
r
doolaege
a
dd
copyright state
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoo
l
aege
pet
_
scop_extract_fr
o
m_C_so
u
r
ce:
u
se a
Comp
i
lerInstance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoola
e
ge
clear
a
ssigne
d
_value for scalars that
are assigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oolaege
PetScan::set
_
upper_bounds: gracefully handl
e
e
rrors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdoo
l
aege
update is
l
for change in spa
c
e of i
s
l
_
pw_* obj
e
cts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verd
o
olaege
u
p
dat
e
is
l
for expl
i
cit parameter s
p
aces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
use isl_spa
c
e_param
s
_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ver
d
o
olaege
update i
s
l for i
s
l_space_param
s
_a
l
loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
rename isl_dim t
o
isl_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdo
o
laege
update i
s
l for
r
ename of isl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
d
oo
l
a
ege
acc
e
p
t
infini
t
e w
h
ile loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoola
e
ge
a
d
d
"
eq" o
p
eration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Verdoo
l
aege
a
ccep
t
compound
s
tatements with zero
statements w
h
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
expr_collect_accesses: use isl_map
_
h
as_tuple
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
ch
e
ck if
t
u
p
le has id be
f
ore
c
alling isl_{set,map}_get_
t
uple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaeg
e
upda
t
e isl for is
l
_map_has_tuple_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
allow
d
e
c
laration of it
e
rator in for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven
V
erdoolaege
u
pdate is
l
for r
e
name of is
l
_map_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
handle "live-ou
t
"
p
ragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verd
o
olaege
p
et
.
cc: ext
r
act
o
u
t
update_ar
r
ays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven
V
e
r
doolaege
pet
.
cc: extract out get
_
value_d
e
cl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aeg
e
a
v
o
id wrappin
g
on
some simple cases of loops
w
ith unsigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoola
e
ge
wrap results
o
f
u
n
s
i
g
n
e
d co
m
putati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n V
e
rdoo
l
aege
t
a
ke int
o
a
c
count t
h
at unsig
n
ed iterat
o
rs
ma
y
wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow
l
oop inc
r
ements of
the
form
i = i
+
cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaeg
e
a
l
low loop incr
e
ments differ
e
nt from
one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
e
n
Verdoolaege
allow
l
oop increments of
the form i += 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
f
ix chec
k
for "simple" loop termination co
n
ditio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
u
p
date isl
for isl_
p
w_aff_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
ven
Verdo
o
laeg
e
p
r
operly handle generic conditions in for
l
o
ops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
er
d
oo
l
a
e
ge
RE
A
DME: emphasize that
w
e n
e
ed
clang li
b
raries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n Verdoolaeg
e
update for rename of getInstantiationLineNumber
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Ver
d
oolaege
scan
.
cc: fix ty
p
o
i
n
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ver
d
oolaege
upd
a
te isl for f
i
x in isl_map_intersec
t
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sve
n
Verdoolaege
ac
c
e
pt aff
i
ne exp
r
essions where we expect
a
conditi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next