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_convex_hull.c: initial_facet_constraint: avoid invalid access on error path
2012-09-15
Sven Verdoolaege
isl_c
o
nvex_hu
l
l
.
c: initial_facet_co
n
st
r
aint: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verdoolae
g
e
isl_map_unio
n
: special
case un
i
ver
s
al input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven
Verdoo
l
aege
isl_
m
ap_gist: special
case universal and
e
q
u
a
l inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en
V
erdoolaeg
e
export
i
s
l
_
set
_
plain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
Verdoolaege
doc: clarify use
o
f identifiers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaeg
e
ad
d
isl_basic
_
set_rem
o
ve_unknown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n
Verdoolaege
and i
s
l_
p
w_a
f
f_tdiv_q and
i
s
l
_
pw_
a
ff_tdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
add isl_
p
w_af
f
_di
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
a
d
d isl_set_is_
d
isjo
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdoolaege
i
sl_map_plai
n
_is_disjoint: special case obvious
l
y empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en V
e
rdoolaege
isl_basic_map_
i
s_empty: special case univers
a
l input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdoolaeg
e
i
sl_map_
p
l
a
in_is_disjoint: fix error handl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erd
o
olae
g
e
isl_a
f
f
.
c: fix typo
i
n co
m
m
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
isl
_
aff
_
normalize: combine i
d
e
n
t
ical
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
S
ven Verdo
o
laege
isl
_
aff_n
o
rmalize
:
plug in
d
iv
s
with
denomina
t
or one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
S
ven
Verdool
a
ege
e
x
tr
a
ct ou
t
is
l
_local_space
_
subs
t
i
tu
t
e_seq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdo
o
laege
extract ou
t
common i
s
l_seq_
s
ubstitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven V
e
rdo
o
lae
g
e
i
sl_
a
ff_
n
orma
l
ize:
sort
d
ivs in local
sp
a
ce of
a
ffin
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verd
o
olaege
add isl_local_space_
s
w
ap
_
div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sv
e
n V
e
r
doolae
g
e
p
riva
t
e
ly export isl_
m
at_cmp_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Tobias Grosser
fix isl_union_map_detect_equali
t
ies memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoolae
g
e
add is
l
_map_uncurry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdool
a
e
g
e
add is
l
_union_ma
p
_subtract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdo
o
laege
isl_p
w
_*_gist: avo
i
d interse
c
tion
o
f doma
i
n wi
t
h cont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoola
e
g
e
isl_map_int
e
rsect_domain: av
o
id use
l
ess d
o
ubl
e
reverse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdo
o
laege
isl_map_intersect_{range
,
doma
i
n}: stop allowing i
n
tersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoolaege
isl_map_intersec
t
: s
p
e
c
i
al case universal input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
laege
add isl_cons
t
r
a
int_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoola
e
ge
a
dd is
l
_pw_
m
ulti
_
a
f
f_set_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
laege
add isl
_
pw
_
multi
_
aff_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
declare isl_pw_
m
ulti_af
f
_ali
g
n_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
declare isl_
b
asic_map
_
remove_di
v
s_in
v
olving_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doolaege
add isl_ve
c
_fdiv
_
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaege
add isl
_
*_l
i
st
_
insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
doolaeg
e
d
eclare is
l
_map
_
fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ven
V
erdoolaege
add i
s
l_basic_m
a
p
_upper
_
bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoola
e
ge
a
d
d isl_basic_map_order_ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ve
n
Verdoolaege
dec
l
are
i
s
l_aff_zero_basic_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoolaege
ad
d
isl_vec_concat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n V
e
rdo
o
laege
isl_vec_fre
e
:
r
et
u
rn NUL
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoolaege
i
s
l
_map_f
r
ee: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
i
sl_
b
asic_set_free: r
e
t
u
rn N
U
L
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoolaege
isl_basi
c
_
map_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoo
l
aege
is
l
_space_free
:
return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en
Verd
o
o
l
aeg
e
is
l
_basic_map
_
gauss: also set
progress
if a div expressio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoolaeg
e
isl_tarjan
_
g
raph_init:
document the order of the
c
om
p
onents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoola
e
ge
isl_aff
.
c: document isl_af
f
_no
r
mal
i
ze
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Ve
r
dool
a
ege
isl
_
a
f
f
.
c: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
hide internal
c
heck_help
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
hide intern
a
l basi
c
_map_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoola
e
ge
isl_map_sim
p
lify
.
c: remo
v
e_
d
u
p
li
c
a
te_
d
ivs: pre
s
e
rve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdo
o
laege
is
l
_basic_
m
ap_drop_red
u
nda
n
t
_
di
v
s: don't drop divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven
V
e
r
dool
a
ege
isl_
t
est:
generalize sub
s
et
test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
S
ven Verdoolaege
ren
a
m
e
isl_set_dim_has_*_bound
t
o
i
sl_set_dim_h
a
s_a
n
y_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolae
g
e
r
e
license isl under
t
he MIT
license
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
S
v
en
Verdoolaeg
e
configure
.
a
c
:
l
i
nk again
s
t same
LLVM compon
e
nts
a
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
Merge branch
'
maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
i
sl_map_
i
nt
e
r
sect: fix error han
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
isl_acce
s
s_info_
a
d
d
_
source:
p
lug me
m
ory
l
eak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdool
a
ege
isl_
s
et
_
dim_residu
e
_
class: corre
c
tly consider all bas
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
Sven V
e
rdoolaege
i
sl_map_subtract: handle dupl
i
cate divs in subtr
a
hend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
Sven Verdoolaeg
e
isl_aff_
s
cal
e
_down:
c
heck for
sc
a
lin
g
d
o
wn by zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdoolaeg
e
add isl
_
*_l
i
st_drop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sv
e
n Verdo
o
l
aege
isl_*_list_add: dynamically
g
row
l
is
t
to accomodate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven
Verdoo
l
aege
configu
r
e
.
a
c
: don't allo
w
installation
i
n source or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven V
e
rdoola
e
g
e
add
i
sl_s
p
ace_is_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
e
x
port isl_space_is
_
do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
doc:
d
ocume
n
t
i
sl_space_is
_
equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sv
e
n
Verdoolaeg
e
add i
s
l_spa
c
e_is_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
declare isl_pw_
m
ulti_aff_p
r
oject_
d
oma
i
n_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdool
a
e
g
e
add is
l
_map_ha
s
_tupl
e
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-04
Sven Verdoolaege
AUTH
O
RS: ad
d
Mythri
A
lle
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n V
e
rdoolaege
i
sl_printer_f
r
e
e: return N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
declare isl_pw
_
multi_aff_dro
p
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoolaege
export isl_multi_aff
_
gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Ve
r
doola
e
ge
extract common implementation
of Tarja
n
's algorithm
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_point_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoolaeg
e
is
l
_
unio
n
_
ma
p
_ext
r
ac
t
_m
a
p: ignore paramet
e
rs in space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_un
i
on_map_extract_map: rename dim argume
n
t to space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Ver
d
ool
a
ege
i
s
l_map_simp
l
ify
.
c
: eliminat
e
_var_us
i
ng_equ
a
lity:
normal
i
ze
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoola
e
ge
isl_str
e
am_rea
d
_map:
force result to be a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoola
e
ge
isl_stream_r
e
ad_map: acc
e
pt
rational affin
e
expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add
i
sl_map_{lex
m
i
n,lex
m
ax
}
_pw_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
e
n
V
e
rdoolaege
declare i
s
l_ma
p
_remove_u
n
known_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdool
a
e
ge
doc: doc
u
ment isl_set_remove_un
k
no
w
n_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n
Verdoolaege
decl
a
re isl_ma
p
_remo
v
e_divs_involv
i
ng_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_b
a
si
c
_
s
e
t_
r
emov
e
_d
i
vs_involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
doc: do
c
ument isl_set_r
e
move_divs_involving
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdo
o
laege
a
d
d
is
l
_
b
asic_set_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en Verdoolaege
add isl_union_set_from_basic_set an
d
isl_union_ma
p
_f
r
om_
b
as
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoolaeg
e
add i
s
l_basic_{set,map}_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoolaege
a
d
d
isl_b
a
s
i
c
_{set,map}_align_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
Verdoolaege
a
dd
i
s
l_u
n
ion_
m
ap_domain_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
o
laege
decl
a
re isl_basic_map_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolae
g
e
add i
s
l_pw_mu
l
ti_af
f
_
p
roduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolae
g
e
a
d
d isl_pw_multi_aff_uni
o
n_{lexmin,lexmax
}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
olaege
i
s
l_set_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdoolae
g
e
a
d
d
isl_mult
i
_aff_lex
_
{le,ge}_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoolaeg
e
de
c
la
r
e
i
s
l_multi_aff_get_doma
i
n_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven V
e
rd
o
olae
g
e
add isl_multi_aff
_
ide
n
t
i
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next