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
induction variable of for loop should be considered a parameter inside the loop
2011-11-06
Sve
n
Verd
o
o
l
a
e
ge
induction variable of for loop should be considered
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
S
ven
V
erdoolaege
an addre
s
s
passe
d
to a cons
t
pointer ar
g
ument should
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-03
S
v
en
V
erdoo
l
ae
g
e
.
giti
g
nore: ad
d
co
n
f
ig
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Verdoolae
g
e
turn virtual scalars into
virtual arr
a
ys
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Ve
r
dool
a
ege
mark
__pet
_
te
s
t_
*
scalars
a
s
o
nly
a
t
taining
values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
r
d
oola
e
ge
allow labels
on expr
e
s
s
ion sta
t
ements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
a
l
low s
p
ecifi
c
a
ti
o
n
o
f on
l
y lower bound on parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Ve
r
d
oolaege
use isl_s
e
t_{lowe
r
,uppe
r
}_bound_si inste
a
d
of our own
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
V
erdoolaege
update isl for is
l
_set_upper_bound_s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdool
a
ege
ex
p
lici
t
ly
l
ink in gmp
w
hen u
s
ing
l
i
bisl
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdool
a
eg
e
M
akefile
.
a
m: ap
p
end extra copy of CLANG_
L
D
F
LAGS to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven
Verdoolaege
u
p
d
a
te is
l
t
o v
e
rsion 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
S
ven Verdoolaege
up
d
a
t
e i
s
l for suppor
t
for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
accept
n
on-affine condi
t
i
ons in if statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven
Ver
d
oolaege
pe
t
_scop_add: als
o
collect the arrays in
t
he
p
et_
s
cops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdo
o
laege
pet_s
t
mt: add arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdoolaege
pet
_
stmt_from_pet_expr: clea
r
all
fields
o
f newly created
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdoo
l
ae
g
e
u
pdate isl
f
or
change in i
s
l
_pw
_
aff_set_t
u
ple_id prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doola
e
ge
on
l
y distribute bundle
d
submodu
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
k
eep track
o
f ass
i
g
nmen
t
s to parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en V
e
rdoolaege
export Pe
t
Sc
a
n::e
x
t
r
act_in
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
e
r
do
o
laege
be
m
ore careful about
usi
n
g
parameter
spac
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Ver
d
o
o
laege
updat
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 Verdoolaege
handle e
x
t
ra
c
tion of
s
cops inside a loop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verdoolaege
pet_
s
tm
t
_embed
:
handle NULL stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
pet_expr
_
is_equal: not equ
a
l if access relation is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verdoolaege
parse
.
c:
extract_arguments:
p
lu
g
memory leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
v
e
n Verdoolaege
update isl fo
r
change
in i
s
l_set_read_from
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n
Verdoo
l
aege
update is
l
for
change in is
l
_{in,}equality_a
l
loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
S
v
e
n
Verdoolae
g
e
add copyright statement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoo
l
aege
pet_sc
o
p_extract_
f
rom_C_source: use a Co
m
pi
l
erIn
s
ta
n
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
laege
clear a
s
s
i
g
ned_
v
al
u
e
for
s
c
a
lars that are
a
ssigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
laege
PetScan::set_upper_bounds
:
gra
c
efully ha
n
dle e
r
rors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update isl for change in space o
f
isl
_
pw_* o
b
jects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
up
d
a
t
e isl for explici
t
paramete
r
spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdo
o
laege
use i
s
l_space_params_allo
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
update isl for isl_space
_
p
a
rams_all
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
rename isl_dim to i
s
l_
s
pac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolae
g
e
u
p
date isl f
o
r re
n
ame of isl_dim to is
l
_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaege
accept infinite while
l
oops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
a
d
d
"eq"
o
perat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoola
e
ge
accept
compou
n
d st
a
tements with
z
ero st
a
temen
t
s when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
expr_collect_accesses: use isl_map_ha
s
_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
check if tu
p
le has i
d
before
cal
l
ing isl_{se
t
,map}_get_tuple
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
update isl for isl_map_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ver
d
ool
a
ege
allow d
e
c
l
aration of
ite
r
ator in for
l
oops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
S
v
e
n
Verdoolae
g
e
up
d
ate i
s
l
f
o
r rename of
i
sl_
m
ap_ins
e
rt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sv
e
n Verdoolaege
han
d
le "live
-
out
"
pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Ve
r
doolaeg
e
pe
t
.
cc: extrac
t
out update_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven
V
erdool
a
ege
pet
.
cc: e
x
tract out ge
t
_value_
d
ecl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven V
e
rdoolaege
avoid wrapping
on
some simple c
a
s
es
o
f loops with unsigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoolaege
w
r
a
p resu
l
ts
o
f unsi
g
ned c
o
mp
u
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
ven Verdoolaege
take i
n
to ac
c
ount that unsigned iterators may wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolae
g
e
allow loop increments of the fo
r
m i = i +
cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
oolaege
allow loo
p
i
n
c
rements dif
f
erent
f
rom one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdo
o
laege
a
llow loop
i
n
c
rement
s
of the for
m
i
+
= 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven V
e
rdoola
e
ge
fix chec
k
for "simple"
loop termin
a
t
i
o
n
c
o
n
d
ition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven V
e
rdoolaeg
e
update i
s
l for isl
_
pw_aff_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ve
r
d
oo
l
aeg
e
properly h
a
ndle generic conditions in
for loop
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdoolaege
README: emphasize that we n
e
ed clang libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ve
n
Verdoola
e
ge
update for rename of
g
etInstan
t
iationLi
n
eNumber t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven V
e
rdo
o
laege
sca
n
.
cc:
f
ix t
y
po i
n
com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ve
r
doolaege
upda
t
e isl for fix in isl_map_int
e
rsect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
accept
a
ffine
expressions where we
e
x
pect
a
cond
i
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
ve
n
Ver
d
oolaege
upd
a
te
isl f
o
r isl_pw_aff_non_z
e
r
o
_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
i
nitial version
o
f pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
