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
tree2scop.c: extract_kill: update kill expression rather than creating new one
2014-06-20
Sve
n
Verdoo
l
a
ege
tree2
s
cop
.
c: ex
t
rac
t
_kil
l
: update kill
expr
e
ssio
n
rat
h
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdo
o
laege
p
et_expr_is
_
aff
i
ne: avoid using access r
e
latio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoola
e
ge
pet
_
ex
p
r_filter
:
avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
V
e
rdoo
l
aege
pet_expr
_
access_update_d
o
m
ain:
avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
l
a
ege
pet
_
expr_access_get_mus
t
_access
:
a
v
oid using acces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
p
e
t_e
x
pr
_
access_
g
et_
i
d: avoid using a
c
cess rela
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
e
x
pr
.
c
: access_add_
r
ef_id: av
o
id
u
s
ing access rel
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oola
e
ge
scop
.
c
: a
c
cess_colle
c
t_params: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: impli
e
s_filt
e
r
:
a
void usi
n
g access
r
elation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven V
e
rdoolaege
scop
.
c:
a
c
c
e
ss_e
x
tra
c
t_context
:
avo
i
d
u
sing
a
c
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
scop
.
c: ex
p
r_extrac
t
_con
t
e
x
t: avo
i
d us
i
ng ac
c
ess relat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoolaege
scop
.
c: extract
o
u
t shared drop_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
pet_expr_access_update_domain: mino
r
clean-up of expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
further g
e
neralize c
o
mpute_to_inner to suppo
r
t pet_s
c
o
p_
c
omp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
generalize
compute_to_inne
r
to support
p
et_sc
o
p_compute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
s
c
op
.
c: compute_
t
o_
i
nner: micr
o
-optim
i
zation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven V
e
rdoolaege
tree2sco
p
.
c: is_nested
_
allowe
d
: do n
o
t
all
o
w
nesting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven
V
er
d
oolaege
PetScan::
s
et_
u
pp
e
r_bound
s
: use declared
s
ize of st
a
tic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
scop
.
c: restrict_skip: up
d
a
t
e docum
e
ntation to c
h
a
ng
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
ven
Verdo
o
laege
tree2sco
p
.
c: sc
o
p_add_inc: take
i
n
to a
c
c
o
unt affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
t
ree2scop
.
c: mov
e
up apply
_
aff
i
n
e
_co
n
tinue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tr
e
e2scop
.
c: s
c
op_from_non_affin
e
_while: extrac
t
out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdool
a
ege
pet
0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
v
e
n
Verd
o
o
l
aege
update isl to
v
e
rsion 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
README: update LLVM/clang installation in
s
tructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoolaege
inte
r
face
/
extract_i
n
terf
a
ce
.
c
c:
e
x
plicitly in
c
lu
d
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
update for c
h
ange i
n
argum
e
nts
o
f C
o
mpilerIns
t
anc
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olaege
p
e
t
.
cc:
a
dd spa
c
e be
t
wee
n
literal and identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olaege
update isl
for support fo
r
rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en
V
e
rdoola
e
ge
p
et_stmt_fr
o
m_pe
t
_tree:
a
void free of unini
t
ialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoolaege
sca
n
.
cc: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoo
l
aege
pet_scop_from_pet_stmt: do not extract co
n
text
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
Verdoolaege
PetScan::extract_arg
u
me
n
t: handle
p
ass
i
ng of entir
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sve
n
Verdo
o
laege
M
a
k
efile
.
am: add dummy C++ s
o
urce
f
ile t
o
pet_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Ve
r
doolaege
handl
e
pencil i
n
dependent pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
Verdoolaege
PetSc
a
n: keep
t
rack of l
i
ne num
b
er of
c
urr
e
n
t
S
tmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erd
o
olaege
pet
.
cc: ext
r
a
c
t out PetASTC
o
nsum
e
r::add
_
pragma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
r
d
oolaege
add encap
s
ul
a
te
_
d
y
namic_contro
l
option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdoolaege
pet_scop_from
_
pet_tree: creat
e
st
a
teme
n
ts directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
o
o
laege
re
p
lace pet
_
stmt_
f
rom_pet_expr
b
y pet_
s
tmt_from_pet_
t
r
ee
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
pet_stmt: use pet_t
r
e
e t
o
represent state
m
ent
b
o
dy
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
V
erdo
o
laege
scop
.
c: extra
c
t out pet_st
m
t_is_affine_
a
ssume and pe
t
_
stmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verdoolaege
sc
o
p
.
c: stmt_collec
t
_accesses: use
pet_
e
x
pr_foreach_ac
c
ess_
e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
eg
e
s
cop
.
c: stmt
_
c
ollect_pa
r
ams
:
use
p
et
_
expr
_
f
o
r
ea
c
h_
a
ccess_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
d
o
ol
a
eg
e
k
e
ep track of i
n
dentation of extr
a
c
ted code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
update test case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
e
x
trac
t
enum constants
as
their
int
e
g
er valu
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
PetScan:
:
extract_int:
s
e
p
arate out
e
xt
r
action from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoo
l
aege
Pet
S
can::
e
x
t
ract_un
s
ign
e
d
: turn
i
nto a
s
tatic function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
scan
.
cc
:
c
hange textual order of extract_uns
i
gned
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_
c
heck_code
.
c
: use
pet_
e
xpr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
e
xport pet_expr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
l
a
ege
pe
t
_
c
ontext: no
longer keep track
of "unknow
n
" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
p
et_expr_ex
t
ract_affine: no longer create
new parameter
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
P
e
tS
c
an::extract_scop: populate pet_context w
i
th parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
scan
.
cc:
move u
p
static ge
t
_array_t
y
pe funct
i
on in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oolaege
PetScan::get_array_siz
e
: cache results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
Pet
S
c
a
n
::set_
u
pper_bounds:
e
xtract
out Pe
t
Scan::ge
t
_
ar
r
ay_si
z
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
pet_expr_is_equal:
compare ind
e
x expr
e
ssions
u
p to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_
e
x
pr_extract_aff
i
ne: e
x
pl
o
it do
m
a
i
n infor
m
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Ve
r
doolae
g
e
a
d
d
pet_context_get_gist_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdo
o
laege
tree2scop
.
c: sc
o
p_from_b
l
o
c
k
: col
l
e
c
t
affi
n
e
conti
n
ue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_
s
cop_from_pet_tree:
e
xtract
p
et_scop from the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
r
doolaege
a
d
d funct
i
ons for
m
an
i
pulating the dom
a
in
o
f a
pet_cont
e
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_sco
p
_restrict: also restrict virtual
ar
r
ay extents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
pet_context
_
evaluate_expr: first insert domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
la
e
ge
pet_check_code:
r
e
m
ov
e
tracking of assignments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
drop pet_scop_detec
t
_parameter_acc
e
s
ses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolae
g
e
pe
t
_context_evaluate_expr: also plug i
n
a
ff
i
ne expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
s
e
parate out pet_context_evaluate_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
o
o
laeg
e
drop pe
t
_context_mark_assigned
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
P
etS
c
an::
e
xtract_scop: clear write
s
at outer level
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
g
e
P
e
tScan::ex
t
ract_s
c
op: loc
a
ll
y
construct pet_c
o
ntext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
d
oolaege
Pe
t
Scan::ext
r
ac
t
_s
c
op:
also
a
d
d all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_fil
t
er
:
avoid introduction of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2scop
.
c:
is_
s
imple_boun
d
: handle hi
g
her dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
t
r
e
e
2scop
.
c: valid_for_each_iter
a
tion:
h
and
l
e higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2sco
p
.
c: add_implication: han
d
le hig
h
er
dimensiona
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaeg
e
t
ree2sco
p
.
c: map_to_previous: handle higher
d
imensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tree2sc
o
p
.
c
:
a
f
ter: h
a
n
d
le high
e
r dim
e
nsi
o
nal domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
p
et_extract
_
nested
_
from_space: add extra
d
imensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
p
e
t_
e
xtra
c
t
_nested_from_
s
pace: e
m
b
e
d a
r
gume
n
ts in given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
ad
d
pet_expr_access_get_doma
i
n_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_resolve_nested:
a
l
low specifica
t
i
o
n of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doolaege
tre
e
2scop
.
c: hand
l
e_w
r
ites:
se
p
arate out ha
n
dling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c:
h
andle_w
r
it
e
s: rem
o
ve redu
n
dant
pet_c
o
ntext_ma
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2scop
.
c
: ext
r
a
c
t
_kill: allow
s
pecification of sta
t
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Verdoolaege
p
e
t_scop_add_boo
l
ean_arra
y
: al
l
ow specification of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
pet_skip_info_*_e
x
tract
*
: pass a
l
ong
pet_
c
ont
e
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pe
t
_sc
o
p constructors: a
l
low spec
i
fica
t
ion
o
f domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
doolaege
tree2scop
.
c: sc
o
p_from_
{
bre
a
k,continue}: minor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdool
a
e
g
e
t
r
e
e
2
scop
.
c: scop_from_{break,continue}: allo
w
speci
f
ication
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_creat
e
_test_index: allo
w
specification of doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdoolaege
pet_stm
t
_from
_
pet_e
x
pr:
a
l
lo
w
specification of
s
t
atement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et_stmt_from_pet_ex
p
r: min
o
r clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
pet_stmt_
f
rom_pet_expr
:
r
ename "
d
im" variable to "
s
p
ace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaeg
e
p
e
t_conte
x
t: keep t
r
ack of
d
om
a
i
n
set r
a
ther than domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_n
e
sted_rem
o
ve_f
r
o
m_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
o
l
aege
tree2scop
.
c:
s
cop_from_non_affine_
i
f:
d
ro
p
pr
e
allocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oola
e
ge
tree2sc
o
p
.
c
:
scop_from_non_affine_if: dela
y
c
o
nstruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next