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::resolve_nested(struct pet_stmt *): remove unused label
2013-09-18
Sven Ver
d
oolaege
PetSca
n
::resolve_nest
e
d(struct p
e
t_stm
t
*): remov
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolae
g
e
Pet
S
can::res
o
lve_nest
e
d(s
t
ruct pet_ex
p
r *
)
: r
e
move
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
scan
.
cc: compute_wra
p
ping: r
e
move unused
var
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdool
a
ege
scan
.
cc: extract_skip_se
q
: remove
unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
cc
:
universally: remove un
u
sed vari
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n V
e
rdoo
l
aege
PetScan::
e
xtract_affine: re
m
ove unused va
r
ia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
Ma
k
efile
.
am: ad
d
dum
m
y C++
s
o
urce file to pe
t
a
n
d pet_check_cod
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n Verdoolaege
s
to
p
li
n
king
i
n clang libraries direct
l
y into pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Ve
r
doolaege
a
l
so print
clang ve
r
sion when pri
n
ting pet ve
r
s
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolae
g
e
R
E
AD
M
E:
update late
s
t
release of LL
V
M/clan
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoolaege
parse
.
c:
r
e
m
o
ve
s
pu
r
ious d
u
plicate decla
r
atio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sve
n
V
erdoolae
g
e
pet_scop_f
r
ee: ret
u
rn struct pet_scop *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
S
ven Verdoolaege
PetSca
n
::e
x
tract(S
t
mtRange, bool, bool): break out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sv
e
n Ve
r
doolaege
pet_scop_
c
ollect_{reads,writes}: t
a
ke argument
s
into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
S
v
en
V
erdoolaege
p
e
t_s
c
op
_
colle
c
t_{reads,writes}:
i
n
t
ersect ranges with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
S
ven Verdoolaege
scan
.
cc: extr
a
ct_de
p
th: us
e
correct dimen
s
ion type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
S
ven Verdoola
e
g
e
pet_
e
xpr_fro
m
_access_and_index: plug memory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-08
Sve
n
Verdoolaege
configure
.
ac:
r
emove e
x
plicit
dependence on gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoola
e
ge
discard
i
nc
o
mplete
l
y e
x
tracted compound
s
tatements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolaege
fix
h
andling of compound statem
e
n
t
s with initial part
i
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
o
l
aege
pet_transform_
C
_source: handle multipl
e
explici
t
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
ola
e
ge
add pet
_
scop
_
print_original
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
add pet_transform_C_so
u
rce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n
Verdoola
e
g
e
exte
n
d
PetASTConsum
e
r to extract
a scop
for each function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Ver
d
oolaege
post-p
r
oscess
scops inside
P
etASTConsum
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
add
p
et_stmt_build_ast_expr
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
erdoolae
g
e
add pet_stmt_print_b
o
dy
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
la
e
ge
add pet_sc
o
p_has_dat
a
_dependent_conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Ver
d
oolaege
add
pet_sc
o
p_h
a
s_data
_
de
p
en
d
ent_
a
c
c
esses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rd
o
ola
e
ge
pet
_
ch
e
ck_code
:
use ind
e
x
e
x
pressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
pet_check_c
o
de: us
e
is
l
_id_t
o
_
pw_aff for keeping track
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
update is
l
for isl_id_to_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
k
e
ep track
o
f index
e
xpress
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verd
o
olaege
scop
.
c: fix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Ve
r
do
o
laege
u
pd
a
te t
e
st case output
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verd
o
ola
e
ge
scop
.
c: inse
r
t_filte
r
_
m
a
p: construct function intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
scop
.
c: u
p
date_domain: u
s
e functi
o
n intead of relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
scop
.
c
:
update_domain: rename vari
a
ble "dim
"
t
o
"
s
p
ace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
Verdoolaege
PetSca
n
::resolve_
n
ested:
u
s
e
fun
c
t
i
on
t
o embed arg
u
m
e
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoola
e
ge
PetScan::kill:
use pet_e
x
pr_kill_from_access_and_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scop_add_array: take inde
x
exp
r
ession instead
of a
c
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
pet_
s
cop_f
i
lter: take inde
x
ex
p
ression instead of access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
use an isl_mult
i
_pw_aff to re
p
resent a skip condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
e
rdoolaege
pe
t
_skip_info: us
e
i
sl_
m
u
lti_pw_aff to r
e
pres
e
nt skip
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
o
o
laege
Pet
S
can::e
x
t
r
ac
t
_non_a
f
fine_conditio
n
: take index
expre
s
sion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoo
l
aege
scan
.
cc: ex
t
rac
t
_skip: use
p
et_expr_from_i
n
dex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaeg
e
p
et_ski
p
_info_if::extr
a
ct: take index expres
s
ion i
n
stea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
scan
.
cc: universall
y
: u
s
e pet
_
expr_from_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
rdoolaege
P
etScan:
:
extr
a
ct_conditional_
a
ssignmen
t
: use p
e
t
_
expr_from
_
index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
replace PetScan::
e
xtract_access by Pet
S
can::extract_
i
ndex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
scan
.
cc: ext
r
act out
e
xtract_access_e
x
pr(ValueD
e
cl *)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erd
o
olaege
scan
.
c
c: extract_exp
r
(Conditional
O
p
e
rator *): use pet_expr_f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdo
o
laege
sca
n
.
cc: ad
d
create_test_inde
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n Verdoolaege
add pet_expr_kill_fr
o
m_access_and
_
i
ndex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
add pet_expr_fro
m
_index_
a
n
d
_de
p
th
wrapp
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
add pet_expr_from_index wra
p
per
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en
Verd
o
o
l
a
e
g
e
upda
t
e isl fo
r
improved supp
o
rt for isl_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven
V
erd
o
olaege
use isl_
a
f
f
to represent ma
p
ping from virtu
a
l i
t
erator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
scan
.
cc: c
o
mpute_wrapping: drop dead code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdo
o
la
e
g
e
scan
.
cc: Pet
S
can::extract_for: use id
e
nt
i
ty_m
a
p
i
n
stead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven
V
erdoolaege
u
s
e
implicat
i
ons
to encode whi
l
e
and
b
reak
filters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
introduce pet_implication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verd
o
olaege
scan
.
cc: scop_add_while
:
t
a
ke isl_id
i
nste
a
d of isl_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdool
a
eg
e
scan
.
c
c: scop_add
_
br
e
ak: take isl
_
id ins
t
e
a
d of
isl_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven V
e
rdoola
e
ge
add pe
t
_scop_get_skip_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
scan
.
cc: extract out shared
p
et_scop_get_af
f
ine_s
k
ip_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
extrac
t
o
u
t shared pet_e
x
pr_access_get
_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdo
o
laege
sco
p
.
c: extract out acces_apply_value_bounds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolaege
extract out
shared pet_expr_is_s
c
alar_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven
V
e
rdoolaeg
e
scop
.
c: expr_writes: use pet_expr_i
s
_
affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sve
n
V
e
rdoola
e
ge
scop_plus
.
cc:
access_collect_arr
a
ys: use pet_expr_is
_
affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdool
a
ege
scop
.
c
:
expr_co
l
lect_a
c
cesses: us
e
pet
_
e
xpr_
i
s_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-25
Sven Verdoolae
g
e
add refe
r
ence i
d
entifiers to al
l
access expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
up
d
ate
t
est case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoola
e
ge
conf
i
gu
r
e
.
ac: l
i
n
k
in l
l
vm
option component
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
update isl to ve
r
sion 0
.
12
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-17
Sven Verdool
a
ege
a
d
d pet_e
x
pr_foreach_
a
c
c
es
s
_ex
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-17
Sven Verdo
o
laege
rename
pet_e
x
pr_foreac
h
_access to p
e
t_expr_map_acc
e
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-17
S
v
e
n V
e
rdoolaege
replace p
e
t
_
expr_foreach_acc
e
ss by pet_expr_foreach_acces
s
_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-17
Sven
V
e
r
doolaege
scan
.
cc: remove_nested_parameters
:
use pet_expr_f
o
rea
c
h
_
acce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-17
Sven Verdoolaege
scop
.
c: expr_e
m
bed: use pet_expr_fo
r
e
a
c
h
_
access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
s
kip compound stateme
n
t with
o
nly
s
t
atements
t
hat we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-02
Sven V
e
rdo
o
laege
pe
t
_array_e
m
b
ed: impro
v
e
e
rror h
a
ndli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-02
Sven Verdoolae
g
e
pet_scop_add: p
l
ug memory le
a
k on e
r
ro
r
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
S
v
en Verdoo
l
aege
pet 0
.
04
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sv
e
n
Verdoolaege
up
d
ate isl to
ve
r
sion
0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-22
Sven Verdo
o
l
aege
c
o
n
f
i
g
ure
.
ac: ex
p
licitly
l
ink in
l
lvm bitread
e
r compone
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoo
l
aege
PetSc
a
n::sc
a
n: f
i
x c
h
ec
k
f
o
r
scop being pro
p
er part
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verd
o
o
laege
PetScan
:
:extract_
i
nt: u
s
e is
l
_val_int_from_chunks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sve
n
Verdoolaeg
e
u
pdate
isl for isl_val_
i
nt_from_c
h
unks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven
V
erdoolaeg
e
exte
n
d star
t
of scop to
s
tart of line
if
f
ir
s
t token
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
Sven Verdoolaege
parse
.
c: only parse
f
i
e
l
ds correspondin
g
to t
y
pe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-19
S
v
en Verdoolaeg
e
scan
.
cc: fix t
y
pos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-05
S
v
e
n
Verdoolaeg
e
pet_scop_from_pet_stm
t
: fix error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
S
v
en Verdoola
e
ge
scan
.
cc: compu
t
e_wrapping: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verd
o
olaege
scan
.
cc: c
a
n_
w
rap: us
e
isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdo
o
laege
PetScan::extract_for:
u
se
i
sl_va
l
to represent loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
S
v
e
n Ver
d
o
olaege
scan
.
c
c: avoid_overflow: use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
S
v
en V
e
rdoolaeg
e
PetScan::
e
xtract_
a
ffine_add:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven
Verdoolaege
scan
.
cc
:
s
et_parameter_bounds: use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next