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
update isl for support for recent clangs
2011-10-13
Sven
Verdo
o
laege
update isl
f
or support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n Verdo
o
laeg
e
a
c
cept non-affi
n
e con
d
itions
i
n i
f
statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
p
e
t
_scop_add:
also
c
ollec
t
the arrays in the
p
e
t_
s
c
o
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdoola
e
ge
p
e
t
_
stmt:
a
dd a
r
g
uments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolaege
pet_stm
t
_from
_
p
e
t_expr: cle
a
r all fi
e
l
ds
o
f
newly
c
reat
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
olaege
update
i
s
l
for change
i
n
isl_pw_aff_set_tuple
_
id prototyp
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoo
l
aege
only distribute bundled submodul
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdo
o
l
a
ege
keep track
o
f assignm
e
nts to param
e
ters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verd
o
o
laege
export PetScan::extract_i
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doolaege
be more careful ab
o
ut u
s
i
n
g parameter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rd
o
olaeg
e
u
p
d
ate isl
for isl_set_fr
o
m
_
para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoolaege
handle extr
a
cti
o
n of scops inside a loop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verd
o
o
l
a
ege
pet
_
stmt_emb
e
d
:
handl
e
NULL
s
tmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
p
e
t_expr
_
is_equa
l
: not eq
u
al if
access r
e
l
a
t
i
on is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ver
d
oolaege
parse
.
c: extract_argu
m
e
n
ts: p
l
ug memory
l
eak
on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verdo
o
l
a
e
ge
update isl for change in isl_set_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoola
e
ge
update isl
for ch
a
nge in isl_{in,}equality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
S
v
en Verdool
a
e
ge
add copyright statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdool
a
ege
p
et_
s
cop_extract_from
_
C_
s
our
c
e: use a C
o
mpilerInstan
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
clear assigned_value
for
scalars that a
r
e assi
g
n
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
olaege
PetSca
n
:
:
set_upper_bound
s
:
g
racefully handle er
r
o
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaege
update is
l
fo
r
chang
e
i
n
spac
e
of isl_pw_* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl for e
x
pli
c
it par
a
mete
r
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
use isl_space_param
s
_allo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdo
o
laege
update is
l
fo
r
isl
_
space_
p
arams_all
o
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
re
n
ame isl_dim to isl_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
update
isl for
r
ename of isl
_
dim
t
o isl_spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
accept infinite
while loo
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoola
e
g
e
ad
d
"
e
q" op
e
r
a
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laeg
e
accept comp
o
und stateme
n
ts with
z
ero
s
tatements when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
doolaege
e
x
pr_collect_accesses:
use is
l
_
map_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdool
a
eg
e
chec
k
if tuple
has
i
d before c
a
lling isl_{set,m
a
p}_get_tupl
e
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
update isl for isl_map
_
h
a
s_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en Verdoola
e
ge
allow declaration of iterator in for
l
oops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven
Verdoolae
g
e
u
pdat
e
isl for rena
m
e of
isl_ma
p
_inser
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Tobias Gros
s
er
Hide war
n
in
g
s in
s
y
stem hea
d
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Ve
r
dool
a
ege
handl
e
"live-out" pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoo
l
aege
pet
.
c
c
: extract out
u
pdate_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sv
e
n Ve
r
d
oolaege
pet
.
cc: ex
t
ract o
u
t
g
et_val
u
e
_de
c
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
avoid wrapping on som
e
s
imple cases of loop
s
with uns
i
gn
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
V
erdool
a
eg
e
wra
p
resu
l
ts of unsigned computat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
ven V
e
r
d
oolaege
t
a
ke in
t
o accou
n
t that
u
n
si
g
ned it
e
rators may wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow loop increments
o
f
the fo
r
m i
=
i + cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Verdool
a
ege
a
l
l
o
w
l
o
o
p increme
n
ts different f
r
om one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verdool
a
ege
all
o
w loop
i
ncrements of the for
m
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" loop terminatio
n
condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoolaege
u
pdate is
l
for isl_pw_aff_m
o
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Ver
d
oolaege
proper
l
y handle
generic cond
i
tions in f
o
r
l
oops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoola
e
ge
README: emphasize tha
t
we need
c
lang libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
update for rename of getInstantiatio
n
LineNumber to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
ven
V
e
r
d
oo
l
aege
sca
n
.
cc: fix typo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoo
l
aege
up
d
ate isl for fix in isl_map_int
e
rsect
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
S
v
e
n Ver
d
oolaege
a
ccep
t
a
ffine
e
x
pressions wh
e
re we expect a condi
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ve
r
doolaege
update isl for isl_pw_aff
_
n
o
n_zer
o
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sv
e
n van Haa
s
tr
e
gt
configure: check if llvm-
c
onfig actuall
y
exists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
V
e
rdoolaege
ini
t
ial ver
s
ion of pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree