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
PetScan::extract_expr: remove unused variable
2016-02-01
Sven V
e
r
doolaege
P
e
tScan
:
:extract_expr: re
m
ove unused
v
ariab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdoolaege
su
b
s
tituter
.
cc: su
b
stitute_access: remove unused
variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-15
Sven
Verdo
o
l
a
e
g
e
pet 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-15
S
ve
n
Verdoolaeg
e
u
p
d
a
te isl to version 0
.
16
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-15
Sven
Verdoolaege
Pet
S
can::extract(
D
ec
l
*): check
that
d
e
clar
a
tion is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-07
Sven Verdoo
l
aege
add isl
.
py to
d
istr
i
bution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-04
S
v
en Ve
r
doolaege
R
E
A
DM
E
: upd
a
te late
s
t re
l
ease of clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-23
Sven
Verd
o
o
laege
a
dd interface/pet
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-23
Sven Ve
r
doolaege
update isl for export of
isl_schedule to python interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-23
Sv
e
n Verdoo
l
a
ege
isl
.
py: cal
l
isl_ctx_all
o
c_with_pet_
o
ptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-23
S
v
en Verdoolaege
ad
d
i
sl_ctx
_
al
l
o
c
_wi
t
h_pet_o
p
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-23
Sven V
e
r
doolaege
g
enerat
e
own isl
.
p
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-18
Sven Verdoolaege
tell bundled isl to build extract_interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-18
Sven
V
erdoolaege
a
d
d pet_
s
cop_get
_
context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-18
Sven Verdoolae
g
e
a
dd pet_scop_
g
et_schedul
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-18
S
v
en Verdool
a
ege
add pet_scop memory management ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-18
Sv
e
n
V
erdoolaege
ren
a
me
pet_scop_collect_
*
t
o
pet
_
scop_get_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-18
Sven
Verdoolaege
add kills to variables decl
a
r
e
d
in th
e
s
a
me scop
e
that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-17
Sv
e
n Verdoolaege
update test cas
e
outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-17
Sven Verdo
o
la
e
ge
t
e
s
ts
/
ca
l
l7
.
s
cop:
fix range of
s
c
o
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-17
Sven
Verdoolaeg
e
proper
l
y kill variables with known value
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-17
Sven
V
erdoolaege
tree2
s
co
p
.
c
:
sco
p
_add
_
k
ill: plug memory leak
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-11
Sven V
e
rd
o
olae
g
e
update for rename
of
I
n
i
tializeB
u
iltins
to initial
i
zeBuiltins
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-11
Sven Verdoolaege
updat
e
isl for support for re
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-11
Sve
n
Verdoolaege
update fo
r
replace
m
ent of St
m
tRange by ite
r
ator_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-25
Sven Ver
d
oolaege
pet_
s
cop_
c
ollect_a
r
rays: keep track of isl_id represen
t
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-25
Sven
V
e
r
doolaege
P
e
tScan::
e
xtract_array: drop redunda
n
t isl_ctx
a
rgu
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
S
v
en Verdoolaege
support inlining of outermost ca
l
l exp
r
es
s
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
Sven Verdoolaeg
e
extract out PetS
c
an::e
x
t
ract_
e
xpr_st
m
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
Sven Ve
r
d
o
olaege
PetScan::e
x
tr
a
ct_argument
:
e
xtract out ex
t
ract_addr_of_arg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
Sven Verdoolaege
extra
c
t out p
e
t_clang_fin
d
_function_decl_wit
h
_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
Sven Verdoolaege
add PetSc
a
n:
:
add_new
_
used_n
a
m
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
Sven Verdool
a
ege
add PetScan
:
:collect_declared_names
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
Sven Verdoolaege
add pet
_
inli
n
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
Sven Verdoolaege
ad
d
pet_id_arg_fro
m
_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-06
Sven
Verdoolaege
extra
c
t out pet_id_
g
et_a
r
ray_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-06
Sv
e
n
Verdoolaege
m
ove pet_clang_
g
et_t
y
pe_size to cl
a
n
g
.
cc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-06
Sven Verd
o
ol
a
ege
i
f
t
h
e
s
a
me name is used
f
or severa
l
variables, then
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-06
S
ven
V
erdool
a
ege
PetScan::extract_index_expr:
e
xtract out
pe
t
_id_create_index
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-06
Sven Verdoolaege
add pet_id_from_name_and_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-06
S
ven Verdoolaege
PetScan: k
e
e
p
t
rack of declared variables in a
c
ompoun
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-06
S
v
e
n
Ve
r
doola
e
ge
PetSca
n
: ke
e
p
track of
DeclCon
t
ext
o
f f
u
ncti
o
n containing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Verdoolaege
a
d
d pet_substituter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Ver
d
oolaege
add pet_expr_
a
cces
s
_patch
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sv
e
n Verdoolaege
add pet_patch_multi_pw_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Ver
d
oolaege
pa
t
ch
.
c: ext
r
a
c
t o
u
t
patch_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Verdoolaege
pet_patch_
u
nion_map: make warning o
p
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Verdoolaege
extr
a
ct
patching
o
f i
n
d
e
x
e
xpressions and access relation
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Verdoolaeg
e
add pet_expr_arg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
S
v
en Ve
r
d
o
o
l
aege
extract out
p
et_ex
p
r_is_address_of
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
S
v
en Verdool
a
ege
PetScan:
:
extr
a
ct_array: allow e
x
traction of a
p
et_a
r
r
ay
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Verdoolaege
PetSca
n
::extrac
t
_array:
use ast_
c
ont
e
x
t
f
r
om
P
e
tS
c
an
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Verdoola
e
ge
P
e
tScan::extract_a
r
ray: drop redundant isl_ctx
a
rgument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sv
e
n
V
e
r
doolaege
ex
t
ract out
s
h
a
red
p
et
_
id_get_dec
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven
Ver
d
ool
a
e
g
e
mov
e
crea
t
ion of
i
sl_id t
h
at encapsu
l
ates a ValueDec
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Verdool
a
ege
P
etScan:
:
extrac
t
_array: rename "dim" variable to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sve
n
V
erdoo
l
aege
allow redundant c
a
s
t
s in function call ar
g
uments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sv
e
n Verdoolaege
PetS
c
an::
e
xtract_arg
u
ment
:
extrac
t
out
p
et_clan
g
_strip_cas
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
S
ven
V
erdoolaege
PetScan::extract_expr: impr
o
ve
erro
r
messag
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Ve
r
doolaeg
e
s
c
op_plus
.
cc
:
f
ix ty
p
o in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sve
n
Verdo
o
l
aege
pet
.
c
c
: fix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Verdoolaege
context
.
c
: fi
x
typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-10-23
Sven V
e
rdool
a
ege
c
o
nfig
u
re
.
ac: drop -Wcovered
-
switch-default flags f
r
o
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-10-23
Sven Verd
o
olaege
u
p
date isl for drop
p
i
ng
-
Wcovered-sw
i
t
ch-default flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-09-23
Sven Verdoolaeg
e
t
ree2
s
cop
.
c: s
c
op
_
f
r
om_t
r
ee_macro: drop redundant argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-08-07
Sven Verdoo
l
a
e
g
e
pet_scop
_
gist:
g
ist dom
a
i
n
of sched
u
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-08-07
Sven Verdool
a
ege
updat
e
test case ou
t
puts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-08-05
Sven Ve
r
doolaege
u
pd
a
t
e
isl for isl_schedule_
g
ist_domain_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-30
Sven Verdoo
l
a
e
ge
u
p
date isl
f
or change
in isl_map_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-24
S
v
en Ver
d
oolaege
p
et
.
cc: adjust to removal of Job class
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-07-24
S
ven Verd
o
olaege
update isl for support
for recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-14
Sve
n
Verdoolaege
p
e
t_scop_add_array:
t
ake into account context of added
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven V
e
rd
o
olaege
p
et_check_code
.
c: check_domain: drop s
p
urious semicolon
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
Verdoola
e
ge
context
.
c: pet_context_
a
ll
o
c: drop spurious semicolo
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sve
n
V
erdoolaege
c
o
ntext
.
c: add_
a
rg: drop spurious
s
e
m
icolon
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
Sven Verdoolaege
p
e
t 0
.
07
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-13
S
v
en Verdoolae
g
e
RE
A
DME: upd
a
te latest release of
clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-06-12
Sven Verdoolaege
update isl to vers
i
on 0
.
1
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-31
Sven Verdoola
e
g
e
support declaration sta
t
em
e
nts declaring more than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-26
S
ven Ve
r
doolaege
updat
e
isl
f
or rename of isl_sc
h
edule_ma
p
_s
c
hedul
e
_node
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-24
Sven
Verdoolaege
updat
e
isl for int
r
oduct
i
on of isl_s
t
at
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-24
Sven V
e
rdoola
e
ge
i
m
p
rove support fo
r
typedefs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-24
S
ven Verdoolaege
scan
.
cc:
fi
x
t
ypo in com
m
en
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-24
S
v
en Verdo
o
laeg
e
make ca
s
t
.
c
independent of signedness of
"
c
har"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-12
S
v
e
n Verdoolae
g
e
try
and
include initial declarations in outer block
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-12
Sven Verdool
a
e
ge
PetSc
a
n::e
x
t
ract: alway
s
treat comp
o
un
d
statement as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-11
Sven Verdoolaege
Pe
t
Scan::extr
a
ct
:
do not t
r
eat p
a
rti
a
l range of
s
tatements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-11
Sven Ver
d
oolaege
add fun
c
tions for retrie
v
ing/setting the bloc
k
pr
o
p
e
rty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-11
Sven Verdoolaege
tre
e
.
h:
d
rop duplicate
d
e
clara
t
ion of pet_t
r
ee_block_n_child
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-05-11
Sv
e
n Verdoolaege
PetScan:
:
ex
t
r
a
ct: d
r
op unu
s
ed variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sven
V
er
d
o
olaege
pet_
c
odegen
.
c:
d
irectly include req
u
ire
d
he
a
der
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sve
n
Verdoola
e
ge
pet_che
c
k_
c
ode
.
c: d
i
r
e
ctly include require
d
header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sven
Ver
d
ool
a
ege
tree2scop
.
c:
d
irec
t
ly include
r
equired
he
a
d
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sven Ver
d
oolaege
summary
.
c: di
r
e
c
t
l
y include requ
i
red he
a
der
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sven V
e
rdoola
e
g
e
scan
.
cc: directly incl
u
de
r
equired header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
S
ven Verd
o
olaege
parse
.
c: directly include required header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sven Verdoola
e
ge
expr
.
c
:
direc
t
ly i
n
clude required header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sv
e
n
Verdoolaege
emi
t
.
c: directly
i
nclude required
h
eader
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-09
Sven
Ve
r
doolaege
add --no-pencil opt
i
o
n
to turn off p
e
ncil specific
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-02
Sven V
e
r
d
oolaege
P
e
tScan::extract_argum
e
nt: mark non-c
o
nst pointe
r
arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next