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
update isl for isl_set_upper_bound_si
2011-11-02
Sven Verdoo
l
aege
update i
s
l for
isl_set_upper_
b
ound_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sven
V
e
r
dool
a
ege
e
xpli
c
itly l
i
nk in gm
p
when usi
n
g libisl
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
Makefi
l
e
.
am
:
append extra copy of CLANG_LDFLAGS
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
ven Verdoola
e
ge
u
p
d
a
t
e
isl to ve
r
s
ion 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Ve
r
doolae
g
e
update isl
for support for re
c
ent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
accept non
-
affine cond
i
t
ions
i
n
if statement
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven V
e
rdoolaege
pet_scop
_
add
:
also c
o
ll
e
ct the arrays i
n
t
he pet_
s
cops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_s
t
m
t: add
arg
u
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Ve
r
doolaeg
e
p
et_stmt_from_pet_expr: clear all fields o
f
newly created
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdool
a
ege
update
i
s
l for ch
a
nge in
i
sl_pw_
a
ff_set
_
tuple_id
prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
ege
onl
y
distribute b
u
ndled submodules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven
V
erdoolaege
k
e
ep tr
a
ck
of assignme
n
ts to para
m
eters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
r
d
oolaege
e
x
port PetScan:
:
extract_
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
oo
l
aege
b
e more carefu
l
about using para
m
eter
sp
a
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Ve
r
dool
a
ege
update isl for
i
sl_
s
et_from_
p
a
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoolaege
handle e
x
t
raction of scops in
s
ide a
loop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
ven Verdoolaege
pet_st
m
t
_embed: handle NULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en
Verdoolae
g
e
p
e
t
_expr_is_equal
:
not equal if access relation is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
ven Verdoolaege
parse
.
c: extract_ar
g
um
e
n
ts: p
l
u
g
memory leak on
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verdoolaege
updat
e
is
l
f
o
r ch
a
nge in
i
s
l_set_read_from_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdo
o
laege
update isl
f
o
r change in isl_{in,}
e
q
u
a
lity_a
l
loc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolaege
add copyright statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ve
r
doola
e
g
e
pet_sco
p
_extract_fr
o
m_C_source: us
e
a
CompilerInstance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
d
o
olaege
clear as
s
ig
n
ed_value for s
c
a
l
ars
t
h
at are assigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n
V
erdoolaege
PetScan::se
t
_
u
pper_bound
s
: gracefully ha
n
dle errors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdo
o
l
a
ege
update isl for ch
a
nge in space of isl_pw_*
ob
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
doolaege
upda
t
e isl for expli
c
it parameter
s
p
a
c
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoo
l
aege
u
s
e
i
sl_
s
pace_params_all
o
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
V
erdoolaege
update is
l
for isl_space_params_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoola
e
ge
r
e
na
m
e
isl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdoolaege
u
p
d
ate isl for ren
a
me
of isl_d
i
m
t
o
is
l
_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoo
l
a
e
ge
accept
infinite while
l
oops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolae
g
e
add "eq" o
p
erati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
accept
compound
statements wit
h
zero
s
t
a
t
e
ments
w
hen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
g
e
ex
p
r_collect_accesses: use
i
sl_map
_
has
_
tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
erdool
a
ege
check if tuple has i
d
b
ef
o
re calling
i
sl_{
s
et
,
map}_
g
et_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Ve
r
doolaege
updat
e
i
sl
f
or
isl_map_has_tuple_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
Verdool
a
e
g
e
all
o
w declaration of iterator in for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sv
e
n Verdoolaege
update
i
sl for rename of isl_m
a
p
_
i
n
sert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdool
a
ege
handle "liv
e
-out" pragm
a
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pet
.
c
c: extract ou
t
update_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven
Verdoolaege
p
e
t
.
cc: extrac
t
out
get_val
u
e_d
e
cl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
avoid wrap
p
ing on some
s
imple
cases of loops with unsigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verd
o
olaege
wr
a
p res
u
lt
s
of unsigned computations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoo
l
aege
take in
t
o
account
t
hat unsigned
i
terators
may
w
rap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
all
o
w
loop incremen
t
s of the form i = i + c
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven V
e
rdoolaeg
e
allow loop increm
e
nts different from one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
allow
l
o
op incre
m
en
t
s of the form i += 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Verdoolaege
fix check for "simple" loop termi
n
a
tion condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
oolaege
updat
e
is
l
for isl_pw_a
f
f_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Verdoolaeg
e
properly handle g
e
neric condit
i
ons in for lo
o
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
READM
E
: emphasize that we ne
e
d clang libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
update fo
r
rename of getInstantia
t
ionLineNu
m
ber to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
scan
.
c
c: fix typo
i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en V
e
rdoolaege
u
p
d
at
e
isl for fix in isl_m
a
p_intersect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
acc
e
pt affin
e
expressions where we expec
t
a
c
ond
i
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ve
r
doo
l
aege
update isl for isl_pw_aff_no
n
_
zero_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sv
e
n V
e
rdoolaege
ini
t
ial ve
r
sion
of pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree