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
allow specification of only lower bound on parameter
2011-11-02
S
v
en Verd
o
olae
g
e
allo
w
speci
f
ication
o
f only l
o
wer b
o
und o
n
parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
use isl_set_{lower,upper
}
_bound_si
i
ns
t
ead
of our own
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ver
d
o
o
la
e
ge
update
isl for i
s
l_set_upper_boun
d
_
si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
S
v
en Verdo
o
la
e
ge
explic
i
tly link in gmp w
h
en using libisl
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sv
e
n Verdoo
l
ae
g
e
Makefile
.
a
m
: append extra co
p
y
of CLANG
_
LDFL
A
G
S
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven
V
erdoolaeg
e
updat
e
isl t
o
versio
n
0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Tobias Grosser
adapt
to the recent
c
h
anges i
n
clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Ver
d
oolaege
updat
e
isl
f
o
r support for re
c
ent
c
langs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolaege
ac
c
ept non-affine conditio
n
s in i
f
statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_scop_add: also coll
e
ct th
e
a
r
ra
y
s i
n
the pet_scops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaeg
e
pet_stmt: a
d
d a
r
g
uments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolaege
pet_stmt_from_
p
et_
e
xp
r
: clea
r
all fields
o
f newly cr
e
ated
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
o
l
a
e
ge
update isl for change in isl_pw_aff_set_tuple_id prototy
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
only
d
i
s
tr
i
but
e
bundled submod
u
les
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ven
Verdool
a
ege
keep
t
r
a
ck
of
a
s
signment
s
to parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
ae
g
e
export PetScan::extract_in
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
l
aege
be m
o
re
c
arefu
l
about
u
sing
p
arame
t
er spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdoolaege
update isl for
is
l
_set_fr
o
m
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoo
l
aege
h
andle extract
i
on of s
c
ops
i
nsid
e
a l
o
op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verdoolaeg
e
p
e
t_s
t
mt_em
b
e
d:
h
andle
N
ULL stm
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
pe
t
_expr_is_equal: not e
q
ual i
f
a
c
ce
s
s relati
o
n
i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verd
o
olaege
parse
.
c: extra
c
t_
a
rg
u
ments
:
plug memory leak on
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verd
o
olaege
update is
l
for
c
hange in isl_set_rea
d
_from
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
ven Verdoolaege
up
d
at
e
is
l
for change in isl
_
{in
,
}
e
quality_allo
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
Sven
V
erdoolaege
a
d
d copyright st
a
tement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
S
v
en Verdoo
l
aege
p
e
t_scop_extract
_
f
r
om_
C
_source: u
s
e a CompilerInst
a
nce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verd
o
olaege
c
l
ear as
s
igned_valu
e
f
or scalars
that are assigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
Pe
t
Scan::set_
u
pp
e
r_bo
u
nds: grac
e
fully ha
n
d
l
e
er
r
ors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
u
p
dat
e
is
l
for change
i
n space of isl_pw
_
*
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verd
o
olaege
update isl
f
o
r
expli
c
i
t
p
arame
t
er
spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
V
erdoolaege
use isl_space_
p
arams_al
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl
f
or i
s
l_sp
a
ce_
p
arams_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
ren
a
me isl_
d
im to i
s
l_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ve
r
d
oolaege
upda
t
e isl for rename of isl_dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdoo
l
aege
acc
e
p
t
i
n
finite while loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add "eq" o
p
eration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
accept comp
o
und statements
w
it
h
zero statement
s
when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolae
g
e
expr_c
o
llect_a
c
cesse
s
: use is
l
_
m
ap_has
_
tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
erdoolaege
chec
k
i
f
tuple
has
i
d before
call
i
ng isl_{set,
m
ap}_ge
t
_
t
u
ple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
ven Ve
r
doolaege
update isl fo
r
isl
_
map_has_
t
uple
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
ven Verd
o
olaege
allow declarat
i
on
o
f iter
a
to
r
in f
o
r loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven
Verdoolaege
upda
t
e isl for
rename of isl_map_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Tobias Gros
s
er
Hid
e
w
arnings in system
headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven V
e
rdoolaege
handle "
l
iv
e
-
ou
t
" p
r
agmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
S
v
en
Verdoolaege
pet
.
cc: extra
c
t out u
p
date_arr
a
ys
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sv
e
n Verdoolaege
pet
.
c
c
: extract o
u
t
get_value_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
e
rd
o
olaege
avoid
wrappin
g
o
n som
e
si
m
ple cases of
lo
o
ps with
unsi
g
n
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolaeg
e
wr
a
p results of u
n
s
i
gned comp
u
tati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n
Ver
d
ool
a
e
ge
t
a
ke into account that unsigned i
t
er
a
tors
m
a
y
wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Ver
d
oolaeg
e
a
llow loop i
n
crements of
the
for
m
i = i + cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdool
a
ege
allow
l
oop incremen
t
s different from one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoolaege
allow lo
o
p
i
n
cremen
t
s of the form i += 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven V
e
r
doolaege
fix ch
e
ck
f
or
"
simple
"
loo
p
termination co
n
dition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verd
o
ola
e
g
e
upd
a
te isl fo
r
isl_pw_aff_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ver
d
oo
l
aege
pro
p
erly h
a
ndle ge
n
eri
c
conditions i
n
for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ve
r
d
o
olaege
README: e
m
phasize that we need clang
l
i
b
raries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
e
n
Verdoolae
g
e
u
pdate for
r
ename of
g
etInstantiationLineNumber to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ver
d
oolaege
scan
.
cc: fi
x
t
ypo
i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdool
a
eg
e
update is
l
f
o
r
f
ix in
i
sl_map_inters
e
ct_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
accept affine expre
s
sions where we e
x
p
e
ct a condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdo
o
la
e
ge
update isl f
o
r isl_pw_aff_n
o
n_zero_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven
van Haa
s
treg
t
configur
e
: check if llvm-con
f
ig ac
t
ually exists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
ini
t
ial version of
pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree