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
destroy MyDiagnosticPrinter on newer clangs
2011-11-13
Sve
n
V
erdoolaege
destroy MyDiagnos
t
icPrinter on newer clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
sup
p
o
rt more
r
ecent
LLVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
oolaege
update
i
sl for s
u
pport f
o
r rece
n
t
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verd
o
olaege
extract_affin
e
:
a
vari
a
ble that has bee
n
assig
n
ed a
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
induct
i
on variable o
f
for
loop should be considered
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolae
g
e
a
n
add
r
e
s
s
p
a
s
sed to a c
o
nst point
e
r argument sh
o
uld
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
Sven Verdoo
l
aege
.
git
i
gnore: add config
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
turn vi
r
tual scala
r
s into virtua
l
arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verdoo
l
aege
m
a
rk __pet_test_
*
s
c
alars as
o
nly attaining values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verdoolaege
allow labels on expr
e
ss
i
on statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoolaege
allow specif
i
cation
of
o
nly
l
ower bound on p
a
rameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n
Verdoolaege
use isl_set_{lower,u
p
per}_
b
oun
d
_si inst
e
a
d of our o
w
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verd
o
olaege
updat
e
isl for isl_s
e
t_
u
p
p
er_bound_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaege
explicit
l
y link in gmp when using libisl
.
l
a
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
Makefile
.
am
:
append extra copy of CLANG_LD
F
L
AGS to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sve
n
Verdo
o
laege
u
p
d
a
te isl t
o
v
e
rsion
0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Tobias Grosser
adapt to th
e
recent
changes i
n
clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
updat
e
i
s
l for support for
recent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
r
d
oolae
g
e
a
c
cept n
o
n-
a
f
f
ine conditions
i
n if statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoola
e
g
e
pet_scop_add
:
al
s
o
collect the arrays in
th
e
pet
_
scops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
e
g
e
p
et_stmt: add a
r
guments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
pet_st
m
t_f
r
o
m
_pet_
e
xpr:
c
lear all fie
l
d
s of newly created
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
update isl for chan
g
e in isl_p
w
_aff_set
_
tuple_id
prototy
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
V
e
rdo
o
laege
on
l
y
d
i
s
tribute bundle
d
s
u
b
modul
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
keep track of assignments to
p
aram
e
t
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoola
e
ge
export Pet
S
can::ext
r
act_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
ae
g
e
be mo
r
e
c
areful about using para
m
eter spa
c
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdool
a
ege
update isl
for isl_set_from
_
para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdo
o
laege
handle
e
xtr
a
ction of scops inside a l
o
op
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
rdoo
l
aege
pet_stmt_em
b
ed: h
a
ndle
NU
L
L
s
tmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoo
l
ae
g
e
pet_ex
p
r
_
is_equal: not e
q
ual if access
r
elation is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verd
o
ola
e
ge
pars
e
.
c
:
e
xtr
a
ct_argum
e
nts: plug memory leak
o
n
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Ve
r
doolaege
update isl for chan
g
e in isl_s
e
t
_rea
d
_
from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Verdoolaege
update isl for
c
hange in
i
sl_{i
n
,}equal
i
ty_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolaege
add copyright statemen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
S
v
en Verdoolaege
pe
t
_scop_ex
t
ract_from_C_
s
ou
r
ce:
use a
C
ompilerI
n
stance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
r
d
oolaege
clear assig
n
ed_val
u
e for sca
l
a
r
s that are
assigne
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oolaege
PetS
c
an::se
t
_upp
e
r_bou
n
ds: gracefully handl
e
errors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoolaege
update isl f
o
r change in sp
a
ce
o
f isl_
p
w_* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erd
o
olaege
update isl for explic
i
t parameter spac
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
use isl_
s
pa
c
e_par
a
m
s
_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdool
a
ege
upda
t
e
isl
f
or
i
sl_s
p
ace_params_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
ae
g
e
ren
a
me i
s
l_
d
i
m
t
o
isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
ae
g
e
update
isl f
o
r rename of isl_dim
to isl_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
Verdool
a
eg
e
accept
infinite while loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
lae
g
e
add "eq" oper
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
accept compound s
t
a
t
e
m
e
nts wit
h
zer
o
statem
e
nt
s
w
h
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
expr_collect_ac
c
esses: use isl_map_h
a
s_tupl
e
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
erdoola
e
ge
check i
f
t
u
ple has i
d
befor
e
call
i
ng isl_{s
e
t,map}_get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
ven Verdoolaege
update i
s
l for isl_map_has_
t
uple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
V
e
rdo
o
laege
allo
w
dec
l
aration of
i
t
erator in for l
o
ops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdool
a
ege
update isl
f
o
r r
e
name of i
s
l_m
a
p_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Tob
i
as
G
ross
e
r
Hid
e
warnin
g
s in system h
e
a
ders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
h
a
ndl
e
"live-
o
ut" pragma
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoo
l
aege
pet
.
cc: extract
o
ut update_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven V
e
rdoolaeg
e
pet
.
cc: extract out g
e
t_v
a
l
ue_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
avoid
wrapping
o
n so
m
e simple c
a
ses of loops with u
n
si
g
ned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolaeg
e
w
r
ap re
s
u
l
t
s
of unsi
g
n
ed co
m
putat
i
on
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdo
o
laege
take into ac
c
ount that u
n
s
i
gn
e
d it
e
rat
o
r
s
may
wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
a
l
low loo
p
increments of the form i = i +
c
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
a
l
low loo
p
inc
r
e
m
ents
diffe
r
ent from one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoolaege
allow loop increments of the form i += 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoolaege
fix check for "simple"
l
oop
t
ermination conditio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
update
i
s
l for isl_pw
_
af
f
_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en Verdoolaege
properly ha
n
d
le generic conditions in
f
or loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
ven
V
erdoolae
g
e
README: emphasize tha
t
we need cl
a
ng l
i
braries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoola
e
ge
upd
a
te for rename of
g
e
t
Instantia
t
ionLine
N
umber to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ve
r
do
o
l
aege
sc
a
n
.
cc: fix ty
p
o in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdool
a
ege
update
isl for fix in isl_map_inter
s
ect_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoo
l
aege
a
c
cept affine e
x
pre
s
sions w
h
ere w
e
ex
p
ect
a condi
t
io
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolae
g
e
update
i
sl
for isl_pw_aff_non
_
zero_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven van
H
aastregt
c
o
n
figure: check if llvm-conf
i
g
a
c
tually exists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
S
v
en
V
e
r
d
oolaege
init
i
a
l
version of pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree