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
S
ven V
e
rd
o
olae
g
e
tr
e
e2
s
cop
.
c: extract_kil
l
:
u
pdate kill expressio
n
rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
a
ege
pet_expr_is_affin
e
: avoid
u
sin
g
access r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verd
o
olaege
pet_expr_filter: avoid
u
sing access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
p
e
t_expr_access_update_domain: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdo
o
laege
pet_expr_access_get_must_access: av
o
id using acc
e
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verd
o
ola
e
ge
pet_exp
r
_access_get_id: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdo
o
lae
g
e
e
x
p
r
.
c: a
c
cess_add_re
f
_id: avoid u
s
ing acces
s
rel
a
tio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
rdoola
e
ge
sc
o
p
.
c
:
a
c
ces
s
_collect_params
:
avoid
u
s
in
g
ac
c
ess
r
elation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
l
aege
s
c
op
.
c: imp
l
i
e
s_filter: av
o
id u
s
ing
access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoolaege
scop
.
c: a
c
cess_extr
a
ct
_
conte
x
t: avoid using access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ve
r
doolaege
scop
.
c
:
expr_extrac
t
_contex
t
:
av
o
i
d using ac
c
es
s
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
sc
o
p
.
c: e
x
tract out
shared d
r
op_a
r
g
u
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Ver
d
oolaege
pet_expr
_
a
c
c
es
s
_update_
d
om
a
in: minor
clean-up
o
f
expres
s
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
erdoola
e
ge
f
u
rthe
r
ge
n
e
ra
l
ize compute
_
to_inner to s
u
pport pet
_
sco
p
_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven
V
erdoolaege
generalize comp
u
t
e_t
o
_
i
nner to s
u
ppor
t
pet_
s
cop_co
m
pute_
o
ute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Ver
d
oolaege
scop
.
c: c
o
mpute_t
o
_
i
n
ner: micro-opti
m
ization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
S
ven Verdoo
l
aege
tr
e
e2s
c
op
.
c
:
i
s_neste
d
_
allow
e
d: do not al
l
ow nest
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven Verdoolaege
PetScan::set
_
upper_
b
ounds: use declared s
i
z
e of static
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Ve
r
do
o
l
aege
scop
.
c
: restrict_skip: upda
t
e
do
c
umentation
to cha
n
ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
tree2scop
.
c: scop_add_inc:
t
ake
i
nto account
affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdoolaege
tree2sco
p
.
c: mo
v
e up
apply_affine_continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verd
o
olaege
tr
e
e
2
scop
.
c
: scop_from_non_
a
ffine_wh
i
l
e: e
x
t
ract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
erdoolaege
pe
t
0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven
Verdoolaege
update isl to
v
e
r
si
o
n 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sv
e
n Verdoolaege
README:
u
pdate
LLVM/clan
g
ins
t
allation
inst
r
u
c
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Verdoolaege
i
nterf
a
ce/extract_interfac
e
.
c
c
:
explicitly include
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
V
e
rdoolaege
upd
a
te for c
h
a
nge in arguments of CompilerInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sv
e
n Verdoolaege
pet
.
cc: add spa
c
e
b
etween l
i
teral and
i
dentifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
ven Verdoolae
g
e
u
pdate isl for
s
u
p
port for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en V
e
rdo
o
l
a
ege
pet_
s
tmt_from_pet_tree: avoid fr
e
e o
f
uniniti
a
l
i
zed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoo
l
aege
scan
.
cc:
f
ix
t
ypo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Ver
d
o
olaege
pet_scop_from
_
pet_stmt
:
d
o
n
o
t
e
xtrac
t
context from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verd
o
olaege
PetScan
:
:extrac
t
_
arg
u
ment: handle
p
as
s
ing of
e
ntire
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven
V
e
rdoo
l
aege
Makefile
.
am:
a
dd du
m
my C++ source f
i
le to pet_scop_cm
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Verdoolaege
ha
n
dle pencil i
n
depend
e
nt pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n Verd
o
olaege
PetScan:
k
eep track of line number
of current Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet
.
c
c
:
extract out PetASTCon
s
u
mer::add_pragma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdo
o
laege
add encapsulate_dynamic_c
o
ntrol op
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaeg
e
pet
_
s
co
p
_from_pet_tree: create statements dir
e
c
t
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
replace pet_stmt_fr
o
m_pet_expr by
p
e
t_stmt_from_
p
et_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
rdoolaege
pe
t
_stmt: use pet_tree
t
o
represent
s
tatement
body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c
:
extrac
t
out pet_st
m
t_is_a
f
fine_assume and pet_s
t
mt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n
V
e
rdoolaege
scop
.
c: stm
t
_
c
o
l
l
e
c
t
_acc
e
sses: use pet_expr_foreach_acce
s
s_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
s
cop
.
c: stmt_colle
c
t
_params: u
s
e pet_expr_fo
r
ea
c
h_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
keep
t
rack of in
d
entati
o
n of extrac
t
ed code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
Verdoolaege
update test
case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
d
oolaeg
e
extr
a
ct enu
m
c
onstants a
s
thei
r
integer values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
aege
P
e
tSca
n
:
:
extra
c
t_int: separat
e
ou
t
extr
a
ction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
P
etScan
:
:extract_unsigned:
turn into a
s
t
a
tic function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
ge
s
can
.
c
c
: change te
x
tual order
of ex
t
rac
t
_
u
nsi
g
n
ed and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_c
h
e
ck_code
.
c: use
p
et_expr_extract_aff
i
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
export pe
t
_expr_extract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
pet_context: no longer k
e
ep track of "u
n
kno
w
n" value
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et
_
expr_extract_affine
:
no
l
on
g
er create new
p
arameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Ve
r
d
o
olaege
PetScan::e
x
tract_scop:
populat
e
pet_context with
p
arameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdool
a
ege
sca
n
.
cc
:
move up static g
e
t_array_type
fu
n
ction in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
PetScan::ge
t
_array_size: ca
c
he results
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetS
c
an::set_upper_bounds: e
x
t
ract
o
ut
PetScan::get_array_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_expr_is_equal: compare index expr
e
ssions
u
p to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Ve
r
doolaeg
e
pet_exp
r
_extract_affine
:
exploit domai
n
information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaeg
e
add pet_context
_
get
_
gist_
d
omai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_from_block: collect aff
i
ne co
n
tinue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdo
o
laege
p
e
t_scop_fro
m
_pet_tree:
e
x
tract
pet_scop from the root
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
add f
u
nctio
n
s f
o
r manipul
a
ting the
d
omai
n
of a pe
t
_conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
ol
a
ege
pe
t
_scop_restrict: a
l
so rest
r
ict virtua
l
array e
x
t
e
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_context_evaluate_ex
p
r: f
i
rst insert doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
ae
g
e
pet_check_code:
r
em
o
ve
t
r
acking
of assign
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
drop p
e
t_scop_d
e
tect_parameter_
a
ccesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_context_evaluate_
e
xp
r
: also p
l
ug
in
affine express
i
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
separate out pet_context
_
evaluate_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
drop
pet_c
o
ntext_mark_a
s
signed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
PetScan::e
x
t
ract_sc
o
p: clear
write
s
at out
e
r l
e
vel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoola
e
g
e
PetScan::extrac
t
_scop: locally construct pe
t
_
contex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
PetSca
n
::extract_
s
cop: also add
all pet_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaeg
e
pet
_
expr_filter: av
o
id introdu
c
tion of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2scop
.
c: is_simple_bound: hand
l
e higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoo
l
aege
tree2scop
.
c: valid_for_each_iteration:
h
a
ndle highe
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree2
s
cop
.
c: a
d
d_i
m
plication:
handle
h
i
g
he
r
d
imensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tree2scop
.
c:
map_to_previous: h
a
ndle
h
i
gher dimens
i
o
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tr
e
e
2sco
p
.
c:
a
f
t
e
r
: handl
e
higher
d
imensional
d
o
mains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_extract_nested_f
r
om
_
s
p
ace: add extr
a
dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
p
e
t
_
e
xtract_nested_from_space: embed argum
e
nts in
g
i
v
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
aege
add pe
t
_expr_acce
s
s_
g
e
t_domain
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolae
g
e
pet_exp
r
_r
e
sol
v
e_ne
s
t
e
d: allow spe
c
ificati
o
n o
f
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
olae
g
e
tre
e
2s
c
op
.
c: handl
e
_writes: se
p
arate out
h
andling
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
aeg
e
tr
e
e2scop
.
c: ha
n
d
le_writes: rem
o
ve red
u
ndant pet_context_
m
ar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
o
o
laege
tree2sco
p
.
c
:
e
xtract_kil
l
: allow specif
i
cation of stateme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Ver
d
oo
l
aege
pet_sco
p
_
a
dd_bo
o
lean_
a
rray:
a
l
l
o
w spec
i
fication of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
p
e
t_skip_info_
*
_e
x
trac
t
*
:
pass along pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doola
e
g
e
pet_sco
p
constructors: allow
spe
c
ific
a
tion
o
f
do
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
o
olaege
tre
e
2scop
.
c: s
c
op_from_{break,continue}: minor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoo
l
a
ege
tree2sc
o
p
.
c:
sc
o
p_from_{break,continue}: al
l
ow speci
f
ication
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
c
reate_test_ind
e
x: allow specification of do
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
laege
pet
_
stm
t
_from_pet_expr: allow spe
c
i
fica
t
ion of s
t
atement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_stmt_fro
m
_pet
_
expr: minor
c
l
ean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
eg
e
p
et_stmt_fr
o
m_pet_ex
p
r: rename "d
i
m
" variable to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
pet_context:
k
eep track of domain set rather than doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
a
d
d pet_nested_remove_from_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
t
r
ee2scop
.
c: sco
p
_
f
r
om_no
n
_aff
i
ne_if: drop p
r
eallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2scop
.
c: scop_fr
o
m
_non_affine_if: delay cons
t
ruct
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next