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
use isl_set_{lower,upper}_bound_si instead of our own open coded version
2011-11-02
Sven
V
e
rd
o
ola
e
ge
u
se is
l
_set_{lo
w
e
r
,u
p
per}_
b
oun
d
_si instead of
our o
w
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verd
o
olaege
update isl
for isl_set_upper_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Verdoolaeg
e
explic
i
tly l
i
nk
i
n
g
mp wh
e
n using libisl
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
S
v
en Ver
d
oola
e
ge
Make
f
ile
.
am: append extra copy of CLAN
G
_LDFLAGS t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven V
e
rdo
o
laege
up
d
a
t
e
isl to ver
s
io
n
0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
T
obias G
r
osser
adapt to
t
he rec
e
nt cha
n
ges
i
n clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
up
d
a
t
e isl for suppo
r
t for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erd
o
olaege
ac
c
ept non-a
f
fine
c
onditions in if
s
tate
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verd
o
olaege
pet_
s
c
op_ad
d
: also collect
t
he arr
a
ys in the pet_scops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolaege
pet_stmt: add argu
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdoolaege
pet_stmt_from_pet_
e
xpr: clear all fields of newly
created
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdoolaege
update isl for cha
n
ge in isl_p
w
_
a
f
f_set_tuple_id pr
o
toty
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doola
e
ge
only distribute
b
undl
e
d
s
u
b
m
o
du
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
r
doolaege
keep track of a
s
signments to parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
export PetSc
a
n
:
:extr
a
ct_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
olaeg
e
be more car
e
ful about us
i
ng p
a
ra
m
eter space
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
update
i
sl for isl_set_from_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoolaege
handle
extraction of sco
p
s insi
d
e
a
loop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven
V
erdoolae
g
e
pet
_
stm
t
_em
b
ed: handle NULL stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verdoolaege
pet_expr_i
s
_equal: not equal if
acc
e
s
s
relation is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
rdool
a
ege
parse
.
c: extrac
t
_
ar
g
uments: plug memory leak on err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verdoo
l
aege
update isl for chang
e
in isl
_
set_r
e
ad_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oolaege
up
d
ate is
l
f
or
c
hang
e
in isl_{in,}equality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
S
v
en Verdoo
l
aege
add
copy
r
ight statement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven
Verdoolaege
pet_
s
c
op_extract_from_C_source: use
a C
o
mpil
e
rInstance
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sve
n
Verdoola
e
ge
clear assigned_value for scalars
tha
t
are assigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en Verdool
a
e
ge
PetScan:
:
set_
u
pper_bounds
:
gracef
u
lly hand
l
e
errors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaeg
e
update isl for
c
hange in space of is
l
_
pw_* object
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
up
d
a
t
e isl for explicit para
m
eter
s
paces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
us
e
isl_space_params_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdo
o
l
a
ege
u
p
date isl for isl_spa
c
e_params_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
r
e
n
ame
i
sl_dim
t
o isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdo
o
laege
upd
a
t
e
i
s
l for r
e
name of isl_
d
im to isl
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolae
g
e
accept infinite while
l
o
ops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
add "eq"
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oola
e
ge
a
c
c
ept
c
ompound statement
s
with zero stateme
n
ts when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
ola
e
g
e
exp
r
_collect
_
accesse
s
: us
e
isl_map_has_tupl
e
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolae
g
e
ch
e
ck
if tuple has id befor
e
calling isl_{set,map}
_
get_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdo
o
l
a
e
g
e
update i
s
l
for isl_map_has
_
tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolae
g
e
al
l
ow de
c
la
r
ation o
f
iterator in for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoola
e
g
e
update is
l
for rename of
isl_map_inse
r
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Tobias Gro
s
ser
Hide w
a
rnings in system he
a
ders
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven
Verdoolaeg
e
h
a
ndle "l
i
ve-o
u
t"
p
ragm
a
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven
Verdo
o
laeg
e
p
e
t
.
cc: ex
t
r
a
ct ou
t
u
p
d
a
te_
a
rra
y
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pet
.
c
c: extract ou
t
ge
t
_value_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
oo
l
aeg
e
av
o
id
wrapping on
s
ome
s
imple cases of loops with
unsign
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Ver
d
oolaege
wrap re
s
ults of
u
nsigned computa
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
t
a
ke int
o
accou
n
t
that unsign
e
d
i
ter
a
to
r
s m
a
y wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
V
erdoolaege
allow loop incr
e
ment
s
of
t
he form
i = i +
cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdool
a
ege
allow loop
i
ncrements differe
n
t
from one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
a
l
low
loop in
c
remen
t
s
of t
h
e form i += 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
ven Verdoolaege
fix check for "simpl
e
" lo
o
p
termin
a
tion co
n
diti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoola
e
ge
update isl for isl_pw_
a
ff_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven V
e
rdool
a
ege
properl
y
handle
generic cond
i
tions
i
n fo
r
loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
READM
E
: em
p
hasize that we need
clang librari
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en
V
erdoolaege
update
f
or rename of
g
e
tIns
t
an
t
iat
i
onLineNum
b
er t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
e
rdoolae
g
e
scan
.
cc
:
fix t
y
p
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en V
e
rdoola
e
g
e
updat
e
isl for fix in isl_ma
p
_
i
ntersect_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ve
r
doolaege
a
c
c
e
pt
a
f
fine expressions
whe
r
e we e
x
p
ec
t
a
c
ondition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
updat
e
isl for isl_pw_aff
_
non_zero_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven van
H
aas
t
r
egt
co
n
figure: check if llvm-config actually exists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Ve
r
doola
e
ge
i
nitial version of pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree