repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
add isl_pw_aff_div
2012-05-06
Sven Ve
r
doolae
g
e
add isl_map_from_
m
ulti_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Verd
o
olaege
isl_basic_set_paramete
r
_comp
r
e
ssion: use
isl_vec_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n
Verdool
a
e
g
e
is
l
_flow
.
c: us
e
pub
l
ic isl_vec interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
olaege
add isl_vec_set_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en Ver
d
oolaege
ad
d
isl_vec
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdoolaege
add public
i
s
l
_ve
c
interfac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
add isl_seq_set_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolae
g
e
isl_
u
nion_pw_*
_
free:
r
et
u
rn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaeg
e
spl
i
t off declarat
i
ons of isl_un
i
on_map and isl_un
i
o
n
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Riyadh
B
aghdadi
isl_map_de
l
tas
:
add memory management a
n
notation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doolaege
isl_ac
c
ess_info: ch
a
n
ge interface for specifying restr
i
ct
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoo
l
ae
g
e
isl_map_
c
oal
e
sce
:
o
nly coalesce p
a
i
rs
o
f basi
c
maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_coalesce
.
c
:
change interf
a
ce of {in,}eq
_
s
ta
t
us_in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sve
n
Verdoolaeg
e
add is
l
_map
_
sort_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
S
v
e
n Verdoolaege
a
d
d
i
sl_set_coalesce
te
s
t ca
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdool
a
ege
add isl
_
basic_map_get
_
div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_merge
_
divs: handle NULL inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
S
ven
Verdo
o
laege
Merge branch '
m
a
i
n
t'
commit
|
commitdiff
|
tree
2012-04-18
Sv
e
n
V
erdoolaege
isl_loca
l
_space_alloc_div: fix error han
d
l
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
S
v
en
V
erd
o
olaege
isl_union
_
set_co
m
pute_sc
h
edule:
i
gnore backward
p
roximity
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
S
v
en
V
erdoolaege
isl_basic
_
map_insert: preserve em
p
ti
n
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
i
sl_basic_set_
t
otal_di
m
:
handle NULL
i
np
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdool
a
ege
isl_term_get_div: su
p
port nested divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
isl_term_get_div: normalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sv
e
n Verdoolaege
isl_
a
cc
e
s
s_
i
nfo_compute_flow: sort
a
ccesses in textua
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
S
v
e
n V
e
r
doolaege
isl_flow
.
c: acc
e
ss
_
sort_cmp: u
s
e isl_quicksort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sve
n
Verdoolaege
i
s
l
_
qsort
.
h: fix whitespac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sv
e
n Verd
o
olaege
isl_map_
c
oalesce: optionally bound the
coeff
i
cient
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
S
v
en Verdoolaege
a
d
d i
s
l_seq_abs_max
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-04-13
Sven
Ver
d
oolaege
isl_map_coalesce: don't
t
ry
t
o relax
(
impli
c
it) equalit
i
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
isl_
t
ab_rela
x
: prevent relaxation on dead o
r
redundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-11
Sven
Verdoolaege
i
sl_bas
i
c_map_un
i
on: plug memor
y
leak on
e
rror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-11
Loui
s
-No
e
l Pouche
t
F
i
x a typo in isl
_
ter
m
_
d
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdo
o
laeg
e
isl_stre
a
m_read_ma
p
:
a
l
l
ow "not" at
start
o
f
g
roupe
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdoolae
g
e
isl_test: test_parse_ma
p
_equ
a
l: return resul
t
of test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sve
n
Ver
d
oolaeg
e
Merg
e
b
ran
c
h 'maint'
commit
|
commitdiff
|
tree
2012-04-07
Sven V
e
rdoolaege
isl
_
p
w_*_on_sha
r
ed_doma
i
n: improve err
o
r
handl
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
link in new -lclangEdit
w
h
en available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-16
Sven Ve
r
d
oo
l
aeg
e
isl_*alloc ma
c
ros:
return e
x
pressio
n
of d
e
sir
e
d
typ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaege
add isl_m
a
p_
f
ixed_power and isl_union_map_fix
e
d_p
o
wer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verd
o
olaege
i
s
l_token: change
t
y
pe of
"
type" field
f
r
o
m enum isl
_
token_t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoo
l
aege
M
erge b
r
a
n
ch 'maint'
commit
|
commitdiff
|
tree
2012-03-06
S
v
en Verdoola
e
ge
is
l
_uni
o
n_map_
i
s_subset: properly
h
andle non-obviously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
e
ge
isl_p
w
_aff_cond:
c
hange first argument from a
n
isl_set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oolaege
add is
l
_set_{lower,upper}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
ege
add isl
_
p
w_a
f
f_n_
p
iece
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdool
a
eg
e
add isl_set_indicator_function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven
V
erd
o
o
l
aege
i
s
l
_basic_m
a
p_affine_h
u
ll:
consider
p
oints adjacent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sve
n
Verdool
a
ege
add i
s
l_set_has_dim_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verd
o
olaege
doc: minor
c
lean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verd
o
ola
e
g
e
a
dd isl_spac
e
_has_di
m
_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-25
Sven Verdool
a
e
g
e
configure
.
ac: remove spu
r
i
o
u
s ","
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sv
e
n Verdoolaeg
e
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
isl_basic_set
_
sample: p
e
rfo
r
m basis reduction
at eac
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven
Verdoolae
g
e
add isl_basi
c
_set
_
is_sub
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven
V
erdoola
e
ge
e
x
p
o
rt isl_basic_m
a
p
_
is
_
subset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
S
ven
V
erdoolae
g
e
a
dd isl_ba
s
ic_set_s
a
mple
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
doc: documen
t
*
_sample functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-23
S
v
e
n
Verdoolaege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2012-02-23
S
ve
n
Verdoolaege
isl_
c
oalesce
.
c: wrap_in_facets:
b
ail out
if any
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-23
Sve
n
Verdool
a
ege
isl_test: test
_
coalesc
e
_set: fail if coal
e
sci
n
g fa
i
l
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-21
Sven Verdoo
l
aege
export isl_
m
ap_
p
lain_i
s
_
s
ingle_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-21
Sv
e
n Verdoolae
g
e
isl_ta
b
_basic_map_partial
_
lexopt: prope
r
ly normalize
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-20
Sven Verdoolaege
add
isl_map_co
m
plement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-19
Tobi
a
s Grosser
schedule
r
: allow to bound t
h
e
coeffici
e
nts in the ca
l
cu
l
ated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Gro
s
ser
i
sl_tab_basic_set_non_
t
rivial_lexmin
:
do not
add cuts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven Ve
r
doolaege
is
l
_map_fix_si: drop
b
asic maps that h
a
v
e
become
e
mp
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven
Verd
o
olaege
isl_map
.
c: extr
a
ct out
c
ommon remove_if_empty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
isl_
m
ap_coales
c
e
: drop e
m
pt
y
part
s
before checki
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
S
ven V
e
rdoolaege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2012-02-14
Sve
n
Verdoolaege
i
sl_conv
e
x_h
u
ll
.
c: uset_convex_hul
l
_w
r
ap_bounded: remov
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven Ver
d
oolae
g
e
isl_basic_
m
ap_realign:
preserve (most
)
f
la
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven
Verd
o
olaege
add
i
sl_pri
n
ter_print_pw_a
f
f test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verd
o
olae
g
e
isl_basic_map_fo
r
each_lexopt: n
o
r
m
a
liz
e
is
l
_
a
ffs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sve
n
V
e
r
do
o
laege
i
sl_pw
_
*_u
n
ion_add:
don'
t
subtract non-o
v
e
r
lapp
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaeg
e
isl
_
p
rint
e
r_
p
rint_pw_aff
:
skip constra
i
n
t
s
implied
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Ver
d
ool
a
ege
add is
l
_basic_set
_
is_div_
c
o
nstraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven
Verdoolaege
Me
r
ge bra
n
c
h
'maint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sve
n
Verdool
a
e
g
e
isl
_
printer_print_pw_aff: fix print
i
ng i
n
C format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
S
ven Ver
d
oolaege
is
l
_s
t
rea
m
_r
e
ad_p
w
_aff: cal
l
isl
_
p
w
_
a
f
f_union_
a
dd in
s
tea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
S
ven Ver
d
oolaege
is
l
_
v
ertices
.
c:
c
om
p
ute
_
c
h
ambers: avoid access to freed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolae
g
e
e
x
p
ort is
l
_pw_multi_aff
_
coalesc
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
ex
p
or
t
i
s
l_pw_multi_aff_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
isl_aff_normalize:
r
emove unu
s
ed di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sve
n
Verdoolaege
i
s
l_pw_multi_aff_from_m
a
p: add a special ca
s
e where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven
V
erdoolaege
pr
i
vately expo
r
t
is
l
_basic_map_plain_is_si
n
gle_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven V
e
rdoolaeg
e
isl
_
printer_
p
rint_p
w
_
a
f
f: simplify domain expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sv
e
n V
e
rdoolaege
is
l
_morph
.
c: fix typ
o
i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdo
o
laege
Merge branch
'
maint'
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoo
l
aege
isl
_
bas
i
c
_
s
et_full_compre
s
sion: detect equalities in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdool
a
ege
isl_stream_read
_
pw_qpo
l
ynomial: acce
p
t produc
t
s of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
isl_union_s
e
t_product: ca
l
l
isl_set_product on
e
n
t
ries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoo
l
aege
isl_
t
ab_pip
.
c
: so
l
_
a
dd: s
k
ip empty co
n
te
x
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-31
S
v
en Verdoolaege
isl_space_
s
et_
d
i
m_
i
d: also s
e
t id of pa
r
a
m
eter in nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-31
S
v
e
n
V
erdoolaege
isl
_
space_set_dim
_
i
d
: rename "dim" variable to "space
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolae
g
e
scheduler: replace s
p
lit_
p
ara
l
lel by
s
pli
t
_sc
a
l
ed option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
S
v
e
n Verd
o
olaege
ad
d
isl_mat_scale_do
w
n_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Tobi
a
s Gr
o
s
s
er
Add isl_un
i
o
n_map
_
gis
t
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
s
cheduler: a
d
d an o
p
tion
t
o configure the level
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next