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_plain_is_disjoint: special case obviously empty inputs
2012-09-13
Sven Verdo
o
l
a
ege
isl_map_plain_
i
s_disjoint: speci
a
l
c
as
e
obviously empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdool
a
ege
isl_basic_map_is_empty: special cas
e
universal inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ve
r
doolaege
i
s
l
_map
_
pla
i
n
_
is_d
i
s
j
oint: fix error handl
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erdoolaege
i
s
l_
a
ff
.
c: fix
t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sv
e
n Verdoolaege
isl_
a
f
f
_normali
z
e:
combine i
d
e
n
tical di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
S
ven V
e
rdo
o
l
aeg
e
isl
_
aff
_
normalize
:
plug in divs with d
e
nominator one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sve
n
V
e
r
doolaeg
e
e
x
tract o
u
t isl_loca
l
_s
p
ace_substitute_seq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdo
o
laege
ex
t
ract out common is
l
_se
q
_subs
t
itute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
isl_a
f
f
_nor
m
a
l
ize: sort divs in
l
ocal space of affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven
Verdo
o
laege
ad
d
isl_local_space_swa
p
_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoola
e
ge
privately
e
x
port i
s
l_mat_cmp_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olae
g
e
add
i
sl
_
map_uncurry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ven V
e
rdoolae
g
e
add isl_union_map_subtract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oolaege
isl_pw
_
*_gis
t
: avo
i
d int
e
rsecti
o
n o
f
domain with context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
e
rdoolaege
isl_ma
p
_i
n
tersect_domain: av
o
id
us
e
le
s
s double rev
e
rse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
V
e
r
doolaege
i
s
l_map_intersec
t
_{r
a
nge,domain}
:
s
top allowing inters
e
c
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoola
e
ge
i
sl_
m
ap_
i
ntersect
:
special case
u
niversal input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl_const
r
aint_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoola
e
ge
a
d
d
isl_pw_multi
_
aff_s
e
t_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoolaege
add is
l
_pw_mult
i
_aff_identi
t
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n
Verdoola
e
ge
dec
l
a
r
e
isl_pw_mu
l
ti_af
f
_align_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
r
doolaeg
e
decl
a
r
e
isl_basic_ma
p
_remove_divs_involving_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoo
l
aeg
e
a
dd isl_
v
ec_fdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add
i
sl_*_list
_
insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verd
o
olaege
declare isl_
m
ap_fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add
isl_basic_ma
p
_upper_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ve
n
Verdool
a
ege
add isl_basic_map_orde
r
_ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoolaege
declare isl_af
f
_
z
e
r
o
_
basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl_vec_
c
oncat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
isl_v
e
c_
f
ree: ret
u
r
n NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ver
d
oolaeg
e
isl_map_free: return N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
V
e
rdoo
l
aege
isl
_
basic_s
e
t_
f
ree: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_
b
a
sic_map_free: retu
r
n NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
i
sl_
s
pace_free
:
retu
r
n NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaege
isl_basic
_
ma
p
_gauss: also set progress if a div expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ven
Verdo
o
laege
isl
_
tarjan_g
r
aph_init: document
the or
d
er of
the com
p
onen
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
isl_aff
.
c: document isl_aff_normalize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
i
sl_aff
.
c:
f
ix
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n
Verdoo
l
aege
hid
e
internal check_h
e
lp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
hi
d
e
interna
l
b
asi
c
_map_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Ver
d
oolaege
isl_map_simplify
.
c: remove_duplicate
_
divs: preser
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoola
e
ge
isl
_
basic_ma
p
_d
r
op_redundant_div
s
: do
n
'
t drop di
v
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdo
o
laege
isl_test: gene
r
al
i
ze subse
t
t
e
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven V
e
rdoo
l
aege
re
n
ame isl_set_dim_has_*_boun
d
to isl_set_dim_ha
s
_any_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
r
elicense isl u
n
der the MIT license
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdo
o
laege
configu
r
e
.
ac: lin
k
agai
n
s
t
same LLVM components as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
Merge
b
r
anch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
e
r
d
oolaege
is
l
_
m
ap_intersect: fix
e
r
r
or ha
n
dlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
S
v
e
n Verdoolaege
is
l
_acces
s
_info_
a
dd_
s
ource: plug
memory
l
e
a
k o
n
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven
V
er
d
oolaege
isl_set_dim_resi
d
ue_
c
lass: corre
c
tly consider all basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
Sven
Verdoolaege
isl_map_s
u
btract: handle dup
l
i
cate d
i
vs in subtra
h
e
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
S
v
en Verd
o
olaege
is
l
_a
f
f_s
c
ale_dow
n
: c
h
eck
for
scaling down by z
e
ro
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verd
o
olaege
add isl_*_list_drop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sve
n
Verd
o
olaege
isl_*_l
i
st_add: d
y
namically grow list to accomodate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdoo
l
aege
c
onfigure
.
a
c
: don't al
l
ow install
a
t
ion
i
n source or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sv
e
n Verdoola
e
ge
add isl_spac
e
_is_r
a
ng
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven V
e
rdoolaege
expor
t
isl_sp
a
ce_is
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
v
en V
e
rd
o
o
l
a
ege
doc: document isl_sp
a
ce_
i
s
_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven
Verdoolaege
add isl_space_is_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdo
o
laege
decla
r
e isl_pw_multi_
a
ff_projec
t
_domain_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven
Ver
d
oolaege
a
d
d
isl_map_has_tup
l
e_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-04
S
v
e
n
Verdoolaege
A
U
T
HORS:
a
dd Mythri Alle
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdoolaege
isl_printer
_
free:
r
eturn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
declare isl_pw_multi_aff_dr
o
p_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Ve
r
d
o
o
lae
g
e
ex
p
o
r
t
isl_mult
i
_aff_gist
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdo
o
laege
extract com
m
o
n
implement
a
tion of
T
arjan'
s
algorith
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoola
e
ge
add isl_point
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_union_map_extract_map: ignore
p
aramete
r
s
in
s
pace
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoola
e
ge
isl_union_
m
ap_extract_m
a
p: rename di
m
argument t
o
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
olaeg
e
isl_map_si
m
p
l
ify
.
c: eliminate_
v
ar_usin
g
_equality: norm
a
lize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
rdoolaeg
e
isl_stream_read_map: force result to be a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
d
oolae
g
e
isl_stream_rea
d
_
m
a
p:
a
ccept r
a
tional a
f
fine expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Ve
r
do
o
laege
add isl
_
map
_
{
l
exmin,lexmax}_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
ege
d
eclare
i
s
l
_map_rem
o
ve_
u
nknown_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
ege
doc: document is
l
_set_remove_unkno
w
n_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Ver
d
o
ola
e
ge
declare
i
sl_map_rem
o
ve_div
s
_
i
nvo
l
ving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
olaeg
e
a
d
d is
l
_basic_set_rem
o
ve_d
i
vs_involving_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
doc: document isl_set_remove_divs_involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
oolaege
add
i
s
l_basic_set_eliminat
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
er
d
oolaege
ad
d
isl_unio
n
_set_f
r
om_basic_set and isl_union_m
a
p_f
r
om_basi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoo
l
aege
add
i
s
l
_basic_{s
e
t,ma
p
}
_
in
s
ert
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Ver
d
oolae
g
e
add isl_basic_{set,m
a
p}
_
align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add
isl_uni
o
n_map
_
domain_prod
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
ven
Verd
o
ol
a
ege
declare isl_bas
i
c_ma
p
_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdo
o
la
e
ge
add
is
l
_pw_multi_aff_pr
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Ver
d
oo
l
aege
add isl
_
p
w_multi_aff_union_
{
lexmin,
l
exmax}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
ege
isl_
s
et_free:
return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_m
u
lti_aff_lex_{le
,
ge}_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
declar
e
isl_multi_aff_get
_
domain_sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ve
r
d
o
olaege
add isl_multi_aff_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Ve
r
doolaege
add
i
sl_aff_
a
dd
_
co
n
s
t
a
n
t_num{,
_
si}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
o
l
a
ege
add isl_id_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Ver
d
oolaege
add isl_
*
_list_s
e
t
_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
ege
a
dd
is
l
_pw_
m
ulti_aff_has_tuple_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdool
a
eg
e
de
c
lare isl_pw_aff_get_
t
u
pl
e
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
ad
d
isl_map_has_dim_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoo
l
aege
add isl_local
_
space
_
has
_
dim
_
id an
d
isl_local_space_get_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
ven Verdoolaege
isl_set_opt: a
l
ign param
e
ters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_mu
l
ti
_
*_set_*: ch
e
ck that
p
ar
a
meters an
d
doma
i
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
e
n
Verd
o
olaege
isl
_
basic_map
_
r
an
g
e_
p
roduct: check
that pa
r
ameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
