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
PetScan::extract_scop: also add all pet_arrays
2014-03-25
Sven Verdool
a
ege
PetS
c
an::extract_scop:
a
ls
o
add all pet_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oola
e
g
e
pet_expr_filt
e
r: avoid introduction o
f
constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee
2
scop
.
c: i
s
_simpl
e
_bound: han
d
le higher d
i
m
e
nsional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree2sc
o
p
.
c: valid_for
_
each_it
e
ra
t
ion: handle hig
h
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolae
g
e
tree2scop
.
c: add_implication
:
ha
n
dle higher
d
imensi
o
n
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
tree2s
c
o
p
.
c: m
a
p_to_previous: handle hig
h
er dimensi
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree2scop
.
c: afte
r
: hand
l
e higher d
i
men
s
ion
a
l domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
lae
g
e
pet_e
x
tract
_
n
e
sted_from_spa
c
e: add
e
xtra dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
lae
g
e
pet_extract
_
nested_fr
o
m
_
s
pace:
e
m
b
e
d ar
g
uments
in
gi
v
en
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
add pet_expr_access_ge
t
_domain_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ver
d
oolaege
pet_exp
r
_r
e
solve
_
nested
:
allow specifi
c
ation of
d
o
m
a
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaeg
e
tree2s
c
op
.
c
: handle_writes: separate out handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
tree2
s
cop
.
c: handl
e
_wri
t
es
:
remove re
d
u
n
dant pet_cont
e
xt_mar
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
olaege
tree2scop
.
c
:
extract_kill: allow specification
of
s
t
atement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_sc
o
p_add_boo
l
ean
_
array: allow specif
i
cation
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ver
d
oolaege
pet_skip_info_*_extrac
t
*: pass along
pe
t
_co
n
text
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
p
e
t_scop
construct
o
rs: a
l
low specification of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Ve
r
doolaege
tree
2
sco
p
.
c: s
c
o
p
_from
_
{break,c
o
nt
i
nue}:
m
inor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
t
ree2scop
.
c
:
s
cop_from
_
{break,contin
u
e}:
a
llo
w
specifi
c
ati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
pet_cre
a
t
e_test
_
i
n
dex: allo
w
s
pec
i
fication of domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
r
dool
a
ege
p
et_stm
t
_fr
o
m
_pe
t
_
expr: allow s
p
ecifi
c
a
t
ion of sta
t
em
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
p
et
_
stmt_f
r
om_pe
t
_expr: minor
c
lean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
pet_
s
t
mt_
f
r
o
m_pet_exp
r
:
rename "dim" variab
l
e to
"
space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
context: keep
track of domain set rather than domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ve
r
doolaeg
e
add pet_
n
e
ste
d
_remo
v
e_from_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
Ver
d
oolaege
tree2scop
.
c: scop_from_non_affi
n
e_
i
f: drop pre
a
llocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
r
d
oolaeg
e
tree2scop
.
c: scop_from_non
_
affi
n
e_if:
delay construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_from_affine_for: dela
y
c
o
n
s
tru
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
e
e
2scop
.
c: scop_from_non_aff
i
ne_while: drop p
r
e
a
llo
c
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2scop
.
c:
s
c
op_from_non_affine_
w
h
i
le:
delay con
s
truction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
tree2scop
.
c
: scop_from_infinite_loo
p
: dela
y
construct
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven
V
erdoolaege
tree2scop
.
c: infi
n
ite_domain: delay
intersection
with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tree2
s
cop
.
c
: extr
a
ct
o
u
t shared
app
l
y_affine_break
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: scop_fr
o
m_a
f
fine_for:
r
emo
v
e preallocation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
ool
a
ege
tre
e
2scop
.
c
: scop_
f
r
o
m_affine_for: de
l
a
y co
n
st
r
u
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
tre
e
2scop
.
c
: sco
p
_f
r
om_affine_for: introduce i
s
_non_affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olae
g
e
tree2scop
.
c
:
scop_from
_
aff
i
ne_fo
r
:
delay intersectio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdo
o
l
aege
add p
e
t_scop_intersect_doma
i
n_prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add pet_prefix_projec
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdo
o
laege
s
c
op
.
c: extent_is_virtual_array
:
check fo
r
m
e
mbers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_arra
y
_embe
d
: separate
out e
x
te
n
t_is_virtual_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
Verdoolaege
drop p
e
t_s
c
op_writes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
d
o
olaege
t
r
ee2scop
.
c
:
is_nested_allowed
:
ta
k
e tree i
n
stead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_skip_info_*_extract*:
p
a
ss
s
truct pe
t
_state instea
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
aege
move extraction o
f
pet_s
c
op
from p
e
t_tree to se
p
arate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
con
s
truct
p
et_scop f
r
om intermediate pet_tree dat
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
add p
e
t
_
context_clear
_
w
rites_i
n
_{expr,tree}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
introduce pe
t
_tree objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
g
e
move PetScan::
e
xtract_while before i
t
s f
i
rst use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdo
o
l
aege
move PetScan::is_nested_al
l
owed before its f
i
rs
t
use
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
o
o
la
e
ge
move PetScan:
:
ex
t
r
a
ct_non_affine_c
o
ndition before it
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetS
c
a
n: drop allow_n
e
s
t
ed at
t
r
i
bute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
introduce pet
_
loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
mov
e
pe
t
_scop_e
x
tract_nested to nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
Verdool
a
ege
move pet_expr_extract_nested to n
e
st
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
rdoolae
g
e
PetScan::extr
a
ct_for: use pe
t
_expr
_
extr
a
ct_compari
s
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoola
e
ge
P
et
S
can::scan(FunctionD
e
cl *): con
s
truct a pet_context
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
remove PetScan::
t
r
y_extract
_
affine_condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
d
oolaege
PetSca
n
::set_upper_bounds: convert arra
y
bounds
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
scan
.
c
c
: update_si
z
e: handle NULL in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
PetScan::e
x
tract
_
affine(co
n
st
llvm::A
P
In
t
&)
:
e
xtr
a
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
po
s
tpone
the detection of affine a
s
sumptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
extract out pe
t
_ex
p
r
_is_ass
u
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
e
tScan
:
:extract_access_expr: del
a
y
pl
u
gging
in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
Pe
t
Scan::extract_a
f
fine(
E
xpr
*
): stop t
a
king
i
nto account
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetS
c
an::extr
a
c
t_ac
c
ess_expr: cons
t
r
u
ct access
e
xpression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Ve
r
d
o
olaeg
e
PetS
c
a
n
:
:reso
l
v
e_nested: handle se
l
f
depen
d
ences in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
o
l
aege
P
etS
c
an
:
:r
e
s
o
lve_nested: handle presence of ar
g
um
e
nts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
add functions
f
or
m
a
n
ipulating expression ar
g
uments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n V
e
rdoola
e
ge
add pet_exp
r
_access
_
p
u
llbac
k
_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
separ
a
t
e
o
u
t a
r
ray
index man
i
p
u
lation
fu
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan:
:
extract_condi
t
ional_ass
i
gnment: extract
w
rite
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
V
e
r
d
o
o
l
aege
PetScan::
m
ark_wri
t
e
:
turn into
a
static fu
n
ction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
p
os
t
pone clearing assigne
d
values unti
l
the point
w
her
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdool
a
eg
e
po
s
tp
o
ne handling of assignme
n
t
s un
t
il the
point where
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdool
a
ege
PetScan::ass
i
gn: take pet_expr
a
s i
n
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en
V
erdoolaege
PetSca
n
::extract_expr(Cond
i
tionalOperator
*)
:
pres
e
rve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
Ver
d
oolaege
pet_
c
heck_code: op_expr_extract_pw_af
f
:
hand
l
e
more
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
move pet_nested_e
x
tract_expr to nest
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
Verdoola
e
ge
PetS
c
an::extract
_
affine: extract expression as pet_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
tre
a
t f
o
rs
w
i
t
h
non-
a
ffine
i
n
i
tialization or non-constant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
PetScan::extract_for: mov
e
up
e
x
t
r
a
ctio
n
of c
o
n
stant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdo
o
la
e
ge
Pet
S
c
an::extract_for: extract
i
nitial v
a
lue
a
s pet_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
PetSc
a
n::extract_fo
r
: extract incr
e
ment as pet_
e
xpr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::extract(pet_expr*): t
a
ke explicit source range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
ext
r
act out Pe
t
S
c
a
n::ex
t
ract_wh
i
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolae
g
e
P
e
tScan::extract
_
condition
:
convert cl
a
ng::Expr
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
sc
a
n
.
c
c: separate out sha
r
ed create_decl_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolae
g
e
represent affin
e
expres
s
ions on zero
-
dimensiona
l
d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
erdoola
e
ge
Pet
S
can:
:
e
x
tr
a
ct_binary
_
incr
e
ment: rename "dim" variab
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
P
etScan::nested_access: rename "
d
im" variable t
o
"spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdool
a
e
g
e
PetSc
a
n::extract_
a
ffine(
D
ec
l
RefExp
r
*): rename "d
i
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoo
l
aege
Pe
t
Scan::
e
x
t
ract_aff
i
ne(
c
ons
t
llvm::APInt &): rename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
PetScan::extra
c
t_a
f
fin
e
(IntegerLiteral *): ren
a
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdo
o
laege
add p
e
t_expr_extract_a
f
fine
a
n
d pet_expr_ex
t
ract
_
affine_c
o
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
d
oolaege
add pet_con
t
ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_compa
r
ison:
h
and
l
e N
a
N input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaeg
e
p
e
t
_to
_
bool: han
d
le N
a
N in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdo
o
laege
pet_not
:
hand
l
e
Na
N
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
upd
a
te
i
sl for affine NaN exp
r
essi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next