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
use the clang driver to obtain command line arguments for the clang frontend
2011-11-13
Sven Ver
d
oolaege
use the cl
a
ng driv
e
r
to obt
a
in command line arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
o
laege
destroy M
y
Diagnos
t
icPrinter
on newer c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
ven Verd
o
olae
g
e
support mor
e
recen
t
LLVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sv
e
n Verdoolaege
update isl for support for r
e
cent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
extract_affine
:
a variabl
e
tha
t
h
a
s
been assigned an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
induction variab
l
e
o
f for loop
s
h
o
uld be consider
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
an ad
d
r
e
ss pas
s
ed to a con
s
t
pointer argu
m
ent s
h
ould
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
Sven V
e
rdo
o
la
e
ge
.
gitigno
r
e: add
c
o
n
f
i
g
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolae
g
e
t
urn virtual scala
r
s int
o
v
i
r
t
ual arra
y
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdoolaege
m
ark
__pet_test_* scalars as only
a
ttaining values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
allow labels on exp
r
es
s
i
o
n s
t
ate
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ver
d
oolae
g
e
allow s
p
e
cification of only lower bound on parame
t
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
use i
s
l
_
set_{lowe
r
,upper}_
b
ound_
s
i instead of our o
w
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
u
p
date
isl for isl_
s
e
t
_
upper_b
o
und_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sve
n
Verdool
a
e
g
e
expl
i
citly link in g
m
p when using lib
i
sl
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolae
g
e
Makefile
.
am:
a
ppend
e
xtra
copy of
C
LANG_LDF
L
A
G
S to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
v
en
V
e
r
d
oolaeg
e
update is
l
to version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Ve
r
d
o
olaeg
e
u
pdate is
l
f
or
support
f
or rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
laege
acce
p
t non
-
affi
n
e
conditions in if
s
t
a
tements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
er
d
ool
a
ege
pet_scop_add: a
l
so
c
ollect the arrays in the
p
et_scops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n Verdoo
l
aege
pet_
s
tmt: ad
d
arg
u
m
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
pet_s
t
mt_f
r
om_pet_expr: clea
r
a
l
l fields of n
e
wly created
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoola
e
ge
update i
s
l for change in isl_pw_aff_s
e
t_tu
p
l
e
_id prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
onl
y
dist
r
ib
u
t
e bun
d
led su
b
modules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verd
o
olaeg
e
keep track of ass
i
gnments to parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
er
d
oolaege
export PetScan::ext
r
ac
t
_
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
aege
be more ca
r
e
f
ul abo
u
t using param
e
t
er
spa
c
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdoolaeg
e
update
i
sl for isl_s
e
t_from_pa
r
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sven
Verdoo
l
aege
hand
l
e extraction of s
c
ops
insid
e
a loop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n
V
e
rdool
a
ege
pet_st
m
t_
e
mbed: han
d
le
NULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ve
r
doolaege
p
et_expr
_
is
_
equal: not equ
a
l if
a
ccess rela
t
ion is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoo
l
aege
p
arse
.
c: e
x
tr
a
ct_ar
g
um
e
nts: plug
m
emory leak on
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
rdoolaege
upd
a
te isl fo
r
cha
n
ge in isl_set_read_fr
o
m_
s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Verdoolaege
update isl for change in isl_{in,
}
eq
u
a
li
t
y_a
l
loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sve
n
Verdoo
l
aege
a
d
d
c
o
p
yright s
t
atem
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
S
ven Verdoolae
g
e
pet_scop_extrac
t
_
from_C_sou
r
ce: use a Com
p
ilerIn
s
tanc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
lae
g
e
clear assigned_value for scalars that are
as
s
igned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven V
e
rd
o
ol
a
e
ge
P
e
tScan::set_upper_bounds
:
graceful
l
y hand
l
e
errors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
o
lae
g
e
u
p
date isl f
o
r cha
n
ge in space of is
l
_
pw_* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
upd
a
te is
l
for ex
p
licit
para
m
eter
s
paces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
use isl_sp
a
c
e
_params_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update
isl for isl
_
space_params_al
l
o
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
ren
a
me isl_di
m
to is
l
_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdool
a
e
ge
update isl f
o
r r
e
nam
e
of is
l
_di
m
t
o
isl_sp
a
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
accep
t
i
nfinite while loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
add "eq" op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
l
a
ege
a
ccept compound stat
e
ments with zero state
m
ents wh
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verd
o
ol
a
ege
expr
_
collect_acce
s
ses: use isl_map_
h
a
s_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven V
e
rdo
o
laege
check if
tuple has id befo
r
e
calling isl_{
s
et,map}_get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Verdoolaege
upd
a
te isl for isl_ma
p
_
h
a
s_tupl
e
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Verdool
a
ege
allow d
e
claratio
n
o
f iterat
o
r in for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
en Verd
o
olaege
upda
t
e isl for renam
e
of isl_map_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Ve
r
do
o
la
e
ge
handle "
l
ive-out" p
r
agmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pet
.
cc: extrac
t
out upd
a
te_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verdoolaege
pet
.
cc: extract out get_value_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ve
r
doo
l
aege
a
v
oid wr
a
p
p
ing on so
m
e simp
l
e cases of loops with
unsigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en
Verd
o
olaege
wrap results of unsigned
computa
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaeg
e
t
ake into account that unsigned iterators m
a
y
w
rap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verdoolaege
al
l
ow loop increment
s
o
f the
form
i
=
i + cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verd
o
olaege
allow loop
i
ncrements d
i
ff
e
rent
f
r
om one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
ven Verdoo
l
aege
allow
l
oop increments of the form i += 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
ool
a
ege
fi
x
ch
e
ck
f
or "simp
l
e" loop te
r
minat
i
on
condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoo
l
aege
update i
s
l fo
r
isl_pw_aff_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoola
e
ge
pr
o
perly
h
and
l
e ge
n
eric con
d
itio
n
s in for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdoolaeg
e
README: emph
a
size tha
t
we need
clang libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdo
o
laege
upda
t
e
fo
r
rename of get
I
n
stantiat
i
onLine
N
umber to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ve
r
doolae
g
e
scan
.
cc
:
fix typo i
n
co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoo
l
a
e
ge
up
d
ate isl
for fix in isl_map
_
intersect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
accept affin
e
expression
s
where we expect a conditi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven
V
e
rdoolaege
update is
l
for isl
_
pw_aff_non_z
e
ro_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
S
v
en V
e
r
d
o
olaege
i
nitial version of
p
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree