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
drop pet_scop_detect_parameter_accesses
2014-03-25
Sven Verdoo
l
aege
drop pet_scop_detect_p
a
rameter_accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
dool
a
ege
pet_contex
t
_evaluate
_
expr: a
l
so
p
lug
i
n affine exp
r
essions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aeg
e
s
eparate
o
ut pet_con
t
ext_eva
l
u
a
te_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
ool
a
ege
drop
p
et
_
c
o
ntext_mark_a
s
si
g
n
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
PetSca
n
:
:
extract_scop: clear writ
e
s
at outer level
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extract_scop: locally constru
c
t pet_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::extrac
t
_
s
c
o
p: als
o
add all pet_arra
y
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr
_
filter:
a
v
o
id introduction of constra
i
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oolaege
tr
e
e
2sco
p
.
c: is_simple_
b
ou
n
d: handle hig
h
er dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdo
o
laeg
e
tr
e
e2scop
.
c: val
i
d_fo
r
_each
_
iterati
o
n: ha
n
dle
h
igher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2
s
c
o
p
.
c: a
d
d_implication: handle higher dimensional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
tre
e
2scop
.
c: ma
p
_
t
o_previous
:
h
andle
hi
g
her d
i
m
e
nsional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2s
c
op
.
c: after:
h
andle higher dimensional domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
e
t_extract_nested
_
from_space: add e
x
tra dimens
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_extrac
t
_
n
ested_from_space:
embed argum
e
nts in giv
e
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
r
d
o
o
laeg
e
add p
e
t_expr_ac
c
e
ss
_
get_
d
oma
i
n_
s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoo
l
aege
pet_expr_reso
l
v
e_nes
t
ed: allow specificati
o
n of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree2scop
.
c: han
d
l
e_writes:
s
epara
t
e out
handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c:
ha
n
dle_writes: re
m
ove
red
u
ndant pet_context_ma
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolae
g
e
t
r
e
e2
s
cop
.
c: extract_
k
i
ll:
a
ll
o
w specific
a
tion
o
f
s
tatement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
olaeg
e
p
et_scop_add_boolean_a
r
ray: allow specification of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
aege
pet_skip_
i
nfo_*
_
ext
r
act*: pass
a
long pet_co
n
tex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoola
e
ge
pet_scop constructors: al
l
ow s
p
e
c
ifica
t
io
n
o
f
domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_from_{break,
c
ontinu
e
}
: minor clea
n
-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
tree2sc
o
p
.
c: scop_from_{break,continue
}
: allo
w
s
pecification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
la
e
ge
pet_create_test_ind
e
x:
a
llow s
p
e
cifica
t
ion of dom
a
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_stmt_from_pe
t
_expr: allow specification of
s
tatemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_s
t
mt_from_pet_
e
xpr: min
o
r
c
lean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_stmt_from_pet
_
expr: r
e
name "dim" variable to
"
s
pace
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_con
t
ext: keep
t
rack of domain
set r
a
ther than domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoo
l
aege
a
d
d pet_nested_remove_from_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
erd
o
ol
a
ege
tree2scop
.
c: sc
o
p_from_n
o
n_affine
_
if
:
drop prea
l
location
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tre
e
2
s
c
op
.
c: scop_from_n
o
n
_
a
f
fine
_
if: delay constru
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
ree2scop
.
c: scop_from_a
f
fine_for
:
delay
c
onstru
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2sco
p
.
c: scop_from_no
n
_
a
ffine_w
h
i
le: drop preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
tree2s
c
op
.
c
:
scop_from_non_affine_while: dela
y
construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laeg
e
tree2sc
o
p
.
c: scop_fr
o
m_infi
n
ite_lo
o
p
:
delay const
r
uc
t
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdo
o
laege
tree2s
c
op
.
c: i
n
finite
_
domain: d
e
lay intersection with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tre
e
2scop
.
c: extr
a
c
t out shared
a
pply_affine_break
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
g
e
tree2scop
.
c: s
c
op_from_affine_for: remove preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
tree2s
c
o
p
.
c:
scop_f
r
om
_
affine_for
:
d
elay con
s
t
ruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2sco
p
.
c: scop_
f
rom_aff
i
ne_for: introduce is_n
o
n_affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
tree2sc
o
p
.
c:
scop_fro
m
_
a
ffine_for:
d
e
l
a
y interse
c
ti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
do
o
laege
add pet
_
scop_i
n
tersect_domain_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoola
e
ge
add pet_prefix_projection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
sc
o
p
.
c
: e
x
tent_i
s
_
virtual_array: check for
m
e
mbe
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
pet
_
ar
r
a
y
_
embed:
s
e
parate
o
ut extent_is_virtua
l
_a
r
ra
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verd
o
o
lae
g
e
d
r
op
p
et_scop_wr
i
t
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Ve
r
doolaege
tree2scop
.
c: is_nested_allowed: take tree instea
d
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verd
o
o
laege
p
et_skip
_
info_*_extract*: pass st
r
uct pet_
s
tat
e
instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
mo
v
e extraction of pet
_
scop from pet_tre
e
to
s
e
parate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoola
e
ge
con
s
truct pet_scop from
i
n
term
e
diate p
e
t
_
tree data
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
r
d
oo
l
ae
g
e
add
pet_c
o
n
text_clear_writes_in_{
e
xpr,
t
r
ee}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
introduce
pet
_
t
r
ee objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move PetScan
:
:
e
xtr
a
c
t_
w
hile
before its firs
t
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoola
e
ge
move Pe
t
S
can::is_nested
_
allowed before it
s
firs
t
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoo
l
ae
g
e
move PetScan:
:
extract_non_
a
f
f
ine_condition before
its
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaeg
e
Pet
S
can
:
drop allow_nested at
t
ribute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
introdu
c
e pet_loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
m
ove pet_scop_ext
r
act_nested to ne
s
t
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
move pet
_
expr_extract_neste
d
to
nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdo
o
l
aege
PetScan::ex
t
ract_fo
r
: use pet
_
expr_extract_comparis
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
PetScan::sca
n
(FunctionDec
l
*)
:
con
s
truct a pet_con
t
ext
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
remov
e
PetScan::try_extract_affine_
c
ondi
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n V
e
rd
o
olaege
PetSca
n
:
:
set_
u
p
p
e
r_
b
ounds: convert array bou
n
ds to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
s
c
a
n
.
cc
:
upd
a
te_size: handle NULL inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ve
n
V
e
rdoolaege
PetS
c
an::extract_a
f
fine(const
l
lvm::APInt
&): extract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdo
o
laege
postpone
the
detection of a
f
fine assump
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extract out pet_
e
xpr_is_assum
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
PetScan::ex
t
ract
_
access_expr: de
l
ay plugg
i
ng in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Ve
r
d
oolaege
PetScan::extract_affine(Expr *): stop takin
g
into
account
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laeg
e
Pe
t
Scan::
e
xtract_ac
c
es
s
_expr:
c
o
n
struct
ac
c
e
s
s express
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
PetScan::
r
esolve_nes
t
ed:
handle sel
f
dependences in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven V
e
rdoo
l
a
e
ge
PetScan
:
:resolve_
n
este
d
: h
a
ndle
p
resence of arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ve
n
Verdool
a
ege
add functions for manipulating expression arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven V
e
rdoolaege
add pet_ex
p
r_access_pul
l
ba
c
k_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
rdoolaege
s
eparate
o
ut arr
a
y index manipula
t
ion functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
o
l
a
e
g
e
P
etScan
:
:extract_co
n
di
t
ional_assi
g
nme
n
t
:
extract
w
rite
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
PetScan::mark_write: turn into
a
s
tatic fu
n
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
pos
t
pone clearing a
s
signed val
u
es unt
i
l the point
w
h
ere
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
pos
t
p
o
ne handl
i
ng of assign
m
ents u
n
ti
l
the point where
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
Pet
S
ca
n
::assig
n
: tak
e
pet_e
x
pr as i
n
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoo
l
a
e
g
e
Pe
t
Sc
a
n::ex
t
ra
c
t_expr(ConditionalOperator *):
p
reserv
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
ola
e
ge
pet_ch
e
ck_code: op
_
expr_
e
xtrac
t
_p
w
_aff: handle more
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolae
g
e
m
ove pet_neste
d
_extract_e
x
pr to
ne
s
t
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
PetScan::extract_affine: extract ex
p
r
e
ssion as
p
e
t_
e
xpr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
treat fors with non-affine
i
nitializ
a
tion or no
n
-c
o
n
s
tant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
PetScan::ext
r
a
c
t_for: m
o
ve up extrac
t
ion
o
f co
n
stant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoola
e
ge
PetScan::ext
r
act_for: e
x
t
r
act i
n
iti
a
l value as
p
e
t_
e
xpr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoola
e
g
e
PetSc
a
n::extract_
f
or
:
e
x
tract i
n
crement
as pet
_
e
xpr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::extract
(
p
e
t
_
expr*): take
expli
c
it source ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Ver
d
o
o
laege
ext
r
act out PetSca
n
:
:
extract_while
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
Verdoola
e
g
e
PetScan::extract_co
n
dition: convert clang::Expr to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
scan
.
cc: sep
a
rate o
u
t
s
hared create_d
e
cl_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
rep
r
esent affine ex
p
re
s
sions on zero-dimensional domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
Pet
S
c
a
n:
:
extract_binary_
i
ncrement: r
e
n
a
me "dim"
v
ariable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Ve
r
doolaege
P
e
tScan::
n
este
d
_access:
r
e
n
a
me "d
i
m" vari
a
bl
e
to
"
space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
P
e
tSc
a
n::e
x
t
r
act_af
f
ine(DeclRe
f
Expr *): rena
m
e
"dim
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
PetS
c
a
n
::extrac
t
_affine(
c
onst llvm::APInt &): rename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n V
e
rdo
o
laege
PetScan::extract_affine(IntegerLit
e
ral *): r
e
name
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next