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_printer_get_file
2012-05-06
S
ven Verdoolaege
add isl_printer_g
e
t
_
f
ile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ver
d
oolaege
add i
s
l
_union_map_
c
urry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
ven
V
er
d
ool
a
ege
i
sl_
s
pace
.
c: avoi
d
use of "0"
as pointer
v
a
l
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl
_
map_order_gt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
olaege
add is
l
_map_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Ve
r
doola
e
ge
isl_args_parse: optionally ignore --help
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sv
e
n Verdo
o
la
e
ge
move ge
n
eric part of isl_uni
o
n_pw_qpolynomial_mu
l
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdo
o
lae
g
e
a
dd isl_unio
n
_pw_multi_a
f
f_
f
lat_r
a
nge
_
p
r
o
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoolaeg
e
i
sl_pw_*_on_shared_
d
omain: al
l
ow specificat
i
on of t
a
rget
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
add isl_union
_
map_fro
m
_union_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Ve
r
doolaege
isl_
a
ff
.
c: fi
x
t
y
po in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdoolaege
ad
d
is
l
_u
n
io
n
_
p
w
_
m
u
lti_aff_from_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doolae
g
e
add isl_union
_
pw_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
S
v
en
Verdo
o
l
a
ege
isl_union_pw_*: don't assume zero is the defau
l
t value
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoo
l
a
e
ge
add isl_pw_m
u
lti_aff_from_m
u
lti_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdoola
e
ge
export isl_mul
t
i
_aff_set_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoola
e
ge
a
d
d
isl_multi_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
e
r
do
o
laege
add isl_
m
ap
_
from_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_basic_
s
et_parameter_comp
r
ession: use
i
sl_v
e
c_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdool
a
ege
isl_flow
.
c
: u
s
e public isl_vec interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erd
o
olaege
add isl_vec_set_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoolaege
add isl
_
vec_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verd
o
olaege
a
d
d pub
l
ic isl_ve
c
inte
r
face
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
r
d
ool
a
ege
add
isl_s
e
q_set
_
si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
erdoolae
g
e
isl_union_pw_*_free:
r
eturn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoola
e
ge
split
o
ff declarations of i
s
l_union_map and isl
_
union_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaeg
e
isl_access_i
n
f
o
:
c
h
ang
e
interface
for
s
pecifying re
s
t
r
i
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_map_c
o
alesce:
o
n
l
y
coa
l
esce pairs of basic maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sve
n
Verdoolae
g
e
is
l
_coales
c
e
.
c: change inter
f
ace
o
f {in,}eq_status_in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sv
e
n Verdo
o
laege
a
d
d isl_map_
s
ort_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven
V
erdoolaege
add isl_set_coalesce t
e
st c
a
se
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sv
e
n Ve
r
do
o
laege
add isl_basic_
m
ap_get_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
is
l
_
m
erge_divs: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sv
e
n Ve
r
doolaeg
e
Me
r
ge br
a
n
c
h 'maint'
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaege
isl_local_space_alloc_div: fix error h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-18
Sven Ver
d
ool
a
ege
isl_union_s
e
t_co
m
pute_schedule: i
g
nor
e
backw
a
rd proximity
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sve
n
Verdoo
l
ae
g
e
i
s
l_basic_map
_
insert: prese
r
ve emptines
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
S
ven Ver
d
oolaege
i
s
l_b
a
s
i
c_set_total_di
m
:
h
an
d
le NUL
L
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoolaege
isl_term_get_div: supp
o
rt ne
s
ted d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verd
o
ola
e
g
e
isl_
t
erm
_
get
_
div: normalize re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven V
e
rdo
o
laege
isl_acces
s
_i
n
fo_compute_
f
low: sort access
e
s in textual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sv
e
n Verdoolaege
isl_flow
.
c: acces
s
_sort
_
c
mp: use isl_quicksor
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
i
s
l_qsort
.
h: fix whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
isl_m
a
p_coalesce
:
optionally bound the coeff
i
cient
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven
V
e
rdool
a
ege
add isl_seq_
a
bs_max
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoola
e
ge
Mer
g
e branch 'main
t
'
commit
|
commitdiff
|
tree
2012-04-13
S
ven Verdoolaege
i
s
l_map_coalesce: don'
t
try to relax
(implicit) equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-13
Sven Ve
r
d
oolaege
isl_t
a
b_
r
elax: prevent relaxation on dead
o
r r
e
dundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-11
Sven Verdoo
l
aege
isl_bas
i
c_map_union: plug
m
emory le
a
k on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven
V
e
rd
o
olaege
isl_stream_read_map: allow "no
t
" at start of gr
o
up
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdo
o
laege
isl
_
test:
t
est_pa
r
se_map_e
q
ual: return result
o
f test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-07
Sven Ver
d
oolaege
Mer
g
e branch 'm
a
int'
commit
|
commitdiff
|
tree
2012-04-07
Sven
V
erdoolaege
isl_pw_*_on_
s
ha
r
ed_d
o
main: improve error h
a
n
dl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolae
g
e
link in new -lclangEdit wh
e
n available
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-16
Sven Ve
r
dool
a
e
g
e
isl_
*
a
l
lo
c
macros:
r
eturn expression of
de
s
ired type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verd
o
olaege
ad
d
i
sl_map_fixe
d
_power
and isl_union_map_fixed_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdool
a
e
ge
isl
_
token: cha
n
ge typ
e
of
"
ty
p
e" field fro
m
e
n
u
m
isl_token_t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verd
o
olaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
i
sl_unio
n
_map_is_subset: properly handle non-obviously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
i
s
l_pw_aff_cond: change
f
i
rst 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
Sve
n
Verdo
o
laege
a
d
d isl_pw_af
f
_n_piece
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdo
o
laege
add isl
_
s
et_ind
i
cator_funct
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
S
v
en Verdool
a
eg
e
isl_ba
s
ic_map_affin
e
_hull: consider p
o
ints adjacent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
S
ven Verdoola
e
ge
add i
s
l
_
set_has_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoo
l
a
ege
doc: mi
n
or clean-u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-26
S
ven
Verdoolaege
add
isl_space_has_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-25
Sven Verdoolaege
c
o
nfigure
.
ac: remove
spu
r
ious ","
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven
V
e
rdoola
e
ge
d
oc: fi
x
typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sve
n
Verdo
o
lae
g
e
isl_bas
i
c_set_sample: p
e
rform basi
s
r
educti
o
n at
each
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven
V
erd
o
ol
a
ege
add isl
_
bas
i
c_set_is_subset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sv
e
n Verdoolae
g
e
export isl_basic_
m
ap_is_subs
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdoolaege
add is
l
_b
a
sic
_
se
t
_sample
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-24
Sven Ve
r
do
o
la
e
ge
d
o
c:
d
ocument *_sample functio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sven Verdo
o
l
a
ege
M
erge bra
n
ch 'maint
'
commit
|
commitdiff
|
tree
2012-02-23
S
v
en Verdool
a
e
ge
i
sl_coal
e
sce
.
c: wra
p
_
in_f
a
c
ets: bail out if any of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-23
Sve
n
Verdoolaege
isl_test
:
te
s
t_coal
e
sce_set:
f
ail if
coalesc
i
ng failed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sven Verd
o
olae
g
e
e
xport isl_ma
p
_
pl
a
i
n_is
_
single_va
l
ued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-21
Sv
e
n Verdool
a
e
ge
isl
_
tab_
b
asic_map_part
i
al_lex
o
pt
:
properly no
r
m
ali
z
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-20
Sv
e
n
V
erdoolaege
add isl_map_complement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoo
l
a
ege
isl_map_fix_si: drop basi
c
maps that have
b
ecome e
m
pt
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sve
n
Verdoolaeg
e
isl_map
.
c:
extract
o
u
t
c
ommon r
e
move_if_empty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven V
e
rdoolaege
i
sl_
m
ap
_
coalesce:
d
r
op
e
m
p
ty parts before checking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sv
e
n Verdoolaege
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdool
a
ege
isl_convex_hull
.
c: u
s
et_c
o
nvex_hull
_
wra
p
_bou
n
ded: remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-14
Sven Ver
d
oolaege
is
l
_ba
s
i
c
_
map_real
i
gn:
p
reserve (most
)
fl
a
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdool
a
ege
add isl_printer
_
print
_
pw_aff test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sv
e
n Verdoolaege
isl
_
basic_map_fo
r
each_lexopt:
n
o
r
malize i
s
l
_affs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Ve
r
do
o
laege
i
sl_pw_*_union_add: don't subtract non
-
overlapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaeg
e
is
l
_printer_print_pw_aff: skip c
o
nstraints implied
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Ver
d
oolaege
a
d
d isl_basic_se
t
_
is_
d
i
v_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven
V
erdoolaege
Merge branch
'
maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaeg
e
isl_p
r
inter
_
p
rint
_
pw_a
f
f:
f
ix p
r
in
t
ing in
C
f
ormat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaege
isl_stream_rea
d
_
p
w
_af
f
: call
i
sl_pw_a
f
f_union_add
i
nstead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-07
S
ven Verdoo
l
aeg
e
isl_vertices
.
c
: compute_ch
a
mbers: avoid
acces
s
to freed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoo
l
aeg
e
ex
p
ort
i
sl_
p
w_mul
t
i_aff_c
o
alesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
S
v
en Ver
d
o
olaege
export isl_pw_multi_aff_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
S
ven Ve
r
doo
l
aeg
e
isl_aff_n
o
rma
l
i
z
e: remove unused
d
i
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
isl_
p
w_multi_aff_from_map: add a s
p
ecial c
a
s
e
w
h
er
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-02-02
S
ven
Verdo
o
laege
p
ri
v
ately
export
i
sl_basic_ma
p
_plain_is_s
i
ngle_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next