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_skip_info_*_extract*: pass along pet_context
2014-03-25
Sven Verdoolaege
pet_skip_info_
*
_extr
a
ct*: pa
s
s along pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_
s
cop construct
o
rs:
a
llow specificatio
n
of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sco
p
.
c: scop_from
_
{break,co
n
t
inue}: mi
n
or c
l
ean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
g
e
tr
e
e2scop
.
c:
s
co
p
_f
r
om_
{
break,continue}: allow specifi
c
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
aege
p
e
t_create_test_index:
allow
specification of
d
omain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ol
a
ege
pet
_
stmt_from_pet_expr
:
allow sp
e
cific
a
t
ion
o
f st
a
tement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_stmt_from_pet_ex
p
r: mi
n
or
c
lean-
u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
stmt_fr
o
m_p
e
t_expr: renam
e
"dim" variable to "space
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
olaege
pet_contex
t
: keep tra
c
k
o
f domain set r
a
ther than
d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doolae
g
e
a
dd
pet_neste
d
_r
e
move_
f
rom_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree2sco
p
.
c: sco
p
_
from_non_affine_if:
drop
p
reallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tr
e
e2scop
.
c:
s
cop_from
_
n
o
n_affin
e
_if: delay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
oolaeg
e
t
ree2scop
.
c: sc
o
p_from_affine_
f
or: delay construc
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
lae
g
e
tree
2
s
cop
.
c: scop_from_no
n
_af
f
ine_while: drop preal
l
ocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
:
s
cop_from_non_affine
_
whi
l
e: d
e
lay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
a
ege
tree2scop
.
c: scop_from_inf
i
n
ite_loop: delay c
o
nstructio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ola
e
ge
t
ree2scop
.
c: infinite_
d
omai
n
:
delay intersectio
n
with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ver
d
oo
l
aege
tr
e
e2sc
o
p
.
c: e
x
tract out shared apply_affine_break
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
e
rdoo
l
aege
tree2
s
cop
.
c:
sco
p
_
f
rom_a
f
fine_for
:
remove
p
realloca
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sc
o
p
.
c: scop_f
r
om_affine_for: delay con
s
tru
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2scop
.
c: scop_from_affine_for: intr
o
duce is_non_aff
i
n
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree
2
scop
.
c: scop_
f
r
om
_
affine
_
for: delay intersecti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rd
o
olaege
a
d
d pet_sco
p
_intersect_d
o
m
a
in_prefi
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_prefix_pr
o
jection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaege
s
c
op
.
c: ext
e
nt_is_vi
r
t
u
al_arr
a
y: check for members
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
pet_a
r
ray_embed: separ
a
te out extent_is_virtual_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
drop
pet_
s
cop_
w
r
i
t
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tre
e
2sco
p
.
c: is_n
e
sted_allowed:
t
ake t
r
e
e
instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_skip_info
_
*_e
x
tract*: pass st
r
uct pet_sta
t
e instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
o
l
a
ege
move extract
i
on of pet
_
scop
f
r
om
pet_tree
t
o separa
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laeg
e
con
s
truct p
e
t_scop from intermediate
p
et_tr
e
e
data
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
Verdoolaege
add pet_c
o
n
text_
c
lear_writes_i
n
_{expr,tree}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
d
o
olaege
in
t
roduce pet
_
tree
o
bjects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
mov
e
PetScan::extract_while before its fir
s
t use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
la
e
g
e
move Pe
t
Scan::is_nested_all
o
wed be
f
o
r
e its f
i
rst use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdool
a
ege
move PetScan:
:
extract
_
non_affine_condi
t
io
n
b
efore its
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
PetScan:
dr
o
p al
l
ow_nested attri
b
ute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdo
o
laege
in
t
roduce p
e
t_
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verd
o
olaege
mov
e
pet_scop_extract_n
e
st
e
d to nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
e
g
e
mo
v
e pet_expr_extra
c
t_nested to nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
PetScan::e
x
tr
a
ct_for: use pet_expr
_
e
x
tract_comparison
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
erdoolaege
Pet
S
can::scan(FunctionDecl *)
:
construct a pet
_
c
o
n
t
e
xt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
re
m
ove PetSca
n
::try_extrac
t
_
a
f
f
i
n
e_
c
onditi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::set_up
p
er_bounds: convert arra
y
bounds t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Ver
d
oolaege
sca
n
.
cc: update_size: handle NULL inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
PetScan::extract_affine(const llvm::APInt
&
)
: extract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
o
laege
postpon
e
the detection
of a
f
f
i
ne assumptio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
ex
t
ract out pet_e
x
pr_is_assume
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
PetScan::extr
a
ct_a
c
ces
s
_exp
r
:
delay pluggi
n
g
i
n the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
PetScan
:
:extract_affine(Ex
p
r
*
): stop taking into ac
c
ount
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
etS
c
a
n
::
e
x
t
r
act_access_expr: construct ac
c
ess expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
e
tSc
a
n
::resolve_nested: handle self de
p
e
ndences
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaeg
e
P
e
tScan::r
e
sol
v
e_nested: handle pr
e
sence of arg
u
ments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
ad
d
functions for
m
a
nipulati
n
g
e
xpression arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven V
e
rdoola
e
ge
add pe
t
_ex
p
r_access
_
pullback_multi_p
w
_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
separate out array index m
a
nipula
t
ion functi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
PetScan::extr
a
ct_conditional_assignment:
extract wr
i
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
er
d
o
o
lae
g
e
PetScan::mark_
w
r
i
te:
t
urn into a static funct
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Ve
r
doolaege
pos
t
pone
clea
r
i
n
g assigned value
s
un
t
il the point where
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
p
o
stpone han
d
ling of a
s
signments until the p
o
int where
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
PetScan::assign: take pe
t
_expr a
s
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaeg
e
P
e
tScan::extract_exp
r
(ConditionalOpe
r
ator *): preserve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
Verdoolaege
pet_check_code:
o
p_
e
xpr_extract_pw_aff: handl
e
m
ore
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoola
e
ge
move pet_
n
e
s
te
d
_ex
t
ract_
e
xpr to
nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
PetS
c
an::
e
xtract
_
af
f
ine: ex
t
ra
c
t
e
x
p
re
s
sion as
pet_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verd
o
o
l
aege
treat
fors wit
h
non-affi
n
e i
n
it
i
aliz
a
tion
o
r
n
on-constant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
Verd
o
olaege
PetScan::ex
t
ract_
f
or:
m
ove up extract
i
on
of
constant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
P
etScan:
:
ext
r
a
c
t_
f
or: extract
initial value as pet_ex
p
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoola
e
ge
P
e
tScan::extract_for
:
ext
r
a
c
t incre
m
ent as pet_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
etScan::extract(pet_expr*): take expl
i
ci
t
source
r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
rdoolaege
ext
r
act
o
ut
P
etScan::
e
x
t
r
act_while
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
etScan::extract_condition: convert
clang::Expr to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
o
laege
scan
.
cc: separate
o
ut sha
r
ed create_decl_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aeg
e
repres
e
nt affine ex
p
re
s
sions on zero
-
dimensi
o
nal d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
Pet
S
ca
n
::extract_b
i
nar
y
_increme
n
t:
r
en
a
me "dim" v
a
riable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n Ve
r
d
o
olaeg
e
P
e
tScan::nested_access: rena
m
e "dim" varia
b
le to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
Pet
S
ca
n
::ex
t
ract_affine(DeclRef
E
xp
r
*):
r
ename "dim
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
o
laege
P
e
tScan:
:
extra
c
t_affin
e
(c
o
nst l
l
vm::AP
I
nt &
)
: ren
a
me
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
e
tS
c
an::e
x
tract_affine(IntegerLit
e
r
al *):
r
ena
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
a
dd
p
e
t_expr_extract_affin
e
and
pet
_
exp
r
_extract_affi
n
e_co
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
add p
e
t_cont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdo
o
lae
g
e
p
e
t
_
comparison: han
d
le NaN i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verd
o
olae
g
e
p
e
t
_to_bool:
handle N
a
N input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdo
o
lae
g
e
pet_not: handle NaN input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
update i
s
l for a
f
f
ine
NaN exp
r
essions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doola
e
ge
add s
u
pp
o
rt for nested a
c
c
esse
s
represented by
a
pe
t
_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
separate out
e
xtracti
o
n
o
f nested ex
p
re
s
sion fr
o
m
isl_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
pet_expr_i
s
_scal
a
r_access: do not consider scalar fields
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolae
g
e
extract out pet
_
extract_cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laeg
e
e
xtract out pet_boolean
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
extr
a
ct
o
u
t
pet_to_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoo
l
aege
extract o
u
t pet_not
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Ve
r
d
o
olaege
extr
a
ct out pet_and
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
V
erdoolaege
add
m
ore
p
et_expr_is_*
f
uncti
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extract
out the handl
i
ng
o
f ski
p
cond
i
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
r
d
oolaege
extract out pet_create_test_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
extract out p
e
t_scop_add_boo
l
ean
_
array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Ve
r
doolaege
s
can
.
cc: scop_add_array: r
e
name
"
dim" var
i
a
b
le t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
p
et_e
x
pr: keep trac
k
of
t
ype_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
e
x
tract shar
e
d PetScan::extract_access_
e
x
p
r(isl_multi_pw_aff
*)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next