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
construct_invocation: add missing check for jobs size
2011-11-23
Sv
e
n
V
er
d
oolae
g
e
construct_invo
c
a
t
i
on: add
missin
g
check for
jobs size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
rdoola
e
ge
cache values in
assigned_va
l
ue instead
of
e
xpressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
allo
w
boolean
expressions where an af
f
ine
expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoola
e
g
e
al
l
ow
pare
n
s ar
o
und
i
n
te
g
er
lite
r
al
i
n s
e
cond argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
r
doo
l
a
ege
add extra mi
n
t
est
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven
V
e
rdo
o
laege
updat
e
isl for
i
s
l
_p
w
_aff_has_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
S
ven Ve
r
doolaege
add missing
n
a
me
s
pace qualific
a
tion o
n
ll
v
m:
:
ArrayRef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sv
e
n Verd
o
olaege
p
e
t_stm
t
_from_pet_exp
r
: fix
m
emory leak o
n
err
o
r pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaege
scan
.
cc: update comment
o
f v
a
lid_
f
or_each_iterat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Ver
d
o
o
l
aege
a
llow ne
s
ted access
e
s in loop upper
boun
d
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven Verdoolaege
a
l
low nested accesses i
n
if
conditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven
Verdo
o
laege
extract n_nested_parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven
Verdoolaege
extract is_n
e
sted_
p
aramet
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
S
ven Verdoola
e
ge
e
xtra
c
t
extract
_
neste
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
rename no
n
_affine to nested_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sv
e
n
Verdoolaege
add pet_scop_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
privately export pet_expr_foreach
_
acce
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-14
S
ven 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 Verdoolaeg
e
pet: use isl for argument
p
arsi
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdoolaege
store au
t
odetect optio
n
in a s
e
parate pe
t
_options structure
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
olaege
update isl for
s
upport for string lis
t
arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erdoola
e
ge
update i
s
l for int
r
o
duc
t
io
n
of
isl_args
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolae
g
e
use the c
l
a
ng driv
e
r to o
b
tain command line
a
rguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doola
e
ge
destr
o
y MyDiagn
o
sticPri
n
ter
on newer clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
support mo
r
e
r
ecent LLVMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en
Verdoolaege
up
d
ate isl
for support f
o
r
r
ecent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven V
e
rdoolaege
extra
c
t
_affine: a variable tha
t
has
b
een a
s
signe
d
an
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
indu
c
ti
o
n
v
ariable of for loop shoul
d
b
e
c
ons
i
dered
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdool
a
ege
an ad
d
r
ess passed to a cons
t
poin
t
er ar
g
ument should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
Sv
e
n
V
erdoo
l
aege
.
gi
t
ignore: add c
o
nfig
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoola
e
ge
turn virtual scalars into v
i
r
t
ual arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ver
d
o
o
l
a
e
ge
mark __pet
_
test
_
* s
c
alars as
o
nl
y
attaining value
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoola
e
ge
allow labels o
n
e
x
pr
e
ssion sta
t
ements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoo
l
a
e
ge
allo
w
specification of
o
nly
l
o
wer bound on parame
t
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ve
n
V
erdoolaege
use isl
_
set_{
l
ower,upper}_bound_si instead of our own
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdoo
l
aege
upda
t
e i
s
l
for isl_set_upper_bound_s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Verdoolaege
explicitly li
n
k in gmp whe
n
using libisl
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
Makefile
.
am: append
extra co
p
y of
CLANG_
L
D
FLA
G
S to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven V
e
rdoo
l
ae
g
e
updat
e
isl
to
v
e
rsion 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Tobias Grosser
ada
p
t to
t
he recent cha
n
ges in clan
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
u
p
date isl
f
or support for recen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolaege
accep
t
non-affine conditions i
n
if statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_
s
cop_add
:
al
s
o co
l
lect t
h
e
ar
r
ays in the pet_sc
o
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verd
o
ol
a
ege
pet_st
m
t
:
add a
r
guments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaeg
e
pet_st
m
t_
f
r
om_pet_expr: clear all fi
e
lds o
f
newly
created
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en
V
e
rdool
a
e
g
e
upd
a
te
i
sl
f
or
c
hange in isl_pw_aff_s
e
t_tuple_id
p
rototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
laege
o
n
l
y distribu
t
e b
u
n
dled
s
u
bmodul
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaeg
e
kee
p
t
rack of as
s
ignme
n
ts to
p
arameter
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoola
e
ge
exp
o
rt
P
etScan:
:
e
x
t
r
a
ct_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n
V
erdoolaege
be more c
a
reful a
b
o
u
t us
i
ng parameter
space
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
oolaege
update
i
sl fo
r
isl_set_fro
m
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoolaeg
e
h
andl
e
ext
r
action
o
f scops inside a loop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
ve
n
V
e
rdoolaege
pet_stmt_embe
d
: handle NULL stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verdoolaege
pe
t
_exp
r
_is_equal:
n
ot equ
a
l if access relati
o
n is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaeg
e
parse
.
c:
e
x
t
ra
c
t_argument
s
: plug
memo
r
y leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven
V
erdoola
e
ge
updat
e
isl for cha
n
ge
i
n i
s
l_set_read_from_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdool
a
e
g
e
upd
a
t
e
isl for change in isl_{in,
}
equa
l
ity_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
S
v
e
n
Ve
r
doolaege
ad
d
c
o
p
y
r
igh
t
s
t
a
t
e
me
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven V
e
rdoolaege
pet_s
c
o
p
_extrac
t
_fr
o
m_C_
s
o
urce: use
a
Com
p
ilerIns
t
a
nce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
ege
clear
assigned
_
val
u
e
f
or scalars tha
t
are assigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
PetScan
:
:set_u
p
per
_
b
o
unds: g
r
acefully han
d
l
e errors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Ver
d
oolaeg
e
u
p
d
a
te i
s
l
for chan
g
e in space o
f
isl
_
pw_*
o
bjects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoo
l
aege
update isl for explicit paramet
e
r spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
u
se isl
_
spac
e
_pa
r
ams
_
alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaeg
e
update isl
f
or
isl_s
p
ace_
p
arams_al
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
doolaege
rena
m
e isl_
d
i
m
t
o
isl_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
u
pdate isl f
o
r rena
m
e of isl
_
d
i
m to isl_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
accept infin
i
te
w
hile l
o
ops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
ad
d
"
e
q" ope
r
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
a
c
cept compound statements with
zero statem
e
nts
w
h
e
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
expr_collect_accesses: u
s
e isl_map_
h
as
_
tuple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
c
h
eck if
t
uple h
a
s
id before calli
n
g isl_{set
,
map}
_
get_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
upd
a
te i
s
l
f
or isl_map
_
has_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
Verdoolaege
allow declarati
o
n
of
i
terator
in f
o
r loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
S
v
en Verdoolaege
upd
a
te
isl for r
e
na
m
e of isl_map_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Tobias Gro
s
ser
H
i
de warn
i
ngs
in syste
m
h
ead
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sv
e
n Verd
o
olae
g
e
h
a
ndle "li
v
e-out
"
pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
p
e
t
.
cc:
extract out upd
a
te_ar
r
a
ys
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pet
.
cc: extract out get
_
v
a
lue_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Ver
d
o
ola
e
ge
avoid
wrapping
on some simple c
a
ses of loo
p
s with uns
i
gned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Ver
d
ool
a
eg
e
wrap res
u
lts of unsigned computations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoolaege
tak
e
into account that unsigned iterators ma
y
w
r
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdo
o
laege
allow
l
oo
p
i
n
c
rements of t
h
e form i = i + cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
ven
Verdoola
e
g
e
allo
w
loo
p
incr
e
ments different from one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdool
a
ege
allow loop i
n
cre
m
e
n
t
s of the form
i
+= 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
f
ix check
f
or "sim
p
le
"
lo
o
p
t
ermina
t
ion conditio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Ve
r
doolaege
update
i
sl fo
r
isl_
p
w_a
f
f_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
p
r
o
perly ha
n
dle gen
e
ric conditions in for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
e
n
Verdoolaeg
e
README: emphasize
t
hat we n
e
e
d clang libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verd
o
ola
e
ge
update for rename of getIns
t
antiationLin
e
N
u
m
b
er to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdoolaege
scan
.
cc: fix typ
o
in
commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
update isl for fix in isl_map_in
t
erse
c
t_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ver
d
oolaege
accept affi
n
e expressions where we expect a
co
n
dition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ve
r
dool
a
ege
update isl f
o
r isl_pw_aff_non_zero_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven van Ha
a
stregt
conf
i
gu
r
e: check if
llv
m
-conf
i
g
actual
l
y exists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
S
ven Verd
o
olaege
init
i
al
vers
i
on of pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree