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_stmt_from_pet_expr: rename "dim" variable to "space"
2014-03-25
Sven V
e
rdoolaege
pe
t
_
s
tmt_from_p
e
t
_
expr: rename
"
dim" varia
b
le to "spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_cont
e
xt: ke
e
p t
r
a
ck of domain set rath
e
r than domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
laege
a
dd pet_nested_re
m
ove_from_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolaege
tr
e
e2scop
.
c: scop_from_non_af
f
ine_
i
f:
d
r
op
preall
o
ca
t
io
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolaeg
e
tree2scop
.
c: scop
_
fro
m
_
n
on_
a
ffine_if: d
e
lay constr
u
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoola
e
ge
tree2scop
.
c
:
sco
p
_from_affine_fo
r
: delay co
n
struction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
lae
g
e
tree2scop
.
c: sc
o
p_from
_
non_affine_while:
dro
p
p
reallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
tree2scop
.
c
:
sc
o
p
_
from_no
n
_affi
n
e
_
while:
d
elay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoola
e
ge
tree2scop
.
c:
scop
_
from_infinit
e
_loop: delay con
s
truction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree
2
sco
p
.
c:
i
nfini
t
e
_
d
oma
i
n
: de
l
ay in
t
ersection with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sc
o
p
.
c: extract out shared app
l
y_affi
n
e_bre
a
k
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
erdoolaege
tre
e
2scop
.
c
:
scop_from_affine_for:
remove
p
reallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree2sc
o
p
.
c:
scop_from_affine_for: delay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sc
o
p
.
c: sc
o
p_from_affine_for: introduce is
_
non
_
aff
i
ne
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
e
r
doola
e
g
e
tree2scop
.
c: scop_
f
rom_affine_for:
d
ela
y
intersec
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doola
e
g
e
add pet_scop_in
t
ersect_domain_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
add pet
_
p
r
efix_
p
rojecti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
ge
s
cop
.
c: ex
t
ent_is_virtual_array: check for
m
emb
e
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoolae
g
e
pet_
a
rray_e
m
bed: separate ou
t
extent_is_virtual_a
r
ray
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
d
r
op
pet_scop_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tre
e
2scop
.
c: is_nested_al
l
owed:
t
ake
tree ins
t
ead
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pe
t
_skip_in
f
o_*_
e
xtract*: pass struc
t
pet_state instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
olaege
move
e
xtrac
t
ion
o
f p
e
t
_
scop fr
o
m pe
t
_tree to sepa
r
ate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
constru
c
t
p
et_scop from interme
d
iate
pet_tree da
t
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoo
l
a
e
ge
add
p
et_context_cle
a
r_writ
e
s_in_{expr,
t
r
ee}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
o
o
laege
i
n
troduce pet_tree objec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdo
o
laege
mov
e
PetS
c
an::extract_while
b
efore
it
s
first use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdo
o
laege
move PetScan::is_nested
_
all
o
w
ed b
e
fore its fi
r
st
u
se
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
move PetScan::extract_n
o
n_
a
f
f
in
e
_condi
t
ion before its
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
P
etScan: drop allow_nested
a
t
tri
b
ute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
introduce
p
e
t_
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verd
o
olaege
move pet_scop_extr
a
ct_nested to nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoo
l
aege
m
o
ve
pet_expr_extract_nest
e
d t
o
nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
PetScan::extract_for
:
use pet_expr_extrac
t
_comparis
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::scan(FunctionDecl
*): constr
u
c
t a
pet_context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doo
l
a
e
g
e
remove Pet
S
ca
n
::try_extr
a
ct_affine_condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::set_upper_b
o
unds: c
o
nvert array
b
o
un
d
s
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoo
l
a
e
ge
sc
a
n
.
cc: update_siz
e
: han
d
le
NULL
i
np
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
a
e
g
e
PetScan::e
x
tract_affine(const llvm:
:
AP
I
n
t
&
): ext
r
a
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
post
p
one the detection o
f
affin
e
a
s
sum
p
tion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
extract
o
ut pet_expr_is_a
s
s
ume
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ver
d
oolaeg
e
PetScan::extract_access_expr
:
d
elay plugging in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
o
laege
P
e
tScan::extract_affine(Expr *): stop
t
aking into accoun
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoo
l
aege
P
e
tScan::extract_access_expr: co
n
stru
c
t
a
ccess exp
r
ession
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
rdoo
l
aege
PetS
c
an::r
e
solve_n
e
sted: han
d
le sel
f
dependence
s
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Ve
r
doolaege
PetScan:
:
resolve_nested: handle
prese
n
ce o
f
a
r
gumen
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
o
l
ae
g
e
a
dd
function
s
for man
i
pu
l
ati
n
g expressi
o
n argumen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoola
e
ge
add
p
et_expr_a
c
cess_p
u
llb
a
ck_multi_
p
w
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verd
o
olaege
s
epar
a
t
e
out ar
r
a
y
ind
e
x man
i
pu
l
ation functio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetSca
n
::extract_con
d
itional_assignment: extra
c
t write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
Pet
S
can::mark_write: t
u
rn into
a
static function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
postpone clearing a
s
signed v
a
lu
e
s until
the p
o
int where
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ve
n
V
e
rdoo
l
a
e
ge
postp
o
ne handl
i
ng of
a
ssignm
e
nts un
t
il the po
i
nt where
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
Verdo
o
la
e
g
e
Pe
t
Scan::assign: take pet_expr as i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
PetScan::ex
t
r
a
ct_expr(ConditionalOpe
r
ato
r
*):
pre
s
erve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
Verdoolaege
pet_check_cod
e
:
o
p
_e
x
pr
_
extract_
p
w_aff: handle more
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en V
e
rdool
a
e
g
e
move pet_n
e
sted_extr
a
c
t_expr to
n
est
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
o
o
laege
PetS
c
an
:
:ex
t
ract_a
f
fine: extr
a
ct expression as pet_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
treat fors w
i
th
n
o
n-affine i
n
itialization or non-constant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetSca
n
::extrac
t
_
f
o
r: mov
e
u
p e
x
traction of const
a
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
PetScan::extract_f
o
r
:
extrac
t
init
i
al v
a
lue as pet_e
x
p
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::ex
t
rac
t
_fo
r
:
extract
incr
e
ment as pet_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
PetScan::extract
(
pet_ex
p
r*): take
explic
i
t s
o
u
r
ce rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
extract out PetScan::extract_while
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
etS
c
an::
e
xt
r
a
c
t_conditio
n
:
convert clang::
E
xpr to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
s
c
an
.
cc: se
p
ara
t
e out shared
c
reate_
d
ecl_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
r
e
present affine ex
p
ressions
on
zer
o
-dimensional domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoola
e
ge
Pet
S
can::e
x
t
r
act
_
binary_increment: re
n
ame "dim" variabl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
P
e
tSc
a
n::ne
s
ted_
a
cce
s
s:
rename "d
i
m" varia
b
le to "
s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verd
o
o
l
aege
P
e
tScan::extract_affine(
D
ec
l
RefExpr
*
): rename "dim
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
PetSc
a
n
:
:
e
x
tr
a
ct_af
f
i
n
e(co
n
st llvm::
A
PInt &): rename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
PetScan
:
:extract_affine(I
n
teg
e
rL
i
teral *
)
: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verd
o
olaege
ad
d
pet_ex
p
r_extract_
a
ffine and pet_expr_
e
xtract_aff
i
ne_con
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdo
o
laege
a
dd
p
et_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
pet_comparison:
hand
l
e NaN input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_to_bo
o
l
:
handle NaN input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
pet_
n
ot: handle N
a
N
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
update isl for
a
ffine NaN ex
p
ressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
add
support
for nes
t
e
d accesses represented by a
p
et
_
expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
s
e
p
ar
a
te out extraction of n
e
s
t
e
d
e
xp
r
essio
n
fro
m
i
s
l_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_expr_is_scalar
_
access: do n
o
t
c
o
nsi
d
er
scalar fields
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extract out pet_extract_cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
l
aege
extract out
pet_boolean
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoola
e
ge
extract out
p
e
t
_to_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extract out p
e
t_not
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extract out pet_an
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
a
d
d mor
e
pet_
e
xpr_is_* func
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
r
d
o
olaege
e
xtract
o
u
t t
h
e handling of skip
c
onditi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
ex
t
ract
o
ut pet_
c
reate_te
s
t_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
extract
out pet_scop_add_boolean_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
sca
n
.
cc:
s
c
o
p_add_array: rename "dim" varia
b
l
e
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoo
l
aege
pet_expr:
k
eep
track of
type_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
l
a
ege
extract shared PetScan::extract_acc
e
ss_expr(isl_multi_pw_aff *)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
e
x
tract
o
ut pet_compa
r
ison
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoo
l
aege
scan
.
cc:
m
ove
Un
a
ryOperatorK
i
nd2
p
et_op_type, BinaryOp
e
ratorK
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdool
a
ege
add pet_stmt_can_bu
i
ld_ast_exprs and p
e
t_scop_ca
n
_build_ast_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
pet_scop_collect_array
s
: collect arrays
i
n a
sorted set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
g
e
pet_scop_collect_arr
a
y
s
:
a
void trying to remove "type
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en V
e
rdoolaege
pet_
s
tmt_from_pet_expr: drop isl_ctx argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Ve
r
do
o
l
aeg
e
make
p
et_
e
x
pr ob
j
ect
s
referen
c
e count
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next