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
pet_expr_filter: avoid introduction of constraints in index expression
2014-03-25
S
ven
V
erdoolaege
pet_expr_filter: avoid intr
o
du
c
tion of constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2sco
p
.
c
:
i
s_simple_bou
n
d: ha
n
d
le higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doo
l
ae
g
e
tree2
s
co
p
.
c:
v
a
lid_fo
r
_e
a
c
h_ite
r
at
i
o
n
: handle hi
g
her
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
ola
e
ge
tree2scop
.
c: add_
i
mplication
:
handle higher
dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: map_to_p
r
e
v
i
ous:
handle higher dimensio
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2scop
.
c
: after: hand
l
e
h
ighe
r
dimensional do
m
a
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
ool
a
ege
pet_extract
_
ne
s
ted_
f
rom_spa
c
e:
a
d
d extra dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoola
e
ge
pet
_
extract_nested_f
r
o
m
_space: embed ar
g
um
e
n
t
s in given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdool
a
ege
a
d
d
p
e
t_expr_access_get_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
d
oolaege
pet_e
x
pr_resol
v
e_
n
e
sted: all
o
w sp
e
cific
a
tion of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oola
e
ge
tree2scop
.
c
:
han
d
le
_
w
r
i
t
e
s
:
separ
a
te ou
t
handling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
o
l
aege
t
r
ee
2
sco
p
.
c: handle_writes: remove redun
d
ant pet_
c
ontext_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: extract
_
kill:
a
llow
s
pecification of s
t
atement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_scop_add_boolean_array: allow specification
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
pet_skip_info_*
_
extract*:
p
ass
a
long pet_
c
ontext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoo
l
aege
pet_scop constructors: allow
s
p
e
c
ification
of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
tree2scop
.
c: scop_f
r
om_{break,conti
n
ue}
:
mino
r
c
l
e
an-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoola
e
ge
t
ree2
s
cop
.
c: scop_
f
rom_{b
r
eak,conti
n
u
e
}: allow
s
p
e
cification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet_creat
e
_test_ind
e
x: a
l
low spec
i
ficati
o
n of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pet
_
s
tmt_from_pet_
e
xpr:
allow
s
pecific
a
tion o
f
statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
ege
pet_stmt_f
r
o
m_pet_exp
r
: minor c
l
ea
n
-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pe
t
_st
m
t_from_pet_expr:
r
ename "dim" variable to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
p
e
t
_
c
o
n
text: k
e
e
p
tra
c
k of do
m
a
i
n
s
et rather than doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doola
e
ge
a
d
d
p
e
t_
n
ested_remove_from_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
tree2scop
.
c: scop_from_non_affine_i
f
:
d
r
op pr
e
allo
c
atio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
tre
e
2scop
.
c: sc
o
p_f
r
om_
n
on_aff
i
ne_if:
de
l
a
y
construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree2scop
.
c: s
c
op_from_a
f
f
i
ne_for: de
l
a
y construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee
2
sco
p
.
c: s
c
op_
f
rom
_
no
n
_a
f
fine_while:
d
rop p
r
eallocati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
la
e
g
e
tree2scop
.
c
:
sc
o
p
_
fro
m
_
n
o
n_affine_while: delay
c
onstruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdo
o
l
ae
g
e
tree2scop
.
c: sc
o
p_from_infinite_loop: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tr
e
e2
s
cop
.
c: infinit
e
_d
o
main: del
a
y
intersect
i
on with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tr
e
e2scop
.
c: e
x
tract out shared apply_affine_break
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoo
l
aege
tree2scop
.
c: sc
o
p_from_af
f
ine_for
:
remove p
r
e
allocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaeg
e
t
r
ee2scop
.
c: scop
_
from_affine
_
for: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
e
g
e
tree2scop
.
c: scop_from_affine_for:
introduce
i
s_non_a
f
fine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdo
o
laege
tree
2
scop
.
c
:
scop_
f
rom_affine
_
for: delay intersect
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en V
e
rdoo
l
aeg
e
add
p
e
t_
s
cop_i
n
te
r
sect_domain_prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
add pet_
p
r
e
fix_projection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolae
g
e
scop
.
c:
extent_is_vir
t
ual_arr
a
y: che
c
k f
o
r mem
b
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoola
e
ge
p
e
t_array_embed:
separat
e
out ex
t
ent_is_
v
i
r
t
ual_arra
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
drop pet_scop
_
writes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoolaege
tree2scop
.
c: is_
n
ested_a
l
l
owed: take tree in
s
tead o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
olaege
pet_skip_info_*
_
e
x
t
r
a
ct*: pass struct
p
e
t
_st
a
te inste
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
move ext
r
a
ction of pet
_
scop from pet_tree to separate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
con
s
truct pe
t
_scop from
inte
r
media
t
e
p
et_
t
ree
data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
a
e
ge
a
d
d
p
e
t
_context_clear_writ
e
s_
i
n_
{
e
x
pr,tree}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
introduc
e
pet_tr
e
e
o
bject
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move PetSca
n
::extract_while b
e
fore its
f
irst
u
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
m
ove
P
etScan:
:
is_
n
e
s
ted_allowed before its f
i
rst use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move PetSc
a
n:
:
extra
c
t_non_affi
n
e_co
n
dition b
e
fore its
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
V
erdoolaege
PetScan: drop allow_nest
e
d
att
r
i
b
u
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
introduce pet_lo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdo
o
laege
move
p
et_scop_extract_nes
t
ed t
o
nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n Ve
r
doolaege
move pet_e
x
pr_
e
x
tract_
n
este
d
to n
e
s
t
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
o
lae
g
e
PetSc
a
n:
:
ex
t
ract_
f
or
:
use
p
et_expr_extract_c
o
mpa
r
is
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Ve
r
doolaege
PetScan
:
:scan(
F
unct
i
onDecl *): constr
u
ct a
pet_c
o
ntext
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doo
l
aege
remove P
e
tSca
n
::try
_
extrac
t
_a
f
fine_con
d
ition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdo
o
laege
P
etScan
:
:set
_
upper_b
o
u
nds: convert array bounds to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
r
doolae
g
e
s
c
a
n
.
cc: update
_
s
ize: handle
N
ULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
PetSca
n
:
:extract_affine(cons
t
llvm::APInt &): extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n V
e
rdoolaege
post
p
o
n
e
t
he detection of
a
ffi
n
e assumpti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n Verdoolaege
extract out pet_exp
r
_is_
a
ssume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
PetScan:
:
e
x
t
ract_access_exp
r
: delay plugging in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
Verdoolaege
P
etScan::extract_affine
(
E
x
p
r
*):
stop taking into a
c
count
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
Pe
t
Scan::extrac
t
_access_expr
:
construct access expres
s
io
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven V
e
rdoo
l
aege
P
etScan::resolv
e
_nested: hand
l
e
self depend
e
nces
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n Verdoolaege
PetScan:
:
resol
v
e_nested:
handle pr
e
sence of arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
a
dd
functions for ma
n
ipula
t
in
g
expression
a
r
gum
e
nt
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
add pe
t
_
exp
r
_a
c
c
ess_pullback_multi_pw_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaeg
e
se
p
arate out
array index
manipulation functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
Verdoolaege
P
e
tScan::extract_co
n
d
itiona
l
_assignment: extra
c
t w
r
i
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oo
l
aeg
e
PetScan::mark_write: turn
i
nto a static function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
p
o
stpo
n
e clearing
a
ssi
g
ned v
a
lues until the point whe
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Ver
d
o
o
la
e
ge
postpone handling
o
f assignments unti
l
t
h
e po
i
nt wh
e
re
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ve
n
V
e
rd
o
olaege
PetScan::assig
n
: take pet_e
x
pr as
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
PetScan::extract_
e
xpr(Condi
t
io
n
alOperato
r
*
): preserv
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_check_code: op_expr
_
extract_pw_aff:
h
andle more
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move pet_neste
d
_extra
c
t_expr to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
Pe
t
Scan::
e
xtract_affine:
e
xtract exp
r
ession as p
e
t
_
e
xpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
treat fors wi
t
h non-aff
i
ne
initialization or non-constan
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdool
a
e
g
e
PetScan::extract_for: move up extraction o
f
constant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
PetScan::
e
xt
r
ac
t
_for
:
extract initial
v
a
lue as
pet_e
x
pr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdool
a
e
ge
P
e
t
S
can::ex
t
r
act_f
o
r: extract i
n
c
r
ement as
p
e
t
_
e
xpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en V
e
r
d
oolaege
PetScan::extract(pet_exp
r
*): take explicit sou
r
c
e range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
o
o
l
ae
g
e
e
x
tract
o
ut PetScan::extr
a
ct_while
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
l
aege
PetScan::extr
a
c
t_conditi
o
n: co
n
v
ert clang::Exp
r
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoo
l
aege
scan
.
cc:
s
ep
a
rate out shared cr
e
ate_de
c
l_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
represent affine exp
r
essions on zero-dimen
s
ional d
o
m
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
r
doolaege
PetScan::extract_bina
r
y_increment:
r
ename "di
m
" vari
a
ble
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaeg
e
Pet
S
can::nested
_
access: rename "
d
im" variabl
e
to "
s
pac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
e
ge
PetScan::extr
a
c
t_af
f
ine(DeclRefExpr *): rena
m
e "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
PetScan:
:
extra
c
t_affi
n
e(
c
onst llvm::APIn
t
&):
r
ename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::ext
r
a
c
t_affine(Intege
r
L
iteral *): ren
a
me
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
add
p
et_expr_
e
xtra
c
t_affine an
d
pe
t
_expr_extract_affine_
c
o
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
add pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoola
e
ge
pet_co
m
paris
o
n:
hand
l
e NaN
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoola
e
ge
p
et_to_bool: handle NaN inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_not: hand
l
e Na
N
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
upd
a
t
e
is
l
for affine NaN express
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
add support for nested accesses represe
n
t
e
d
by a pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
