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
pet_check_code.c: pass along iteration space
2014-03-21
Sven
V
erd
o
ol
a
ege
pet_check_code
.
c: pass along i
t
eration spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
o
o
laege
extract out shared pet_
s
tm
t
_ge
t
_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoola
e
ge
e
x
p
o
rt pet_expr_fro
m
_i
n
d
ex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
pet_scop_embed
:
pass isl_aff schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
d
oolaege
extract out pet_s
t
mt
_
is_assig
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extract out common pet_
s
t
m
t_is_kill
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verd
o
olaege
Pet
S
can::extract_incr
e
ment: improve err
o
r mess
a
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdoolaege
support logical operators in ex
p
ressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
olaege
suppor
t
i
ntMod,
intCe
i
l and
intFloo
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdool
a
ege
provide gette
r
and
s
etter
f
or
d
e
t
ect-conditio
n
al-assignment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
e
rdoolaege
p
e
t_check_code: dump
i
teration domains if they
a
re
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
p
e
t_check_code:
pa
r
s
e
isl optio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scan
.
cc: in
d
icator_function: coa
l
esce domain before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaeg
e
scop
.
c: fix typos
i
n
commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Ve
r
doola
e
g
e
scan
.
c
c
:
fi
x
typos
in
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
ool
a
ege
pet_s
c
op_restrict_skip: fix t
y
po in error
message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
PetScan::i
s
_neste
d
_allowed: che
c
k
for skip cond
i
tions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
print
.
c
:
print_pet_expr: fi
x
m
e
mor
y
m
anagement
a
nnotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoo
l
aege
drop dead meth
o
d
PetS
c
an
:
:is_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
s
c
op
.
c: e
m
bed
_
access
:
dro
p
r
e
dundant v
a
r
i
a
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_s
c
op_
f
il
t
er
_
skip:
avoid recomputation
o
f test expres
s
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolaege
Pe
t
Scan::extract
_
n
on_
a
ffine_
c
onditio
n
: remove redundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoola
e
ge
separate o
u
t sha
r
e
d P
e
t
S
c
a
n
::up
d
ate_scop_start_end
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdoolaege
pet_e
x
p
r
_
dump: only print expr->acc
.
r
ef_id if it is set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
er
d
o
olaege
scop
.
c:
stmt_propagate_params: a
l
so upd
a
te accesses
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oo
l
aege
s
cop
.
c: stmt_collect_par
a
ms: also collect parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdoolaege
scop
.
c: *
_
c
o
l
lect_params: fix
error
h
an
d
l
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
r
d
oolaege
pet_sc
o
p_align_params
:
i
m
prove error hand
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet
_
s
cop_
a
l
i
gn_params: r
e
n
a
m
e
"dim" variable to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaege
PetSc
a
n::extract_nested: plug memory
leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaege
scan
.
cc: c
l
ea
r
_assignment:
fix logic
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoola
e
g
e
PetScan::extract(IfStmt
*): clear assignments
i
n body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoola
e
ge
P
etScan
:
:extract
_
infinite_for: als
o
cle
a
r assign
m
e
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
PetScan::extract_for: always keep virtu
a
l it
e
rator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
ola
e
ge
m
o
dify tests/u
n
s
i
gned3
.
c tes
t
c
a
se to use the iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Ve
r
doolaege
w
hen aut
o
detecting
o
nly skip initial declaration
s
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
do n
o
t
e
xtrac
t
loo
p
aro
u
nd partial body wh
e
n
autodetecting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verd
o
olaege
Pet
S
can::extra
c
t_non_aff
i
ne_condition: take statem
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Ve
r
dool
a
e
ge
PetScan::extra
c
t_for: d
o
n
o
t all
o
w in
i
tial value to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
PetSc
a
n::
e
xtra
c
t_
f
or: cl
e
ar assignment to i
t
er
a
t
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
P
e
tS
c
an:
:
u
nsuppor
t
e
d
:
pass fixed character string to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Ver
d
o
o
laege
conf
i
g
ure
.
ac
:
ad
d
ll
v
m-conf
i
g --system
-
libs t
o
C
L
ANG_LIBS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
S
ven Verdoolaege
u
pdate isl for
suppor
t
f
o
r recent clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-29
Sve
n
Verdoolaege
Ma
k
efile
.
a
m
:
a
v
o
id us
e
of
INCLUD
E
S
v
ariab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-06
Sven V
e
rdoolaeg
e
AX_DETE
C
T_GIT_HEAD: de
t
ect git vers
i
on with n
e
wer v
e
r
sio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-06
Sven
Verdoo
l
aege
README
:
a
d
d c
o
ntac
t
i
nformation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdoolaege
add aff
i
ne assumptions to the co
n
text
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sve
n
Verdool
a
ege
parse _
_
penci
l
_assume statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-17
S
ven Verd
o
olaege
extract
o
u
t PetScan:
:
extra
c
t_argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-16
S
ven Verdoolaege
a
dd suppor
t
f
o
r structs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
a
dd pet_s
c
op_collect_tagged_must_kills
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
add pet_scop_col
l
ect_
m
ust_k
i
lls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erd
o
olae
g
e
scop
.
c
:
ext
r
act
o
u
t
e
xpr_collec
t
_a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaege
scop
.
c: s
c
op_co
l
l
e
ct_accesses: rename "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
er
d
oolaege
ad
d
pe
t
_exp
r
_access_get_
t
agge
d
_
may_acc
e
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
a
dd
pet_scop
_
c
o
llect_ta
g
g
e
d_{may,must}_{reads,writ
e
s}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdo
o
l
a
ege
e
xport pe
t
_expr_acces
s
_get
_
may_acc
e
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scop
.
c: ex
p
r_collec
t
_
ac
c
esses:
p
l
u
g
memory leak o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
e
rdool
a
eg
e
ext
r
a
c
t
o
u
t
p
et_clang
_
ba
s
e_type
i
nto separate fil
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
s
c
an
.
cc: ext
r
act ou
t
subscr
i
pt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
dool
a
ege
sco
p
.
c: ex
t
ra
c
t out *_is_
v
ir
t
ual_array function
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Ve
r
d
o
o
laege
p
e
t_expr_fr
o
m
_
i
n
dex_
a
nd
_
depth: e
x
tract out ext
e
nd_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
introduce pet_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Ver
d
oolaege
u
s
e isl_*_reset_us
e
r inst
e
a
d
o
f
*
_
a
nonymize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
update
i
s
l for support for
mem
b
er
a
ccess
e
s in AST
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolae
g
e
p
e
t_exp
r
_f
r
ee:
r
e
t
urn s
t
ruc
t
p
e
t
_
e
xpr
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
PetScan::resol
v
e
_n
e
sted(struct p
e
t_stmt
*
): remov
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaeg
e
PetScan::resolve_nes
t
ed(struct pet_
e
x
p
r *)
:
remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolae
g
e
scan
.
cc
:
com
p
ute_wrap
p
i
n
g:
remove unus
e
d
vari
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
scan
.
cc: extract
_
skip_seq: remov
e
unuse
d
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
r
d
o
ol
a
ege
scan
.
cc: universally: remove
unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ve
n
Verdoo
l
ae
g
e
P
e
t
S
can::extract_
a
ffine: remo
v
e u
n
us
e
d var
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n
Verdoolaege
Makefile
.
am
:
add
dummy C
+
+
s
ource file
to pet
a
n
d
pet
_
check
_
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolae
g
e
st
o
p li
n
king i
n
cl
a
ng
l
ibrari
e
s
direc
t
ly i
n
t
o
pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
a
l
so
p
r
i
n
t c
l
a
n
g versi
o
n when prin
t
ing pet version
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
V
er
d
oo
l
aege
README
:
up
d
a
t
e late
s
t
release of LLVM/clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoola
e
g
e
pa
r
se
.
c: remove spurious duplicate declar
a
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sv
e
n Verdo
o
laege
p
e
t
_
sco
p
_free: return struct pet_scop *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
S
v
en Verdo
o
la
e
ge
PetScan::extr
a
ct(StmtRang
e
, bool, b
o
ol): b
r
eak out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven
V
erdo
o
laege
pet_s
c
op_co
l
lect_
{
reads,writes}: take argu
m
ents into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
S
v
e
n Verdoolaege
pet_scop
_
collect_
{
reads,writes}: i
n
t
e
rsect ranges with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoo
l
aege
scan
.
cc: extract_depth:
u
se c
o
rrect dimension type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
pet_expr_from_access_and_ind
e
x:
p
lug memo
r
y leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-08
Sven Verdoolaege
configure
.
ac: remove expli
c
it depe
n
dence on gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven Ve
r
dool
a
e
ge
d
i
s
card incomple
t
ely ext
r
ac
t
ed c
o
mpound s
t
a
t
e
ments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
S
ven Verdoolaege
fix
h
an
d
l
ing
of compo
u
nd statements with initial
p
a
r
tial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
pe
t
_transform_C_source: h
a
ndl
e
m
ultip
l
e explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
add
pet_scop_pri
n
t_original
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
add pet_transform_C_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
ex
t
end Pe
t
ASTCon
s
umer to
extract a scop for e
a
ch function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaeg
e
post-
p
r
osc
e
s
s scops inside PetASTC
o
n
sumer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaeg
e
add pet_
s
tmt_build_a
s
t_exprs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add pet_s
t
mt_print_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
add pet
_
sc
o
p_has_data
_
d
e
pe
n
dent_conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
a
dd pet_scop_has_data_dependent_access
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
pet_check_code:
u
se
i
nde
x
exp
r
essions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
Verdoolaege
p
et
_
ch
e
ck_code:
use isl_id_to_
p
w_
a
ff for keeping tra
c
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verd
o
o
l
a
e
ge
up
d
ate isl for
isl_id_
t
o_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
keep track of i
n
dex exp
r
essions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
scop
.
c:
f
i
x ty
p
o in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next