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
scop.c: fix typo in comment
2014-03-25
Sven
Verdool
a
eg
e
p
e
t_
e
xpr_filt
e
r
:
avoid introduction of
c
on
s
tra
i
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
t
r
ee2scop
.
c
: is_s
i
m
p
le_b
o
u
n
d:
handle higher dimensio
n
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree
2
scop
.
c: valid_f
o
r_ea
c
h_i
t
eration: handle
h
igher
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree2scop
.
c: add_impl
i
cati
o
n: handle higher
dim
e
nsional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoo
l
a
ege
tree2scop
.
c: m
a
p
_
to_previous: handle higher d
i
men
s
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
doola
e
ge
tree
2
scop
.
c: after: h
a
n
d
le high
e
r
dimension
a
l dom
a
in
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_extract_nes
t
ed
_
from_space
:
a
d
d ex
t
ra
d
imensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_e
x
tract_nested_from_space:
e
mb
e
d a
r
guments in given
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
add
p
et_expr_access
_
g
e
t
_
domain_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_expr_res
o
lve
_
nested:
a
l
l
ow sp
e
cifi
c
a
t
ion
of
domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
t
r
ee
2
s
cop
.
c: handle_
w
rites: separate
o
ut ha
n
dling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree2scop
.
c
:
handle
_
writes: r
e
move red
u
ndant
pe
t
_contex
t
_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2scop
.
c
: extract_kill: allow spe
c
ification o
f
st
a
t
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
erdoolaege
pet_scop_add
_
b
oole
a
n_array
:
a
l
low spec
i
f
i
c
a
tion of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaeg
e
pe
t
_s
k
i
p_info_
*
_extract*: pass
along pet_
c
ontext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
aege
pet_
s
cop co
n
structors: al
l
o
w
s
p
e
c
ifi
c
ation of
d
omain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaeg
e
t
ree2scop
.
c: s
c
op_fro
m
_{break,continue}: minor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ver
d
o
olaege
t
ree2
s
cop
.
c: scop_from_{break,co
n
tinue}: allow s
p
ecification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Ve
r
do
o
l
a
ege
pet_create_test_ind
e
x
:
allo
w
sp
e
cifica
t
ion
of domai
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
ge
pet_s
t
mt_from_pet_ex
p
r: all
o
w
specific
a
tion of statement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_stmt_from_pet_
e
xpr: minor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
pet
_
stmt_
f
ro
m
_pet_expr: ren
a
me
"
dim"
v
ari
a
ble to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pe
t
_
context: keep
t
rac
k
of domain set rathe
r
than doma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add p
e
t_nested_remove_from_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
tree2scop
.
c:
s
co
p
_fr
o
m
_
n
o
n_affine_
i
f
:
drop p
r
eallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tr
e
e2scop
.
c: s
c
o
p_from_non_affine_i
f
:
delay con
s
truction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaeg
e
t
r
e
e
2scop
.
c: scop_
f
rom_af
f
ine_fo
r
: delay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c
:
sco
p
_from_non_af
f
ine_while:
d
r
o
p p
r
eal
l
oca
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaege
tr
e
e2sco
p
.
c
:
scop_from_non_affine_while: del
a
y
c
onstruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
a
e
ge
t
r
ee2scop
.
c: scop_from_infi
n
ite_loop: delay constru
c
t
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e2scop
.
c: infin
i
te_domain
:
d
elay
i
n
t
er
s
e
c
tion with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
laege
tree2scop
.
c:
e
xtract out sh
a
red
a
p
pl
y
_aff
i
ne_break
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
ege
tree2scop
.
c: s
c
op_from_affine_
f
or: remove
p
realloc
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c:
s
cop_
f
ro
m
_affine_for:
d
el
a
y
c
o
n
struction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaeg
e
tree2
s
cop
.
c: scop_from_affine_f
o
r: introduce is_non_affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree2scop
.
c
: sc
o
p_from_affine_for:
de
l
ay
i
n
tersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
add pet_
s
cop_inters
e
ct_doma
i
n_pre
f
ix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
ool
a
ege
a
d
d p
e
t_p
r
efix_pr
o
jectio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
sc
o
p
.
c: e
x
tent_is_v
i
rtual_array: check for members
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdo
o
laege
p
e
t
_array_embe
d
: sep
a
rate
o
u
t ext
e
nt_i
s
_vi
r
tual_arra
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
dr
o
p pet_s
c
o
p
_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
t
ree
2
scop
.
c: is_nested_all
o
wed
:
take tree in
s
tead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
pet_skip_info_*
_
extract
*
: pass str
u
ct pet
_
s
tate instea
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaeg
e
m
o
ve extra
c
tion of pet_scop from
p
et_t
r
ee to separ
a
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaege
construct pet_scop from
i
ntermediate pet_tree d
a
ta
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ve
r
doo
l
aege
add pet_context_clear_w
r
ites_in_
{
expr,tree}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
r
d
oolaeg
e
introduce
p
e
t_tree objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
mo
v
e PetScan::ex
t
ract_while
b
efore its first u
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
m
o
ve
PetSca
n
::is_ne
s
ted_allowed befo
r
e
i
ts fir
s
t use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
m
ove Pe
t
S
c
an::extract_non_a
f
fine
_
c
ondition be
f
ore its
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
P
e
tScan:
d
rop a
l
low_nested attribu
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolae
g
e
introduce
p
et_loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
erdoo
l
aege
move pet
_
sc
o
p_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
doolae
g
e
move pet_expr_extract_nested t
o
nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
o
ola
e
ge
P
e
tScan::extract_for: u
s
e pet
_
exp
r
_e
x
tract_com
p
arison
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
PetScan::sca
n
(Funct
i
onD
e
cl *): c
o
n
s
truct a pet
_
conte
x
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
remove
PetScan:
:
t
r
y_extract
_
affine
_
cond
i
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdool
a
ege
PetS
c
an
:
:set_upper_bo
u
nds: convert ar
r
ay bound
s
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Ve
r
doolaege
scan
.
cc: update_size:
h
a
ndle N
U
LL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Ve
r
doolaege
Pe
t
Sc
a
n::e
x
tract_a
f
fin
e
(const llvm::APInt &):
e
xtract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
p
o
s
tpone the detect
i
on of
a
ffine assumptio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
extra
c
t out
p
et_expr_is_assum
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
P
e
t
Scan::
e
xtra
c
t_access_e
x
pr:
d
el
a
y plugging in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
rdoolaege
PetSca
n
:
:
ext
r
a
ct_aff
i
ne
(
E
x
p
r *):
stop taki
n
g into ac
c
ount
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
PetScan::e
x
t
ract_acc
e
ss_expr: c
o
ns
t
ruct access expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
P
etScan:
:
resolve_nested: handle se
l
f depende
n
ces
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
P
etScan::resolve_
n
est
e
d:
h
a
n
d
le pre
s
ence of arguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
add func
t
ions
fo
r
manip
u
lating expressi
o
n arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolae
g
e
a
d
d
pet_expr_a
c
cess_pu
l
lback
_
multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
separate out
a
rray
i
ndex manipulation functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
PetSca
n
:
:ext
r
act_condition
a
l_
a
ssignm
e
nt: extrac
t
write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laeg
e
PetScan::mark_write: turn
into a
s
tatic function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
Verdoo
l
aege
postpone c
l
ea
r
i
n
g as
s
igned values u
n
til the
p
oint wher
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
pos
t
pone handling of assignm
e
nts until the poin
t
w
he
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolae
g
e
Pe
t
Scan::as
s
ign: take pet_expr as in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
PetScan::ext
r
a
c
t_expr(Conditio
n
a
lOperator *)
:
preser
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
o
olaege
pet
_
check_cod
e
: op_expr
_
e
x
tract_pw_aff: han
d
le
more
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoola
e
ge
mo
v
e pet_nes
t
ed_extract_expr to nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::e
x
tract_affine: extract expression as
pet_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdool
a
ege
treat fors with non-affine in
i
tializatio
n
or non-c
o
nst
a
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoo
l
aege
Pet
S
can::
e
x
t
ract_f
o
r: move up extraction of constant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
PetScan::extract_
f
or: extract initial va
l
ue as pet_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
PetS
c
an
:
:extr
a
ct
_
for: e
x
tract increm
e
nt as pet_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
PetS
c
an
:
:
ex
t
ra
c
t
(pet_expr*): tak
e
explicit source ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
extract out P
e
t
Sc
a
n:
:
extract_while
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoo
l
aeg
e
PetScan::extr
a
ct_co
n
dition:
convert cla
n
g
:
:
Expr to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
sc
a
n
.
cc: separate
o
ut
s
h
ared create_decl_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaeg
e
represe
n
t affi
n
e
e
xpres
s
ions on zero-dimensional domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
PetScan::extract_binary_incre
m
ent: renam
e
"di
m
" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
rdoolaege
P
etScan::nested_acce
s
s: rename "dim" variab
l
e to
"
space
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
PetScan:
:
extract_affine(DeclRefExpr *): rename "d
i
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::extract_affine(c
o
nst llvm:
:
APInt &
)
: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
et
S
c
a
n::extrac
t
_
a
ffine(IntegerLiteral *): rename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
a
dd pet_expr_extract_
a
ffine
a
nd
p
et_expr_extr
a
ct_a
f
fine_co
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
add
p
et_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_comparison: ha
n
dl
e
N
a
N input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_to
_
bool: ha
n
dle NaN
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet
_
not:
ha
n
dle N
a
N input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
u
p
d
ate isl
for affine NaN
e
xpressio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
Verdoolae
g
e
add support
fo
r
nested accesses represen
t
ed by a pet_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next