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 Verdool
a
eg
e
use th
e
cl
a
ng driver to
obtain
command l
i
ne arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
destroy MyDiagnosticPrinter
on n
e
w
er clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoolaege
support more
recent LLVMs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verdoo
l
aege
u
p
da
t
e is
l
for
s
upport for r
e
c
en
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Ve
r
doola
e
ge
extrac
t
_
affine: a varia
b
le t
h
at
h
as bee
n
assigned an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
S
ven V
e
rdool
a
ege
induction variable of for loop should be co
n
sid
e
red
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoo
l
aege
an
a
ddre
s
s passed
t
o a const po
i
n
t
er argument s
h
ould
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
Sve
n
Verdoolaege
.
giti
g
n
ore: ad
d
con
f
ig
.
h
.
in~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
turn virtua
l
scalars in
t
o
virtual arr
a
ys
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
l
aege
m
a
rk __pet_test_* scalars
a
s only attaining
v
alues
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verd
o
olaege
a
l
low label
s
on
e
x
pres
s
ion statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaeg
e
allow specifi
c
ation
o
f only l
o
we
r
bound on parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
use is
l
_set_{lower,up
p
er}_bou
n
d_
s
i instead of our own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
update
isl for isl_s
e
t_
u
p
p
e
r_bound_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
S
v
e
n
V
e
r
doolae
g
e
exp
l
i
c
itly link in gmp w
h
en using
l
ib
i
s
l
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
ven
Ve
r
doolaege
M
akefile
.
am
:
append extra copy of CLANG_LDFLAGS t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Ver
d
oolaege
up
d
ate isl to
v
ersion
0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Tobias Grosser
a
d
apt to the
r
e
cent changes in c
l
a
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en Verdool
a
ege
update isl for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
accept non-affi
n
e con
d
itions
i
n
i
f st
a
tements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
pet
_
sco
p
_add: a
l
s
o colle
c
t t
h
e
arrays in the pe
t
_scops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoo
l
a
ege
pet_s
t
mt: add arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
eg
e
pet_stmt_
f
r
o
m_pet_expr: clear all fields of newly created
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
update i
s
l for change in isl
_
pw_af
f
_set_tup
l
e_id prototyp
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolae
g
e
onl
y
d
i
s
tr
i
bute bu
n
dle
d
su
b
modu
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
l
aege
k
e
ep
tr
a
ck of ass
i
gnments to parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
olaege
export PetSc
a
n::extract_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
b
e
more carefu
l
about u
s
ing parame
t
er spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdoola
e
ge
u
p
date
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
extraction of scops in
s
id
e
a loop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven
V
er
d
oo
l
aege
pet_
s
tm
t
_embed
:
h
andle NULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en Verd
o
o
l
aege
p
et_e
x
pr
_
is_equal: not equal
if access rel
a
tion is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verdoolaege
pa
r
se
.
c: extract_arguments:
p
lug memory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n
Verdoolaeg
e
u
p
date isl fo
r
change
i
n isl_set_read_fr
o
m_st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oo
l
aege
upda
t
e is
l
for change in isl_{in,}
e
quality_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sve
n
Ver
d
o
o
laege
add copy
r
i
g
ht statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sve
n
Verdoolaege
pet_scop_extract_from_C_sou
r
ce: use
a
C
ompil
e
r
I
n
s
t
a
n
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
cl
e
ar ass
i
g
n
ed_value for scalars that are as
s
igned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ver
d
oo
l
aege
Pet
S
c
a
n::
s
e
t_upp
e
r_bounds: graceful
l
y
handl
e
er
r
o
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdoolaege
u
p
d
a
te
i
s
l
for ch
a
ng
e
in spac
e
of
is
l
_pw_* objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Ve
r
doola
e
ge
updat
e
isl for explicit
p
arameter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
lae
g
e
use isl_spa
c
e_params_allo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl for isl_sp
a
ce_p
a
rams_a
l
l
o
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ver
d
oolaege
re
n
am
e
isl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdool
a
ege
up
d
ate isl
f
o
r
ren
a
me of isl_dim to isl_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
a
ccept infin
i
te
while loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
add
"
eq" operation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
accept compound stat
e
men
t
s
wit
h
ze
r
o
s
tatem
e
nt
s
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ver
d
oolaege
exp
r
_collect_a
c
cesses: u
s
e
is
l
_map_has_tuple
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
check
if tuple has id bef
o
re ca
l
ling isl_{set,map}_ge
t
_tuple_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en Verd
o
olaeg
e
update isl for isl_m
a
p
_
has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
Verdool
a
e
g
e
allow declaration of
i
te
r
a
t
o
r
in for loop
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
en Verdoolae
g
e
update isl for rename of isl_map_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Tobias Grosser
Hide warnings in system headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoola
e
ge
handl
e
"live
-
o
ut"
prag
m
as
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Ve
r
doolaege
pet
.
cc: extract out update_array
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Ver
d
oolaege
pet
.
cc: extract
ou
t
get_value_
d
e
cl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
avoid wrapping on some simple cases of loops with unsigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ve
r
dool
a
ege
wrap results
of unsigned computat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
V
e
rdoolaege
t
ake
into acco
u
nt th
a
t un
s
igned iterators may wr
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
a
ll
o
w loop incr
e
ments of
t
he form i = i
+
cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allo
w
l
o
op increments differen
t
f
rom one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
a
llow l
o
op increments
o
f t
h
e
f
o
rm
i
+=
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoolaege
f
i
x ch
e
ck for "simple" loop termination condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdo
o
laege
update is
l
for isl_pw_aff_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdool
a
ege
properly handle generic condi
t
i
o
ns in f
o
r loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en Ve
r
d
o
ola
e
g
e
READM
E
: emphasize that we need clang
l
ib
r
aries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
update for rename of getInstantiationLineN
u
mber to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaeg
e
scan
.
c
c
: fix typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
upd
a
te
isl for fix in isl
_
map
_
int
e
r
s
ect_pa
r
am
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
S
ven Ve
r
doolaege
accept af
f
i
n
e expressions whe
r
e we expect a condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoo
l
aege
upd
a
te
i
sl for isl_pw_aff_non_zero_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven va
n
Haas
t
regt
configur
e
:
c
heck if ll
v
m-
c
onfig actuall
y
exist
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
V
e
rdoolaege
i
n
it
i
al ve
r
sio
n
of p
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree