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
postpone introduction of access relations
2014-03-25
Sven V
e
rdoolaege
pet_context
:
keep t
r
ack of dom
a
i
n
s
et rather than domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
a
d
d pet_
n
ested
_
remove_from_
s
pa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
:
scop_from_non_af
f
ine_if: drop
p
rea
l
lo
c
a
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
ege
tree2scop
.
c: s
c
op_from_non_affine_if: delay constructio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
ol
a
ege
t
r
ee2s
c
op
.
c
: scop_from_affine_fo
r
:
delay c
o
nstr
u
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
o
olaege
tree2scop
.
c: scop_from_non_affi
n
e_while: drop
p
r
e
allocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
doolaege
tree2scop
.
c: scop
_
f
rom_non_affine_
w
hile: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ve
n
Verdoolaege
tree2scop
.
c: scop_from_infinite_loo
p
: delay
construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2
s
cop
.
c: infinite
_
domain:
d
elay inters
e
ction with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
o
l
aege
t
r
e
e2sc
o
p
.
c: extract out shared a
p
p
ly_affin
e
_
b
rea
k
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaeg
e
t
r
e
e
2sco
p
.
c
:
scop_from_
a
ffine_for: r
e
move prea
l
loca
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolae
g
e
tree2sco
p
.
c: scop_f
r
om
_
affine_for: delay c
o
nstruc
t
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
op
.
c: sc
o
p_
f
rom_affine_for: introduce i
s
_
non_affin
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaege
tree2scop
.
c
:
s
cop_f
r
o
m
_af
f
ine_for: delay intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
add pet_scop_intersec
t
_domain
_
prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
add pet_prefix
_
projection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scop
.
c: e
x
te
n
t_i
s
_virt
u
a
l
_
array:
c
heck for mem
b
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erdoolaege
pet_ar
r
ay_e
m
bed: separ
a
te out extent_is_virtual_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Ver
d
oolaege
dro
p
pet_scop
_
writ
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
ge
tree2scop
.
c
:
is_
n
ested_allowed: take
t
ree instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet
_
skip_inf
o
_*_extract*
:
p
a
ss
s
truct pet_state i
n
s
t
ead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
V
erdoolaege
move ext
r
action
of pet_scop from pet_tree to separate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
construct pet_scop fr
o
m
intermedi
a
te pet_tree data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
add pet_c
o
ntext_clear_writes_in_{e
x
pr,tree
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
i
n
troduce
p
et_t
r
ee ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n Ver
d
oolaege
move PetScan:
:
extract_while befor
e
its first use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move PetScan::is_nested_allowed before its
f
ir
s
t
u
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
move PetSc
a
n
::extract_non_affin
e
_condition
b
e
fore its
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
Pet
S
can: drop allow_ne
s
t
ed
attribute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n V
e
r
d
oola
e
ge
in
t
roduc
e
pet
_
loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
e
ge
move pet_scop_ex
t
r
act_n
e
s
t
ed to nes
t
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
mo
v
e pet_expr
_
extract_ne
s
ted to nes
t
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en V
e
r
d
o
olaege
PetSc
a
n:
:
extra
c
t_for:
use pet_
e
xpr_extract_co
m
p
a
ri
s
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
PetScan
:
:scan(FunctionDe
c
l
*
)
:
constru
c
t a pet_context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
remove Pet
S
can::try
_
ext
r
act_aff
i
ne_conditio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
PetScan::set_upper_bounds:
c
o
nvert array bou
n
ds to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
r
d
o
o
laege
scan
.
cc: update_size:
h
a
ndle
N
ULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
do
o
laege
P
et
S
c
an::e
x
tract_affine
(
const llvm
:
:
APInt &):
e
xtract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
postpone
t
he de
t
e
c
t
i
on of a
f
f
ine assumptio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
V
erdo
o
laege
extract out p
e
t
_ex
p
r_is_as
s
ume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Ve
r
doolaege
P
e
tScan::extr
a
ct_a
c
cess_expr: dela
y
pluggin
g
in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
V
erdoolaeg
e
PetSc
a
n::
e
xtract_affine(Expr *): sto
p
takin
g
in
t
o accou
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
P
e
tSc
a
n::extra
c
t_ac
c
ess_expr: c
o
n
struct ac
c
ess expr
e
ssion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaeg
e
P
etScan::resol
v
e
_nested
:
h
a
ndle self dependences in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
la
e
ge
PetS
c
an::resolve_nested: handle presence of arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verd
o
o
laege
a
d
d f
u
nctions
f
o
r
manipulating
express
i
on argum
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
a
dd p
e
t_expr_access_
p
ullback_
m
ulti_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verd
o
olaege
separate o
u
t array in
d
ex
manipulation functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
PetS
c
a
n::extract_conditional_assignment:
extract w
r
ite
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doola
e
ge
PetS
c
an::mark_write: turn into a s
t
a
t
ic function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
p
o
stp
o
ne clea
r
ing a
s
sign
e
d value
s
until the point wher
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doola
e
ge
p
ostpone h
a
ndl
i
ng of ass
i
g
nmen
t
s unti
l
the po
i
nt where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laeg
e
Pe
t
Sc
a
n:
:
ass
i
g
n
:
tak
e
pet_expr as input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Ver
d
o
o
laege
PetScan:
:
extr
a
ct_expr(Co
n
ditionalOper
a
tor *): preser
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n Verdoolaege
p
et_ch
e
c
k
_
code: op_exp
r
_
e
xtract_pw_aff: handle more
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdo
o
laege
move
p
et_ne
s
ted_extract_expr to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
PetSc
a
n::e
x
tract_affine: extract
e
xpressi
o
n as pet_
e
xp
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdool
a
ege
trea
t
fors with non-affine i
n
itializ
a
t
i
on or non-con
s
t
ant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
er
d
ool
a
ege
P
e
tSc
a
n::extract_for: move up
e
x
tr
a
ction
o
f c
o
n
s
tant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
PetSc
a
n::extra
c
t_for: e
x
tract initial
value as
pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::ex
t
r
ac
t
_for: extract
i
ncrement as pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::e
x
t
ract(pet_exp
r
*): take ex
p
licit source range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
ex
t
ract out Pe
t
Scan:
:
extrac
t
_while
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetS
c
an
:
:extr
a
ct_condition: c
o
nvert clang::Expr to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en V
e
rdool
a
eg
e
scan
.
cc: separate out
s
h
ared
cre
a
te_dec
l
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
represen
t
aff
i
ne expres
s
i
o
ns
o
n
zer
o
-di
m
en
s
ional domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
PetScan::extract_binary_increment:
rename
"
di
m
" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aeg
e
P
etScan::nest
e
d_access: rename
"dim"
va
r
i
a
b
le
to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n Ver
d
oo
l
a
e
ge
P
etScan::ext
r
act_affine
(
D
eclRefExpr
*
):
rename "
d
im
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::e
x
t
r
a
c
t_affine(c
o
ns
t
llvm::APInt &): rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
PetScan::e
x
t
r
act_
a
ffine(I
n
te
g
erLiteral *): rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Ver
d
oolaege
ad
d
pet_e
x
pr_extra
c
t_affine and
pet_expr_e
x
trac
t
_affine_cond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoola
e
ge
ad
d
pe
t
_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_com
p
ari
s
on: h
a
ndle NaN inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_to_bool: handle
NaN
inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pe
t
_n
o
t:
handle
NaN
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoo
l
aege
update isl for affine NaN expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
o
laege
add su
p
port f
o
r nested accesses repres
e
nted by a pet_ex
p
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
separate out extr
a
ction of
n
e
sted expressi
o
n from isl_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
p
et_expr
_
is_
s
calar_access:
do not c
o
nsider scalar fields
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
ext
r
act
out pe
t
_extract
_
c
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
extrac
t
out p
e
t_boolean
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
o
l
aege
extract out pet_
t
o_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaeg
e
extract
out p
e
t_
n
ot
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ver
d
oolaeg
e
extract
o
ut pet_and
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
o
olaege
add more pet_e
x
pr_
i
s_* functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
ex
t
ract out the handlin
g
of
s
kip
c
o
n
ditio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoola
e
ge
e
x
tract out pet_create_test_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
e
xtract
out pet_
s
cop_add_boolean_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdool
a
ege
scan
.
cc: sc
o
p_add_arr
a
y: rename "dim"
v
ari
a
ble
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
o
olaege
pet_
e
xpr: keep track of t
y
pe_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n Ver
d
oolaege
extract shared PetScan::
e
xtract
_
a
ccess_exp
r
(isl_multi_pw_
a
ff *)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
V
erdoolae
g
e
extract out pet
_
compar
i
son
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
s
can
.
cc: move Una
r
y
Operat
o
rKind2pet_op_
t
y
pe, BinaryOperatorK
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
add
p
et_stmt_can_
b
uild_a
s
t
_exprs and pet
_
sco
p
_can
_
build_a
s
t
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_scop
_
collect_ar
r
ays: collect
a
r
r
ays in a
so
r
te
d
se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
pet_sco
p
_col
l
e
ct_arrays:
a
v
oid trying to remove "typ
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laeg
e
pet_stmt_
f
rom_pet_expr: drop isl
_
c
t
x argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ver
d
oolaege
mak
e
pet_expr o
b
jects
r
e
fer
e
n
c
e counted
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
PetScan::extract_arg
u
ment: a
v
oid modifying part of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next