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
rename non_affine to nested_access
2011-11-16
Sven
Ver
d
oolaege
ren
a
me non_affine
to nested_ac
c
e
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
add pet
_
sco
p
_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n Verdoolaege
pri
v
ately e
x
port pe
t
_ex
p
r_for
e
ac
h
_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
Sven Verdoolaege
add -
D
o
p
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
add -I option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolae
g
e
pet:
use isl for argument parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
laege
store autodetect option in a se
p
ar
a
te p
e
t_options st
r
u
cture
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
laege
up
d
a
te isl
f
or
s
upport
f
or stri
n
g list arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoola
e
g
e
u
pdate isl for introduction o
f
is
l
_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n
V
e
r
d
oo
l
aege
us
e
the
clang
d
river to obtain
c
omma
n
d l
i
ne
a
r
gume
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdoolaege
de
s
troy MyD
i
agno
s
tic
P
r
inter on
n
ewer clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erdoolae
g
e
suppor
t
more recent
LL
V
Ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doolaeg
e
update isl
f
o
r support f
o
r rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
e
x
tract_a
f
fine: a
variable that
has b
e
en
assi
g
ned a
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoola
e
ge
induction variable of
fo
r
loop
s
h
ould be considered
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven
Verdo
o
la
e
g
e
a
n
address pass
e
d to a
c
o
ns
t
pointer ar
g
ument should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
Sve
n
V
e
rdoolaege
.
gi
t
ignore
:
add
config
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdo
o
l
aege
tu
r
n
virtua
l
scalars into virtual arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
r
doola
e
g
e
mark __pet_test_* scalar
s
as only attaining values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rdoolaege
allow l
a
bels on expression s
t
at
e
m
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
allow specification
of
only lo
w
er bound o
n
p
a
r
a
meter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
use isl_
s
et_{lower,upper}_bound_
s
i instead of our own
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoola
e
ge
upda
t
e isl
f
or isl_
s
et_upper_bo
u
n
d_
s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
ex
p
licitly
l
in
k
in gmp when using li
b
i
s
l
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sv
e
n Verdoolaeg
e
M
a
kefile
.
am: append ext
r
a copy of C
L
ANG_LDFLAGS to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
S
ven Verdoolaege
update isl to
v
e
rsion 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Tobias Grosser
adapt to the recent chan
g
e
s in
c
l
a
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven
Ve
r
d
oolaege
upda
t
e isl for support for
r
ecent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en V
e
rdool
a
eg
e
accept non-af
f
i
ne conditi
o
ns in if state
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolaege
pe
t
_scop_add: also collect th
e
arrays i
n
th
e
pet_scops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n
V
e
r
doolaege
pet_stmt:
a
d
d
arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pe
t
_st
m
t_from_pe
t
_
expr: clear all fields of n
e
w
l
y creat
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
u
p
d
ate
isl
for change
i
n
isl_
p
w_af
f
_
s
et_tuple_id prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Ver
d
oolaege
only distribut
e
b
u
ndled s
u
bmodu
l
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdool
a
e
g
e
keep track of
assignments to p
a
rameter
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
V
erdo
o
lae
g
e
export PetScan::extract_
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
be
more
c
areful
abo
u
t usin
g
parameter s
p
aces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en
V
e
r
d
oolae
g
e
update isl for is
l
_
s
et_from_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
S
v
en Verdoolaege
handle
extra
c
tion of scops inside a loop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verdoola
e
ge
pet_
s
tmt_em
b
ed
:
hand
l
e
N
U
L
L stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
p
e
t_expr_is_equal:
n
ot equal if acc
e
ss
r
e
l
a
t
i
on is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en Verdoola
e
ge
p
a
rse
.
c: ex
t
ract_argum
e
n
ts: plug memory le
a
k on er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
update isl for change
in isl_s
e
t_read_from_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdo
o
laege
u
p
date isl
f
or ch
a
nge in i
s
l_
{
in,}equality
_
all
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
S
ven Verdoolaege
add
c
opyright stat
e
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
pet_scop_ext
r
act_from_C_source: us
e
a
Compi
l
e
rInst
a
nce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
V
erdoolaege
clear assig
n
ed_valu
e
for scalar
s
th
a
t are assigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
P
etScan::set_uppe
r
_
bounds: gracefull
y
handle err
o
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolae
g
e
up
d
a
t
e is
l
f
or
c
han
g
e
in s
p
ace of is
l
_pw_* objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
update
i
sl fo
r
explicit parameter spac
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
use
i
sl
_
space_pa
r
ams_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoo
l
a
e
ge
updat
e
isl for i
s
l_
s
pace
_
para
m
s_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ver
d
oola
e
g
e
rename isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
u
pdat
e
isl f
o
r renam
e
o
f
isl_dim to isl_sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
accep
t
in
f
ini
t
e
while
loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
dd "e
q
" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
ac
c
e
p
t
c
om
p
ound stateme
n
ts with
z
e
ro stateme
n
ts when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
expr_
c
ollect_acc
e
sses: use isl_map_has_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
chec
k
if tu
p
le has id before cal
l
ing isl
_
{set,ma
p
}_get_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Verdoolaege
update isl for
i
s
l
_
map_has
_
tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
e
r
d
o
ola
e
ge
allow decl
a
r
at
i
on of
iterator in for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven
V
erdoola
e
ge
u
p
d
ate
i
sl
f
or
r
ename of isl
_
m
a
p_in
s
ert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Tobias Grosser
Hi
d
e
warning
s
in s
y
ste
m
headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven
V
erdoolaege
ha
n
dle "live-o
u
t
"
p
ragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Ve
r
doolaege
pet
.
cc: extract out
update_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdool
a
ege
pet
.
c
c
: extract out
g
e
t_val
u
e_de
c
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verd
o
olaeg
e
avoid w
r
a
pp
i
n
g
on some simp
l
e cases of loops w
i
th unsigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
wrap results
o
f unsigned computa
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
oolaeg
e
take into acco
u
nt th
a
t
unsigned iterators
m
ay wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ve
r
doolaege
allow loop
increment
s
o
f
the form
i
= i + cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Verdoolaege
allow loop increments different fro
m
o
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow
loop increments of
t
h
e
form
i
+
=
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
fix check for "simple" loop terminati
o
n
c
o
nd
i
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoo
l
aege
up
d
ate isl for isl_pw_aff_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en Verdoolaege
proper
l
y h
a
ndle generic
conditio
n
s i
n
for
l
oops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verd
o
olaeg
e
R
E
ADME: emphasize tha
t
we ne
e
d
clang
libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verd
o
olaege
update f
o
r renam
e
of getIn
s
tantiationLineN
u
mber to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolae
g
e
s
c
an
.
cc:
f
ix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdo
o
laege
upda
t
e isl
f
or fix i
n
isl_m
a
p_
i
ntersect_p
a
r
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verd
o
olaege
accept affi
n
e
expres
s
io
n
s w
h
ere we expe
c
t a conditi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
ven Verdoola
e
ge
upda
t
e
i
s
l f
o
r isl
_
pw_aff_non_ze
r
o_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven
v
a
n
Haastregt
configure: ch
e
ck if llvm-config actu
a
lly exists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolae
g
e
initial
v
e
r
s
i
o
n of pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree