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: keep track of line number of current Stmt
2014-03-31
Sven Verdoolaege
PetScan: keep track of line n
u
mbe
r
of current Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven
V
erdoolae
g
e
pet
.
cc: extract
o
ut PetASTCo
n
sumer::add_pragma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoo
l
a
e
ge
a
dd encapsu
l
ate_dynamic_control option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
d
o
olaege
p
e
t_scop_fr
o
m_pet_tree:
c
reate statements directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
replace
p
et_stmt_from_pet_
e
xpr by pet_stmt_from_pet_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
r
d
o
olaeg
e
pet_stmt: use
p
e
t
_tr
e
e
to
r
epre
s
ent s
t
ateme
n
t body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
r
doola
e
ge
sco
p
.
c: extract out pet
_
s
t
mt_is_af
f
ine
_
assume and
p
et_
s
tmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
scop
.
c: st
m
t
_
collect_accesses:
use pet_exp
r
_foreach_access_ex
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolae
g
e
scop
.
c: stmt_co
l
lect_params
:
u
se pet_expr_foreach_acc
e
ss_exp
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdool
a
ege
keep tra
c
k
o
f indentation o
f
extracted co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
update test
c
ase outp
u
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
e
xtract enum
c
onstant
s
a
s
their in
t
eger
values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
e
tScan
:
:extract_int: sep
a
r
a
t
e out extract
i
on from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aege
PetSc
a
n::extract_un
s
ign
e
d: tu
r
n int
o
a static funct
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
scan
.
cc
:
change te
x
t
u
al ord
e
r of
e
x
t
ract_uns
i
gned an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolae
g
e
pet_check_code
.
c: use pet_expr_extract_affin
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolae
g
e
export pet_expr_
e
xtract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaege
pe
t
_context: n
o
longer keep track of
"
unknown" va
l
ues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_expr_e
x
tract_affine: no longer c
r
eate new parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
e
r
doola
e
ge
P
et
S
can
:
:extract_scop: p
o
pulate pet_context with p
a
rameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
olaege
scan
.
c
c: move u
p
stati
c
get_ar
r
ay
_
type funct
i
on in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
PetSc
a
n::ge
t
_a
r
ray
_
size: c
a
che
results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
PetS
c
an::set_upp
e
r_bounds: extract o
u
t PetS
c
a
n::
g
et
_
arr
a
y_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_expr_is_equal: compare inde
x
expression
s
up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_extract
_
affine: exp
l
oit dom
a
in
information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
oolaege
a
d
d
p
e
t_cont
e
xt_get_
g
ist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolae
g
e
tree2scop
.
c: scop_from_block
:
collect affine con
t
inu
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop_from_pet_tree: extract pet_scop from the roo
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oolaege
add fun
c
tions
for
m
anipula
t
ing
th
e
d
omain of
a
pet
_
con
t
ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
s
c
o
p_restri
c
t: als
o
restrict virt
u
al array extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
c
o
ntext_evaluate_expr: fir
s
t
i
n
sert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
laege
pet_check_code: r
e
move tracking of assignm
e
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaeg
e
dr
o
p
p
e
t
_
scop_
d
ete
c
t_parameter_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
e
rdoolaege
pet_context_evalua
t
e_expr: als
o
p
lug in affine
e
x
p
ressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaeg
e
s
e
parat
e
out pet_co
n
text_e
v
al
u
ate_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olaege
drop pet_c
o
nt
e
xt_mark_
a
ssigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
laege
P
etScan::extract_
s
cop: clear wri
t
es at
o
ute
r
level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
PetScan::ex
t
r
a
ct_
s
cop: locall
y
construc
t
pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
P
etScan:
:
e
xtrac
t
_
scop
:
also add
a
l
l pet_ar
r
a
y
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdoolaege
pe
t
_expr_filte
r
:
avoid introduction of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolaege
t
r
e
e2scop
.
c: i
s
_
s
imple_bound:
h
a
n
dle higher
d
imensio
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
oo
l
aege
tree2scop
.
c: valid_for_each_it
e
ration: handle
higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: add_implic
a
t
i
on:
ha
n
dle higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2
scop
.
c: map_to_previous: handle higher
dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2scop
.
c: a
f
ter: handle higher dimensional
d
omains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_extract
_
neste
d
_from_space: a
d
d e
x
tra dime
n
si
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoola
e
ge
pet_extract_nested_f
r
om_space: embed argumen
t
s in given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
add pet_expr
_
access_get_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
aeg
e
pet_expr_resolve_nested: a
l
l
ow sp
e
cific
a
tion of
dom
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tre
e
2scop
.
c: handl
e
_wri
t
e
s
:
separate out handling
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verd
o
o
laege
tree2s
c
op
.
c:
h
andle_writes:
remove redu
n
dan
t
pet_context_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
ge
t
ree2scop
.
c:
e
xtract_kill: allow s
p
ecification of st
a
tement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_scop_add_boolea
n
_ar
r
ay: allow sp
e
c
ification of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
pet_skip_
i
nfo_*_extract*:
p
a
ss along p
e
t
_cont
e
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaege
pet_s
c
op constructors:
allow specifi
c
ation of dom
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
ae
g
e
tree2scop
.
c: scop
_
from_{brea
k
,continu
e
}:
minor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rd
o
olae
g
e
t
r
ee2scop
.
c:
scop_fro
m
_
{break,continue}: allow specificatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaeg
e
p
e
t_cr
e
ate_test_in
d
ex: allow specification of
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolae
g
e
pet_stmt_from
_
pet_expr: allow
s
pecification of state
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pe
t
_s
t
mt_from_pet
_
expr: minor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
ge
pet_st
m
t_from
_
pet_expr: rename
"dim" va
r
iable to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaeg
e
pet_context: keep track of
d
oma
i
n set rath
e
r than dom
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
a
dd pet_nested_remove_from_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
tr
e
e2sco
p
.
c: scop_from_non_affine
_
if:
d
rop preal
l
ocati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdoolaege
tre
e
2scop
.
c: scop_
f
r
o
m_non_affine
_
if: delay
con
s
t
ruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
t
r
ee2scop
.
c: scop_from_
a
ffine_for: del
a
y constructi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sco
p
.
c: scop_from_non
_
affin
e
_while: drop preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2sc
o
p
.
c
:
sco
p
_
from_non_affine_while: del
a
y con
s
t
r
uctio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaeg
e
tree2scop
.
c: scop
_
from
_
infinite_l
o
op
:
delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
tree
2
sco
p
.
c: inf
i
ni
t
e_domain: delay
i
ntersec
t
ion
with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
sco
p
.
c:
e
xtrac
t
out
s
hared apply_af
f
i
n
e_break
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2scop
.
c
:
scop_fr
o
m_
a
ffi
n
e_for: remove preallo
c
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tree
2
s
c
op
.
c: scop_from_affi
n
e_f
o
r
: dela
y
c
o
nstruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aege
tree2sco
p
.
c: scop_from_affine_
f
or: intro
d
uce
is_non_affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2scop
.
c: sc
o
p_
f
r
om
_
affi
n
e_
f
or: de
l
ay intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
d
o
olaege
a
d
d p
e
t_sco
p
_inte
r
sect
_
dom
a
in_prefi
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
a
d
d pe
t
_
pr
e
fix_projecti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
scop
.
c:
e
xtent_is_virtua
l
_array: check
fo
r
member
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
p
e
t
_array_embed: sep
a
rate out extent_is_v
i
r
t
ual
_
arr
a
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
olaege
drop pet
_
s
co
p
_writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2
s
cop
.
c: is_neste
d
_allowe
d
: take tree instead o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
ool
a
e
g
e
pet_skip
_
info_*_extract*: pass struct pet_
s
tat
e
instea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
mov
e
ext
r
action o
f
pet
_
s
cop from pet_tree
to se
p
arate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
construct
pe
t
_sco
p
from
i
ntermedi
a
te pet_tr
e
e data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Ve
r
doolaege
add pet_context_clear_
w
rites_in_{expr,
t
ree
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoola
e
ge
i
ntroduce pet_tree ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ver
d
oo
l
aege
move PetSca
n
::extract_w
h
i
l
e
b
efore i
t
s fi
r
st use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
l
a
ege
m
ove PetScan::is_ne
s
ted_allowed
b
e
fo
r
e its
first use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
move Pet
S
can::extr
a
ct_n
o
n
_
a
f
f
ine_condi
t
ion before
i
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
Pet
S
c
a
n: drop allow_nest
e
d attribute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoo
l
aege
in
t
rodu
c
e pet_
l
oc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
r
doola
e
ge
mov
e
pet_scop_extract_n
e
sted to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdo
o
laege
move p
e
t_expr
_
extract_n
e
s
t
ed
to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
PetScan::extr
a
c
t
_for:
u
se p
e
t_expr_extra
c
t
_compa
r
i
s
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Ve
r
d
oolaege
P
e
tScan:
:
scan(Functi
o
nD
e
c
l
*):
c
ons
t
ruct a
pet
_
co
n
tex
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
r
emove PetScan::
t
ry_ex
t
ra
c
t_affine_condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::set
_
upper_bounds: convert array bounds to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Ve
r
doolaege
scan
.
cc: update_size: handle NU
L
L input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
g
e
PetScan::
e
xt
r
act_
a
ffine(const llvm::APInt &): extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
o
o
laege
p
o
s
tp
o
n
e the detection of aff
i
ne assumptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next