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_pw_*_plain_is_equal
2011-09-18
Sven Verd
o
ola
e
ge
add isl_pw_*_plain_is_eq
u
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolae
g
e
a
d
d is
l
_
s
et_plain_
c
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
add
is
l
_map_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en Verdoolaege
isl_stream_
n
ex
t
_
t
ok
e
n: trea
t
"-0" as two token
s
'-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n
V
erdoolaege
drop "n
p
aram
"
argumen
t
from isl_{set,map}
_
rea
d
_from_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
S
ven Verdoolaege
doc: documen
t
*_move_d
i
ms func
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
ven
Verdo
o
laege
dr
o
p i
s
l_div abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
isl_{in,}equality_allo
c
:
ta
k
e isl_local_space
intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
ven Ve
r
doolaege
do
c
: upda
t
e example cod
e
to change
i
n r
e
tur
n
type of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
S
v
en Verdoolaege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-09-09
Sven Ver
d
oolaege
provide
f
u
ll protot
y
pes
f
o
r
some
f
unctions w
i
th no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
doc: fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ver
d
o
olaege
a
dd isl_set_
g
i
s
t_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
m
a
ke is
l
_pw_* object l
i
ve in a map space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
add isl_space_extend
_
domai
n
_with
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdool
a
eg
e
add i
s
l
_
sp
a
ce_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdoolaege
a
d
d
isl_local_space
_
is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_l
o
cal_s
p
ace_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
impl
e
m
ent isl_
c
onstraint on top of isl_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rd
o
olaege
add isl
_
v
e
c_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_aff
.
c: extract
i
sl_local_space_get_a
c
tive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_
o
utput
.
c
:
drop redundant "s
e
t
"
argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l_union_*_a
l
loc
:
pro
j
ect spac
e
onto par
a
meters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
explicitly dif
f
erentiate
b
et
w
een spa
c
e
s
of maps
,
se
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verd
o
o
l
aege
a
llow
isl_ids with negative
reference counts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
proper imple
m
en
t
ation of isl_un
i
on_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolae
g
e
isl_m
a
p_fr
o
m_domain
_
and_range: drop
e
xpl
i
ci
t
conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
ol
a
e
g
e
i
s
l_set_ap
p
ly_pw_qpolynomi
a
l_fold: drop
explicit
conve
r
s
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl_tab_ba
s
ic_set_non_trivial_lex
m
i
n: drop ex
p
li
c
i
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_tab
_
pip
.
c: f
i
x whites
p
a
ce is
s
ue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
olaege
isl_set_read_from_*: coerce
set-like ma
p
s int
o
sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
i
s
l_
i
nput
.
c: m
a
p
_
rea
d
_p
o
ly
l
ib: con
v
ert set
-
like maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_input
.
c:
o
b
j_read: start off
f
rom parame
t
er space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rd
o
ol
a
ege
isl_input
.
c
: represent n
e
sted tuple as isl_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_input
.
c: obj_
r
ead_poly_or_fold: represent domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
isl
_
basi
c
_s
e
t_multip
l
ica
t
i
ve_call: explic
i
tly
p
roject
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
Verdool
a
ege
i
s
l_p
w
_qpolynomial_fold_bound: ex
p
lic
i
tly projec
t
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rdoolaege
isl
_
qp
o
lyno
m
i
a
l_bound_on_
d
o
m
ain_
b
e
rnstein: e
x
plicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdool
a
ege
isl_qpolyn
o
mi
a
l
_
b
o
u
n
d_on_domain_ran
g
e: explicitly pr
o
ject
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
i
s
l_union
_
map_from_
m
ap: explicitl
y
proj
e
c
t
on pa
r
am
e
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
olaege
isl
_
union
_
map_align_params:
e
x
plicitly project on parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoola
e
g
e
isl_polynomial
.
c: constant_on_domain: explicitly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
basic_set_dim_max: expli
c
i
tly project on par
a
meter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_basic_set_compute_vertices: ex
p
l
i
c
itly
turn chambers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaeg
e
bound
.
c:
e
xpli
c
it
l
y
conve
r
t context into param
e
te
r
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdo
o
laege
pip
.
c:
expl
i
citl
y
c
o
nvert contex
t
into parameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
add
isl_pw_qpolynomial_fold_p
r
oject_domain_on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verd
o
olaege
add isl_qpolyno
m
ial_project_domain_on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
add isl
_
p
w
_qpolynomial_pr
o
ject_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_morph_{dom,ran}_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
add
isl_basic_set_params
and isl_set_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add i
s
l
_
spa
c
e_par
a
ms_al
l
oc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl_stream_read_
s
et: accept pa
r
a
me
t
e
r
domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_pw_q
p
oly
n
omial_fold_boun
d
: sim
p
lify con
s
tr
u
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verd
o
ol
a
ege
isl_t
e
s
t
.
c: proper
l
y
create se
t
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaege
isl
_
ma
p
_range_map: fix
s
pac
e
manipulation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ver
d
oolaege
isl_map_ran
g
e: construct correct space for
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
Verd
o
olaege
isl_
b
asic_
s
e
t
_
a
l
loc: cr
e
a
t
e
basic set in proper se
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
i
s
l_
s
pace
_
wrap: prop
e
r
l
y create set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
a
dd isl_set_from
_
pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoo
l
aeg
e
ren
a
me PW_a
l
loc_ to
PW_allo
c
_
s
i
ze
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verd
o
olaege
isl_pw_*
_
add_disjoi
n
t: tr
y
and
extend
o
ne
o
f the pws
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ve
r
doola
e
ge
isl_space_ma
t
ch: optimiz
e
trivial cases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdool
a
eg
e
ad
d
isl_map_flat_doma
i
n_p
r
oduc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_access_in
f
o_comput
e
_flow: alig
n
para
m
eters of input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
align parameters
of arguments to isl
_
map_{lexmi
n
,lexmax}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
i
sl_space_a
l
ign_params: accept genera
l
isl
_
s
p
aces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
ad
d
isl_space_
p
a
ram
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoo
l
aege
r
ename isl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven V
e
rdoolaege
d
ocument
isl_dim_m
o
ve
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven
Verdo
o
laege
s
p
l
i
t off declarat
i
o
ns fro
m
i
s
l
_polynomial
.
h
to separate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
merge
isl_*_dump functio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolae
g
e
a
dd isl_se
t
_dim_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaeg
e
a
d
d
i
sl_ba
s
ic_se
t
_
f
oreach_lexo
p
t
commit
|
commitdiff
|
tree
2011-09-01
Sven Verd
o
o
laege
add
isl_pw_aff_
u
nion_opt
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n
V
e
rdoolaege
a
d
d isl_pw_aff_union_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven
Verd
o
ol
a
ege
add
i
sl
_
aff_le_basic_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven
V
erdoolae
g
e
i
s
l_
q
poly
n
omial_fre
e
: r
e
turn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
Sven
V
er
d
oolaege
Merge br
a
nch
'm
a
int'
commit
|
commitdiff
|
tree
2011-08-31
S
v
en Verdoo
l
aege
isl_qpolyn
o
m
i
a
l_rat_
c
st: han
d
le N
U
L
L
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdo
o
laege
bernste
i
n_c
o
effici
e
nts_cell: handle NULL poly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sve
n
Verdoolaege
i
s
l_printer_to_str: intia
l
ize buffer to empt
y
string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
S
v
e
n Ver
d
o
o
laege
isl
_
map_inse
r
t:
properly
h
a
ndle
named or nested s
p
aces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdoolaege
isl_
s
e
t_f
l
at_p
r
oduct: call isl_ma
p
_
r
ange_flat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
Sven Verd
o
olaeg
e
add some isl_
m
a
p_plai
n
_is_fixed
t
e
s
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
Sven Ve
r
doolaege
isl_basi
c
_m
a
p_neg: gauss r
e
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n Verdoolaege
isl_di
m
_get_tuple
_
id: complain if
t
uple
h
as no id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
erdo
o
laege
isl_di
m
_get_dim_id: c
o
mp
l
a
in if dim has n
o
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ver
d
o
olaege
add isl_*_has_tuple_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
ven Verdoolaege
add isl_*_has_dim_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en V
e
rdo
o
laeg
e
doc: war
n
a
bou
t
t
he limited use o
f
identifiers of ind
i
vidual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sve
n
Verdo
o
laege
docume
n
t
isl_map_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sve
n
Verdoolaege
re
n
ame isl_map
_
insert t
o
isl_set_insert_dims and add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
Merge branch 'm
a
i
nt'
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
i
s
l
_
dim_
e
qual: h
a
ndle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
ven
Verdo
o
laege
isl_dim_
t
uple_match: handle NU
L
L i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Sven Verd
o
olae
g
e
isl_map_is_s
u
bset:
a map can
n
o
t be a
s
sub
s
et of a map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-06
Sven V
e
rd
o
ola
e
ge
documen
t
isl_map_
p
l
a
i
n_is_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verd
o
olaege
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-08-05
Sven
V
erdoolaege
isl_set_product:
call isl_map_
r
an
g
e_
p
r
oduct instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next