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
Sv
e
n Verd
o
olaege
configure
.
a
c: ch
e
c
k i
f
Targe
t
Info:
:
CreateTargetInfo
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
update is
l
for s
u
ppo
r
t for
r
ecen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
Sven
Verdoolaeg
e
update isl
f
o
r change in AST pri
n
ting callbac
k
interfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
v
en V
e
rdoo
l
aege
a
d
d te
s
t for v
e
rifying
t
he
correctne
s
s
o
f
the isl code
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven V
e
rdoo
l
aege
p
e
t_scop_anon
y
mi
z
e
:
a
lso remov
e
user po
i
nters from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
v
en V
e
rdoolae
g
e
scop_extrac
t
_from
_
C
_
source: an
o
nymize scop after
u
pdating
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Ver
d
o
o
lae
g
e
add supp
o
rt for
(
single) d
e
clarations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
pet_scop_collect_arrays:
skip arra
y
s tha
t
already appear
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
ven Verdoolaeg
e
extra
c
t
o
ut PetSca
n
::as
s
ign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdo
o
laege
PetSc
a
n::mark_w
r
ite
:
handl
e
N
ULL acce
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
v
e
n
Ver
d
oolaege
e
xtr
a
ct out pet_scop_ad
d
_a
r
ray
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
ven Verdool
a
ege
pet_arra
y
_
f
ree: re
t
urn NULL pointer
o
f
type struct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
fix use o
f
D
i
agnosticOptio
n
s for o
l
der clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven
V
erdoolaege
update f
o
r ch
a
nge in clan
g
'
s Preproce
s
sorOpt
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaege
update for chang
e
in clang's HeaderSearchO
p
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven
Verdo
o
lae
g
e
u
p
date f
o
r
c
h
ange
i
n clang's D
i
agnosticO
p
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven V
e
rdoolaege
scop
_
extract_from_C_s
o
urce: take
Targe
t
O
ptions
o
bject
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
S
ven Verdoolaege
PetScan:
:
extract: also clea
r
ass
i
gnments in w
h
ile loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sven V
e
r
doolaege
clea
r
_assig
n
ments
:
al
s
o co
n
s
i
d
e
r decrements and
increments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sve
n
Verdoolaege
c
onfigu
r
e
.
ac:
check for g
e
tExpansionLoc in clan
g
/Basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
S
v
en
V
e
rdoolaeg
e
configure
.
ac: link against
same LLVM compone
n
ts a
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-03
Sven Verdoolaege
P
etSca
n
:
:extract_arr
a
y: use declar
e
d size on
V
L
A param
e
t
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-01
Sven Verdoolaege
PetSc
a
n::
s
can: us
e
exp
a
nsion offset to d
e
termine if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven
V
erdoolaege
Pet
S
can::extr
a
ct_for
:
also check whether
bo
u
nd is sim
p
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdo
o
laege
u
se isl_pw_af
f
_tdiv_q
a
nd
isl_pw_aff_tdiv_
r
i
nstead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven V
e
rdoolaege
u
pdate isl
for isl_pw_aff_td
i
v_q and isl_pw_aff
_
t
div_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
Verdoolaeg
e
support modulo operation in state
m
e
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-07
Sven Verd
o
olaege
in
c
l
u
d
e
/pet
.
h: fix typo in docu
m
en
t
atio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-07
Sven Verdoolaege
ma
k
e av
o
iding ove
r
flows on sign
e
d i
n
tege
s
op
t
i
o
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sve
n
V
e
rdoolaege
updat
e
isl for r
e
na
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
e
rdoolaege
s
c
an
.
cc: add
m
i
s
s
i
ng include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-06
Sven
V
e
r
doolaege
only
require libyaml for compiling the pet e
x
ecutable
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 Ve
r
dool
a
ege
configure
.
a
c
:
a
l
low specification of gmp location
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven
Verdoolaege
upd
a
t
e
isl to versi
o
n 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdoolaege
RE
A
DME: mentio
n
s
upp
o
r
t
for
no
n
-affi
n
e conditions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
READM
E
: upda
t
e to
l
atest
release o
f
clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
e
r
doolaege
sco
p
_add_break:
t
ry and
merge filter
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolaege
s
u
p
p
ort bre
a
k an
d
c
o
ntinue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
add pet
_
expr_filter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en V
e
rdoolaege
scop
.
c: ex
t
ract out insert_fil
t
e
r
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaeg
e
sc
o
p
.
c
: extract
o
ut args_i
n
sert_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en V
e
rdoolaege
add
p
et
_
sc
o
p_all
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven
Verdo
o
laege
PetScan::extra
c
t(
I
f
S
tmt *): extract out extract
_
non
_
a
f
fine_if
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
er
d
o
o
lae
g
e
handle gener
i
c conditions is for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
doolaege
pe
t
_scop_embed: take mappin
g
from virtual to
real iterato
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaeg
e
PetScan::extra
c
t
_
for: rename variable "dim" to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolae
g
e
scop
.
c: ex
t
ract out
i
n
ternalize_iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
a
eg
e
scan
.
cc: move h
a
s_nested up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
o
l
aeg
e
s
c
an
.
c
c
: mov
e
is_nested_
p
a
r
ameter up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
hand
l
e
non-affine c
o
nditions in wh
i
le loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaeg
e
s
c
an
.
cc: extr
a
ct out
PetScan::
e
x
t
r
act_a
f
fine_whi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scan
.
cc:
m
o
v
e
sc
o
p_add_array up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaege
sc
a
n
.
cc: move
c
r
e
ate_tes
t
_
access up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
olaege
pet_scop_f
i
lt
e
r: allo
w
filters with non-
z
ero-di
m
e
nsio
n
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
V
erdoolaege
scan
.
cc: extract ou
t
identity_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scan
.
cc: extract
o
u
t
infinite_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaege
a
dd
pet_scop_reset_conte
x
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
s
c
op
.
c: f
i
x
typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-02
Sven Verdoolaege
Pe
t
Scan::extrac
t
_for: r
e
mov
e
inc
o
rrect op
t
i
m
izati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
support d
e
c
r
emen
t
and inc
r
ement operat
i
ons in statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
oolaeg
e
scan
.
c
c
: fix whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven V
e
rdoolaege
scan
.
cc: fix t
y
pos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
Pet
S
can::nested_access: check
t
ha
t
n
ested
a
ccess doesn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven V
e
rdoola
e
ge
P
e
t
Scan::extr
a
ct_non_
a
f
fi
n
e
_
con
d
iti
o
n:
r
e
solve neste
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven
Ver
d
oolaege
PetSc
a
n::extr
a
c
t
_acces
s
_expr: rem
o
v
e duplication by
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Verd
o
o
laege
cache assigned values in then and e
l
s
e branch of if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaeg
e
pet_s
c
op_
c
ollect_arra
y
s: also
collec
t
a
rrays that
o
nly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sve
n
Verdoolaege
scan
.
cc:
a
dd_parame
t
er_bounds:
d
oub
l
e
check th
a
t
t
here
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
S
ven Ver
d
o
o
laeg
e
pet_sco
p
_re
s
trict: p
r
oj
e
ct o
u
t unnamed p
a
rameters
f
rom
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolae
g
e
PetScan::resolve_nested
:
dete
c
t and remove duplicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en Ver
d
oolaege
PetSca
n
::extract_nested: inse
r
t
outer filters in
e
arlier
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
mark
_
_p
e
t_test_* variab
l
es as uniqu
e
ly_defin
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
pet_
a
rray: add u
n
iquely_defined attribute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-14
Sven Verdoo
l
aege
supp
o
rt any affine c
o
ndition in a while
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-14
Sven Verdoolaege
add PetScan::
t
ry_
e
xtrac
t
_affine
_
c
o
nditi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sve
n
Ve
r
doo
l
aege
make d
e
tec
t
ion of c
o
n
di
t
ional as
s
i
gnm
e
n
t
o
p
tional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdoolaeg
e
pass p
e
t_
o
p
t
i
o
ns to PetScan in
s
tea
d
of
o
nly the autode
t
ect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Ve
r
doo
l
aege
a
v
oid negative ar
r
ay indices
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven
V
e
rdoolaege
pet:
a
llow specification of isl options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-06
Sven Verdoolaege
scop
.
c: e
x
pr_extract_co
n
text: don't a
s
s
ume access is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-06
Sven Verdoolaege
add p
e
t_expr
_
i
s
_
affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolae
g
e
a
djust to ch
a
ng
e
in num
b
er of
a
rgu
m
ents
o
f
D
e
clR
e
fExpr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sv
e
n Verdoola
e
ge
link in
n
e
w -lclangEdit when
a
vailable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Ve
r
d
oolaege
u
pdate isl fo
r
support for
r
ecen
t
clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoolaeg
e
avoi
d
overfl
o
ws
o
n si
g
ned
integers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdoolaege
PetScan::ex
t
ra
c
t
_for: relax requirement on increme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolae
g
e
Pet
S
c
a
n
:
:
extract_for: upd
a
te cont
e
xt
w
ith r
e
spec
t
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdoolaege
represent loop increment as
isl_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoola
e
ge
allow slig
h
tly
m
o
r
e
generic comp
o
und
incr
e
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdoolaeg
e
PetScan::e
x
t
ract(IfStmt *): update context with respec
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Ve
r
doolaege
t
r
y and extract
con
d
ition of ternary operator
as a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
la
e
g
e
pet_sc
o
p_
f
ro
m
_pet_stmt
:
extract context
const
r
aints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoo
l
a
ege
pet_scop_restrict
:
update co
n
text
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en
V
e
rd
o
o
laeg
e
pet_scop
_
embed: upda
t
e
c
ontext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven
Verdoolaege
pet_
s
cop_a
d
d
:
c
o
m
bine (in
t
erse
c
t
)
contex
t
s of original
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Ve
r
doolaege
a
d
d pet_scop_restrict_conte
x
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
P
e
tS
c
an::extract_affine: don't bother
w
ith wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
o
l
aege
P
e
t
Scan::ext
r
act_condit
i
ona
l
_
assig
n
ment: si
m
p
l
if
y
computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
rep
r
e
sent conditi
o
n
s using
isl_pw_a
f
fs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
