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
PetScan::mark_write: handle NULL access
2012-11-08
Sve
n
Verd
o
olaeg
e
PetSc
a
n::mark_write: handle NULL access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
e
x
t
ract
o
u
t pet_scop_
a
dd
_
array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
ven Verdoolaeg
e
pet_array_free
:
return NULL po
i
nter of
type struct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
v
en Ve
r
doolaege
f
i
x use of D
i
agnostic
O
p
t
ion
s
f
or older clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven V
e
rdoolaege
update for
c
h
an
g
e
in clang's
P
r
e
proce
s
s
o
rOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven
V
erdool
a
ege
u
pdate for change
i
n
clang's HeaderSearchOpt
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sv
e
n Verdoolaege
update for change
i
n
c
la
n
g's DiagnosticOp
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
S
ven
V
erdoolaege
scop_extract_from_
C
_sourc
e
: take TargetOp
t
ions obje
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
S
ven Verdoola
e
g
e
PetScan:
:
ex
t
ract: also
clear assignmen
t
s in while loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sven Verdoolaege
cl
e
ar_assi
g
nments
:
als
o
consider d
e
crements and increments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
S
ven Verdoolaege
confi
g
ure
.
a
c
: ch
e
ck for getExpan
s
io
n
L
oc in clang/Ba
s
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdool
a
e
ge
c
onfigure
.
ac: link against same LL
V
M compone
n
t
s
as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-03
S
ven Ver
d
oolaeg
e
PetScan::extract_
a
rray: us
e
declared si
z
e on VLA paramete
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-01
Sv
e
n
V
erdoolaeg
e
PetScan::scan
:
use e
x
pan
s
i
on
o
ffset to d
e
t
ermine if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven
V
erdoolaege
PetScan
:
:extract_for: al
s
o c
h
eck whethe
r
b
ound is
simple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdoolae
g
e
use isl_pw_aff
_
t
d
i
v_q and i
s
l
_
pw_aff_tdiv_r instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erdoo
l
a
ege
update isl
f
or isl_pw_aff_tdiv_q
a
nd isl_pw_aff_tdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolae
g
e
support modu
l
o operation in statem
e
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-07
Sven V
e
r
doolaege
include/pet
.
h: fix
ty
p
o in
do
c
umentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-07
Sve
n
Verdoolaege
make avoiding overflows on si
g
n
ed integ
e
s optional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven
Ver
d
oola
e
g
e
upd
a
t
e
isl
for
rename of !
i
sl_set
_
dim_ha
s
_{lowe
r
,
upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
S
v
en Verdoola
e
ge
scan
.
cc: add missing inc
l
ude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-06
Sv
e
n
Verdoolaege
only re
q
uire li
b
yaml for compili
n
g the pet
execu
t
a
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolaege
pet 0
.
02
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdo
o
l
a
ege
configur
e
.
ac
:
allow specificatio
n
of gmp location
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdoolaege
update isl to vers
i
on 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdoolaege
REA
D
ME:
m
e
n
tion support f
o
r no
n
-affi
n
e conditi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en
V
erdoola
e
ge
REA
D
ME: updat
e
to
late
s
t
r
elease o
f
clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
a
e
ge
scop_add_b
r
eak:
t
ry
and
m
erge filters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
o
l
aege
support
b
reak and conti
n
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
doo
l
aeg
e
ad
d
pet_expr_filter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
s
cop
.
c: ext
r
act
out insert
_
filt
e
r_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oolaege
scop
.
c:
e
xtract out args_insert
_
access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaeg
e
add pet_
s
c
op_allo
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n Verdoolaege
PetScan::extract(IfStmt *): extract
o
ut
e
x
t
rac
t
_no
n
_a
f
fine_if
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
olaege
handl
e
g
eneric
condition
s
is f
o
r loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
pet_sc
o
p_embed: take
m
apping from v
i
rtu
a
l to real iter
a
tor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
o
lae
g
e
PetScan::extra
c
t_for: ren
a
m
e variable "dim
"
to "
s
pace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verd
o
olaege
s
c
op
.
c: extract ou
t
i
ntern
a
lize_iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scan
.
cc: move has_nested up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolae
g
e
scan
.
cc: move is_nested_parameter up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolaege
handle non
-
a
f
fine conditions
in
w
hile loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
e
n
V
e
r
d
oolaege
s
can
.
cc:
extract
o
u
t PetScan::extract
_
affine_whil
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ver
d
oola
e
ge
sca
n
.
cc
:
move scop_add_a
r
ra
y
u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdool
a
ege
s
c
an
.
cc: mo
v
e create_t
e
st_acc
e
ss up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaeg
e
pet_scop_fil
t
er: allow filters wi
t
h n
o
n-zero-dimensio
n
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scan
.
c
c
: ext
r
act o
u
t identi
t
y_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
olaege
sc
a
n
.
c
c
:
extra
c
t out infinite_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
laege
add pe
t
_
s
cop_reset_context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Verdool
a
eg
e
scop
.
c: fix ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-02
Sven Verdoola
e
ge
PetSc
a
n::
e
xtract_
f
or: remove incorrect optimization
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
s
u
pport dec
r
ement an
d
increment
ope
r
a
tions
i
n statement
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verdoolae
g
e
scan
.
cc: fix white
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven
Verdoolaege
scan
.
cc:
f
i
x
t
ypos in co
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Verd
o
o
lae
g
e
PetScan
:
:neste
d
_access: chec
k
that nested
a
cc
e
ss
doesn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven V
e
rd
o
olaege
Pet
S
c
a
n
:
:
extract
_
n
o
n_affine_conditi
o
n: resolve nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n
V
erdoolaege
PetScan::e
x
t
r
act_access_expr: remove
d
uplication by
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verd
o
olaege
cache assigned values in then and else br
a
nch of if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven
Ve
r
doolaege
pet_scop_
c
ollec
t
_arrays: als
o
col
l
ect arrays
t
h
at on
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven
Verdool
a
ege
sca
n
.
c
c
: add_pa
r
a
m
eter
_
bounds: double check tha
t
there
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verdoo
l
aege
pet_scop_restrict:
project out unnam
e
d pa
r
ameters f
r
om
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
S
v
e
n
Ver
d
oo
l
aege
P
etScan::resolve
_
nested
:
d
e
tect
a
n
d
r
e
move dup
l
icat
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ve
r
d
oolaege
PetScan:
:
e
xtract_nest
e
d: insert
o
ute
r
filters in earlier
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven
Verdoolaege
ma
r
k
__pet_
t
e
s
t_* va
r
iables
as uniquely_defined
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoo
l
aege
p
e
t
_array: add uniquely_defined
attribute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-14
Sven Verdool
a
e
g
e
sup
p
ort any
affine condit
i
on in a
w
h
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-14
Sven
V
er
d
oolaege
add
PetScan
:
:
try_ext
r
act_affin
e
_condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolae
g
e
make detectio
n
o
f
con
d
it
i
onal assignmen
t
o
p
tional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verd
o
olae
g
e
pass pet_opti
o
ns to PetScan instead of only the autodetect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaege
a
void neg
a
tive
a
rray indice
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verd
o
olaeg
e
p
et: allow speci
f
i
c
a
t
ion
o
f isl opt
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-06
S
ven Verdoolaege
scop
.
c:
e
x
pr_extract_
c
ontext: d
o
n't assume acc
e
ss is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-06
Sven Verdoo
l
aege
add pet_expr_is_
a
ffine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
ven V
e
rdoolaege
a
d
just to change in nu
m
ber of argument
s
of DeclRefExpr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
S
ven V
e
rdoolaege
link in new -lclan
g
Edit when available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verd
o
ola
e
g
e
upda
t
e is
l
fo
r
support
f
or
r
ecent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verd
o
olaege
av
o
id overflows on signe
d
integers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoolaege
PetScan
:
:extract_for: relax requirem
e
nt on increment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
d
oo
l
aeg
e
PetScan::extract_for:
u
pdate context with resp
e
ct to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Ve
r
doolaege
represent loop i
n
crement as is
l
_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
V
e
rdoolaege
allow slightly
m
ore generic compou
n
d increment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdoolaege
Pet
S
can:
:
ext
r
act(IfStm
t
*): updat
e
context with resp
e
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
ege
try and extract condition
of te
r
n
a
r
y operator as a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
laege
pet_s
c
op_from_pe
t
_stmt: extract con
t
ext
constrai
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
pet_sco
p
_rest
r
ict: upda
t
e context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
pet_scop_embed:
update context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoo
l
a
eg
e
pe
t
_
sc
o
p_
a
dd: combine (int
e
r
sect) contexts of original
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdo
o
laeg
e
add
pet_scop
_
rest
r
i
ct
_
context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
P
e
tS
c
an::extract_a
f
f
i
ne: d
o
n't
both
e
r wit
h
wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verd
o
ol
a
ege
Pe
t
Scan::ex
t
ract_conditional_ass
i
gnment: simplify
c
omputa
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doo
l
aege
r
epresent conditi
o
ns us
i
ng i
s
l_pw_
a
ff
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetScan::ex
t
ract_f
o
r: compute g
i
st before
t
esting whether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
PetSc
a
n::extra
c
t_for
:
only comp
u
te is_simple once
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Ve
r
d
o
olaege
Pe
t
S
c
an::
e
x
t
ract_fo
r
:
mak
e
doma
i
n refer to th
e
virtual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
P
e
tSca
n
:
:
extra
c
t_f
o
r: also call can
_
wrap on
n
on-si
m
p
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
e
rdoolaege
PetScan::extract_for: explicitly keep track
o
f when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
e
ge
scan
.
c
c
: strided_doma
i
n:
r
etur
n
para
m
eter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
e
rd
o
ola
e
ge
lim
i
t par
a
meters
in context to possi
b
le
values of c
o
rrespond
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdool
a
eg
e
PetScan::extrac
t
_implicit_af
f
ine: si
m
pl
i
fy computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
laege
update i
s
l for cha
n
g
e in isl_pw_aff_cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next