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_map_from_aff
2012-05-06
Sven Verdoolaege
add isl_map_
f
rom_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolae
g
e
isl_args
_
parse: option
a
lly igno
r
e
--help
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n
Verdool
a
ege
mov
e
gen
e
ric
part of
isl_union
_
pw_q
p
olynomial_mul to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
a
d
d
isl_union
_
pw
_
multi_aff_flat_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
is
l
_
p
w_*_on_shared_domai
n
: allow specification of t
a
rget
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdool
a
e
ge
add isl_
u
ni
o
n_map_from_un
i
o
n
_
p
w_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_aff
.
c:
fix
typo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
ola
e
ge
add isl_union_p
w
_multi_
a
ff_fro
m
_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
l
a
ege
add isl_union_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doolaege
isl_union_pw
_
*:
d
o
n
't assu
m
e
zero
i
s
t
he defaul
t
value
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl_pw_mult
i
_aff_from_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdo
o
laege
export isl_multi_aff_s
e
t_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaege
a
d
d i
s
l_multi_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdool
a
e
g
e
add isl_map_
f
r
o
m_mul
t
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
isl_basic_s
e
t_parameter_co
m
p
ression: u
s
e is
l
_vec_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoolaege
isl_fl
o
w
.
c: use public isl_vec int
e
r
fa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdoolaeg
e
add isl_vec_set
_
si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdoolaege
add isl_v
e
c_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdool
a
ege
ad
d
p
ublic isl_vec
i
n
terface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verdoolae
g
e
add isl_s
e
q_set_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ver
d
oolaege
isl_union_pw_*_fr
e
e
:
retu
r
n NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoola
e
ge
split off
d
eclarations of isl_unio
n
_ma
p
and isl_union_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoo
l
aege
isl_access_info: ch
a
nge interfa
c
e fo
r
spe
c
i
f
yin
g
restrictions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
i
sl_ma
p
_
co
a
l
es
c
e: onl
y
coalesce pai
r
s of
basic maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_coalesce
.
c: change interfa
c
e of {in,}eq
_
s
t
at
u
s_in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
add isl_map_sort_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sv
e
n Verdoolae
g
e
add isl_
s
e
t
_
c
oalesce
t
e
s
t
c
ase
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdo
o
laege
add isl_ba
s
i
c
_map_
g
et_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdool
a
ege
isl_
m
erge_divs: handle
NULL
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven
V
er
d
o
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_local_space_
a
lloc_div: fix error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolae
g
e
isl_union_set_c
o
mpute_sc
h
edule: ign
o
re back
w
ard
proximity
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
is
l
_ba
s
ic_map_inse
r
t: preserve empt
i
ness
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven V
e
rdoolaege
isl_basic_se
t
_total_dim: handle NULL i
n
pu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven V
e
rd
o
olaege
isl_term
_
get_div: sup
p
ort
n
ested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verd
o
olaege
is
l
_
term_get_
d
i
v
: norm
a
l
i
ze
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verd
o
olaege
isl_access
_
info_compute_fl
o
w: s
o
rt access
e
s
in
t
extual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
S
v
e
n Verdo
o
l
aege
isl_flow
.
c: access_sort_cmp:
u
se is
l
_qu
i
cks
o
r
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
S
v
en Ve
r
doolaege
i
sl_qso
r
t
.
h: fix w
h
itespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
S
ven Ve
r
dool
a
e
g
e
isl_map
_
c
oal
e
sc
e
: optionally bou
n
d the coef
f
icie
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Ve
r
doo
l
aege
add is
l
_seq_abs_max
commit
|
commitdiff
|
tree
2012-04-13
Sv
e
n
V
er
d
oolaege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2012-04-13
Sv
e
n
Verdool
a
e
g
e
isl_map_coalesce: don't try to
r
ela
x
(implicit) equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoola
e
ge
i
sl
_
tab_re
l
ax:
prevent relaxation on d
e
a
d
o
r re
d
u
ndant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Sven Verdoolaege
isl_bas
i
c_map_un
i
on: plug memory
leak
o
n
e
rror pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven V
e
rdo
o
laeg
e
isl_stre
a
m
_
read_map
:
allow "
n
ot" at start
o
f
g
roup
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
S
ven Verdoolaege
isl_te
s
t: t
e
st_pa
r
se_map_equal: retu
r
n result of t
e
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven Ver
d
oola
e
ge
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-04-07
Sven
V
erdoolaege
isl_pw_*_on_share
d
_domai
n
:
i
mprove error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven
V
erdool
a
ege
link in new
-
lclang
E
dit when avail
a
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-16
Sv
e
n Verdo
o
laege
is
l
_
*allo
c
macros:
r
eturn expres
s
ion of desired type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sv
e
n Ver
d
oolaeg
e
add isl_m
a
p_fixe
d
_power and
i
s
l
_u
n
io
n
_map_f
i
x
e
d_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ve
n
Verdoolae
g
e
isl_token: change type of "ty
p
e" field from en
u
m
i
s
l_token_t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdoolaege
M
er
g
e
b
r
a
nc
h
'maint'
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n
Verd
o
olaege
isl
_
un
i
on_map_is_su
b
se
t
: prop
e
rly handle
n
on-obv
i
ously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
ege
isl_pw_aff_
c
ond
:
change first argument
f
rom
a
n
is
l
_set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
olaege
add i
s
l_set_{lower,u
p
per}_
b
ound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
add isl_
p
w
_
a
f
f
_n_p
i
ec
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sv
e
n Ve
r
do
o
laege
add
i
s
l_set_ind
i
cato
r
_function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
S
ven Verdoolaege
i
sl_basi
c
_map_aff
i
ne_
h
ul
l
:
c
onside
r
points adjacent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven
V
erdo
o
laege
ad
d
i
sl_set_
h
as_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
S
v
en
Verdoo
l
ae
g
e
doc: mi
n
or
c
lean-up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Ver
d
o
ola
e
g
e
add i
s
l_space_ha
s
_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-25
Sven
V
erdoola
e
ge
configure
.
ac: remo
v
e spurious ","
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
S
v
en Ve
r
doolaege
doc: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven
V
erdoolaege
isl_basic_set_sample:
p
e
rform basis reduction at ea
c
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
add i
s
l
_
bas
i
c_s
e
t_i
s
_subset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sv
e
n V
e
r
doo
l
aege
e
x
po
r
t
i
s
l
_
basi
c
_map_is
_
sub
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Ve
r
doolaege
add isl_
b
asic_set_sample
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sv
e
n
V
erdoo
l
ae
g
e
doc: document *_sample
f
unctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven Verdoolaege
M
e
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2012-02-23
Sven Verdoolaege
is
l
_
coa
l
esc
e
.
c: wrap_in
_
f
a
cets: ba
i
l
o
ut if a
n
y
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven Verdoolaege
isl_test
:
test_coale
s
ce_set
:
fail if coalescing failed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sven Verdoolae
g
e
export is
l
_map
_
plain_
i
s
_
single_
v
alu
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sven
V
erdoolae
g
e
isl
_
tab_basic_m
a
p_
p
artial_lexopt: properly normalize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-20
Sve
n
V
e
rdool
a
eg
e
add is
l
_
m
ap_compleme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
S
ven
V
erdoolaege
isl_m
a
p_fix_si: d
r
op basic maps that h
a
v
e
become emp
t
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Ve
r
doolaege
isl_map
.
c: ex
t
ract out common remove_if_
e
mpty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verd
o
o
l
aeg
e
isl_map
_
c
oalesce: drop
e
mpty part
s
before che
c
ki
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sv
e
n V
e
rdo
o
la
e
ge
Merge b
r
a
n
c
h 'ma
i
nt'
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
isl_convex_hu
l
l
.
c: us
e
t_
c
on
v
ex_hull_wrap_bounded: rem
o
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Ver
d
oo
l
aege
isl_b
a
s
ic_map_realign:
p
reserve (mo
s
t) flags
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sve
n
Verdoolaeg
e
add isl_
p
rinter_
p
rint_pw_aff test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Ve
r
d
o
olaege
isl_basi
c
_m
a
p_foreach_lexo
p
t: normalize isl_a
f
fs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Ver
d
o
olaege
isl_pw_*_union_add: don't subtract
non-ove
r
lapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaeg
e
i
s
l_printer_pr
i
nt_
p
w_aff: sk
i
p constra
i
nts implied
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven V
e
rdoolaeg
e
add isl_basic_set_is_div_constrai
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven V
e
rdoolaege
Merge b
r
anch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven V
e
rdoolae
g
e
isl_printer_p
r
i
nt_pw_aff: fix printing in C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
S
v
en Verdoolaege
isl_stream
_
r
e
ad
_
pw_aff: call isl_pw_aff_un
i
on
_
add
instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaege
isl_vertice
s
.
c: compute_cha
m
bers: avo
i
d acc
e
s
s
to
freed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sve
n
Verd
o
olaege
e
xpo
r
t
isl_pw_multi
_
aff_
c
oalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ve
r
doolaege
exp
o
rt isl_pw_m
u
lti_aff_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
S
ven Ve
r
d
o
olaege
isl_aff_normalize: r
e
m
ove unused divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sve
n
Verd
o
olaege
isl_pw_multi_
a
ff_from_
m
ap: add
a
s
p
ecial c
a
se whe
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolae
g
e
p
rivate
l
y export
isl_basi
c
_map_pl
a
in_is_si
n
gl
e
_valu
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
S
v
e
n Verdoola
e
ge
isl_printer
_
print_pw_aff:
s
implify dom
a
i
n
e
xpression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
S
v
en Verdoola
e
ge
isl_morph
.
c:
fix t
y
po in comme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
Merge
b
ranch '
m
aint'
commit
|
commitdiff
|
tree
2012-02-01
Sven
Verdoo
l
aege
isl_ba
s
ic_set_full_compre
s
sion
:
d
etect equal
i
ties in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next