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: clear writes at outer level
2014-03-25
Sven
V
erdoolaege
P
etScan::
e
x
t
ract_scop: clear writes at
outer
leve
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doo
l
aege
PetScan::ex
t
ract_scop: locall
y
con
s
truct
p
et
_
co
n
text
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
PetScan
:
:e
x
tract_scop: also add all
p
et
_
arra
y
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_
e
xpr_filter:
avoid introduction of constrain
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2scop
.
c: is_
s
imple_bound: handle
higher di
m
ensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
olaege
tree2sc
o
p
.
c: val
i
d
_for_each_iter
a
tion: hand
l
e higher
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verd
o
ola
e
g
e
tre
e
2sc
o
p
.
c:
add_impli
c
ation: handle higher dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
tree2sc
o
p
.
c:
map_to_
p
revious:
h
andle hi
g
her dimensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2scop
.
c: after: handle higher dime
n
sio
n
al dom
a
ins
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
pet_
e
xtr
a
ct_nested_fro
m
_
s
p
ac
e
: ad
d
e
x
tra dim
e
n
s
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
p
e
t_extract_nested
_
fro
m
_space: embe
d
arguments in given
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolaege
add pet_expr_access_get_domain_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
p
et_exp
r
_
resolve_nested: allow specification of
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
ven V
e
rdoolaege
tree2scop
.
c
:
handle_writes: separate out handling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
o
l
aege
tree2scop
.
c: handle_writes: re
m
o
v
e redundant pet_conte
x
t_mar
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tree2scop
.
c: extract
_
kill: al
l
ow spe
c
ificatio
n
of statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
pe
t
_
s
c
o
p_a
d
d_boolean_array: all
o
w specification
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_skip_i
n
fo_
*
_extract*: pass
a
l
ong pet_cont
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
a
e
ge
pet_scop con
s
tructors
:
allow s
p
e
c
if
i
cation of doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdo
o
laege
tre
e
2sco
p
.
c: scop_from_{br
e
ak,continue}: minor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolae
g
e
tre
e
2scop
.
c: scop_from_
{
break,continu
e
}: allow specification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
r
dool
a
e
g
e
p
e
t
_cr
e
ate_test_
i
ndex: allow
s
pecification
of domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_stmt_fr
o
m_
p
et_ex
p
r: allow specificat
i
on of
statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
ege
p
e
t_
s
tmt_fro
m
_p
e
t_exp
r
: minor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
o
o
l
aege
pe
t
_stmt_from_pet_
e
xpr
:
rename "dim" v
a
riab
l
e to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet
_
cont
e
x
t: keep track
o
f
d
omain se
t
rather th
a
n domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oolaege
add pet
_
nested_remove_from_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolae
g
e
t
r
ee
2
scop
.
c: s
c
op
_
from_non_affine_if: drop p
r
eallo
c
at
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
cop
.
c: scop_from_non_af
f
ine_if: delay cons
t
ruct
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
erdoolaege
tree2scop
.
c: scop_from_
a
ff
i
ne_fo
r
:
d
e
lay co
n
struct
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2scop
.
c:
s
cop_fro
m
_
n
on_
a
ffine_while: drop pre
a
llo
c
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
tree2sc
o
p
.
c: scop_f
r
om_no
n
_aff
i
ne_while: d
e
lay construc
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2sco
p
.
c: scop_from_infinite_lo
o
p: delay construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
laege
tree2scop
.
c: i
n
fi
n
ite_domain: delay inte
r
sect
i
on with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
tr
e
e2scop
.
c
:
extract out
s
hared
ap
p
ly_affi
n
e
_
break
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
o
l
aege
t
ree2scop
.
c: scop_f
r
om_affin
e
_for
:
re
m
o
v
e preallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
t
r
e
e
2scop
.
c
:
sc
o
p_f
r
o
m
_affine_f
o
r: delay construc
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
tree2scop
.
c:
scop_from_affine_for
:
introduce i
s
_non_affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
V
e
rdoolaege
tree2
s
cop
.
c:
scop_from_affine_for: delay i
n
tersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
add pet_scop_intersect_domain_prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdool
a
ege
add pet_prefix_projection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
ae
g
e
s
c
op
.
c: extent_is_virtual_array: check for members
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_array
_
e
mbed: separat
e
out exte
n
t_i
s
_
virt
u
al_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolae
g
e
drop p
e
t_scop_w
r
i
t
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
t
r
ee2scop
.
c: i
s
_nested_allowed: take tree instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoo
l
aeg
e
p
e
t_skip_info_*
_
extract*:
pass struct pet_state instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaege
move extraction of pet_scop from pet_
t
ree to separate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rd
o
olaege
construct
p
et_sc
o
p from intermediate
pet_tree data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
add pe
t
_context_cle
a
r_wr
i
t
es_in_{
e
x
pr,t
r
ee}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolaege
introd
u
c
e
p
et_tree objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdo
o
la
e
ge
mo
v
e P
e
tScan
:
:extract_while
b
e
fore
its first u
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
move PetScan::is
_
n
est
e
d_
a
ll
o
wed before its first us
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
move P
e
tScan::extrac
t
_non_a
f
fine_condition before its
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Ve
r
doola
e
ge
PetScan: drop allow_nested a
t
t
r
i
bute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erd
o
olaege
introduce pet
_
l
oc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdool
a
ege
mo
v
e pet_
s
cop_
e
x
tract_nested to nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
erd
o
o
laege
mo
v
e pet_expr_extr
a
ct_
n
e
ste
d
to n
e
s
t
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::
e
xtract
_
for: use
pet_
e
xpr
_
extract_compar
i
son
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
V
erdoolaege
PetScan::s
c
an(Fun
c
tionDecl *): construct a pet_context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
r
emove PetScan::try_extract_affine_
c
onditio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
PetS
c
an:
:
set_upper_bounds: conver
t
a
rray bounds to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
scan
.
cc: up
d
ate_size:
h
a
n
dle
NULL
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoo
l
aege
PetScan::
e
xtra
c
t_
a
f
fine
(
c
o
nst llvm::APIn
t
&): extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
lae
g
e
p
ostpone the detection o
f
affine assumptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
rdoolaege
extra
c
t out pet
_
ex
p
r
_
is_ass
u
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
PetScan::extract_access_expr: delay plu
g
g
i
ng in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan:
:
ex
t
ra
c
t
_
affi
n
e(Expr
*): stop taking i
n
to ac
c
ount
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolae
g
e
PetScan::extr
a
ct_acces
s
_
e
xpr: construct
a
cc
e
s
s
expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
oolae
g
e
PetS
c
an::resolve_
n
ested: handle self dependence
s
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaeg
e
PetScan::reso
l
ve_neste
d
: h
a
n
d
le pr
e
sence of arg
u
ments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
V
erdoolaege
add functi
o
n
s
for manipulating expression argum
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
add p
e
t_expr
_
a
c
cess
_
pull
b
a
c
k_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
ool
a
ege
separate out array in
d
ex manipulation func
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan
:
:ex
t
ract_conditional_ass
i
gnment
:
extract write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetSca
n
::mark_write: turn into
a sta
t
ic
func
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
pos
t
p
o
ne cl
e
aring a
s
signed
v
a
lues
u
nt
i
l
the point where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
p
ostpone handling of assign
m
e
n
t
s
u
ntil
t
he point where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
d
o
ol
a
e
g
e
PetSc
a
n::assig
n
: take p
e
t
_
expr
as inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ve
n
Verdoo
l
aege
PetScan::
e
xtrac
t
_
e
xpr(ConditionalOperator *): pr
e
s
e
r
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
pet_check_code
:
op_expr
_
extr
a
c
t_pw_
a
ff: handle more
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
move p
e
t
_nest
e
d_
e
xt
r
ac
t
_expr to
n
e
st
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
PetScan::extr
a
ct_affine: ex
t
ra
c
t expression as
p
et_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ve
r
doolaege
t
r
eat fors wi
t
h non-affine initialization or no
n
-constant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
e
t
Scan::extract_for: move
up extrac
t
i
on of c
o
nstant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven V
e
rdoolae
g
e
PetScan::e
x
tract_for: extrac
t
initial value as pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
PetScan::e
x
tract_for:
e
xtract increment
a
s
pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
PetS
c
an::extract(pet
_
exp
r
*): take explicit source range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
Ver
d
o
olaege
extract o
u
t PetS
c
a
n
:
:
e
xtr
a
ct_while
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
ge
PetScan::extrac
t
_cond
i
tion: convert clang::Expr to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
scan
.
c
c: sep
a
rate out shared create_decl_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
re
p
resent affin
e
expressions on zero-dimension
a
l d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
o
laege
PetScan::extrac
t
_
binary_in
c
rement
:
rename "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
Pe
t
Scan::nes
t
e
d
_
access: rename "d
i
m" variable to
"s
p
ace
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaeg
e
PetScan:
:
e
x
tract_affine(DeclR
e
fExpr *):
r
e
name
"
dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Ver
d
oolaege
PetSc
a
n::extract_affine(const llvm::API
n
t &): rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven
V
erdoolaege
PetS
c
an::extract_
a
ffine(IntegerLiteral *): rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verd
o
olaeg
e
a
d
d
pet_expr_extract_affine
and pet_expr_extract_affine_cond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
add pet
_
context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
e
rdoola
e
ge
pet_compariso
n
: handle NaN input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
p
e
t
_to_bool: ha
n
dle NaN input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next