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
pet_scop_restrict: also restrict virtual array extents
2014-03-25
Sven Verdo
o
laege
pet_scop
_
restri
c
t: also restr
i
ct virtual ar
r
ay extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
c
onte
x
t_evalua
t
e_ex
p
r:
first inse
r
t do
m
ai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_check
_
cod
e
: remove tracking o
f
ass
i
gnment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
drop pet
_
scop_dete
c
t_par
a
met
e
r_accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_c
o
n
text_evaluate_expr: also
p
lug in affine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
laege
separate
o
u
t pet_context
_
ev
a
luate_e
x
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
r
d
oo
l
aege
drop pet_context_mark_a
s
signed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetS
c
an::extrac
t
_scop: clear writes at out
e
r lev
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
P
e
t
Scan::extr
a
ct_
s
cop: loca
l
ly c
o
nstruct pet_c
o
nt
e
x
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaeg
e
PetScan
:
:extract_scop: also add all pet_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
p
et_expr_filter: avoid
intro
d
uction
of
c
onstrain
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
l
aege
tre
e
2
scop
.
c
: is_
s
imple_b
o
und: ha
n
dle higher dimens
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree2sc
o
p
.
c: valid_for_each_iteration: handl
e
higher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
:
add_implica
t
i
o
n:
h
andle higher dimens
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
t
r
ee2scop
.
c
:
map_to_previous: handle higher dimension
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c:
after: h
a
ndle
highe
r
dim
e
nsional
domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_extract
_
n
ested_from_spac
e
: add ex
t
ra dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolae
g
e
pet_
e
xtrac
t
_nested_from_s
p
a
ce: embed arguments in
give
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verd
o
olaege
add p
e
t_expr_access_get_domai
n
_sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_expr_resol
v
e_
n
ested: allow s
p
e
c
i
fica
t
io
n
of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
a
e
ge
t
r
ee2scop
.
c: han
d
le_
w
ri
t
e
s: separate
o
ut handl
i
ng of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tree2scop
.
c: handl
e
_writes: remove redund
a
nt pet_context_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdool
a
ege
tr
e
e2
s
cop
.
c: ext
r
act_
k
i
ll: a
l
low s
p
ecification of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
ege
pet_scop_add_boo
l
ean_array: allow speci
f
ication of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdool
a
ege
pet_ski
p
_
i
n
f
o
_*_extract*: pass
a
l
ong pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_scop
c
onstruct
o
rs: allow
specificat
i
on
of
d
omain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
ae
g
e
tree2scop
.
c
: sco
p
_from_{bre
a
k,co
n
tinue
}
: minor clea
n
-
up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolae
g
e
tree2scop
.
c: scop
_
f
r
om_{
b
reak,continue}: a
l
low specifi
c
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaeg
e
pet_
c
reate_test_index:
allow sp
e
cification of d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
pet_
s
tmt_from_pet_expr
:
a
l
l
o
w spe
c
ification o
f
statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
pet
_
s
t
m
t_
f
rom
_
p
e
t
_
e
xpr: mino
r
clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t
_stmt_from_pe
t
_
expr: renam
e
"dim" variable to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
p
e
t_context: keep track of
d
omain set rather than domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
aege
a
d
d pet_nested_remo
v
e_from_s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
s
cop
.
c
: sco
p
_from
_
non_
a
f
f
i
ne_if: drop pre
a
llocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
t
r
ee2sc
o
p
.
c:
scop_from_non
_
affine_if
:
delay construc
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree2scop
.
c: scop_from
_
a
f
fine_
f
or: delay
constru
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoolaege
tree
2
scop
.
c: scop_
f
rom
_
non_affi
n
e_while
:
drop pre
a
llocatio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
laege
tree2scop
.
c: scop_
f
rom_non_affin
e
_while:
d
elay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
laege
tree2scop
.
c: scop_from_infini
t
e_loop: delay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
dool
a
ege
tree2scop
.
c: inf
i
nite_domain: de
l
ay inters
e
c
t
ion wit
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2scop
.
c
: extract o
u
t sh
a
re
d
apply
_
a
f
fi
n
e_break
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolae
g
e
tree2scop
.
c: scop_fro
m
_affine_f
o
r: re
m
o
ve preal
l
ocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sc
o
p
.
c: s
c
op_fr
o
m_affin
e
_for: de
l
ay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
oolaeg
e
tree2scop
.
c:
s
cop_from_affine
_
fo
r
: introduce is_non_affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
o
olaege
tree2scop
.
c:
sco
p
_from_affi
n
e_fo
r
: delay in
t
e
r
section
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_sco
p
_intersect_d
o
m
ain_pr
e
fi
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoolaeg
e
a
d
d pet_p
r
e
fix_projection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoo
l
aege
scop
.
c: ext
e
nt_is_vi
r
tual_arra
y
: check for members
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
ge
pet_array_
e
mbed: separate out extent_
i
s_
v
irtu
a
l_ar
r
ay
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
drop pet_scop_
w
rit
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaege
tree2sc
o
p
.
c: is_nested_allo
w
ed
:
ta
k
e
tree
i
n
s
t
ead
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doola
e
ge
pet_sk
i
p_info_*_extr
a
ct*:
p
ass struct pet_state instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
move extractio
n
of pet_scop
from pet_t
r
ee to sepa
r
ate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
construct p
e
t_sc
o
p from interm
e
di
a
te
p
e
t_t
r
ee dat
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
l
a
e
g
e
add p
e
t_cont
e
xt_c
l
ear
_
writ
e
s_in
_
{expr,tree}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
introdu
c
e pet_tree object
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move PetS
c
an::extract_while before its first use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
move PetScan::is_
n
este
d
_
all
o
wed be
f
ore
its
f
irs
t
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
mo
v
e Pe
t
S
c
an::extract_non_a
f
fine_
c
ondit
i
on befo
r
e its
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoo
l
ae
g
e
PetScan: drop all
o
w_nested
att
r
ibute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
introduce pet_lo
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
m
o
ve
p
et_scop_extr
a
ct_nest
e
d to n
e
s
t
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
m
ove pet_expr_extract_nested
to nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
PetS
c
an:
:
extract_
f
or:
use pet_expr_extract_c
o
m
pariso
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
PetScan::
s
can(FunctionDecl
*): co
n
struct a pet_context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaeg
e
remove PetScan::try_extract
_
af
f
ine_condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
PetS
c
an::
s
et
_
up
p
er
_
bounds: convert array bounds to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
scan
.
c
c
:
u
pdate_
s
ize: handle NU
L
L input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
PetScan:
:
extr
a
ct_
a
ffine(const llv
m
::APInt &): extract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
postpone
t
he det
e
cti
o
n of affine
ass
u
mpti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
e
xtr
a
ct
o
ut pet_
e
x
p
r_is_assume
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n V
e
rdoolaege
PetScan::extract_acc
e
s
s
_expr: delay pl
u
gging i
n
t
h
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::extract_affine(Expr *): stop taking into account
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdo
o
laege
PetSca
n
::extract_ac
c
e
s
s
_expr: con
s
truct access express
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
PetScan:
:
reso
l
v
e
_nested: han
d
le
self depende
n
ces in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
Pet
S
can::
r
eso
l
ve_nested:
h
andle presence
o
f arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoo
l
a
e
ge
add functions
f
or
manipula
t
ing
expression arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
a
d
d pet_expr_access_pull
b
ack_multi
_
pw_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
separa
t
e out array index manipulation
funct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
r
dool
a
e
g
e
PetScan
:
:extrac
t
_conditional_assig
n
ment: extract wri
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
e
t
S
can:
:
mark_writ
e
: turn int
o
a static function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdo
o
l
a
e
g
e
p
ostpone clearing assigned values u
n
til the point wh
e
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
post
p
one h
a
ndling of a
s
sign
m
ent
s
unt
i
l the point wh
e
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetSca
n
::assign
:
take pet_e
x
p
r as
i
np
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oo
l
aege
PetScan::extract_e
x
pr(ConditionalOp
e
rator *): p
r
eserve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_check_code: op
_
exp
r
_extract_pw_aff: h
a
ndle more
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
Verdoo
l
a
e
ge
mov
e
pet_
n
e
s
ted_ex
t
ract_expr
t
o
ne
s
t
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verd
o
olaege
P
etScan::extract
_
affine:
e
xtra
c
t expr
e
ssi
o
n as
pet_e
x
pr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
trea
t
fors
with
n
on-affine initializ
a
tion or n
o
n
-
constant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::ext
r
a
c
t_for: move up
e
xtracti
o
n of constant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n V
e
r
d
oolaege
PetScan::extract_for: extract i
n
itial value as
pet_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
Pe
t
Scan
:
:
e
x
t
ract_for: ex
t
ract
i
ncrement as pet_ex
p
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetSc
a
n::ex
t
ract(p
e
t_exp
r
*): take
e
x
plicit source rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
Verdoolaege
extrac
t
o
ut PetScan::extra
c
t_whi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
Pet
S
ca
n
::e
x
t
r
ac
t
_
condition: c
o
nvert clang::Expr to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
sc
a
n
.
c
c:
s
eparate out shared create_decl_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
represe
n
t affine express
i
ons on zero-dim
e
nsiona
l
domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdool
a
eg
e
PetScan::extract_binary_increm
e
nt
:
rename "dim
"
variabl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
Pet
S
can::nested_a
c
cess: rename "
d
im" va
r
i
able t
o
"s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
