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
update isl for support for recent clangs
2012-11-24
Sven Verdool
a
ege
update
i
sl
f
or support fo
r
recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-22
Sven
Verdool
a
eg
e
update isl for chang
e
in A
S
T p
r
intin
g
call
b
ack i
n
terface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolae
g
e
add test for
v
erifying th
e
corr
e
c
t
ness of the
i
sl
co
d
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
S
ven Verdoolaege
pet_s
c
op
_
anonymize: also remo
v
e user pointers from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
S
v
en Verdoolaege
scop_extract_from_C_s
o
urce: a
n
onymize
sc
o
p after updating
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
a
dd support
for
(
single) declarations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
p
e
t_scop
_
collect_arrays: ski
p
arra
y
s tha
t
al
r
e
a
dy appear
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
S
v
en
V
erdoolaege
e
x
t
r
act o
u
t
P
etScan::assign
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdo
o
laeg
e
PetScan::mark_write: ha
n
dle NULL
a
ccess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaeg
e
e
xtr
a
ct
o
u
t pe
t
_
s
c
op_
a
dd_array
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaeg
e
p
et
_
array_free: return NULL
p
ointer of type s
t
ruct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
S
ven Verdoolaege
fix use of DiagnosticOptions for older cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verd
o
o
l
aege
update for cha
n
g
e
in clang's PreprocessorOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoo
l
a
ege
up
d
ate for
c
hange
in cla
n
g's HeaderSearchOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
S
ven Verdool
a
ege
update
for c
h
ange in
c
l
a
ng's
Diagnosti
c
Options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven
V
erdoolaege
scop_extract_from
_
C_
s
ource: tak
e
TargetOp
t
ions object
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sven Verdoolae
g
e
PetSca
n
::extract: al
s
o
clear assignm
e
nts in wh
i
le lo
o
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
S
ven Ve
r
do
o
la
e
g
e
clea
r
_as
s
i
gnments: a
l
so consider decremen
t
s
a
nd in
c
re
m
en
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sven Verdoola
e
ge
co
n
figure
.
ac:
c
heck for get
E
x
pan
s
ionL
o
c
in
cla
n
g/Bas
i
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven Ve
r
doolaege
c
o
n
f
igure
.
a
c: link a
g
a
inst same
L
LVM
c
omponen
t
s
as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-03
Sven
V
erdoolaege
PetScan
:
:e
x
tr
a
ct_
a
rray
:
use dec
l
ared size on VLA parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-01
Sven Verd
o
olaege
PetScan::sca
n
: us
e
expansion offset to determine if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verd
o
olae
g
e
P
e
tSc
a
n
:
:e
x
t
r
act_for:
a
lso check
w
hether b
o
und is sim
p
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n Verdoolaege
use isl_pw_a
f
f_tdiv_q and isl_pw_aff_tdi
v
_r inst
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
Verdoolaege
u
p
date
isl for isl_pw_aff_tdiv_q and i
s
l_pw
_
aff_tdiv
_
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
suppor
t
modulo operation in statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-07
Sven Ve
r
doolaege
in
c
lude/pet
.
h: fix ty
p
o in documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-07
S
ven Verdoo
l
aege
make avoiding overflows on signed integes optiona
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
S
v
en Verdoola
e
ge
update isl for renam
e
o
f
!isl_set_dim_ha
s
_{
l
owe
r
,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-27
Sven Verdoolaege
s
can
.
c
c: add miss
i
ng include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-06
Sve
n
Verdool
a
eg
e
only require libyaml for compi
l
ing the pet execu
t
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolae
g
e
pet 0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sv
e
n Ver
d
oolaege
configure
.
a
c: allow speci
f
ication o
f
gmp l
o
catio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n V
e
r
d
oola
e
ge
u
pd
a
t
e isl t
o
version 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolaege
R
E
A
DME: mention support fo
r
non-affine conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoolaege
REA
D
ME: u
p
d
a
te to la
t
e
st release of clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdool
a
ege
scop_
a
dd_b
r
eak: try and merg
e
filt
e
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
l
a
ege
sup
p
or
t
b
reak a
n
d continu
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdool
a
e
ge
add
p
et_
e
xpr_fi
l
ter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verd
o
o
l
aege
scop
.
c: extract out insert_fi
l
t
e
r_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
ol
a
ege
scop
.
c: extrac
t
out args
_
insert
_
access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
add pet_scop_allo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Ver
d
oolaege
PetScan::extract(If
S
tmt *): ex
t
ract out extrac
t
_non
_
affine_if
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
handle generic conditions is f
o
r l
o
o
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
pe
t
_scop_embed: take mapping from
vi
r
tual to re
a
l iterator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
P
e
t
S
can:
:
extract
_
f
or:
rename
var
i
able "di
m
" to
"
space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oolaege
scop
.
c: ex
t
ract out
i
ntern
a
l
iz
e
_iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaege
scan
.
cc: move has_nested up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
doo
l
aege
s
ca
n
.
cc: move is_nested_parameter up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdool
a
ege
handle non-affine co
n
di
t
i
ons
i
n
whil
e
loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdo
o
l
ae
g
e
scan
.
c
c
: extrac
t
out PetScan::extract_affine_
w
hile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scan
.
c
c
: move s
c
op_add_arr
a
y
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oolaege
scan
.
cc
:
move
create_test_access up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Ver
d
oolaege
pet
_
s
cop_
f
ilter:
allow fi
l
t
e
rs wi
t
h
n
on-zero-
d
imensional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n
Verdoolaege
scan
.
cc:
ext
r
act
out ide
n
tity_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolae
g
e
scan
.
cc: extract out in
f
inite_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n
V
erdoolaege
add pet_scop_reset_conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdoola
e
ge
scop
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-02
Sven Verdoolaege
PetS
c
a
n
::extr
a
ct_for:
re
m
ove
incorrect optim
i
z
a
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ve
r
doola
e
ge
su
p
por
t
decrement and i
n
cr
e
ment operations in
sta
t
emen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
scan
.
c
c
: fix whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Ver
d
oolaege
scan
.
cc
:
fix typos
i
n comment
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
Pe
t
Scan::nested
_
access: ch
e
c
k
that nested access doesn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
V
erdoolaege
PetScan::extract_n
o
n_
a
f
fine_condi
t
ion: r
e
solv
e
nest
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en Verdoolaege
P
etScan:
:
e
xt
r
a
c
t_acces
s
_
expr: remove dupli
c
ation by
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
ven Ver
d
o
olaege
cache assign
e
d
v
a
l
ues in then
a
nd else branch of if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Ver
d
oolaege
pet_sco
p
_coll
e
ct_arrays: al
s
o collect ar
r
ays tha
t
only
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
e
n
Verdoolae
g
e
scan
.
c
c
: ad
d
_pa
r
ameter_b
o
unds: do
u
bl
e
ch
e
c
k that there
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
ven Verdoolaege
pet_scop_r
e
stri
c
t: pro
j
ect o
u
t
unnamed paramete
r
s from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
Ver
d
oolaege
P
etScan::r
e
solve_ne
s
ted: detect and
remove dup
l
i
c
ate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
oolae
g
e
PetScan::ext
r
act
_
nested:
i
ns
e
rt outer filte
r
s
in ear
l
ie
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verd
o
olae
g
e
mark __p
e
t_test_* variables as u
n
iquely_d
e
fi
n
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdo
o
l
aege
pet_ar
r
a
y
: add uniquely_def
i
ne
d
at
t
ribute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
Sven
V
erdoola
e
ge
s
up
p
ort any affine condition in a while
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
Sven Verdoola
e
ge
add PetScan::
t
ry_e
x
tract
_
affine_condi
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
S
v
en Verdoolaege
make
d
etection of conditiona
l
ass
i
gnment optional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sv
e
n
Verdoolaeg
e
pass pet_options to PetScan
i
nstead of only th
e
au
t
odetect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
avoid negative arr
a
y indices
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaeg
e
p
e
t: allow sp
e
ci
f
ication of isl options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
Sven Verdoo
l
aege
scop
.
c
:
expr_ex
t
ract_context:
don't assume a
c
cess is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
Sve
n
Verdoolaege
ad
d
pet_expr_is_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoola
e
ge
adjust t
o
change in num
b
e
r of argument
s
of
D
e
clRefExpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Ve
r
doolaege
link in new -lclan
g
E
dit when a
v
ailab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdo
o
l
ae
g
e
upda
t
e
is
l
for support
f
or rece
n
t
cl
a
ng
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en
Verdoolaege
avoid o
v
erf
l
ows o
n
signed integers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oolaege
Pet
S
can:
:
e
x
tra
c
t_for: rela
x
requirement on incr
e
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
V
erdoolaeg
e
Pe
t
Scan
:
:extrac
t
_for: update
contex
t
with respect to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolaege
r
e
present loo
p
in
c
r
ement as isl_p
w
_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
ege
allow sli
g
htly more g
e
ner
i
c compo
u
nd increment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::extr
a
ct(
I
fStmt *): update context with respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdo
o
l
a
ege
try
a
nd extra
c
t conditi
o
n
o
f
ternary operator
a
s a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
pet
_
scop
_
f
r
om
_
pet_stmt: extract context c
o
ns
t
raints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
pet_
s
c
op_restri
c
t: upda
t
e context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoo
l
aege
pet_scop_
e
mbed: update
c
ontext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
r
doolaege
pet_sco
p
_
a
dd:
c
ombine (inters
e
ct) cont
e
xts of original
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdool
a
e
g
e
a
d
d pet_sco
p
_rest
r
ict_conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
P
e
tScan::extract_affin
e
:
d
o
n
'
t bother with wrappi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
a
ege
PetScan:
:
extract_conditional_assignment: sim
p
lify
c
omputa
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
r
epresent conditions using isl
_
pw_affs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oolae
g
e
PetScan::extract_for: compute gi
s
t
before testin
g
whe
t
her
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
