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_writes
2011-11-16
Sven Verdoolaege
add
pet_scop_w
r
ites
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
S
v
e
n
Verdoolae
g
e
privately ex
p
ort pet_expr_foreach_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sv
e
n Verdoolaege
add -D op
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erdoola
e
ge
a
dd -I opt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ven
V
e
rdoolaeg
e
p
et:
use isl fo
r
argume
n
t pars
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erd
o
o
laege
s
tore a
u
todetec
t
o
pt
i
on in a separate p
e
t
_
o
ptions s
t
ructur
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Verdo
o
laege
u
p
date isl for support for string list argum
e
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
up
d
ate
i
sl
for introduction of isl_a
r
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
Ver
d
o
o
laege
use the cl
a
n
g driver to
obtain command line argument
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ven
Verd
o
olaege
destroy
M
yDi
a
gnosticPrinter
o
n newer
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Verdool
a
ege
support more re
c
ent LL
V
Ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdoolaege
u
pdate
i
sl
f
or
supp
o
rt for recen
t
cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven
V
erdoolaege
ex
t
r
act_affine: a v
a
ri
a
ble that has been
a
s
signed a
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven V
e
rdoo
l
a
ege
induction variable of for loop s
h
o
uld be considered
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
a
n a
d
dre
s
s passed to a cons
t
pointer argu
m
ent
s
hou
l
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
Sven Verdoo
l
aege
.
gi
t
i
g
n
o
re: add c
o
n
f
i
g
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoolaege
turn v
i
rtual scal
a
r
s
into
virtual arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verd
o
o
laege
mark
__pet_test_* sc
a
l
ars as only at
t
aining v
a
lues
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rdoo
l
aege
allow l
a
bels on expression
s
tatemen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ver
d
o
o
l
aege
all
o
w specification of only
l
owe
r
bound
o
n parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
u
se is
l
_set
_
{lo
w
er,upp
e
r}_bound_si i
n
stead of our
own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaege
up
d
a
te isl for isl_set_upper_bound
_
si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
ex
p
l
i
c
itly link in gmp when u
s
ing l
i
b
i
sl
.
l
a
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
ven Verdoolaege
Makef
i
le
.
am:
ap
p
end ext
r
a
copy
o
f CLANG_LDFLAGS to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaeg
e
update isl to v
e
rsion 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven
V
erdoolaege
update isl for s
u
pport for
r
ecent cl
a
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
olaege
acc
e
pt non-af
f
i
n
e
c
onditions in if statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
e
rdoola
e
ge
pet_scop_
a
dd: also
collect the a
r
rays in the
pet_scop
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_
s
t
mt:
add ar
g
umen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_s
t
mt_from_pet_
e
xpr: c
l
ear all
f
ields
of newly created
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
e
r
doo
l
a
e
ge
update isl fo
r
change in isl_pw_aff_se
t
_
tuple
_
id p
r
ototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
olaege
o
nly distribute
b
u
ndled submodul
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
laege
keep track of assign
m
ents to parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n Verdoolaege
e
xp
o
rt PetScan::extract_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
e
rdoolaege
be more careful a
b
out
using
p
arameter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
aege
u
p
date isl fo
r
isl_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sven
V
erdool
a
e
ge
handle
e
xtraction of sc
o
ps inside a loop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
pet_stmt_embed: handle NULL
s
t
m
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdo
o
laege
pet_expr_
i
s
_
equal: no
t
equal if acc
e
ss relation
is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verd
o
olaege
parse
.
c: extract_arguments: plug memo
r
y
leak on er
r
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
e
n Verd
o
olaege
up
d
a
t
e is
l
for change
in isl_set_read_from_st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
update isl
for change in isl_{in,}e
q
u
a
lity
_
a
l
loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sve
n
Verdoolaege
add
co
p
yright statem
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
S
ven Verdoolaege
pet_
s
cop_extr
a
c
t
_from_C_so
u
rce
:
use a CompilerInstance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
clear assigned_value for
scalars that are assig
n
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
PetScan
:
:
s
et_uppe
r
_bounds: grac
e
fully
h
andle er
r
ors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
r
d
oola
e
ge
u
pdate isl
for chan
g
e in space
o
f
isl_pw_* ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
update
i
sl for explicit paramete
r
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rd
o
ola
e
ge
use isl_space_para
m
s_allo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
olaege
updat
e
isl for isl_
s
pace
_
params_allo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
rename isl_dim to
i
sl_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaege
u
pdate isl fo
r
r
ename of
isl_d
i
m
t
o
i
sl
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
er
d
oolaege
accept infi
n
i
te
while
loo
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
do
o
laeg
e
a
dd "eq"
o
pera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
l
a
e
ge
accept
c
ompound statem
e
n
t
s w
i
t
h
zero s
t
atem
e
nts
wh
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
Verdoolaege
e
x
pr
_
collect_accesses: use isl_map_has_t
u
ple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n Ver
d
o
olaege
c
heck
i
f
tuple has id before
calling isl_{set,map
}
_get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
e
r
doolaege
update isl
f
or isl_map_has_tu
p
le_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Verdoolaege
allow
declaration of iterator in
for
l
oops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven
Verdo
o
la
e
ge
update isl for rename of isl_ma
p
_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Ve
r
doolaege
ha
n
dle "l
i
ve-out" pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
v
en
Verdoola
e
ge
pet
.
cc: ex
t
ract
o
ut updat
e
_
a
r
rays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
v
e
n
Verdoolaege
pet
.
cc: extract out get
_
value_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
o
o
l
a
ege
avoid wrap
p
ing on some simple cases
of loo
p
s with unsigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
wrap results of unsigned computations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
e
n Verdoolaege
take into account that
u
nsigned
i
t
e
r
at
o
rs may
w
rap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verd
o
olae
g
e
allow
l
o
op incr
e
men
t
s
o
f th
e
form i = i + cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow loop i
n
crements
d
ifferent
f
rom
o
ne
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verd
o
o
laege
allow lo
o
p increments of the fo
r
m i += 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoolaege
fix check
f
or "simple" lo
o
p terminati
o
n co
n
dition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Ver
d
o
o
l
aege
update
i
sl
f
or
i
sl_pw_aff_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en
V
erd
o
olaege
pro
p
erly handle gen
e
ric conditions in for loo
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
V
e
r
d
oolaege
README: emphasize that w
e
n
ee
d
cl
a
ng libra
r
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en Verdo
o
laege
upda
t
e
f
or rename of getInstan
t
i
ationLi
n
eNu
m
ber to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
scan
.
cc
:
fix typo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
u
p
date isl for
f
ix in i
s
l
_
map_
i
ntersect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven V
e
rdo
o
l
a
ege
accept a
f
fine exp
r
essions where we
e
xpect a c
o
ndit
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sve
n
Verd
o
olaege
update isl for i
s
l_pw_a
f
f_non
_
ze
r
o_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Ve
r
d
o
olae
g
e
i
niti
a
l version of
pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree