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_map_union: special case universal input
2012-09-14
Sven
V
erdoolaege
is
l
_map_u
n
ion:
sp
e
cia
l
cas
e
uni
v
ersal inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verd
o
olaege
isl_map_gist: special cas
e
un
i
versal and
e
qual in
p
u
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdool
a
ege
export isl_s
e
t_plain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdool
a
ege
doc: clari
f
y
u
se of i
d
entifi
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verd
o
olaeg
e
add
i
sl_basic_s
e
t_remove_un
k
nown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
and i
s
l_pw_af
f
_tdiv_q
and isl_pw_aff_tdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdo
o
laege
add isl_pw_aff
_
di
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdool
a
ege
a
d
d isl_set_is_disjoin
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ver
d
o
o
l
aege
isl_map
_
plain_i
s
_dis
j
o
i
nt: special
c
a
se obviousl
y
e
mpty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdo
o
laege
isl_basic_map_i
s
_emp
t
y: special
case univers
a
l in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoola
e
ge
is
l
_
m
ap_p
l
ain_is_disjo
i
nt: fix error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en V
e
rdoolaege
isl_aff
.
c: fix typo in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
S
ve
n
V
e
rdoolaeg
e
i
s
l_aff
_
n
o
rmalize: combine
i
denti
c
al
di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
S
ven Verd
o
o
laege
isl_aff_normal
i
z
e: pl
u
g in divs with den
o
minator o
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sve
n
Verdoolaege
ex
t
ract out isl_local_space_substitute_seq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven
V
er
d
o
olaege
ext
r
act out common isl
_
seq_substi
t
ute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
i
s
l_aff_no
r
ma
l
ize: sor
t
divs in local space of af
f
ine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdool
a
ege
add isl_local_space
_
swap_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
S
v
en Verdoolaege
privately export isl_mat_cm
p
_
div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
To
b
ia
s
Grosser
fix is
l
_uni
o
n_map_det
e
ct_equali
t
ies memory man
a
ge
m
en
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Ve
r
doola
e
ge
a
dd isl_map_
u
ncurry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaeg
e
add isl_
u
n
ion
_
m
a
p
_
subtr
a
ct_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolae
g
e
isl_
p
w_*_gi
s
t
:
avoi
d
intersectio
n
o
f
doma
i
n with context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoolaege
i
s
l_map_in
t
ersect_domain: avoid useless
d
ouble reverse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n Verdoolaege
isl_map_inte
r
sect_{range,domain}: stop a
l
lowing i
n
tersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n
Verdoolaege
isl_map_intersect:
specia
l
case univ
e
r
s
al
i
n
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdoolaeg
e
add isl_con
s
traint_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
aege
ad
d
is
l
_pw_multi_aff_set_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoolaege
add isl_pw
_
m
ult
i
_aff_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
declare isl
_
p
w_mul
t
i_aff_align
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
declare is
l
_basic_map_re
m
ov
e
_di
v
s_inv
o
lving_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoolae
g
e
add isl
_
vec_fdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oolae
g
e
add isl_
*
_list_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Ver
d
o
o
l
a
e
ge
d
e
clare isl_map_fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doola
e
ge
a
d
d
i
s
l
_basic
_
map_upper
_
b
ound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
aege
a
d
d isl_
b
as
i
c_m
a
p_order
_
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
declare isl_aff_zero_basic
_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoo
l
a
ege
add
isl_
v
ec
_
concat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_
v
ec_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doolaege
is
l
_map_free
:
return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_ba
s
ic_set_free: r
e
turn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
o
olaege
isl_b
a
sic_map_free: retur
n
N
ULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
aege
isl_space_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Ver
d
ool
a
ege
isl_
b
a
s
ic_map_gauss: also set prog
r
ess
if a div expressio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doola
e
ge
isl_tarjan_graph_init: document the
ord
e
r
o
f
t
he compo
n
ent
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_aff
.
c: do
c
ument isl_aff_normalize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
eg
e
isl_aff
.
c: fix t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
h
i
d
e
internal check_help
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
h
i
d
e
internal basic_
m
ap_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doolaege
isl_map_simplify
.
c:
r
emove_duplicate_divs: preserv
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sv
e
n
V
erd
o
olaege
isl_
b
asic_map_drop_redundant
_
divs: don'
t
drop divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sv
e
n V
e
r
doola
e
ge
isl_test: genera
l
iz
e
subset test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
e
r
doolaege
rename isl_set_dim_has_*_bound
t
o isl_set_dim_ha
s
_an
y
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdool
a
ege
relicense
is
l
under the MIT
l
i
cense
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verd
o
olaege
configure
.
ac: lin
k
against
s
am
e
LLV
M
compone
n
ts as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Ve
r
doola
e
ge
Merge bran
c
h 'mai
n
t'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Ve
r
doolae
g
e
isl_map_intersect: f
i
x error hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
e
r
doolaege
isl_acces
s
_inf
o
_add_source: p
l
ug memory l
e
ak on
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
isl_set_dim_residue_cl
a
ss: co
r
rectly con
s
ider all
basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
Sven Verdoolaege
isl_map_sub
t
r
a
ct: handl
e
d
u
plicate divs in subt
r
ah
e
nd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
Sv
e
n Verdoolaege
isl_
a
ff_scale_
d
own: check for scaling down by z
e
ro
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdoola
e
ge
add isl_
*
_list_dro
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdoo
l
aege
i
s
l_
*
_list_add: dynamically grow list to a
c
c
omod
a
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdoolaeg
e
configu
r
e
.
a
c
: don
'
t a
l
low inst
a
llation in so
u
rce or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven
V
erd
o
olaege
add isl_space
_
is_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
expo
r
t isl_spac
e
_is_d
o
m
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolae
g
e
doc: do
c
umen
t
isl_s
p
a
ce_i
s
_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
v
e
n
Verdoolaege
add is
l
_s
p
a
c
e_is_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
v
en Verdoolaege
decl
a
re isl_pw_multi_aff_projec
t
_dom
a
in
_
on_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven
V
erdool
a
ege
add isl_map_has_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-04
Sven
V
erdoolaege
AUTH
O
RS:
a
dd Mythri
A
l
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
i
s
l_printer_
f
ree:
retu
r
n NU
L
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoolae
g
e
de
c
lare is
l
_pw_m
u
lti_af
f
_drop_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
export isl_mul
t
i_aff
_
gi
s
t_par
a
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdoolaege
extract co
m
mon implementation of Tarjan's
a
lgorithm
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en
Ve
r
doo
l
a
ege
add isl_point_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
rdoolaege
is
l
_
union_map_extract_map
:
i
g
nore para
m
eters in s
p
a
ce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_union_map
_
e
x
tr
a
ct_map: r
e
name dim
a
r
g
ument t
o
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
i
s
l_map_simpli
f
y
.
c
:
eliminate_var_using_eq
u
al
i
ty: normalize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
doo
l
aege
is
l
_s
t
r
e
a
m_read_map: force res
u
lt to be a m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
oolaege
isl_str
e
am_rea
d
_ma
p
: ac
c
ept rational affine ex
p
ressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verdool
a
ege
add isl_map_
{
lexmin,lexmax}_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verd
o
o
l
aege
decla
r
e is
l
_map_
r
emov
e
_unkn
o
wn_
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolaege
doc: document isl_set_remo
v
e_unkno
w
n_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
ege
decla
r
e isl_ma
p
_remove_divs_
i
nvolving_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verdoolae
g
e
a
d
d isl_basic_
s
et_
r
emove_divs_involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoolaege
doc:
d
o
c
u
ment
i
s
l_set_rem
o
ve_divs_involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
oolaege
add is
l
_basic_
s
et_eli
m
inate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolae
g
e
add isl_union_set_from
_
basic_set and isl_
u
nion_map_from
_
basi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
ven
V
erdoo
l
aege
add is
l
_basic_{set,map}_insert_
d
im
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoola
e
ge
add i
s
l
_
basi
c
_{s
e
t,map}_align_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_u
n
ion_map_domai
n
_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdoolaege
declare
isl_basic
_
map_
p
roduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoola
e
ge
add isl_pw
_
mult
i
_aff_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n
Verdoolaege
add
isl_p
w
_m
u
lti_af
f
_union_
{
lexmin,lexmax}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_s
e
t_free: retu
r
n NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
e
n Verdoolaege
a
dd isl_multi_a
f
f_lex_{
l
e,ge}_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaeg
e
de
c
lare
i
sl_multi_aff_get_domain_s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Ve
r
d
oolaege
add isl_multi
_
aff_
i
denti
t
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
ege
a
dd is
l
_aff_ne
g
_b
a
s
i
c_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next