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
update for removal of llvm/ADT/OwningPtr.h
2014-03-25
Sv
e
n V
e
rdoola
e
ge
pet_context_evaluate_expr:
first in
s
ert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aege
pet_check_code: rem
o
ve t
r
acking of assignme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
drop
p
e
t
_
sco
p
_
d
etect_param
e
t
er_
a
ccesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
pet_context_ev
a
lu
a
te
_
expr: al
s
o plug in
a
f
fine expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
s
eparate
out pet_context_ev
a
luate_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolae
g
e
drop
p
et_conte
x
t_mark_assi
g
ned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
PetScan::
e
xt
r
a
ct
_
scop: clear wri
t
es
a
t
o
u
ter
level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoola
e
ge
PetScan::extract_scop: loc
a
ll
y
constr
u
ct pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verdoolaege
P
e
tS
c
an::e
x
tr
a
ct_scop: also
a
d
d
a
ll pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_filt
e
r: avo
i
d
introduction of constr
a
ints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoola
e
ge
t
r
ee2scop
.
c: is_simp
l
e_bound: handle higher dimen
s
ional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
t
ree2
s
cop
.
c: valid_for_each_ite
r
ation:
handle higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree
2
scop
.
c: add_
i
m
plication: h
a
nd
l
e higher
dimens
i
onal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
t
ree2sc
o
p
.
c: map_to_previous: handle higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2sco
p
.
c: after
:
h
andle hig
h
er dimensional domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
pet_extra
c
t_neste
d
_from_spac
e
: add ex
t
ra
d
imensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
pet_extr
a
ct_nested_f
r
om_space
:
embed
a
rguments i
n
given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
add
pet_expr_
a
cces
s
_get_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
p
e
t_exp
r
_res
o
lve_
n
ested: allow sp
e
cific
a
tion o
f
do
m
ai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree2
s
c
o
p
.
c
:
handle
_
writ
e
s: separate out handling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolae
g
e
tre
e
2sco
p
.
c: han
d
le
_
writes:
r
emove r
e
dundant
p
et_context_ma
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoolae
g
e
tree2scop
.
c:
e
xtract_kill: allow specific
a
tion o
f
statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_s
c
op_add
_
boolean_array: all
o
w
s
p
ecification of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
l
aeg
e
pet_skip_info_*_extract*
:
pas
s
along pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdoolaege
p
e
t_
s
cop constru
c
t
o
rs: al
l
ow spec
i
f
i
c
ation o
f
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
olaege
tree2scop
.
c
:
s
co
p
_from
_
{bre
a
k,
c
ontinu
e
}: minor c
l
e
an-u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree2s
c
o
p
.
c:
scop
_
from_{break,
c
ontinue}: allow specif
i
cati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
a
e
ge
pet_
c
r
e
ate_test_index: allow spe
c
ifica
t
ion of doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_s
t
mt_fr
o
m_pet_expr: allow specification of state
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_stmt
_
from_pet_expr: mi
n
or clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
laege
p
et
_
stmt_from_
p
et_ex
p
r:
r
ename "dim" variable to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_c
o
ntext:
k
eep track of domain set rather than
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
er
d
oolaege
add
pet_neste
d
_remove_from_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e2scop
.
c: scop_fr
o
m
_
non_affin
e
_if
:
drop preall
o
cation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tre
e
2
s
cop
.
c: s
c
o
p_from_non_affine_
i
f: delay construc
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aege
t
ree2scop
.
c: scop_f
r
o
m
_a
f
fine_fo
r
: delay con
s
t
r
ucti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
t
ree
2
scop
.
c
:
scop_from_non_af
f
ine_while: drop preallo
c
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoola
e
g
e
tree2scop
.
c: scop
_
from_non_affine
_
while: delay co
n
stru
c
t
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoolaege
tree2scop
.
c
: sc
o
p_from_infinite_lo
o
p: dela
y
construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdo
o
laege
tree2scop
.
c: i
n
fi
n
ite_domain: delay intersect
i
on with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: extra
c
t out
shared apply_aff
i
ne_break
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolae
g
e
tr
e
e2sc
o
p
.
c: scop_from_affi
n
e_fo
r
:
r
em
o
v
e
pr
e
alloca
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
a
e
ge
tree2scop
.
c: sc
o
p_
f
rom_affine
_
for: dela
y
constru
c
t
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rd
o
olaeg
e
tree2scop
.
c: scop_from_affine_for: in
t
roduce is_non_aff
i
ne
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
tree2scop
.
c:
s
cop_from_
a
ffine_for: delay i
n
ters
e
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
a
dd pet_sc
o
p_
i
ntersect_domain_prefi
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
a
d
d
pet_prefix_projection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scop
.
c
:
extent_is_virtual_array: chec
k
f
or memb
e
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
pet_array_embed: separate ou
t
e
xtent_is_virtual_
a
rray
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolae
g
e
drop p
e
t_scop_writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Ve
r
doolaege
tr
e
e
2scop
.
c: is_neste
d
_
a
ll
o
wed: take tree inste
a
d of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verd
o
ol
a
ege
pet_skip_info
_
*_
e
xtract
*
: pass struct pet_stat
e
instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdo
o
laege
move extract
i
on o
f
pet_s
c
op from pet_t
r
e
e
to separate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
construct
p
et_scop from
i
n
termediate pet
_
tree d
a
ta
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
a
dd pet_context_clear_wr
i
tes_in_{expr,tre
e
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdo
o
laege
introduce pet_t
r
ee o
b
jects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
mo
v
e Pet
S
ca
n
::e
x
tract_whi
l
e before its
f
irst us
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
d
o
olaege
move PetScan::i
s
_nes
t
ed_allowed before its first us
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ver
d
o
o
l
a
ege
m
o
ve PetScan::extract_no
n
_
a
ffine_c
o
ndition before its
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
PetScan:
d
rop allo
w
_nes
t
ed
a
ttri
b
ute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
int
r
o
d
uce p
e
t_loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move pet_scop_
e
xtract_
n
es
t
ed to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ve
r
doolaege
m
ove pet_expr_ex
t
ract_nest
e
d to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erd
o
o
l
aege
P
etScan::e
x
tract
_
for: use pet_expr_extrac
t
_compa
r
ison
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Ve
r
doolaege
P
etSc
a
n::scan(FunctionDecl *): construct a pet_
c
ontext
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdo
o
lae
g
e
r
e
move PetScan::try_extract
_
affin
e
_condit
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
d
oolaege
Pet
S
can::set_upper
_
bounds: con
v
ert array
b
o
und
s
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
s
c
an
.
cc: update_
s
iz
e
: handl
e
NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
do
o
laege
P
e
t
Sca
n
:
:
e
xtract_affine(
c
onst llvm:
:
APInt &): extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verd
o
ola
e
ge
post
p
one the det
e
ction of affine assumptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
e
x
t
ra
c
t o
u
t pet_
e
x
pr_is_assume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
e
tS
c
an::extrac
t
_access_expr:
delay plugging
i
n the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n V
e
rdoolaege
PetScan:
:
ex
t
ract_affine(Expr *): stop
t
a
ki
n
g into accou
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
Pe
t
Scan::extr
a
ct
_
ac
c
ess_ex
p
r
:
construct acc
e
ss
expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
e
t
Scan::resolve_nested: handle sel
f
de
p
endences in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verd
o
olaege
PetScan::resolve_nested: handle presence of argumen
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoo
l
aege
a
d
d functions f
o
r
m
an
i
pulating expression argume
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ve
n
V
er
d
oolaege
add p
e
t_expr_access_
p
u
llback_mul
t
i_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
r
d
ool
a
e
ge
s
e
parate out array index
m
a
n
ip
u
lation f
u
nction
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
PetScan:
:
extract_conditional_assignment:
e
xtract
w
rite
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
ola
e
ge
Pe
t
Scan:
:
m
a
r
k_write: turn into a
s
t
atic function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
Verdool
a
ege
postpone
c
l
earing ass
i
g
n
ed
v
alues unt
i
l the point where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
postpone ha
n
dling
o
f assign
m
ent
s
u
n
til the point where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
e
r
doolaege
PetScan::assign: take
pet_
e
xpr as input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaeg
e
PetScan::extra
c
t
_expr(Cond
i
tiona
l
Opera
t
or *): preserve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
pet_check_code: op_exp
r
_extrac
t
_pw_aff: ha
n
dle
m
ore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdo
o
laege
move p
e
t_n
e
sted_extract_ex
p
r to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaeg
e
PetScan::extr
a
ct_affine: extract expression as pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
tre
a
t fo
r
s with non-a
f
fi
n
e i
n
iti
a
lization or n
o
n-constan
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
rdoolaege
Pet
S
ca
n
::extract_f
o
r
:
m
ove up ex
t
raction of constant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoo
l
aege
P
e
tScan:
:
ext
r
a
c
t_for: extract initial va
l
u
e
as pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::extract_for: extrac
t
incr
e
ment a
s
pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Ve
r
doolaege
P
etSc
a
n::extra
c
t(pet_e
x
pr*): take exp
l
ic
i
t source
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
extract out PetScan::extra
c
t_
w
h
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetSc
a
n:
:
e
xtrac
t
_condition:
c
onvert clang::Expr to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
scan
.
cc: separat
e
out sha
r
ed create_decl_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdool
a
eg
e
represent affine ex
p
ressi
o
n
s
on zero-dim
e
n
sional domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoo
l
aeg
e
PetScan
:
:extrac
t
_
b
in
a
r
y
_
increment: rename
"
dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
V
erd
o
olaege
Pet
S
can::nes
t
ed
_
ac
c
ess: rename "di
m
"
variab
l
e to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::ex
t
rac
t
_affine(DeclRe
f
Ex
p
r *): rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next