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
configure.ac: check if TargetInfo::CreateTargetInfo takes TargetOptions pointer
2012-11-24
Sven Verd
o
olaege
configure
.
ac: check if TargetInfo::CreateTargetInfo
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Ve
r
doolaege
update i
s
l for supp
o
rt
f
or rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-22
Sv
e
n Verdoola
e
ge
update isl for change in AS
T
printing callback inte
r
fa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven
V
erdoolae
g
e
add
t
est for verifying the cor
r
ectn
e
s
s
of t
h
e isl c
o
de
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven
V
erdoo
l
aege
pet_scop_anonymize: also remove us
e
r
pointer
s
fro
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sv
e
n Verdo
o
l
aege
scop_extract_from_C
_
s
ource
:
anonymize s
c
op
a
fter updat
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven V
e
rdoolaege
add s
u
pport for (sing
l
e) dec
l
a
r
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven
V
e
r
do
o
l
aege
pet_scop_co
l
lect_arrays: skip arrays
that already appe
a
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sve
n
Ver
d
ool
a
ege
ext
r
act out
P
etScan::assi
g
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
PetScan::mark_write:
handle
NUL
L
acc
e
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven
Verdool
a
ege
extract out pet_scop_a
d
d_
a
rray
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
S
ve
n
Verdool
a
ege
pet_array_free: r
e
turn NULL
p
o
i
n
ter of
t
ype struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdo
o
laege
fix use
of DiagnosticOptions f
o
r o
l
der clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven
V
e
r
d
oolaege
updat
e
for cha
n
g
e
in cla
n
g's Preproces
s
orOp
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Ve
r
doolaege
update f
o
r change in clang's
H
e
aderSearch
O
ptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verd
o
ola
e
g
e
u
pd
a
te
for c
h
ange in cla
n
g's Diagno
s
ticOptio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verd
o
o
laege
scop_extract_from_C_source: ta
k
e TargetO
p
tions object
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sve
n
Verdoolae
g
e
PetScan::ex
t
r
a
ct: a
l
s
o
cl
e
ar assignme
n
ts in while loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sven
Verd
o
ol
a
ege
clear_assignments: also c
o
nsider decrements and i
n
c
r
ements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sven
Verdoola
e
ge
configu
r
e
.
ac: check for
get
E
x
p
ansion
L
oc in
c
lan
g
/B
a
s
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
S
v
e
n Verdoola
e
ge
c
o
n
figure
.
ac: link agai
n
st same LLVM components as
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-03
Sven
Verdoolaege
PetSca
n
::extract
_
a
r
ray: use declared
size on
V
L
A para
m
ete
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-01
S
v
en Verdoolaege
PetS
c
an::scan: us
e
ex
p
ansion offset to deter
m
ine if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolae
g
e
PetS
c
an::e
x
tract_for: al
s
o
c
heck
w
hether bound is simple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
e
n Verdo
o
laege
use isl_pw_aff
_
tdiv
_
q
a
nd isl_pw_af
f
_tdiv_
r
instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ver
d
oo
l
a
ege
upd
a
te isl f
o
r is
l
_pw_aff_t
d
iv_q and isl_pw_aff
_
td
i
v_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ve
r
do
o
lae
g
e
support modulo opera
t
ion in stat
e
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-07
Sv
e
n Verdoolaege
inclu
d
e/pet
.
h: fix typo i
n
docum
e
ntation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-07
S
ven Verdo
o
laege
make avoiding
o
verflows on sign
e
d i
n
t
eg
e
s optional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
S
v
e
n Verdool
a
ege
update isl fo
r
rena
m
e
of
!isl_set
_
dim_has_{lower,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-27
Sven
V
erdoo
l
aege
scan
.
cc: add missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-06
Sve
n
Verdool
a
ege
only requ
i
r
e
lib
y
aml
f
or compiling
the pe
t
executable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolaege
pe
t
0
.
02
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verd
o
ol
a
ege
con
f
igure
.
ac: allow
s
pec
i
fication of gmp
l
ocation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Verdoolaege
up
d
ate isl to version
0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Ver
d
o
o
l
aege
R
E
ADME: m
e
n
t
ion
support for non-affi
n
e condi
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Ve
r
dool
a
ege
README: upda
t
e to lates
t
rel
e
ase
o
f cla
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
ool
a
ege
scop_add_
b
reak: try and merg
e
filters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
olaege
support break and continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
add pet_expr_fi
l
ter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
ool
a
ege
scop
.
c:
extract out insert_fil
t
er_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
r
doolaege
scop
.
c: extract out ar
g
s
_inse
r
t_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
add
p
et_scop_al
l
oc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoola
e
ge
PetSc
a
n::extract(IfStmt *):
e
xtract out extra
c
t_non_
a
ff
i
ne_if
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aege
h
a
ndle generic conditions is fo
r
loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdool
a
ege
pet
_
scop_embed:
ta
k
e
mapping from vi
r
tual to real it
e
rator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
laege
Pet
S
c
a
n::e
x
tract_
f
or: renam
e
variab
l
e
"dim" to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
doolaege
s
c
op
.
c: extra
c
t out intern
a
l
i
ze_
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
s
c
a
n
.
c
c: mov
e
has_n
e
s
t
e
d
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdool
a
ege
sc
a
n
.
cc: move is_nest
e
d_para
m
e
ter up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdoolaeg
e
handle
n
o
n-aff
i
ne conditions in
while loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Ve
r
doola
e
ge
scan
.
cc: ex
t
ract
out P
e
tSca
n
::extr
a
ct
_
affine_whi
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdool
a
ege
scan
.
cc:
m
ove scop_a
d
d_array up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
sc
a
n
.
cc: mov
e
creat
e
_test_acc
e
s
s
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Ve
r
doolaege
p
et_scop_filter: al
l
ow filters with non-zero-dimen
s
ional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaege
sca
n
.
cc: extract out identity
_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
s
c
an
.
cc: extract ou
t
infinite_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
V
e
rdool
a
ege
add
p
et_scop_re
s
et_contex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
erdoolaege
scop
.
c: f
i
x
t
y
po in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-02
S
v
en Verdoolaege
PetS
c
an::extract_for: rem
o
v
e incorrect opti
m
ization
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
Verd
o
olaege
support decrem
e
nt and increm
e
nt operations in
s
t
atemen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Verd
o
olaege
s
c
an
.
cc: fix w
h
i
t
espac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolae
g
e
scan
.
c
c
: fix typos in
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoo
l
aege
PetScan::ne
s
ted_acce
s
s: check
t
ha
t
n
este
d
access doesn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven V
e
r
d
oolaege
PetSca
n
::ex
t
ract_
n
on_affine
_
condition: resolve nes
t
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
e
n
V
e
rdoolaege
PetScan::extract_ac
c
ess_
e
xpr: remove d
u
pli
c
ati
o
n by
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
o
ol
a
ege
c
a
che assigned v
a
l
u
es in the
n
and el
s
e branch of
i
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
pet_s
c
o
p
_collect_arrays:
a
lso
collect arrays
t
hat
o
nly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
V
erdoolaeg
e
s
c
an
.
cc:
add_parameter_boun
d
s: double chec
k
th
a
t t
h
ere
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
pet_scop_restrict: project out unnam
e
d parameter
s
fr
o
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en Verdoolaege
PetSca
n
:
:
resolve_nested:
det
e
ct and
remo
v
e d
u
plicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven V
e
rdo
o
lae
g
e
Pet
S
can::extra
c
t_
n
este
d
: inse
r
t
outer filters in e
a
rlier
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolae
g
e
mark __pet_test_* variabl
e
s as
u
niquely_defined
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verdool
a
ege
pet_array
:
add uniquel
y
_defined attribute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
Sven Verdoolaege
support
any affine condition in a w
h
i
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
Sven
V
erdoolaege
add PetScan::
t
ry_extract_affine_con
d
it
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Ver
d
oolaege
m
a
k
e detection of condi
t
ion
a
l
a
ssignment
o
p
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
pass pe
t
_o
p
tions
t
o P
e
tScan inst
e
ad
of only
the autodetect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sve
n
Verdoolaege
avoid negative
array indic
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
S
v
e
n
Verdoolaege
pet: allow specifi
c
ation of isl opti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
Sven Ver
d
oolaege
scop
.
c: ex
p
r
_extract_cont
e
xt: d
o
n
'
t
as
s
u
m
e access i
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
Sve
n
Verd
o
olaege
add
p
et
_
exp
r
_is_a
f
fine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verd
o
olaege
adjust to chang
e
in numb
e
r of argum
e
nts of
De
c
lRe
f
Expr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
li
n
k i
n
new -lclan
g
Edit when available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
S
v
e
n Verdoolaege
update i
s
l
for s
u
pport fo
r
re
c
ent c
l
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolaege
avoid ov
e
rfl
o
ws on signed i
n
teg
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
laege
PetScan::
e
x
tract_for
:
relax requ
i
rement
o
n in
c
rement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
Pe
t
Scan::
e
xtract_
f
or: updat
e
context wi
t
h
resp
e
c
t
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdoolaeg
e
represent loop
i
ncrement as
i
sl_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
a
l
low slightly more generic
c
ompound increment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
aeg
e
PetScan::e
x
t
ra
c
t(IfStmt *)
:
update contex
t
wi
t
h
re
s
pect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
olaege
try an
d
extract condition of
t
ernary
operator a
s
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en
V
e
rdoolaege
pet_scop_f
r
om_pet_st
m
t: extract context constrai
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Ve
r
d
o
olaege
pet_scop_restrict:
updat
e
co
n
t
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
a
e
g
e
pet
_
scop_em
b
ed: update
context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdoolaege
pet_sc
o
p_add: combine (intersect) contexts of o
r
igi
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en V
e
r
doo
l
aege
add
pet_scop_restrict_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetS
c
an::ex
t
ract_affine: don't bot
h
er wit
h
wrapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oolae
g
e
PetScan::extr
a
ct_con
d
ition
a
l
_
a
ss
i
g
nment: simpli
f
y
computati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdo
o
l
aeg
e
represen
t
conditions using isl_p
w
_
a
ffs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
