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_union_pw_*: don't assume zero is the default value
2012-05-06
Sven Ve
r
doolaege
isl_union_pw_*: don't as
s
u
m
e zero is the defaul
t
value
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
Verdoolaege
a
dd
isl_pw_
m
ulti_a
f
f_
f
rom_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
ven Verdoolaege
exp
o
rt isl_multi_aff_s
e
t_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
e
rdoo
l
aege
a
dd isl_multi_aff
_
zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven
V
e
rdoolaege
add isl_map_from_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_ba
s
ic
_
s
e
t_paramet
e
r_c
o
mpres
s
i
o
n
: use isl_ve
c
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven V
e
rdool
a
ege
i
s
l_fl
o
w
.
c:
use public isl_vec
i
n
terfac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
S
v
e
n Ve
r
doo
l
aege
ad
d
i
sl_v
e
c_
s
et_
s
i
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sve
n
Verdool
a
ege
ad
d
isl_
v
ec
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
doolaege
add p
u
blic isl_vec interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdo
o
l
a
eg
e
a
dd
isl_seq_set_
s
i
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Ve
r
d
o
o
l
aeg
e
isl_union_pw_*_free: retu
r
n
NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
split of
f
declarati
o
n
s of isl_u
n
ion_map and i
s
l_union_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Riyad
h
Baghdadi
isl_map_deltas: add memory man
a
g
em
e
nt a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-05-06
Sven Verdoolaege
isl_access_info
:
chang
e
int
e
r
f
ac
e
for s
p
ecifyi
n
g restriction
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven
V
erdoolaege
isl_map_coalesce: only coal
e
sce
p
air
s
of b
a
sic maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdo
o
l
a
ege
isl_
c
o
ales
c
e
.
c
:
change interfa
c
e of
{
in,}
e
q_status_
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verd
o
olaege
add isl_map
_
sort_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoo
l
a
e
ge
add
i
sl_set_coal
e
sce tes
t
case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
S
v
e
n
V
e
rdoolaege
ad
d
isl_basic_map_get_div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoolaeg
e
is
l
_merg
e
_divs:
h
andle NULL i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
Sven Verdoola
e
ge
Merge b
r
anch 'ma
i
nt'
commit
|
commitdiff
|
tree
2012-04-18
Sven Ve
r
doolae
g
e
is
l
_local_space_a
l
loc_div:
fix
e
r
r
o
r handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-18
S
ven Verd
o
olaege
i
sl_union_set_compute_schedule: ignore back
w
ard
prox
i
mity
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
S
v
en Ver
d
oolaeg
e
i
s
l_basic_m
a
p_in
s
ert: preserve e
m
pti
n
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Ver
d
oolaege
isl_
b
asi
c
_set_total_dim: handle N
U
LL in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven
V
erdoolaege
isl_term_get_div: support nested divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-17
Sven Verdoola
e
ge
isl
_
term_get_div
:
nor
m
alize resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven
V
erdoolaege
isl_access_info_comp
u
te_flow: sor
t
acce
s
s
e
s
in textual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
S
v
en Ve
r
d
oolaege
isl_flow
.
c: access_sort_cmp: use
i
sl
_
quicksort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
isl_qsort
.
h
: fix white
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
S
v
en
Verdoola
e
ge
isl_map_
c
o
alesce:
o
pt
i
o
n
ally bound
t
h
e coeffi
c
ients
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven
V
erdoolaege
a
dd isl
_
seq_ab
s
_ma
x
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
Merge br
a
nch '
m
aint'
commit
|
commitdiff
|
tree
2012-04-13
Sven
Verdoolaege
isl_map_coa
l
e
sce: don'
t
try to rela
x
(imp
l
i
c
it) equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-13
Sven Verdoolaege
isl_tab_relax: prevent rela
x
ation on d
e
ad or redun
d
ant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-11
Sve
n
Verdoolae
g
e
isl_ba
s
i
c
_map_union:
plug memory leak
o
n
er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-11
Louis-Noel Pouchet
Fix a typo in isl_term
_
d
up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sv
e
n Verd
o
olaege
i
sl_strea
m
_
r
ead_map: all
o
w "not" at star
t
of grouped
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sven Ve
r
doola
e
ge
i
sl_t
e
st: te
s
t_parse_map_equal: return resu
l
t of te
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-04-07
Sven Verdo
o
laege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2012-04-07
Sv
e
n Verdoola
e
ge
isl_pw_*_on_
s
h
ared
_
domain: improve
e
rror handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-27
Sven V
e
rdoolaege
link in new
-
lclang
E
dit when availabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-16
Sven Ver
d
o
o
l
aege
is
l
_*alloc macros: return e
x
pression of
d
esired
t
ype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-07
Sven Verdoolaege
add isl_map_fixed_power and
i
s
l
_union_map_fix
e
d_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
e
rdoola
e
g
e
i
s
l_toke
n
: change type
o
f
"t
y
pe" field f
r
om en
u
m
isl_token_t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaeg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-03-06
Sven
V
erdoolaege
i
sl_un
i
on_map_is_sub
s
et: p
r
operly handle non-obvio
u
s
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ver
d
oolaege
i
s
l_pw_aff_cond: chan
g
e first argum
e
nt from an isl_s
e
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolaege
add isl_set_{lower,upper}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdo
o
la
e
ge
a
dd isl_pw_aff_n_piece
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolaege
a
d
d isl_set_indic
a
tor_
f
unction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verdoolaege
isl_
b
asic_map_affine_hull: cons
i
der poi
n
ts adjacent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven
Verdoolaege
ad
d
isl_set_has_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven Verd
o
ol
a
ege
d
o
c: minor clean-up
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-26
Sven Ve
r
do
o
laege
add
i
sl_space_h
a
s_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-25
Sven Verdoo
l
aege
configure
.
ac
:
r
emove spurious ","
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdo
o
laege
doc: fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven Ver
d
oola
e
ge
isl_basic_set_sam
p
le: p
e
rform basis r
e
duction at each
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sve
n
Ve
r
doolaege
add isl_basic_
s
et_is_subset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
S
v
en Verdoola
e
ge
export isl_basic_m
a
p_is
_
subset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven Verdo
o
l
a
ege
add isl_basic_set_sample
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-24
Sven
Verdoolaege
doc: d
o
cument *_samp
l
e functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-23
Sven Ver
d
o
o
laege
M
e
rge branch 'main
t
'
commit
|
commitdiff
|
tree
2012-02-23
Sven V
e
rdoolaege
isl_c
o
alesce
.
c: wrap_in_face
t
s:
b
ail
out if any
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-23
Sven Ver
d
oolaege
isl_test: test_co
a
lesce_set: fail if
c
oalescin
g
failed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-21
Sven Verdoola
e
ge
export isl_map_p
l
ain_is_singl
e
_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-21
Sven Verdo
o
l
aege
isl_tab
_
basic_m
a
p_p
a
rtial_lexo
p
t: properly normalize
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-20
Sven Verdoolaege
add isl_map_com
p
lem
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-19
Tobias
G
rosser
s
c
heduler: al
l
o
w to bound the coefficients in the c
a
lcu
l
ated
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-19
Tobias Grosse
r
isl_tab_basic_
s
et_non_tri
v
ia
l
_lexmin: do not add cut
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sv
e
n
V
erdoolaege
isl_
m
ap_fix_si: drop basic map
s
that
h
a
ve become empty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
isl_map
.
c: e
x
tract out
c
o
mmo
n
r
e
move_if_e
m
pty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
S
v
en Verdo
o
laeg
e
isl_map_coal
e
sce
:
d
r
op
empty parts befo
r
e check
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
S
ven
Verd
o
olaege
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2012-02-14
Sven Ver
d
ool
a
ege
isl_convex_hull
.
c: uset_con
v
ex_hull_
w
rap_bou
n
de
d
:
remov
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-14
Sven Verdoolaege
i
sl_
b
asic_map_realign: preserve (mo
s
t)
f
lags
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven
Ve
r
doola
e
ge
add
i
sl_pr
i
n
t
er_print_pw_aff test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
S
ven Verdo
o
laeg
e
isl_basic_map_foreach_lexop
t
: no
r
malize isl_a
f
fs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven
V
erdoolaege
i
s
l
_pw_*_union_
a
d
d:
d
on't subtrac
t
n
on-overlapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdoolaege
isl_pri
n
ter_print_pw_aff:
s
k
ip
constraints
implied
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven
V
erdoolaege
add
isl_basi
c
_
s
et_is_div
_
constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sv
e
n Ver
d
oolaege
Merge bran
c
h 'm
a
int'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sve
n
Verdoolaege
isl
_
pri
n
t
er_print_pw_aff: fi
x
printin
g
in
C
form
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdo
o
l
a
e
ge
isl_st
r
eam_read_p
w
_aff: c
a
l
l
isl_pw
_
a
ff_u
n
i
on_add instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-07
Sven Verdo
o
laege
i
s
l_verti
c
es
.
c: compu
t
e_c
h
am
b
ers:
avo
i
d access to
f
re
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ver
d
o
o
laege
e
x
po
r
t i
s
l_pw_mul
t
i_aff_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
S
ven
V
er
d
oolaege
export isl_pw_multi_aff_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Ve
r
doola
e
ge
isl_aff_nor
m
aliz
e
:
remo
v
e unused divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven
Verdoolae
g
e
isl
_
pw_multi_aff_from_map: add a sp
e
cia
l
case
where
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sv
e
n Ve
r
doolaege
private
l
y export isl_basic_map_plain_i
s
_si
n
gle_v
a
l
u
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
isl_pr
i
nter_p
r
int_pw_aff: simplif
y
domai
n
e
x
pression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaeg
e
isl_mor
p
h
.
c: fi
x
typo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2012-02-01
Sve
n
Verdo
o
laege
isl_basic_set_ful
l
_compr
e
ssion:
d
etect equalities
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven
V
e
rdoolaege
i
sl_stream_read_p
w
_qpolynom
i
al: accept
product
s
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
isl_uni
o
n_set_product:
call isl_
s
et_produc
t
on entries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
i
sl_tab_pip
.
c: sol_add: skip empty contexts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-31
Sven Verdoolaeg
e
isl_s
p
ace_s
e
t_dim_
i
d: also
se
t
id of parameter in nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-31
Sven
Verdoolaege
isl_s
p
ac
e
_s
e
t
_dim
_
id: rename "dim" variable to
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next