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
add pet_scop_alloc
2011-11-21
Sven Verdoolaege
p
e
t_s
t
mt_from_p
e
t_expr: fix memory leak on e
r
ror pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Ver
d
oola
e
ge
scan
.
c
c
: upda
t
e comm
e
nt of valid_for_each_iteration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven
V
e
rd
o
o
l
a
ege
allow
ne
s
ted ac
c
esses in loop u
p
per bounds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sven
Verdool
a
ege
al
l
ow nested ac
c
esses in if c
o
nditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
v
e
n Verdoolaege
extrac
t
n
_
neste
d
_
p
arameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n Verdoolaege
e
xtra
c
t is_n
e
sted_param
e
t
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
er
d
o
o
laege
extract
ext
r
ac
t
_
n
ested
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven V
e
rdoolaege
rename
non_affine to n
e
st
e
d_acces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
v
en
Verdoolaege
add pet_s
c
op_writ
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
V
erdoolae
g
e
privately expor
t
pet_expr_foreach_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven V
e
r
doolaege
add
-D
option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoola
e
g
e
a
d
d -I opti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
er
d
ool
a
eg
e
pet: use isl for argum
e
nt parsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
e
rdoolae
g
e
store
a
u
t
odetect opti
o
n in
a s
e
parate pet_options structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdo
o
laege
update isl for suppor
t
for
s
trin
g
list arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Verd
o
ola
e
ge
update isl for introduction of isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doo
l
ae
g
e
use the clang dri
v
er to obtain command line a
r
guments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Ver
d
ool
a
ege
destroy My
D
iagnosticPrinter on newer clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolae
g
e
support
mor
e
r
ecent
L
LVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
u
pdate isl for support
f
or rece
n
t clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdool
a
ege
e
x
tract_affine:
a vari
a
b
le th
a
t h
a
s b
e
en ass
i
gned a
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sv
e
n Verdo
o
laege
induction variable of f
o
r loop should
b
e considered
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Ver
d
oolae
g
e
an address pa
s
sed to a con
s
t pointer argument sho
u
l
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
Sve
n
Verdool
a
eg
e
.
gitignore: add co
n
fig
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoolaeg
e
turn virtua
l
scalars into virtual arra
y
s
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
attainin
g
values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdoolaege
allow lab
e
ls on expres
s
ion sta
t
eme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolae
g
e
allow s
p
ecification of on
l
y lower bound on parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoolaege
use
i
sl_set_{
l
ower,upper}_b
o
und_si instead of
our own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
update is
l
for is
l
_set_upper_bound_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ve
r
doolaege
explicitly link in gmp when us
i
ng
l
ibisl
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sv
e
n Ve
r
d
o
o
l
aeg
e
Makefi
l
e
.
am: ap
p
end extra copy of C
L
ANG_LDFLAGS to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Ver
d
oolaege
update isl to version 0
.
0
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
T
obias Gros
s
er
adapt t
o
the recent changes
i
n clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven
Verdool
a
ege
update isl for support for rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
e
g
e
accept non-a
f
fine con
d
i
t
i
o
ns in if statem
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
pet_scop_a
d
d: als
o
collect the arrays
in the pet_scops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
pet_stmt: ad
d
arg
u
m
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaege
pet_
s
tmt_from_pet_expr: clear all fields of new
l
y cr
e
ated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
u
p
date isl
fo
r
ch
a
nge in isl_pw_aff
_
set_tuple_id prototy
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
on
l
y distribute b
u
ndled
s
ubmo
d
u
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Verdoolaege
ke
e
p track o
f
assignme
n
t
s
to pa
r
ameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven V
e
rdoolaege
e
xport
P
etScan
:
:
e
x
tract_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
be
more care
f
u
l
about using pa
r
amet
e
r spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdool
a
ege
upda
t
e
i
sl for
isl_s
e
t_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sven
V
erdoolaege
handle
extraction of s
c
ops
i
n
s
ide a lo
o
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verdoolaege
pet_s
t
mt_embed: handle NULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
ven Verdool
a
eg
e
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 V
e
rdoolaege
p
arse
.
c:
extract_arguments: plug memory l
e
ak on erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verd
o
o
l
aege
upd
a
te
isl
f
or chan
g
e in is
l
_set_
r
e
a
d_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdoolaege
update isl for cha
n
ge in is
l
_
{in,
}
equality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolae
g
e
a
d
d copyright statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven
V
er
d
oola
e
ge
pet_scop_extra
c
t_from_
C
_
s
o
u
rce: use a CompilerIn
s
tanc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
c
l
ear assi
g
ned_valu
e
for scalars that are ass
i
gn
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
PetS
c
an::set_up
p
er_
b
ou
n
ds: gracefull
y
h
a
nd
l
e errors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oolaeg
e
update
isl for change in space of isl_
p
w_*
obj
e
ct
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
up
d
ate isl for explicit pa
r
ameter sp
a
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
use isl_space_params_a
l
loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolae
g
e
update isl
f
o
r isl_space_params_allo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
rena
m
e isl_dim to
i
s
l_spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
update isl for re
n
a
m
e of
is
l
_d
i
m to
i
s
l_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
accep
t
infinite while loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
d
d
"eq
"
operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaege
acce
p
t compound state
m
e
n
ts with zer
o
statements wh
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
expr_collect_accesses: us
e
isl_map_has_t
u
ple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
v
e
n
V
e
rd
o
olaege
check i
f
t
uple has i
d
be
f
ore
c
alling isl_{set,
m
a
p}_g
e
t_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n Verdoolaeg
e
upda
t
e isl for
isl_map_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
erdoolaege
allow declaration
o
f
iterator in for loo
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
e
n Ver
d
oolaeg
e
u
p
d
a
te isl for rename of isl_map_ins
e
r
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
T
o
bias Gross
e
r
Hi
d
e w
a
rnings
in sy
s
te
m
headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Ver
d
oo
l
aege
h
a
n
dle "live-out" pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pe
t
.
cc:
e
x
tract out update_array
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sve
n
Verdoolaege
pet
.
cc: extract out
get_value_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n V
e
rdoolae
g
e
avoid
w
rapping on some simple cas
e
s of loops with unsigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verd
o
olaege
wrap results of unsigned compu
t
atio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoolaege
take
i
nto
a
cc
o
u
n
t
t
hat
unsigned
ite
r
ators m
a
y wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow loop increme
n
ts of the
f
orm i = i
+
cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
allow loop increment
s
different from o
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow loop
increments o
f
the form i +=
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
e
n Verdoolaege
fix check for "simple" loo
p
te
r
min
a
tion condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoolaege
update isl for isl_pw_aff_
m
od
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
ven
V
erdo
o
laeg
e
pro
p
erly handl
e
generic co
n
ditions in for loo
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
Verdoolaege
READM
E
:
emphasize
t
hat we need
c
lang libr
a
ri
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verd
o
olaege
upd
a
te for
r
en
a
me of getInstantiationLi
n
eNumbe
r
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoola
e
g
e
scan
.
cc: fix
t
ypo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoo
l
ae
g
e
u
pdat
e
isl
f
o
r f
i
x in isl
_
map_intersect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sve
n
Verdoolaeg
e
accep
t
affine
e
xpressions where w
e
ex
p
ect a conditi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
upd
a
te
i
sl for isl_pw_aff_
n
o
n_
z
ero_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven
v
an Haa
s
tregt
con
f
igure:
c
heck if llvm-
c
onfig actua
l
l
y
exists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
Ve
r
doolaege
initial vers
i
on
o
f
pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree