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
isl_term_get_div: support nested divs
2012-04-17
Sve
n
Ve
r
doolae
g
e
isl_term_get_d
i
v: sup
p
ort
n
ested d
i
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
S
v
e
n
Verdoolaeg
e
is
l
_term_
g
et
_
div: norm
a
lize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdo
o
laege
isl_
a
ccess_
i
nfo_compute_flow: sort accesses
in textual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
S
ven Ve
r
d
o
olae
g
e
isl_flo
w
.
c: access_s
o
rt_cmp: use isl_quicksort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdool
a
eg
e
isl_qsort
.
h: fix whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Ve
r
doolaege
isl_map_c
o
al
e
s
c
e: optionally bound
the c
o
efficients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
add i
s
l_seq_abs_max
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
Mer
g
e
branch 'maint'
commit
|
commitdiff
|
tree
2012-04-13
S
v
en Verdoolaege
isl_map
_
coalesce: don't try to relax
(
i
m
p
l
icit
)
equ
a
l
i
tie
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven
V
erdo
o
lae
g
e
isl_tab_rela
x
:
prevent relax
a
t
i
on on
d
ead or redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Sven Verdoolaege
isl_basic_m
a
p_union: p
l
u
g
m
e
m
o
ry leak on er
r
or
p
ath
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Louis-Noel Pouchet
Fi
x
a t
y
po
in
i
sl_term_dup
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
S
ven
V
e
r
doolaege
isl_
s
tr
e
am_read_map: allow "not" at s
t
art of grouped
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven Ve
r
d
o
olaege
is
l
_test: test_
p
arse_m
a
p_equal:
r
eturn result of test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven Ve
r
do
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-04-07
Sven
V
erdoolaege
isl_pw_
*
_on_shared_domain:
i
mprove error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoola
e
ge
link in new -lclangEd
i
t wh
e
n av
a
ilable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-16
Sven V
e
rdoolaege
isl_*alloc mac
r
os: return expre
s
s
i
on of desired type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaege
add isl_map_fixe
d
_power and isl_union_
m
ap_fixed_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
isl_token: change
t
ype
o
f "type"
field from
e
num is
l
_token_t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
isl
_
u
nion_map_is_subset
:
properly
h
andle non-obviously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
is
l
_pw
_
aff_c
o
nd: change first
a
rgumen
t
fro
m
an
i
sl_
s
e
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
add isl_set_{
l
ower,u
p
per}_bou
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
a
dd is
l
_
pw
_
aff_n_piece
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Ve
r
doolaege
add isl
_
set
_
indicator
_
funct
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
S
ven Verdoolae
g
e
isl_basic_map_affine_hull
:
consider
points adjacent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolaege
a
d
d i
s
l_set
_
has_dim
_
n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdo
o
laege
do
c
:
m
inor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolaege
add isl_space_has
_
dim_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-25
Sven Verd
o
olaege
configure
.
ac:
remo
v
e
spurious ","
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
S
v
en Verdoolae
g
e
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaeg
e
isl_
b
asi
c
_set
_
samp
l
e: p
e
r
form basis reduction
at eac
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Ver
d
oolaege
add
i
s
l_basic_set_i
s
_subset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaeg
e
export isl_basic_map_is_sub
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
add i
s
l_
b
asic_set_sample
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
doc: document
*_
s
ample
f
un
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven V
e
rdoola
e
ge
Merg
e
branch
'
main
t
'
commit
|
commitdiff
|
tree
2012-02-23
Sven
Verdoolaege
isl
_
coalesce
.
c: wrap_in
_
facets: b
a
il out if any of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sv
e
n
Ve
r
do
o
laege
isl_test: test_coalesce_set:
f
a
il if coalescing
fa
i
led
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sven Verdoolaege
export isl_ma
p
_plain_is_single_v
a
lued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
S
v
en Verdoolaege
i
s
l
_tab
_
basi
c
_map_partial_lexopt
:
pro
p
erly normalize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-20
Sven V
e
r
doolaeg
e
a
dd isl_map_comple
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-19
Tobi
a
s Grosser
s
c
h
e
d
u
ler: allow to bound the coefficients in the calculated
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Gro
s
ser
isl_tab_basic_set_non_t
r
ivial_lexmin: do
n
o
t add
c
uts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
S
ven Verdoolaege
isl_map_
f
ix_si:
drop ba
s
ic map
s
that have become empty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Ver
d
o
o
laege
isl_map
.
c
: ext
r
act o
u
t comm
o
n remo
v
e_if_e
m
pty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
S
v
e
n
Verdoolaege
isl_m
a
p_coalesce:
drop
e
mpty pa
r
ts before chec
k
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoola
e
ge
M
erge branch
'maint
'
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
isl_
c
o
nvex_hu
l
l
.
c: uset_convex_hull_wrap_b
o
unded: remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
isl_b
a
sic_map_
r
ea
l
ign:
p
reser
v
e (most) flags
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven
Verdoolaege
a
dd is
l
_prin
t
er_print_pw_aff
test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven
V
erdoolaeg
e
isl_basic_m
a
p
_
forea
c
h_lexopt: nor
m
alize is
l
_affs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaege
is
l
_pw_*_uni
o
n_add: don't subt
r
a
ct non-overlappin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven
V
erdoolaege
isl_printer_
p
r
int_pw_aff: skip cons
t
ra
i
nts implied
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
S
ven Verdoolaege
add isl_basic_set_
i
s_di
v
_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdo
o
laege
Merg
e
b
ranch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
S
ven Verdool
a
e
ge
isl_printer_print_pw_aff: fix printing i
n
C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sve
n
Verdool
a
ege
is
l
_
stre
a
m_read_pw_a
f
f
:
c
a
ll isl_pw_aff_un
i
o
n_add in
s
t
ead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolae
g
e
isl_v
e
rtices
.
c: compute_chambers:
a
v
oid access
t
o free
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sv
e
n
Verdoolaege
export isl_
p
w_mu
l
ti
_
aff
_
coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
S
ven Verdo
o
laege
expor
t
i
sl_pw_multi_aff_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdo
o
l
a
ege
isl_aff_no
r
malize: r
e
mo
v
e unused divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoo
l
aege
isl_pw_m
u
l
t
i_aff_from_map: add
a specia
l
c
ase wh
e
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolae
g
e
pri
v
a
t
e
ly expor
t
is
l
_bas
i
c_
m
ap_pl
a
i
n
_
is_sing
l
e
_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven
Verdoolae
g
e
isl_
p
r
inter_print_pw_
a
ff: simpl
i
fy domain express
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sv
e
n Verdoo
l
ae
g
e
i
sl_morph
.
c: fix typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Ver
d
o
o
laege
Merge bran
c
h 'maint
'
commit
|
commitdiff
|
tree
2012-02-01
Sven Ver
d
oolaege
isl_basic_set_ful
l
_compressio
n
: detect
equalit
i
es in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sv
e
n
Verdoolaege
isl_stream_r
e
ad_pw_qpolyn
o
m
ial:
a
c
c
e
pt produc
t
s o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven
V
erd
o
olaege
isl_u
n
ion_set_pro
d
uct:
call isl_set_product on en
t
ries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Ver
d
o
o
laege
i
sl_tab_pip
.
c: sol
_
ad
d
:
s
k
ip empty contexts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-31
S
v
en Ve
r
d
o
olaege
isl_space_set_d
i
m_id: also set id o
f
pa
r
ameter
i
n nest
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-31
S
v
en Verdoolaege
is
l
_space
_
set_d
i
m_i
d
: r
e
nam
e
"di
m
" va
r
iable to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Ver
d
o
o
l
aege
scheduler: replace split_pa
r
allel by split_scaled option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
S
ve
n
V
erdoolaege
a
d
d
i
s
l_mat_scale_down_
r
o
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Tobias G
r
osser
Add
isl_union_map_gist_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
sched
u
ler
:
a
dd an option
t
o configure the leve
l
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-30
Sven V
e
rdoolaege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2012-01-30
Sven Verdoolaege
schedule
.
c: sp
l
it_parallel: avoid invali
d
memory accesses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
S
v
en
Verdoolaege
update
f
or
c
h
ange
i
n
clang's Handl
e
TopL
e
velDecl ret
u
rn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven V
e
rdoola
e
ge
c
o
nfigure
.
ac: only link against
l
ibraries fr
o
m LLV
M
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
S
v
en Verdoolae
g
e
put
annot
a
tions afte
r
"
s
truct"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
Mer
g
e branch 'main
t
'
commit
|
commitdiff
|
tree
2012-01-18
Sv
e
n Verdoolaeg
e
isl_pw_aff_non_z
e
ro_set: don't assume isl_pw_aff i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-18
Sven Verdoolaege
is
l
_
a
ff_non
n
eg_basic_set a
n
d
isl_a
f
f_zero_basic_set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-16
Sven Verdoolaege
isl_tab_
f
rom_basic_map: preserve all
c
onstra
i
nts
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-16
Sven V
e
r
d
oolaege
i
sl_
t
ab_trac
k
_bma
p
:
drop sanity ch
e
cks in
case of
e
mpty tab
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-16
Sven Ver
d
oolaeg
e
isl_tab_track_bmap: make sure we have a unique
copy
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-16
Sven
V
er
d
oo
l
a
ege
isl_ta
b
_tra
c
k_bmap
:
fix memo
r
y leak on
e
rro
r
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-15
Sv
e
n
Verd
o
ol
a
ege
is
l
_basic_map_remove
_
unknown_divs:
r
estart whenever
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-15
Sven Verdoolaege
isl_
m
ap_simple_hull
:
improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-13
Sven Verdoo
l
ae
g
e
e
xport isl_multi_af
f
_drop_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-13
S
ven
V
erdoola
e
g
e
isl_multi_af
f
_drop_dims: handle
removal of
o
utput
d
im
e
n
sions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-13
Sve
n
Ve
r
doolaege
i
s
l
_multi_aff_set_aff: improv
e
err
o
r handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-13
Sven
Verdool
a
ege
a
d
d isl_multi
_
aff_set_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-12
Sven
Verd
o
olaege
is
l
_pw_a
f
f_on_shar
e
d_
d
omain: perform gist on results
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-03
Sven Verdoolae
g
e
a
dd isl
_
aff_project_doma
i
n_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-03
Sven Verd
o
ol
a
ege
add isl_aff_ali
g
n_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-01-03
S
ven
V
er
d
ool
a
ege
isl_printer_print_aff: onl
y
prin
t
(
) when needed
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
