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
tree2scop.c: scop_from_non_affine_while: drop preallocation of statement number
2014-03-25
Sven
V
erdoolaege
tree
2
scop
.
c: sc
o
p_from_non_affine_
w
h
i
le
:
drop preallocatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdool
a
ege
tree2scop
.
c: s
c
op_fr
o
m_non
_
affine_wh
i
le: delay
constructio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
aege
tree
2
scop
.
c: scop_
f
r
om_infinit
e
_
loop:
delay const
r
u
c
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
t
ree2sc
o
p
.
c
: infi
n
ite_
d
oma
i
n
:
d
e
lay intersection with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
V
er
d
o
olaege
tre
e
2
scop
.
c: extract out shar
e
d apply_af
f
ine_brea
k
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
tree2
s
cop
.
c: scop_from_a
f
fine_for:
remove p
r
eallocation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaeg
e
tree2scop
.
c:
sco
p
_from_
a
f
f
ine_for
:
d
elay construct
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
o
lae
g
e
tree2scop
.
c: sc
o
p_from_affine_for: introdu
c
e is_non_affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2scop
.
c: scop_from_
a
ffine_for: delay int
e
rse
c
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
a
dd pet
_
s
c
o
p
_
i
nt
e
r
s
ect_domain_prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
add pe
t
_
pr
e
fix_projection
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoolaege
scop
.
c
:
e
xtent_is
_
virtu
a
l_a
r
ray
:
check for m
e
mbers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
pet_a
r
r
a
y_embed: s
e
parate out extent_
i
s_virtual_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Verdoolaege
dro
p
pet_
s
c
op_
w
ri
t
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
tree2scop
.
c
: i
s
_ne
s
ted_allowed: take tr
e
e ins
t
e
a
d of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
d
oolaege
p
e
t_skip_
i
n
fo_*_extr
a
c
t
*: pass s
t
ruct pet_state
instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
ae
g
e
move e
x
traction
o
f pet_scop from p
e
t_tree to separate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n V
e
rdoo
l
a
e
g
e
construct pe
t
_scop
f
rom
intermedia
t
e p
e
t_tre
e
da
t
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
add pe
t
_
context
_
clear_writes_
i
n_{expr,tree}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
introd
u
ce pet
_
tr
e
e objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaege
move PetSc
a
n::e
x
tract_while bef
o
re its
f
irst
u
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
mov
e
PetScan::is_nested_all
o
we
d
befo
r
e its firs
t
use
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
r
d
oolaege
move PetScan::extract_non_a
f
fin
e
_condition
b
efore its
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
PetScan: drop allow_nested
a
t
tribute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
introduce pet_loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoola
e
ge
mov
e
pet_scop_ex
t
r
act_nes
t
e
d
t
o nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
move
pet_expr_ext
r
ac
t
_nest
e
d to n
e
st
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan
:
:ext
r
act
_
for: use pet_expr_extract_
c
ompa
r
ison
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
PetScan::scan(FunctionDecl *): construct a
pe
t
_context
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoolaege
remove PetSc
a
n::try_ex
t
ract_affine_condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
P
e
tScan::se
t
_
u
pper_bounds: convert
array bounds to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaeg
e
sca
n
.
cc: update_size:
handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
Verdoolaege
PetScan
:
:
e
xtrac
t
_
aff
i
n
e(const ll
v
m::APInt &): extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
e
n
Verdoolaege
postpo
n
e the detection of
affine ass
u
mptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
extract out pet_ex
p
r_is_assum
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ve
r
doolaege
PetScan::ext
r
a
ct_acc
e
ss_ex
p
r: delay pl
u
g
g
ing in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::extra
c
t
_affine(
E
xpr
*
)
:
stop taking in
t
o accoun
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verd
o
o
l
aege
PetScan::extract_access_expr: construct
a
ccess ex
p
ression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
PetScan::r
e
s
ol
v
e_nested:
handle se
l
f
dep
e
ndenc
e
s in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolae
g
e
PetScan::resolve
_
nested:
handle
p
r
e
se
n
ce of
arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
a
dd functions for manipulating expression a
r
gum
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
a
d
d pet_expr
_
access_p
u
ll
b
ack_mult
i
_pw_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en Verdoo
l
aege
separate out array index manipulation funct
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
PetScan::extract_conditiona
l
_as
s
ig
n
ment: ex
t
ract writ
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Ve
r
doolaege
PetScan::mark_
w
r
i
t
e: turn into a static funct
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
pos
t
pone
c
learing ass
i
gned values
u
ntil
the poin
t
where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
r
d
o
o
l
aege
pos
t
pone h
a
ndlin
g
of assignments unti
l
the p
o
int where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::assign: take pet_expr
a
s input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
P
etScan::extra
c
t_exp
r
(
Condi
t
i
o
nalOp
e
rat
o
r
*
)
: preserv
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
p
e
t_che
c
k_code: op_expr_extract_pw_aff: handle more
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Ver
d
oola
e
ge
move
p
et_nest
e
d
_
extract
_
exp
r
to
nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
PetScan::extra
c
t_a
f
fine: extract expressi
o
n as pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven V
e
rdoolaege
treat for
s
with non
-
affine
i
ni
t
ialization o
r
non-constant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
ol
a
ege
PetScan::e
x
tract_f
o
r: mo
v
e
up extract
i
on of consta
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
PetSc
a
n
::
e
xtract_for: extrac
t
i
n
itial val
u
e as pet_e
x
p
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoola
e
ge
PetS
c
an::extract_f
o
r:
e
xtract incre
m
ent as pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
P
et
S
can::ext
r
act(pe
t
_e
x
pr*)
:
take explicit source range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
V
e
rdoolaeg
e
e
xtract out PetSca
n
::e
x
tract_while
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdool
a
ege
Pe
t
Scan::
e
x
t
rac
t
_condi
t
i
on: con
v
ert clang
:
:
Exp
r
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdo
o
laege
sca
n
.
cc: separ
a
te
o
ut sha
r
ed cr
e
ate_de
c
l_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verdoolaeg
e
represent a
f
fin
e
expressions on z
e
ro-di
m
ensional domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olaege
PetScan::ext
r
act_b
i
nary_increment: renam
e
"dim"
variab
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
Pet
S
can::nested_access:
re
n
am
e
"
d
im" va
r
iabl
e
t
o "space
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
P
etScan::extract_aff
i
ne(DeclR
e
fExpr
*): rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolae
g
e
PetScan
:
:ex
t
ract_
a
ffine
(
const llvm::APInt &): rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
o
olaege
PetS
c
an::extract_affine(IntegerLiteral *)
:
rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
Verdoolaege
add pet_expr_extract_affi
n
e and pet
_
expr_ex
t
r
act_a
f
fin
e
_con
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
V
erdoolaege
a
dd pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_comparison: handle NaN input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
p
e
t_to_bool
:
han
d
le Na
N
inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdool
a
ege
pet_not: handle Na
N
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoola
e
g
e
update isl for affin
e
NaN
expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoola
e
g
e
a
d
d suppor
t
for nested accesses
re
p
resented by a pet_expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolae
g
e
separate out e
x
tracti
o
n of
n
ested
e
xpress
i
on f
r
om isl_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
pet
_
expr_is_scalar_access: do n
o
t consi
d
er scalar fields
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n Verdoolaege
extra
c
t ou
t
p
et_ex
t
ract
_
cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
extract out
p
e
t
_boole
a
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
ven Verd
o
o
l
a
ege
e
xtract out
pe
t
_to_b
o
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
e
x
tract out pet_not
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sv
e
n
V
e
rdoolaege
extra
c
t o
u
t pet_and
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Ver
d
o
o
laege
a
d
d
m
o
re pet_
e
x
pr_is_*
functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
extract
out the handling
o
f skip
c
ondit
i
on
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
extract out p
e
t_create_test_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolaege
e
x
tract o
u
t pet_scop_add_boolean_arr
a
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
scan
.
c
c
: scop_a
d
d_
a
rray: re
n
am
e
"
d
i
m
" variabl
e
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolae
g
e
pet_ex
p
r: keep track of type_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
Verdoolae
g
e
extr
a
ct
s
hared PetSc
a
n::ext
r
act_access_e
x
pr(
i
sl_multi_pw_af
f
*)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
erdoolaege
extract
o
ut pet_comparison
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven
V
er
d
oo
l
ae
g
e
scan
.
cc
:
m
ove UnaryOp
e
rato
r
Kind2pet_
o
p_typ
e
,
B
i
n
aryOperatorK
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verd
o
olae
g
e
add pet_stmt_can_build_ast_exprs and p
e
t_sc
o
p_
c
an_build_
a
st_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sve
n
V
e
rdoolaege
pet_scop_collect
_
ar
r
ays: collect ar
r
ays i
n
a sorted set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
S
v
en V
e
rdoolaege
pet_s
c
op_collect_array
s
: av
o
id trying to r
e
m
o
v
e "ty
p
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaege
pet_stmt_f
r
o
m
_pet_e
x
p
r: drop isl_ctx argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-24
Sven Verdoolaeg
e
make p
e
t_expr objects reference counted
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
r
doolaege
PetSc
a
n
:
:extrac
t
_argum
e
n
t:
a
v
oid modifyi
n
g
p
a
rt of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
rdoolaege
u
pdate isl
f
or __isl_null memory management annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extra
c
t so
m
e
n
ested parameters related code
i
nto nest
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoo
l
aege
add pet
_
ex
p
r
_access_get
_
ref_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Verdoolaege
add p
e
t_expr_
a
cces
s
_is_read
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
rdoolaege
a
dd pe
t
_
e
x
pr_a
c
cess_is_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
