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_scop: populate pet_context with parameter assignments
2014-03-25
Sv
e
n
V
erdoolaege
P
e
t
S
c
an::extract_sc
o
p: popula
t
e pet_co
n
te
x
t w
i
th
parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
scan
.
cc: move up static get_a
r
ray_type function
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaege
PetSc
a
n::get
_
a
r
r
ay_si
z
e:
cache resul
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoo
l
aege
PetSca
n
::set_upper
_
bounds: extract out PetScan::get_array_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erd
o
olaege
pet_expr_is_equal: c
o
mpa
r
e index ex
p
ression
s
up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verd
o
olaege
pet_ex
p
r_extract_affi
n
e: explo
i
t domain
information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
a
d
d
pet_
c
onte
x
t_
g
et_gi
s
t_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e
2scop
.
c: s
c
op_fro
m
_
b
l
ock:
collect affine c
o
nt
i
nu
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoo
l
aege
p
et
_
scop_f
r
om_
p
et_tree: ext
r
act pet_scop from
t
he root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
add
f
u
n
ctions for
manipulatin
g
the dom
a
in of
a
pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_scop_restrict: also restr
i
ct virtu
a
l array ex
t
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
aeg
e
pet_conte
x
t_evalu
a
te_e
x
pr: first insert dom
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolae
g
e
pet_c
h
eck
_
cod
e
:
remove trac
k
i
ng
of assignme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
dro
p
pet
_
sco
p
_detect_parameter_
a
ccesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdool
a
ege
pet_con
t
ext
_
ev
a
l
uate_e
x
pr: a
l
so
p
lug in affine expr
e
s
s
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
separat
e
out pe
t
_context_eval
u
ate_ex
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
drop pet_context_
m
ark
_
assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
P
etScan::extr
a
ct_scop:
c
lear w
r
ites at outer level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
PetScan
:
:extract
_
scop: l
o
cally
constr
u
ct pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
PetScan:
:
extr
a
ct_scop: also
a
d
d all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
aeg
e
pet_
e
x
pr_filter: avo
i
d intr
o
duc
t
ion of constrai
n
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdool
a
ege
tree2sco
p
.
c: i
s
_
s
imple_bound: handle higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
tree
2
s
c
o
p
.
c: val
i
d
_
for_ea
c
h_iteration: hand
l
e h
i
gher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaeg
e
t
r
ee2scop
.
c: add_implic
a
tion: handle h
i
g
her dimens
i
ona
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
t
r
e
e
2sc
o
p
.
c: map
_
to
_
previous:
handle high
e
r
d
im
e
nsional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoo
l
aege
tree2s
c
o
p
.
c: after:
handle higher dim
e
nsion
a
l domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_extract_nested_fro
m
_spa
c
e:
a
dd
e
x
t
r
a dimens
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
g
e
pet_extr
a
ct_nest
e
d_from_s
p
ace: embed arguments in given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
eg
e
ad
d
pet_expr_access_get_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_resolve_n
e
st
e
d: a
l
l
ow specification of do
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tr
e
e2sc
o
p
.
c:
handle_writes
:
separ
a
te out hand
l
ing of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolaege
tre
e
2scop
.
c: handle_writes: re
m
ove redundant
pet_context_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
tr
e
e
2
s
cop
.
c: extract_kill:
a
llow spec
i
fication of state
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pe
t
_scop_add_boo
l
ean_a
r
r
a
y:
all
o
w specification of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolae
g
e
pet_sk
i
p_inf
o
_*_extract*
:
pass along p
e
t_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
pet_scop const
r
u
ctors:
a
llo
w
sp
e
c
i
fication of dom
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaeg
e
tree2s
c
op
.
c: scop_from_{break,continue}: minor cle
a
n-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree2
s
cop
.
c: scop_from_{break,conti
n
ue}:
a
l
l
ow spec
i
ficat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_create_te
s
t_index: all
o
w
s
pe
c
ification of
do
m
ai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet
_
stmt_from_pet_ex
p
r: allow s
p
ecificati
o
n of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoola
e
ge
pet_stm
t
_f
r
om_pet_expr: minor cl
e
an-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
p
e
t_stmt_
f
rom_pet_expr: renam
e
"dim" variable to "space
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_conte
x
t: keep tr
a
c
k of domain
set rather than domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
add pet_nested_remove_from_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2sc
o
p
.
c: scop_from
_
non_aff
i
n
e
_
if: drop preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdool
a
e
g
e
t
ree2scop
.
c: s
c
o
p
_fro
m
_non_affine_if: delay cons
t
ruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
laege
tree2s
c
op
.
c: scop_from_affin
e
_
for: delay c
o
n
struction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aeg
e
tree2sc
o
p
.
c:
sc
o
p_f
r
om_n
o
n_affine_w
h
ile
:
dr
o
p
preallocat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
tr
e
e2
s
cop
.
c: scop_from_non
_
af
f
ine_while: delay con
s
tr
u
cti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
d
o
o
laege
tree2scop
.
c: scop_from_
i
nfinite_loop: delay
c
onstruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
aege
tree2scop
.
c: in
f
i
n
ite_
d
omain:
delay in
t
e
r
section with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2
s
c
op
.
c:
e
x
trac
t
out shared apply_af
f
ine_break
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2scop
.
c: s
c
o
p
_from_affine
_
for: remove preallocati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree
2
s
c
op
.
c: sco
p
_from_affine_for: de
l
ay c
o
nstruct
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
tree2
s
cop
.
c: scop_
f
r
o
m_affine_for:
introduce is_non_
a
ffin
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
l
aege
tree2scop
.
c
: s
c
op_from_a
f
fine_f
o
r
:
de
l
ay inters
e
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
ad
d
pet_scop_int
e
rsect
_
d
omain_p
r
efix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
add
p
et_p
r
efix_projection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
scop
.
c: exten
t
_
is_virtua
l
_a
r
ray: chec
k
fo
r
members
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_array_embed: separate out extent_i
s
_virtual_ar
r
ay
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
olaege
d
rop p
e
t_scop_writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
t
ree2
s
cop
.
c: is_nested_allowed: take tree instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
skip_info_*_ex
t
ract*:
pas
s
struct pet_state instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
a
e
g
e
move extract
i
on of pe
t
_scop from pet_
t
ree
t
o
s
eparate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
c
o
nstruc
t
p
et_scop from intermediate
p
et_tree
d
a
t
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
add pet_con
t
e
x
t_clear_writes_
i
n_{expr,tree}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Ver
d
oolaege
intr
o
du
c
e pe
t
_
t
ree objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
Verdoolaege
move PetScan::
e
xtract_
w
hile
before its
first
u
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
er
d
oolaege
m
o
v
e Pet
S
can::is
_
n
e
s
t
ed_
a
llowed
b
ef
o
re
its firs
t
use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
r
d
oo
l
a
e
g
e
move
Pet
S
can::extract_non_affine_co
n
di
t
ion before its
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
P
e
tScan: dro
p
allo
w
_nested attribut
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolae
g
e
introduce
pet_loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoo
l
aeg
e
move
p
et
_
scop_extract_nest
e
d to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move pet_expr_ext
r
act_nes
t
ed to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan:
:
extract_for: u
s
e pet_expr
_
extract_
c
ompari
s
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan:
:
scan(FunctionDecl *): construct a pet_conte
x
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoo
l
aege
rem
o
ve PetScan:
:
tr
y
_extract
_
affine_
c
o
n
dition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
e
tScan::set_uppe
r
_bo
u
nds
:
convert array bounds to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
s
can
.
cc:
u
pdate_size: handle
NUL
L
in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
V
erdoolaege
PetScan:
:
extract
_
affine(const llvm::APInt &):
extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doo
l
a
e
ge
postpone
the detection of affine assumptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
extr
a
ct out pet_exp
r
_is
_
as
s
u
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verd
o
olaege
Pet
S
can::e
x
tract_access_expr: delay
plu
g
g
ing in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
e
rdoola
e
ge
PetScan::extr
a
ct_affine(Exp
r
*): stop taking int
o
a
ccount
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Ve
r
doolaege
PetScan::e
x
tra
c
t_ac
c
ess_expr: construct access express
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
r
doolaege
Pe
t
Scan:
:
r
e
s
olve_nested: han
d
le self d
e
p
e
ndences in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
Verdoo
l
aege
Pet
S
can::
r
e
solve_nest
e
d: ha
n
dle presence of argu
m
ents
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
e
rdoo
l
ae
g
e
add func
t
ion
s
for manipulat
i
ng e
x
pression a
r
gum
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
a
d
d
pet_e
x
pr_a
c
cess_pullba
c
k_m
u
lti_pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
separ
a
te out array i
n
de
x
manipulation functio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
g
e
PetScan::extrac
t
_conditional_
a
ssignment:
e
xtra
c
t write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doola
e
ge
Pet
S
can::mark_write:
turn
i
nto a static
functio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
r
doola
e
ge
postpone clearing assigned value
s
until the point where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoo
l
aege
postpone handl
i
ng of assignm
e
nts until the point whe
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
l
aeg
e
Pet
S
can::a
s
s
i
g
n
: take pet_expr
a
s input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan
:
:e
x
tr
a
c
t
_expr(ConditionalOperator *): p
r
e
serve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
pet_check_code: op
_
expr_
e
xtract_
p
w_aff: handle
more
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move pet_nested_e
x
tract_exp
r
to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetSc
a
n::ext
r
act_
a
f
f
ine: extract expres
s
ion as pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoo
l
aege
treat fors with non-
a
ffine initialization or non-constant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next