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
explicitly link in gmp when using libisl.la
2011-10-23
Sven Verdoolaege
explicitly link in gmp wh
e
n using l
i
bisl
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sve
n
V
e
r
d
o
olae
g
e
M
a
kefile
.
am: ap
p
en
d
ext
r
a copy of CLAN
G
_LDFLA
G
S
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
ven V
e
rdoo
l
a
ege
up
d
ate is
l
to version 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven V
e
r
do
o
laege
upda
t
e
isl
for
s
uppo
r
t for recent c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
o
l
aege
accept n
o
n-affine conditio
n
s in if s
t
at
e
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
rdoolaege
p
e
t
_
s
c
op_add: also
c
ollect
t
h
e
arrays in the
pet_s
c
ops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
e
n
V
erd
o
ol
a
ege
pe
t
_stmt: add arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pe
t
_stmt_
f
rom
_
pet_
e
x
p
r: clear all fields
o
f newl
y
created
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
u
pdate isl for change
i
n isl_p
w
_a
f
f_set_tuple
_
i
d
prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolae
g
e
onl
y
distrib
u
te bundled sub
m
o
d
ules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n Verdoolaege
keep track of assign
m
ents to par
a
meter
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
olaege
export PetScan::extract
_
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
be more care
f
u
l
about
u
s
ing parameter s
p
aces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verd
o
o
laege
upd
a
te
isl for
isl_set
_
from
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoolae
g
e
h
andle extracti
o
n of scops inside a loop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verdoo
l
aege
pe
t
_stmt_
e
mbe
d
: handle NULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en Verdool
a
e
g
e
pet_expr_is_equal
:
not
e
qual
i
f
a
cces
s
r
elati
o
n is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ver
d
oolaege
pa
r
se
.
c: extract_arguments: plug memory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoo
l
a
e
g
e
update isl for change in isl_s
e
t_read_
f
rom_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
ven V
e
rdoo
l
aege
update isl for ch
a
n
g
e in isl_{i
n
,
}
eq
u
a
l
ity_
a
lloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolaege
add copyr
i
ght statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven
Ver
d
oolaege
pet_scop_extract_f
r
om_C_source:
u
se a CompilerIns
t
a
nce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdo
o
l
a
e
g
e
c
l
ear
a
s
s
igned_value
for scalars that are assi
g
ned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoola
e
ge
P
e
tScan::set_upper_bounds
:
g
r
ac
e
fully handle error
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdo
o
laege
update
i
sl for
chang
e
in
space
o
f
isl_pw_* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl for explicit parameter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
u
s
e isl_space_params_allo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdoolaege
u
p
dat
e
isl for i
s
l_space_params_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
olaege
r
e
n
a
m
e isl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl for
r
ename of i
s
l_
d
im to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ver
d
o
o
l
a
ege
accept infinite while loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add
"
eq" op
e
ration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
e
r
doolaege
ac
c
ept co
m
pound statements with zero statem
e
n
t
s w
h
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ve
r
doolaeg
e
exp
r
_coll
e
ct_access
e
s: use
isl_map_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
e
rdoolaege
chec
k
if tup
l
e has id before callin
g
i
s
l_{set,map}_get_tup
l
e_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
e
rd
o
olaege
update isl fo
r
isl_map_h
a
s_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaeg
e
allow dec
l
aration of itera
t
or in for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
en Verdoolaeg
e
update is
l
f
o
r
rename of isl_map_inser
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven V
e
r
d
o
o
lae
g
e
ha
n
dle "live
-
out" pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verdoolaege
p
e
t
.
cc: extract out update_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven
V
erdoola
e
ge
p
e
t
.
c
c
:
e
xtract
o
ut get_value
_
d
ecl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
e
n
Verdoolaege
a
v
o
id wrapping
o
n
some simp
l
e
c
ases of loops
w
ith un
s
igned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verdoolaege
wrap res
u
l
ts of unsigned computations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
e
n Verdoolaege
t
a
k
e into account that
u
n
signed iterators may wr
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
all
o
w loop
i
ncrement
s
of the
f
orm i = i + cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoolaege
all
o
w lo
o
p i
n
c
rements different
fro
m
one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoola
e
ge
allow loop increments of the form i += 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdool
a
ege
f
i
x
c
h
eck for "simple
"
lo
o
p
t
erminat
i
on condit
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Verdoolaege
update i
s
l for isl_pw
_
aff_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ver
d
oolaege
properly h
a
ndle
g
eneri
c
condit
i
ons
i
n for loo
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
Verdo
o
lae
g
e
README: emph
a
size that we need
clang libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaeg
e
u
pda
t
e for rename of getInstantiationLineN
u
mber to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
s
c
a
n
.
c
c: fix
t
ypo i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
S
ven Verdoolaege
update isl for
fix in isl_map_in
t
e
rsect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
S
ven
V
e
r
doolae
g
e
a
cce
p
t affine e
x
pre
s
sions where we expe
c
t
a condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoola
e
ge
update
i
sl for isl_pw_aff_non_ze
r
o_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
S
ven Verdoolae
g
e
initial version of
pe
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
