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
AST printing callbacks: pass isl_ast_print_options
2012-09-17
Sv
e
n
Verdoolaege
add isl_union_map
_
subtra
c
t_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Ve
r
doolaege
is
l
_set_from
_
pw_
m
ulti_aff: h
a
ndle NU
L
L
i
npu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_union_map
.
c:
p
lain_injective_o
n
_range: silence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaeg
e
isl_transitive
_
clos
u
re
.
c
:
union_componen
t
s: avo
i
d invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
ven Verd
o
o
laege
isl_range
.
c
qpolynomial_bound_on_do
m
ain
_
range: a
v
oid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolae
g
e
isl_conve
x
_hul
l
.
c: initial_f
a
ce
t
_con
s
traint: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sv
e
n Verdool
a
ege
isl_map_union
:
special c
a
se
universal input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
S
v
en
Verdoolae
g
e
isl_map_gist: special case universal and equal inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
Verdoolaege
e
xport
isl_
s
et_plain_
c
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Ve
r
doolaege
doc: clarify
use of identifi
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
add isl
_
basic_set_re
m
ove_
u
nknown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verd
o
olaege
a
nd
isl_pw_aff_tdiv_q and isl_pw_
a
ff_
t
div_
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoola
e
ge
a
d
d isl_pw_aff_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdoo
l
aege
add isl_set_is_di
s
joint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n
V
erdoo
l
aege
isl_m
a
p
_
plai
n
_is
_
disjoint: sp
e
c
i
al
case ob
v
iously empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
isl_basic_map
_
is_
e
mpty: spec
i
al case unive
r
sa
l
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdoolaege
isl_map_
p
la
i
n_is_disjoint:
fix
error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erdoolaege
isl_aff
.
c:
f
ix typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
isl_aff_normalize: c
o
mbine identi
c
al divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdo
o
laege
is
l
_
af
f
_norma
l
iz
e
: pl
u
g in
d
ivs with deno
m
inator one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdool
a
ege
extract out isl_local_spa
c
e_su
b
stitut
e
_seq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoola
e
ge
extract out comm
o
n isl_seq_substitu
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdoolaege
isl_aff_normalize: sort divs
in local
s
pa
c
e of affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven
Ver
d
ool
a
e
ge
add
isl_local_space
_
swap_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-10
Sven Verdo
o
laege
privately export isl_mat_cm
p
_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verd
o
olaege
add is
l
_map_uncurry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl_unio
n
_
m
ap_s
u
btract_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rdoolaege
is
l
_pw
_
*
_gist: a
v
oid inter
s
ecti
o
n of domain w
i
th co
n
text
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdoolaege
isl_map
_
i
n
te
r
sect_domain: avoid useless d
o
ub
l
e
reverse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoolaege
isl_map_
i
ntersect_{
r
ange,
d
o
main
}
: stop allowi
n
g intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n Verdoolaege
i
sl
_
map_intersec
t
:
sp
e
cial case u
n
iversal input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdoolaege
add isl_constraint_lis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
r
d
o
o
laege
ad
d
isl_pw_mult
i
_
a
ff
_
se
t
_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
r
doo
l
aege
a
d
d
is
l
_pw_multi_aff_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven V
e
rd
o
olaege
declare is
l
_pw_multi
_
aff_
a
lign_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
en Verdoolaege
declare isl_bas
i
c_map_remove_divs_
i
nvolv
i
ng_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add i
s
l_vec_fdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add isl_*_list_inser
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoolae
g
e
declare isl_map_fix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolaege
add
i
sl_basic_m
a
p_upper_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ven Verdool
a
ege
add is
l
_basic_map_ord
e
r_ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoola
e
ge
d
eclare isl_aff_zero_basic_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdool
a
ege
add isl_vec_con
c
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolae
g
e
isl
_
vec
_
f
ree: retu
r
n NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdo
o
laege
isl_map_free:
r
et
u
rn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
v
e
n
V
erdoolaege
isl_basic_set_
f
re
e
: return NU
L
L
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoolaege
isl_bas
i
c_map_fr
e
e: ret
u
rn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sve
n
Verdo
o
laege
isl_space_free: r
e
turn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven Verdoolae
g
e
isl_bas
i
c_m
a
p_gaus
s
: also
set
p
rogress if a div e
x
p
r
ession
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ven V
e
rdo
o
laeg
e
isl_tarjan_grap
h
_
i
n
it: document the order
o
f the
c
omponents
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sv
e
n Verdoolaege
isl_aff
.
c: document isl_a
f
f_no
r
m
alize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
V
erdoolaege
isl_aff
.
c:
fix t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdoolaeg
e
hide
i
nternal check_help
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
S
ven V
e
rdoolaege
hide int
e
rnal basic_map_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-06
Sven
Verdool
a
ege
isl_ma
p
_simplify
.
c: remove_duplicate_divs: preserve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
isl_basic_map_drop_redund
a
nt_divs: don't d
r
op
d
i
v
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
isl_test: gen
e
ralize subset
t
est
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoo
l
aege
rename isl
_
set_dim_has_*_bound to isl_set
_
dim
_
has_any_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
S
ven V
e
rdoo
l
aege
relicense isl unde
r
the MIT license
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaeg
e
con
f
igure
.
ac: link again
s
t s
a
me LLVM components a
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdool
a
ege
M
er
g
e
br
a
nch 'mai
n
t'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoo
l
a
ege
isl_m
a
p
_intersect: fi
x
er
r
or handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
isl_
a
c
c
e
ss_in
f
o_add
_
s
o
urce: plug memory leak on er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
isl_se
t
_dim_residue_
c
lass: corre
c
tly c
o
nsider all basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
Sv
e
n Ve
r
doolaege
isl_map_
s
ubtract: handle du
p
licate divs in su
b
trahend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-13
Sven Ver
d
oolaege
isl_aff_scale
_
down: check f
o
r scaling down by zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven Ver
d
o
o
laege
add isl_*
_
li
s
t_drop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven Verdoolaege
isl_
*
_
l
i
s
t_add: dynamically g
r
ow l
i
st to
acco
m
odate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-10
Sven V
e
rdoolaege
con
f
igure
.
a
c:
d
o
n
't allow installa
t
ion in source o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven Verdoolaege
a
d
d isl_space_is_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
ven Verdoolaege
export
i
sl_space
_
is_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
ven Verdo
o
l
ae
g
e
doc: docume
n
t i
s
l
_space_i
s
_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
S
v
e
n Verdoolaege
add isl_space_is
_
ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sven
V
e
r
d
o
olaege
declare isl_
p
w
_
m
u
lti_a
f
f_project_domain_on_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-07
Sv
e
n Verdoolaeg
e
add isl_map_has_tuple_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-04
Sv
e
n Verdoolaege
AUTHORS: a
d
d My
t
hri All
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
e
n
Verdoolaeg
e
isl_
p
rin
t
er_
f
r
e
e: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
decla
r
e is
l
_
pw_multi
_
a
f
f_dr
o
p_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdoolaege
e
xport isl_multi_aff_gist_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdoolaege
extract common implementation of Tar
j
an's algorithm
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoo
l
a
ege
add i
s
l_point_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_union_ma
p
_ext
r
act_map
:
ignore p
a
r
amete
r
s in space
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Ve
r
doolaege
isl_
u
nion_map_extra
c
t_m
a
p: rename di
m
argument to space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdo
o
lae
g
e
isl_map_simplif
y
.
c: elimin
a
te
_
var_using_eq
u
ality: n
o
rm
a
lize
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
isl_str
e
am_read_map:
f
o
rc
e
res
u
lt to be a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoolaege
isl_stream_read_m
a
p: a
c
cept rational
a
ffine exp
r
essions
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
Sven Ver
d
ool
a
ege
declare i
s
l
_
ma
p
_remove_un
k
nown_di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verd
o
olae
g
e
doc
:
document isl_set_remov
e
_unk
n
o
w
n_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
de
c
lare isl_
m
a
p
_remove_divs
_
i
nvolving
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdoolaege
add isl_ba
s
ic_set
_
remove_
d
ivs
_
i
nvolv
i
ng_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdool
a
ege
doc
:
document isl_set
_
rem
o
ve_divs_
i
nvo
l
ving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
add isl_basic
_
set
_
eli
m
inate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sve
n
Verdoolaege
add isl_u
n
ion_set_from_
b
asic
_
set and isl_union_m
a
p
_from_basi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n
Verdool
a
eg
e
add isl
_
basic_{set,map}
_
inse
r
t_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
S
v
en V
e
rd
o
o
l
aege
a
d
d
isl_basic_{
s
et,map}_alig
n
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sv
e
n Verdoolaege
add isl_uni
o
n_map_domain_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven Verdoolaege
d
e
c
lare is
l
_ba
s
ic_ma
p
_
pro
d
uc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
erdoolaeg
e
add
i
s
l
_pw_multi_aff
_
p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-08-02
Sven
V
e
rdoolaege
add isl_p
w
_
m
ulti_aff_un
i
o
n
_{lexmin,le
x
max}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next