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 Verdoo
l
a
ege
updat
e
i
sl for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
S
v
e
n
Ver
d
oolaege
update isl
f
or change
in
AS
T
printing callback interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
add test f
o
r verifying
the
correctness
of
t
he is
l
code
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
v
en
Verdoolaege
pet
_
scop_anonymize: also rem
o
v
e u
s
er po
i
nters from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Ve
r
dool
a
ege
sc
o
p_extract_from_C_source: anony
m
ize sc
o
p after updating
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verd
o
o
laege
add support for (single) d
e
clarations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
p
e
t_
s
cop
_
collect_arrays
:
s
kip arrays that
a
lr
e
ady appear
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
e
x
t
r
a
ct out PetScan::assi
g
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven
Verdoolaege
Pe
t
S
can::mar
k
_
w
rite: handle
N
U
LL access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolae
g
e
extract out pet_sc
o
p_add_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verd
o
olaege
pet_
a
rray_fre
e
: retu
r
n N
U
L
L
pointer of
t
y
pe struct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven
V
erdoo
l
aege
fix
use of Diagno
s
tic
O
pt
i
ons for older clan
g
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Ve
r
doolaege
update for change in clang's PreprocessorOpti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaege
update
f
or ch
a
n
ge in clang
'
s
H
eaderSearchOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sve
n
Verdoolaege
update for chang
e
in clang
'
s DiagnosticOpt
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven V
e
rdoolaege
scop_ext
r
a
c
t_from_C_source: take
Targ
e
tOptio
n
s obj
e
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
S
v
e
n
Ve
r
d
o
o
l
aege
P
etScan::e
x
trac
t
: also c
l
ear
a
ssignments in w
h
ile loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sven Verdool
a
ege
cl
e
a
r_assignments: al
s
o co
n
sider
de
c
re
m
ents and
increments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sven Verdoolaege
c
o
n
figur
e
.
ac: check for getExpan
s
ionLoc in
c
lang/Basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
S
v
en Verdoo
l
aege
configure
.
ac: link agai
n
st
s
a
m
e
L
LV
M
co
m
ponents
as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-03
S
v
en Verdool
a
ege
Pet
S
c
an::extract_array:
u
se declared s
i
ze on VLA parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-01
Sve
n
Ve
r
doolaege
Pet
S
can:
:
sc
a
n: use expansion off
s
et to
d
e
term
i
ne if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sv
e
n Ver
d
o
o
l
aege
PetScan:
:
extract_
f
or: al
s
o
check wheth
e
r bo
u
nd
i
s sim
p
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdoolaege
use isl_pw_aff_tdiv_q and
i
sl_pw_aff_tdiv
_
r
i
nstead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
u
pda
t
e isl fo
r
isl_pw_
a
f
f
_tdiv
_
q and isl_pw_a
f
f_tdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
Verdoolaege
support modulo
operatio
n
in
s
t
a
t
em
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-07
Sven Verdoola
e
ge
include
/
pet
.
h: fix typ
o
in doc
u
mentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-07
S
v
en Verdoolaege
make avoiding overflow
s
o
n sign
e
d
int
e
ges optional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolae
g
e
u
pdate isl for rename of !is
l
_s
e
t_dim_
h
as_{lower,u
p
per
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
Sve
n
Verdoolaege
scan
.
cc: add missing
i
nclud
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-06
Sven Verdoolaege
only require
lib
y
am
l
for compiling
t
h
e
pet execut
a
b
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
S
v
e
n V
e
r
doolae
g
e
pe
t
0
.
0
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolaege
c
o
n
figure
.
ac:
a
l
low specifica
t
ion of gmp location
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven
V
erdoo
l
aege
update isl t
o
versio
n
0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoolaege
READ
M
E
: mention s
u
p
port for no
n
-affin
e
c
o
nditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
README: upd
a
te to late
s
t
re
l
ease of
clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
s
c
o
p
_add_break: tr
y
and merge filters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oola
e
g
e
support br
e
ak
and
conti
n
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verd
o
olaege
add pet_expr_
f
ilte
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ve
n
Verdoola
e
ge
scop
.
c
: extract
out insert_filter_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
s
c
op
.
c: extra
c
t o
u
t
args_insert_a
c
cess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oo
l
aege
add pe
t
_scop_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaege
PetScan::
e
xtract(I
f
Stmt *): extra
c
t out extr
a
ct_non_affine_if
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aege
handle gener
i
c condi
t
i
o
ns is
f
or loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aege
pet_scop
_
em
b
e
d
: take mapping from virtual to
r
eal i
t
erator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoo
l
aege
PetScan::ex
t
rac
t
_for: r
e
nam
e
va
r
iable "
d
im" to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoola
e
ge
sco
p
.
c: extract out int
e
rnalize_iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoolaege
scan
.
cc: move h
a
s_nested
up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolaege
scan
.
cc: move is_nested_p
a
rameter up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verd
o
olaege
handle non-affine c
o
ndit
i
ons in w
h
ile loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
s
can
.
cc: extr
a
c
t
out Pet
S
c
a
n::extra
c
t_affine_wh
i
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaege
s
c
a
n
.
c
c
:
mov
e
scop_add_array up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
s
c
an
.
cc: move create_test_a
c
ce
s
s up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
pet_scop_
f
ilter: allow filte
r
s with non-zero-dimens
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolae
g
e
s
can
.
cc: ex
t
ract out
identity_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaege
scan
.
cc
:
ext
r
act out infinit
e
_
d
oma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
add pet_scop_reset_co
n
text
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoolaege
sc
o
p
.
c: fix typo in c
o
mmen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-02
Sven Verd
o
o
l
aeg
e
PetScan
:
:extract_for: remove incorre
c
t optimiza
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ve
r
doolae
g
e
s
u
pport
d
ecrem
e
nt and inc
r
emen
t
operati
o
ns in statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven V
e
r
doolaege
scan
.
cc
:
fix
w
hites
p
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoo
l
aege
scan
.
cc: fix typos in
c
o
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ve
r
doolae
g
e
PetScan::neste
d
_
a
c
cess:
c
hec
k
that ne
s
t
e
d access does
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdo
o
laege
PetSc
a
n:
:
extra
c
t_n
o
n_affine_c
o
ndition: re
s
olve nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
PetS
c
an::ex
t
ract_
a
ccess_expr: remove duplication by
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
oolaege
cache assigned
va
l
ues
i
n then and
e
ls
e
branch of if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoo
l
aege
pet_s
c
o
p
_coll
e
ct_ar
r
ays: also colle
c
t a
r
rays that only
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
S
v
e
n
Ve
r
doola
e
g
e
s
c
an
.
cc: add_parameter_
b
ounds: dou
b
le
check that there
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
p
e
t_scop_restri
c
t: project
o
ut u
n
n
a
med parame
t
ers fr
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolae
g
e
PetScan
:
:
r
esolve_nest
e
d: d
e
te
c
t
and remove duplicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoo
l
aeg
e
PetSca
n
::
e
xtract_nested:
ins
e
rt outer fi
l
ters in
earlier
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
V
erdoola
e
ge
m
a
r
k __pet_test_*
v
ariables as
u
niquely_define
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
S
v
e
n
Ve
r
d
o
o
laege
pet_array: add uniqu
e
l
y
_
d
e
f
ined attribute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-14
Sv
e
n Ve
r
doolaege
supp
o
rt any affine condi
t
io
n
in a w
h
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-14
Sv
e
n
Verdoolaege
ad
d
Pet
S
can::try
_
ext
r
act_affine_conditio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
ma
k
e detection
of c
o
ndition
a
l assignm
e
nt optiona
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
pass
p
et_options to PetScan inst
e
ad of
o
n
l
y the autode
t
ect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdo
o
l
aege
av
o
id
neg
a
tive array indices
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
S
v
en Verdoolaege
pet: allow s
p
ecification o
f
isl options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-06
Sven Verdoo
l
aege
scop
.
c: expr_extract_context: don't assume access i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-06
Sv
e
n
Verd
o
olae
g
e
ad
d
pet_expr_is_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sve
n
Verdoo
l
aege
adjust
to change in nu
m
ber of a
r
gume
n
ts of DeclRefExp
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven
Verdoolaege
link
i
n
new
-
l
c
langEdit when availabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven V
e
rdoolaeg
e
updat
e
isl for suppor
t
for
recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolae
g
e
avoid
overflows on si
g
ned integers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
V
e
rdoolaege
PetScan::extract_for:
r
e
l
a
x
re
q
uirement on
incre
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
PetScan::extract_for: upda
t
e
context with respect
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
repre
s
e
n
t loop inc
r
ement as isl
_
p
w_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n
Verdo
o
laege
allow sl
i
ghtly more g
e
n
eric com
p
ound increment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
P
etScan::extract(IfStmt *
)
: update contex
t
w
i
th
r
espect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
er
d
oolaeg
e
t
r
y
an
d
extract condition of terna
r
y operator as
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
pet_
s
cop_fr
o
m_pet_
s
tm
t
: extract context con
s
train
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
aege
pet
_
scop_restric
t
:
u
pdate c
o
ntext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
d
o
o
l
ae
g
e
pet_scop_embed:
update context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
aeg
e
pet_scop_ad
d
:
c
om
b
in
e
(intersect) conte
x
t
s
of
o
riginal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolae
g
e
add pet_scop_
r
estrict_c
o
n
t
ext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
ae
g
e
PetScan::ex
t
ract_a
f
f
ine: don't bother with wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoola
e
ge
PetScan::ext
r
act_conditional_as
s
ig
n
ment
:
s
i
mpl
i
fy computat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
r
epresent conditions using isl_
p
w
_
affs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdo
o
laege
P
etSc
a
n::extra
c
t_for: compute gist before te
s
ti
n
g whether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next