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
break up access relations into may_read/may_write/must_write in interface
2014-03-25
S
ven Verdoolaege
pet_stmt_from_pet_expr: minor c
l
ean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_stm
t
_from_pet_expr: renam
e
"dim"
varia
b
l
e
to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
pet_c
o
ntext:
k
eep t
r
ack of domain
set rather than domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
l
aege
add
p
et_neste
d
_re
m
ove_from_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree2scop
.
c: scop
_
from_non_affine_i
f
: dro
p
pre
a
llocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tree2scop
.
c: scop_from_non_a
f
fin
e
_if: delay co
n
s
truction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2scop
.
c
:
scop_fro
m
_a
f
fi
n
e_for: delay construc
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2scop
.
c: scop_from_non_af
f
i
n
e_whi
l
e: drop
preallocat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
g
e
tree2scop
.
c
:
scop_from_non_
a
f
fine_w
h
ile:
delay
constr
u
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tree2scop
.
c:
s
cop_from_infinite_
l
oop: delay const
r
uction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: infinite_dom
a
i
n
: delay interse
c
t
io
n
with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: extract ou
t
sha
r
ed apply_affine_break
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_from_af
f
ine_for: rem
o
ve preal
l
oca
t
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
e
g
e
tree2
s
cop
.
c: scop_f
r
om_affine_for: delay con
s
truction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tr
e
e
2sc
o
p
.
c: sco
p
_fr
o
m
_affine_for: introduce
is_non_
a
ffi
n
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2scop
.
c: scop_
f
rom_af
f
ine
_
for: de
l
ay in
t
erse
c
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolae
g
e
add
p
e
t_scop_inte
r
s
ect_domain_pref
i
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add
pet_pr
e
f
ix_pro
j
ec
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scop
.
c:
extent_is_virtual_
a
rra
y
: c
h
eck for me
m
ber
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_
a
r
r
ay
_
embed:
sepa
r
ate
out
e
xt
e
n
t
_
i
s_v
i
rtua
l
_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
dro
p
pet_scop_writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
tre
e
2scop
.
c: is_nested_allowed: take
t
r
ee i
n
stead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdo
o
laege
pet_skip_info
_
*_extr
a
ct*: pass struct pet_state in
s
t
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
move ex
t
racti
o
n
o
f pet
_
s
c
o
p
from pe
t
_
t
r
e
e
t
o
s
e
para
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
construct pet_scop from
interme
d
iat
e
pet_tree data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaeg
e
a
dd pet_con
t
ext_clear_writ
e
s_in_{expr,tree}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdool
a
ege
i
n
troduce pet_tree objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
move PetScan::extract_while befo
r
e its
fi
r
st use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
m
o
v
e
PetScan::is_nested_allowed bef
o
re it
s
first u
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move Pe
t
Scan::extra
c
t_non_affine_condition before i
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
PetScan: drop allo
w
_nested attri
b
ute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
int
r
oduce pet_loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
move
pet_scop_extract_nested to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
move pet_ex
p
r_ext
r
act_ne
s
ted to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
PetS
c
an::extract_for: us
e
p
e
t_expr_extra
c
t_compariso
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
PetSca
n
::s
c
an(Func
t
i
onDecl *): construct a pe
t
_contex
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
remove
PetScan:
:
try_e
x
tra
c
t
_affine_c
o
ndition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
PetSca
n
:
:set_u
p
per_b
o
unds: convert a
r
ray bounds to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
s
can
.
cc: update_size:
h
an
d
le
N
ULL inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Ver
d
oolaege
P
etScan::
e
xtract_a
f
fi
n
e(const l
l
vm::APInt &): ex
t
r
a
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
postpone t
h
e det
e
ct
i
on
o
f
a
f
fine assumptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
e
x
t
r
act ou
t
pet_expr_is_
a
ssume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
PetS
c
an::e
x
tract_acc
e
ss_ex
p
r: delay plugging in
the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
e
tScan::extract
_
aff
i
n
e(Ex
p
r *): stop taking
i
nto acc
o
u
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
Verdoolaege
PetScan::extract_acc
e
ss_expr: construct access exp
r
ession
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
Pe
t
Scan::resolve_n
e
s
t
ed: handle
self d
e
pendences in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaeg
e
Pet
S
can:
:
r
e
solve_nested:
h
a
n
dl
e
pr
e
sence of arg
u
m
en
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
Verdoo
l
aeg
e
add
functions
f
or manipulating
e
xpression arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
a
d
d pet_expr
_
acc
e
ss_pullback_multi_p
w
_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Ve
r
do
o
laege
separat
e
out arr
a
y
i
n
dex manip
u
l
a
tion
f
unctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
etScan:
:
extr
a
ct
_
con
d
itional_as
s
i
gnment: e
x
tract
w
r
ite
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
P
etScan::mark_write: turn into a stat
i
c fun
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdool
a
eg
e
postpone
c
learing assig
n
ed values unti
l
t
h
e poi
n
t w
h
e
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en V
e
rdoolaege
postpone han
d
ling of assignments
u
nti
l
t
h
e
point where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
V
e
r
doolaege
PetScan::assign
:
t
a
ke pet_expr as
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
Pe
t
S
c
an::extract_expr(ConditionalOperator
*
)
: prese
r
ve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n Verdoo
l
aege
pet_check_code: op_expr_extract_p
w
_aff: handl
e
more
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Ve
r
do
o
laege
move
p
et_ne
s
ted_extrac
t
_
ex
p
r to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetSca
n
::ex
t
ract_
a
ffine: extract expression as
pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
Verdoolaege
treat f
o
rs wit
h
non-affine
initiali
z
ation or
n
on-const
a
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en V
e
rdool
a
eg
e
Pe
t
Sc
a
n::e
x
tract_for: move up ext
r
action of co
n
st
a
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
P
e
t
Sca
n
::extract_for: e
x
t
ract
initial value as pet_
e
x
p
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
P
e
tScan
:
:
extract_for: extract incre
m
ent as pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::extra
c
t
(
pe
t
_expr*): take explicit
s
ourc
e
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoo
l
a
e
ge
ex
t
ract out PetSca
n
::extrac
t
_
wh
i
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
rdoolaege
PetScan::extract_condition: conver
t
clang::Expr to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
Verdoolaege
scan
.
cc: sep
a
rate out s
h
ared
c
rea
t
e
_de
c
l_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
repr
e
sent a
f
fin
e
expressions
o
n ze
r
o-dimensional
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n Verdoolaege
Pet
S
ca
n
::extract_binary_in
c
rement: rename "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
eg
e
PetScan::
n
ested_
a
ccess: r
e
na
m
e "dim" variable to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::extrac
t
_
a
ffine(D
e
clRefExpr *):
r
e
nam
e
"dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaeg
e
P
e
tSc
a
n::extract_affine(const ll
v
m::
A
PInt &):
rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
PetScan::e
x
tract_
a
ffine(I
n
tegerLit
e
ral *): rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
add pe
t
_
e
xpr
_
extract_a
f
fine and pet_expr_extract_affine_con
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdo
o
laege
add pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oo
l
aege
pet_comparison: handle NaN input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Ve
r
doolaege
pet_to_bool: handle NaN inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ve
n
Ve
r
doo
l
ae
g
e
pet_not: h
a
ndle NaN i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
u
p
date isl
f
or affine NaN expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdool
a
e
g
e
a
d
d
supp
o
rt f
o
r ne
s
ted accesses re
p
resented by a pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ve
r
doo
l
aege
se
p
a
r
ate out extraction of n
e
s
t
e
d expression
f
rom isl_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoo
l
a
ege
pet
_
expr_is_scalar_acce
s
s
:
do
not co
n
sider
s
ca
l
ar
fiel
d
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
e
x
tract
o
ut pet_e
x
t
r
a
c
t_c
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ve
n
Verdool
a
ege
extra
c
t out pet_b
o
olean
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
extract ou
t
pet_
t
o_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
ex
t
ract out pet_
n
ot
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdo
o
laege
extract out pet_and
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
add more pet_expr_is_*
f
un
c
tio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
ex
t
ract out th
e
handling o
f
skip conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
extract out pet_creat
e
_
t
est
_
index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doo
l
a
ege
extract
o
ut pet
_
scop_
a
dd_boolean_ar
r
ay
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
s
can
.
cc: scop_add_arra
y
: rename "dim"
v
ar
i
a
ble to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_expr: k
e
ep track of type_si
z
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
d
o
o
laege
extract share
d
PetScan::extract
_
access_expr(isl_multi_pw_aff
*)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
extract out
pet_comparison
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
scan
.
cc: mo
v
e
Una
r
yO
p
erator
K
i
n
d2pet_op
_
type,
BinaryOperatorK
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
do
o
la
e
ge
add pet_
s
tmt_can_buil
d
_ast_exp
r
s an
d
pet_s
c
op_can_b
u
ild_
a
st_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
pe
t
_scop_collect_array
s
: col
l
ect arrays in
a sorted set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laeg
e
p
et_scop
_
collect_arrays: a
v
oid trying to rem
o
ve
"
type
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet
_
s
t
mt
_
from_pet_expr: drop i
s
l_ct
x
argume
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next