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
fix use of DiagnosticOptions for older clangs
2012-11-08
S
ven Ve
r
doolaege
fix use
of
Diagn
o
sticOptions for
o
ld
e
r clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verd
o
olaege
upd
a
te for
c
hange i
n
cla
n
g's Pre
p
rocessor
O
ptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
S
ve
n
Verdool
a
e
g
e
u
p
d
ate for change in clang's Header
S
earc
h
Options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven V
e
rdo
o
lae
g
e
updat
e
for c
h
ange in clang's DiagnosticOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaege
scop_extract_
f
rom_C_source
:
ta
k
e Targ
e
t
Op
t
i
ons object
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sven
V
e
r
d
oolaege
PetScan::ex
t
r
a
ct: als
o
clear
assignmen
t
s
i
n while l
o
ops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
S
v
en
V
erdo
o
laege
clear_as
s
ignmen
t
s: als
o
c
onsi
d
er
d
ecrements and inc
r
e
ments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-15
Sven
Verdoolaege
configure
.
ac
:
check
for ge
t
ExpansionLoc in clang/Ba
s
i
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven
V
erdoolaege
con
f
igure
.
ac: link a
g
a
i
nst same LLVM
c
omponents
a
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-03
S
ven
Ver
d
oo
l
aege
PetScan::extr
a
ct
_
array:
u
se dec
l
a
r
ed s
i
ze
o
n VLA parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-01
S
v
en Ver
d
oolae
g
e
PetS
c
a
n::sc
a
n
: use expansion
of
f
set to determine if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
Sven Verdoolaege
Pet
S
can::extract_for: als
o
check wh
e
ther bound is
s
imple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolae
g
e
u
s
e isl
_
pw_aff_tdiv_q and isl_pw_aff_tdiv
_
r instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n Verdoolaege
u
pda
t
e isl for isl_pw_aff
_
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 Verd
o
ol
a
eg
e
support modulo
operation
in
s
t
a
t
ements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-07
Sven
Verdoolae
g
e
include/
p
et
.
h: f
i
x typo
i
n docu
m
entation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-07
S
ven Verdoola
e
ge
m
ake avoid
i
ng overflows on signed integes optional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
up
d
ate isl for rename of
!
isl_set_dim_ha
s
_{lower,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-27
S
ven
V
er
d
oolaege
scan
.
c
c: add miss
i
ng incl
u
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-07-06
Sven V
e
r
d
o
olaege
o
n
ly require li
b
yaml fo
r
compiling t
h
e pet executab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sv
e
n
Ver
d
ool
a
ege
pet 0
.
0
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-04
Sv
e
n
Verdoolaege
con
f
igure
.
ac: allow specification o
f
gmp
l
ocati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en
V
erdoolaege
update isl to
v
ersion 0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolaeg
e
RE
A
DME: men
t
ion suppor
t
for non-
a
ff
i
ne conditi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
READ
M
E: up
d
a
t
e to latest
release of c
l
ang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n
Verdoolaege
scop_add_break: try an
d
merge filters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdool
a
ege
su
p
port break and continue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdool
a
ege
ad
d
pet_expr_
f
ilter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoola
e
ge
scop
.
c: extract out
insert_filt
e
r_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en
V
erdoo
l
aege
sc
o
p
.
c: extract out
args_inse
r
t_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolae
g
e
add pet_scop_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaege
PetScan::extra
c
t(I
f
S
t
mt *
)
: extract out e
x
t
ract_non_a
f
fine_if
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verd
o
ola
e
ge
h
andle generic conditions
i
s for
l
o
o
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
S
ve
n
Verdoolaege
p
e
t_scop_embed:
take mapping
from virtual t
o
real
iterator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
do
o
l
aege
P
e
t
Scan
:
:extra
c
t_for:
r
ename variable "
d
im" to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdoo
l
a
e
g
e
scop
.
c: e
x
t
r
act o
u
t internalize_iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoolaege
sc
a
n
.
cc
:
move
has_neste
d
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Verdoola
e
ge
scan
.
cc
:
move is_nested_
p
ar
a
mete
r
u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
o
laege
handle
n
on-af
f
ine conditions in while loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Ver
d
oolaege
sc
a
n
.
cc: extract out Pet
S
can::extract_a
f
fi
n
e_while
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdool
a
eg
e
scan
.
cc:
m
o
v
e
scop_add_
a
rray
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scan
.
cc: move create_
t
est
_
access up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaege
pet_sc
o
p_f
i
lter: all
o
w filters with non-zero-dimen
s
i
o
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdool
a
e
g
e
scan
.
cc: extrac
t
ou
t
identit
y
_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scan
.
c
c
: extract
o
ut
infinite_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
doolae
g
e
add p
e
t_scop_reset
_
con
t
ext
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoo
l
a
ege
scop
.
c:
fix ty
p
o in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-06-02
S
v
e
n
V
erdoolaege
P
et
S
can::extract_for: remove incorrect
o
ptimization
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
Verdoolaege
support d
e
crement and
increment operations
i
n
s
tatements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
scan
.
cc:
fix whitespac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en V
e
rdool
a
ege
s
can
.
cc:
fix
typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
ve
n
V
e
r
d
oolaege
PetS
c
a
n
::nes
t
ed_access: check that
n
ested acce
s
s
d
oesn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdool
a
eg
e
PetS
c
an::extrac
t
_non_affine_condition: resol
v
e nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en Ve
r
d
o
olae
g
e
PetScan::extract_access_expr:
rem
o
ve duplicatio
n
b
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
ven Verdoolaege
cache as
s
igned val
u
e
s
in
t
hen
a
n
d
els
e
branch
o
f
i
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Ver
d
oolaege
pet_scop_collect_arrays: also collect array
s
tha
t
only
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven V
e
rdoolaege
scan
.
cc: add_parameter_b
o
unds: d
o
uble check that there
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
S
ven Verdoolaege
pet_scop_restrict: proj
e
ct out u
n
named para
m
et
e
rs from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven
V
erdoolae
g
e
P
etScan::resolve_nested:
detect and remove duplicat
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verdoolaege
P
e
t
S
c
a
n::extract
_
nested: insert ou
t
er filte
r
s in ear
l
ier
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verd
o
olaege
mark _
_
pet
_
test_* v
a
r
iables as uniquely_defined
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdo
o
laege
pet_array: ad
d
uniqu
e
ly_defined attr
i
b
ute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
Sven Verdoolaege
support a
n
y affin
e
cond
i
tion in
a while
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-14
S
v
en Verdoolaege
add PetS
c
an::try_extr
a
ct_affine_co
n
dition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sv
e
n
Verdoolaege
make detect
i
on o
f
condit
i
onal assignment o
p
ti
o
n
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolae
g
e
pass pet_option
s
to PetScan inste
a
d of only th
e
autodete
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
S
v
e
n Verdoolaege
avoid neg
a
tiv
e
array in
d
ices
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
pet: allow specificat
i
on of isl op
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
Sv
e
n Verdoolae
g
e
scop
.
c
:
ex
p
r_extract_con
t
ext: don't assume access is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-06
Sve
n
Verdoolaege
add pet
_
expr_is_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdool
a
ege
a
dj
u
st to change in number of
ar
g
uments of DeclR
e
fEx
p
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
S
v
en Ve
r
doolaege
link in new -lclangE
d
i
t when available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Ver
d
oolaege
upd
a
te isl for suppor
t
f
o
r recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
avoid
o
verfl
o
ws on
signed
integers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolaege
P
e
tScan::ext
r
a
c
t_
f
or: relax requi
r
ement on
incre
m
en
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oo
l
aege
PetScan::ext
r
act_for: update context with resp
e
ct to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
olaege
r
e
p
resent l
o
op inc
r
ement as is
l
_pw_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolaege
allow sligh
t
l
y
more
generi
c
comp
o
und
i
n
crement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolaege
PetScan::ext
r
ac
t
(IfStm
t
*
):
u
pdate context with respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoo
l
aege
try and extract condition of ternary operator as a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Ve
r
do
o
l
aege
pet_scop
_
from_
p
e
t
_stmt: extra
c
t c
o
ntext constra
i
nt
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdo
o
laeg
e
pet_sc
o
p_restrict: update
contex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en
V
erdoolae
g
e
pet
_
scop_e
m
b
e
d:
up
d
a
te context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oo
l
aege
pet_scop_add: co
m
bin
e
(inters
e
ct)
c
o
n
texts of original
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolae
g
e
a
d
d
pet_scop_restrict_co
n
text
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::extract_affine: don
'
t bo
t
her with wrapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
e
r
doolaege
Pet
S
can::extract_cond
i
tion
a
l_
a
ssignment: simplify co
m
putation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
repr
e
s
ent c
o
nditions using isl_pw_aff
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
ege
PetScan::ex
t
ract_f
o
r: compute gist before testing whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
Pet
S
can::
e
x
t
r
act_for: only
compute is_
s
imple once
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
Pe
t
Scan::extrac
t
_for:
m
ake domain r
e
f
er t
o
the virtua
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
e
n Ver
d
o
olaege
PetScan::extract_fo
r
:
also cal
l
c
an_wrap
on non-simple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
P
e
tScan::
e
xtract_for: expl
i
citl
y
keep
trac
k
of
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Ve
r
do
o
l
aege
s
c
a
n
.
cc:
s
trided_domain: return paramet
e
r set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoola
e
ge
limit pa
r
ameters
i
n
contex
t
to
p
ossib
l
e val
u
es of c
o
rrespond
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoola
e
ge
PetSc
a
n::ex
t
r
act_
i
mpl
i
cit
_
affine: sim
p
li
f
y computa
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoolaege
upda
t
e isl for change in isl_pw_aff_cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sven
V
erdoolaege
simplif
y
sets and relations
in pe
t
_sc
o
p w
i
th r
e
s
pect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
S
v
e
n
V
erd
o
ol
a
ege
pass value
_
bounds to Pe
t
Scan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-04
Sve
n
Verdoolaege
store
v
alue_bounds in isl_union_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next