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
S
v
en Ve
r
d
o
olaeg
e
renam
e
non_affine to nested_
a
ccess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
ven Verdo
o
la
e
g
e
add pe
t
_sc
o
p_writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven V
e
rd
o
olaege
pr
i
vately export p
e
t_expr_foreach_
a
ccess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
oolaege
ad
d
-D
o
pt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
e
n
Ver
d
o
olaege
add -I op
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Verdoolae
g
e
p
et: use isl for
argumen
t
parsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
Verdoolaege
s
t
ore
autodetect opt
i
o
n in a separate pet_opt
i
ons
s
truc
t
u
re
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
olaege
u
p
date isl f
o
r support
for s
t
ring
list arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verdoolaege
update
i
sl for intro
d
u
ction of
isl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
use the c
l
ang driver t
o
obta
i
n comm
a
nd line arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
V
erdoo
l
aege
destro
y
MyDiagnosti
c
Printer on newer clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
d
oolaege
s
uppo
r
t
more r
e
cent LLVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
update is
l
f
or suppor
t
for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdool
a
ege
extrac
t
_affine:
a variable that h
a
s been assign
e
d an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
S
v
en Verdoo
l
aege
induction va
r
iable of
for loop should be
cons
i
d
e
red
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sv
e
n Verdoolaege
a
n a
d
d
r
ess passed to
a
c
on
s
t po
i
nter argument
shoul
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
Sven Ve
r
doolaege
.
gitig
n
ore: a
d
d confi
g
.
h
.
i
n~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoo
l
aege
turn virtua
l
scalar
s
i
n
t
o virtual array
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
r
doo
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
Sven Verdoola
e
ge
allow labels
on
e
xpre
s
sion statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verd
o
olaege
all
o
w s
p
ecifi
c
a
t
ion of only lower bound
on paramet
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
u
s
e
i
sl_set_
{
lower,upper
}
_
b
ound_
s
i instead of our own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdoolaege
update isl
for i
s
l_set_upper_bound_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Ve
r
d
oo
l
aege
explicitly link
in gmp when using libisl
.
l
a
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sve
n
Verd
o
o
la
e
ge
M
a
kefile
.
am: app
e
nd
ext
r
a c
o
py of
C
LAN
G
_LDFLAGS to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verd
o
olaeg
e
updat
e
isl to
version
0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
T
o
bias Grosser
adapt t
o
the r
e
c
e
n
t
ch
a
n
g
es in
clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven V
e
rdool
a
e
ge
update isl for suppor
t
for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
accept
non-
a
ff
i
n
e
c
onditions in if stat
e
ment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdoolaege
p
et_scop_add: also co
l
lec
t
the ar
r
ay
s
i
n the pet_s
c
o
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
p
e
t_stmt: add ar
g
uments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdo
o
l
aege
pet_stmt_from_pet_exp
r
: clear
all fields of
n
ewly created
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
up
d
a
te isl for c
h
ange in i
s
l_pw_aff_set
_
tuple_i
d
proto
t
y
pe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven
Verdo
o
l
aege
only dis
t
ribute
b
undled submodules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Verdoolaege
ke
e
p track
of assi
g
nm
e
nts to parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
export
PetSc
a
n::
e
xtrac
t
_
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdo
o
laege
be more careful
abo
u
t us
i
ng par
a
me
t
er s
p
aces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
u
pdat
e
isl for isl_
s
et_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
S
ven
V
erdoolae
g
e
h
a
nd
l
e extraction of scops inside a loop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verdoolaege
pet_stmt_embed: handle NULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
ven
V
erdoolaege
pet_e
x
pr_is_e
q
ual: no
t
equal if acc
e
s
s
relation
i
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verdoolaege
p
a
rse
.
c: ex
t
ract_arguments: plug mem
o
ry leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
ven Verdoolaege
u
p
date
i
sl for change i
n
isl_set_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
update
i
sl f
o
r cha
n
g
e
in i
s
l_{in,}e
q
u
ality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoo
l
aege
add copyright st
a
te
m
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
S
ven V
e
r
doo
l
aege
pet_scop_e
x
tract_f
r
o
m_C_s
o
u
r
ce: u
s
e
a CompilerI
n
stance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
ola
e
ge
clea
r
assigned_valu
e
for s
c
alars t
h
at ar
e
a
s
s
i
g
ned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaege
PetScan::set
_
upper_
b
oun
d
s: gracefully
h
a
n
dle
errors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
e
n Verdoolaege
u
pdate isl for change in spac
e
of isl_pw
_
* o
b
ject
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verd
o
olaege
update is
l
f
o
r exp
l
icit p
a
rameter sp
a
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdo
o
laege
us
e
isl_space
_
params_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
up
d
ate isl for isl_space_
p
ar
a
m
s
_
alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aeg
e
rename isl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
V
erdoolaege
update isl for rename of isl_dim
t
o isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ve
r
doolaege
accept infinite while
loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdo
o
laege
add "e
q
"
operatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolae
g
e
accept
co
m
pound sta
t
ements w
i
t
h
zero statements when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
expr_collect_
a
cc
e
sses: us
e
isl
_
map_has
_
tupl
e
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
check if tuple has id befo
r
e calling isl_{se
t
,m
a
p}
_
get_tuple
_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n Verdoolaege
u
p
d
a
te
i
sl
for isl_m
a
p_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
ven Verdoolaege
allow d
e
clarat
i
on of i
t
er
a
tor in for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoola
e
ge
up
d
ate isl fo
r
r
e
name of isl_map_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Tobias G
r
os
s
e
r
Hide warnin
g
s in system h
e
aders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaeg
e
handl
e
"live-out" pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoola
e
g
e
pet
.
cc:
extract out up
d
ate_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pet
.
cc: extract
out get_value_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
avoid wr
a
p
p
ing on some
si
m
ple c
a
ses of loops with unsi
g
ned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolae
g
e
wrap results of unsign
e
d computations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
ven Verdoolaege
take
i
nto acc
o
u
nt that
unsi
g
ned
i
ter
a
tors may wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verdoolaege
allow loop in
c
rements of
t
h
e form i = i
+ cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven V
e
r
d
o
o
l
a
e
ge
allow loop
i
nc
r
ements d
i
ffe
r
e
nt from o
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
allo
w
loop increment
s
of the f
o
r
m
i
+= 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ve
r
doolaege
fix
c
he
c
k for "simple" loop termina
t
ion conditi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdool
a
ege
upda
t
e isl f
o
r isl_pw_aff_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
properly
h
a
n
dle gene
r
ic cond
i
tion
s
in for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoo
l
aege
README: emphasize that
w
e need clang libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoo
l
aege
u
p
d
a
t
e for rename of ge
t
Insta
n
ti
a
t
i
onLineNumber
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolae
g
e
scan
.
c
c
:
f
ix typ
o
in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven
V
erdoola
e
ge
update
isl for fix i
n
isl_map_intersect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sv
e
n Ve
r
doolaeg
e
accept affine e
x
pressions wh
e
re we expect a condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaeg
e
u
pdate isl
f
or i
s
l_pw
_
a
f
f
_
no
n
_zero_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven
v
a
n
Haastregt
configure:
c
heck if l
l
v
m
-config actua
l
ly exist
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
in
i
tial v
e
r
si
o
n of pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
