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_union_pw_multi_aff_from_domain
2012-05-06
Sven Verdo
o
lae
g
e
add
isl_union_p
w
_multi_a
f
f_from_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Ver
d
oolaege
a
d
d isl_union_p
w
_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_
u
nion_
p
w_*: don't ass
u
me ze
r
o is t
h
e default value
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdool
a
ege
add
i
sl_p
w
_multi_aff_from_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
er
d
oolaege
export i
s
l_multi_aff_
s
e
t
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n Verdoola
e
ge
a
d
d is
l
_
m
u
l
t
i_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdoolaege
add i
s
l_map_from_mult
i
_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Ve
r
d
oolaege
isl_basi
c
_set_par
a
meter_c
o
mpression: us
e
isl_vec_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doolaege
isl_flow
.
c: use publi
c
isl_vec i
n
t
erfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
d
o
ol
a
ege
add
i
sl_
v
ec_set_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdool
a
ege
add
i
s
l_
v
e
c
_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
add public isl_vec
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolae
g
e
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
n
i
on_pw_*_f
r
ee: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdoolaege
split
off
d
eclaration
s
of isl_union_m
a
p
and isl_union_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Riyadh Baghdadi
isl_map_d
e
ltas: add memo
r
y management a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdoolae
g
e
is
l
_acc
e
ss_info
:
chang
e
inte
r
fa
c
e fo
r
spe
c
ifying res
t
r
ictions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdool
a
ege
i
sl_map_c
o
a
l
esce: o
n
l
y coale
s
ce p
a
i
r
s
o
f bas
i
c maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven V
e
rdoolaege
isl_coalesce
.
c
: change int
e
rface
o
f
{in,}eq_status_i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sv
e
n V
e
rdoolaege
add
isl_map_s
o
rt
_
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoo
l
aege
add isl_set_coale
s
c
e
t
est
cas
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
add isl_basic
_
map_
g
et_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_merge_divs
:
h
andle NUL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoola
e
g
e
Me
r
ge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2012-04-18
S
ven
Verdoolaege
isl_local_space
_
alloc_div: fix err
o
r handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sv
e
n Verdoolaege
isl_union_set_
c
ompute_schedule
:
ig
n
ore ba
c
kward
prox
i
mity
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sv
e
n
V
erd
o
olaege
isl_basic_map
_
insert:
p
reserve emp
t
iness
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Ve
r
doolae
g
e
isl_basic_set_
t
otal_di
m
: handle
N
ULL inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
isl
_
term_get_div:
support nested d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolae
g
e
isl
_
term_get_di
v
:
n
ormalize
resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sv
e
n
V
erdoolaege
isl_ac
c
ess_info_comp
u
te_flow: so
r
t acc
e
sses in textua
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolae
g
e
isl_flow
.
c: access_sort_cmp: use i
s
l_quicksort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
S
ven Verdoolaege
isl_
q
so
r
t
.
h:
f
i
x
white
s
p
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
i
s
l_map_coalesce: optionally bound the coefficients
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
S
v
e
n
V
e
rdoolaege
a
d
d
isl_seq_
a
bs_max
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdo
o
laege
Merge b
r
anch
'maint'
commit
|
commitdiff
|
tree
2012-04-13
S
ven
V
erdoolaege
isl
_
map_coalesce: don't t
r
y
t
o relax (imp
l
i
c
it) eq
u
a
lities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
isl_tab_r
e
lax: prevent
r
elaxati
o
n on dead or redu
n
da
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Sven Verdoolaege
is
l
_basic_map_union: pl
u
g memo
r
y le
a
k o
n
e
r
ror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
L
ouis-Noel Pou
c
het
Fix a
typo in isl_term_dup
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
S
ve
n
Verdoolaege
is
l
_
stream_read_map: a
l
low
"not" at sta
r
t of grouped
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdoolaege
i
s
l
_tes
t
: te
s
t
_
parse_map_equal: return
result of
test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdoo
l
ae
g
e
Merge branch 'm
a
in
t
'
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdoolaege
isl_pw_*_on_shared_domain
:
i
mprov
e
error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sv
e
n Verdoolae
g
e
link in
new -lclangEdit when
av
a
ilable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-16
Sven
V
e
rdoolaege
isl_*alloc macros: re
t
urn expr
e
ssio
n
of
desired
typ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verd
o
olaege
ad
d
is
l
_ma
p
_fixed_pow
e
r and i
s
l_un
i
on_map_fixe
d
_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
isl_token: chang
e
t
y
pe of "t
y
pe" field from enum isl_token_t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-03-06
S
v
en
V
e
rdoolaege
isl_union_map_is_subset: properl
y
handle non-obvio
u
sly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
d
o
olaege
i
sl_pw_a
f
f_cond:
c
hange fir
s
t argument from an
i
sl_set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
ola
e
ge
add is
l
_
set_{lower,upp
e
r
}
_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdo
o
lae
g
e
add isl_pw_aff_n_pie
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolaege
add i
s
l_set
_
indi
c
a
tor_functi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolaege
i
s
l_ba
s
ic_map_affine_hull: cons
i
der point
s
a
d
jacent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven
Ve
r
do
o
laege
add isl
_
set_has_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Ver
d
oolaege
doc: minor clean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolaege
add isl_
s
pace_ha
s
_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-25
S
ven Verdoo
l
ae
g
e
co
n
figure
.
ac: remove spurious ","
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
Sve
n
Verdoolaeg
e
isl_ba
s
ic_set
_
sample: p
e
rform basis reductio
n
at
ea
c
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
a
d
d
isl_basic_set_is_subse
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
S
v
en
Ve
r
doolaege
export isl_ba
s
ic_map_is_
s
ubs
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
add isl_basic
_
s
et
_
sample
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven
Verdoolaege
doc: docum
e
nt
*
_sample functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven Ver
d
ool
a
ege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-02-23
S
v
en V
e
rdoolaege
isl_coalesce
.
c
:
wrap_in_facets:
b
ail out if a
n
y
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven Verdoolaege
isl_test: test_co
a
le
s
ce_set: fail if
coalesci
n
g faile
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sve
n
Verdoolae
g
e
expo
r
t
isl_
m
ap_plain
_
is_si
n
g
l
e
_v
a
lued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
S
v
en
Verdoolaege
isl_tab_basic_map
_
par
t
i
al_l
e
xopt:
properly normalize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-20
Sven Verd
o
o
l
aege
add
is
l
_map_comp
l
ement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-19
T
o
bias Grosser
scheduler: allow to bound
the coefficients in the calcula
t
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-19
Tobia
s
Grosser
isl_ta
b
_basi
c
_set
_
non_trivi
a
l_lex
m
i
n
: do
not add cuts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven
V
erdoola
e
ge
isl_map_f
i
x_si: drop basic maps that
h
ave become
emp
t
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sv
e
n Verdoolaege
i
sl_
m
ap
.
c:
e
xtra
c
t
out common r
e
mo
v
e_if_empty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
isl_map_co
a
lesce: drop empty parts before c
h
eckin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2012-02-14
Sven
Verdo
o
l
a
ege
is
l
_c
o
nvex
_
h
u
ll
.
c: uset_c
o
n
vex_hul
l
_w
r
ap_bou
n
de
d
: remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
S
ven
V
e
r
d
o
olaege
is
l
_basic_map_realig
n
: preserve (m
o
s
t
)
f
lags
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaege
add
is
l
_printer_prin
t
_pw_aff test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven V
e
rdo
o
laege
isl_ba
s
ic
_
map_foreach_lexopt
:
normalize
i
s
l_affs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verd
o
olaege
isl_
p
w_*_u
n
ion_a
d
d: don't su
b
t
ract no
n
-over
l
apping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolae
g
e
isl_pr
i
nte
r
_print_pw_
a
ff:
skip constraint
s
i
m
plied
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolae
g
e
add isl_bas
i
c_set_is_div_constrain
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sv
e
n Verdoolaege
Merge branch 'maint
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Ver
d
ool
a
ege
isl_printer_print_pw_a
f
f: fix
printing
i
n
C
for
m
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdo
o
lae
g
e
isl_stream_rea
d
_pw_aff: call isl_pw_aff_unio
n
_add ins
t
ead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Ve
r
doo
l
aege
isl_vertices
.
c: compute_c
h
ambers: avoid
access
to fr
e
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
S
ven Verdoolaege
e
xport isl_pw_mu
l
t
i_aff_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven V
e
rd
o
o
laege
e
xport
i
sl_pw_mu
l
ti_aff_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ver
d
oola
e
ge
isl_aff_normalize: remove unused di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ver
d
o
olaeg
e
isl_pw_
m
ulti_aff_
f
rom_map
:
add a special
c
ase where
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolae
g
e
p
rivately e
x
port
isl_basic_map_pla
i
n_is
_
s
i
ngle_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven
Ve
r
doolaege
isl_printer_
p
r
int_pw_af
f
:
sim
p
lify domain expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
isl_mo
r
ph
.
c:
fix typo in
c
om
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verd
o
olaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-02-01
Sven V
e
rd
o
olaege
isl
_
b
asic_set_full_compression:
detect equa
l
ities in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven
Verdoolaege
isl_st
r
eam
_
re
a
d_pw_
q
polynomi
a
l
:
accept products of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
is
l
_unio
n
_set_product: ca
l
l isl_set_p
r
o
duct on entries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
S
ve
n
Verdoolaege
isl_tab_pi
p
.
c
: sol_add:
s
kip empty
c
ontexts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next