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 0.07
2011-07-12
Sven V
e
r
doolaeg
e
i
s
l 0
.
07
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-12
Sven
Ve
r
d
oolaege
r
emove isl_uni
o
n_map_c
o
py_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-12
Sv
e
n Verdoolaege
add is
l
_map_
f
rom_union_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-12
Sven
V
erdoolaege
is
l
_union_map_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-11
Sven
V
erdo
o
laege
isl_un
i
on_
s
et_comp
u
te_sch
e
dule: make preferenc
e
for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Ve
r
doolaege
add isl_pw_aff_le
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sven Verdoolaege
remove d
u
p
licate isl_m
a
p_fast_is_f
i
xed decla
r
at
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-10
Sve
n
Verdoolaege
ad
d
doc/SubmittingPatche
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
Sven Verdoolaege
doc: mention rename of
*
_fast_* to *_pl
a
i
n
_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
Sven V
e
rdool
a
e
ge
su
b
stitu
t
e EXEEXT in bound
_
test
.
sh and pip_t
e
st
.
s
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
Sven Ver
d
oolaege
add is
l
_pw_aff
_
scale
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
Sven
V
erdo
o
laege
add isl_pw
_
aff_eq_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
Sven
Verdoolaege
add isl
_
pw_aff_sub
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
Sven
Verdoola
e
ge
a
d
d is
l
_pw_aff
_
cond
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
Sven Verdoo
l
ae
g
e
add isl_pw_aff_ce
i
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
Sven Verdoolaeg
e
add
i
sl_p
w
_aff_floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
Sven Verdoo
l
a
e
g
e
export isl_
p
w_aff_non
n
eg_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
Sven Verdoolaeg
e
a
dd isl_pw_aff_
s
cale_d
o
wn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
S
ven Verdoo
l
ae
g
e
add
isl_set_inter
s
e
ct_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
Sv
e
n
Verdoola
e
ge
add i
s
l_pw_aff_align_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
Sven Ver
d
oolaege
add isl_pw_aff_lt
_
set and isl_pw_aff_gt_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
S
v
en
V
e
r
doolaege
add
p
riv
a
te isl_local_space
_
r
e
a
l
ign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
Sven
Ve
r
do
o
l
aege
add privat
e
i
s
l_local_space_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-09
Sven V
e
rdoolaege
doc
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-08
Sven Verdoola
e
g
e
remove d
e
precated isl_schedule
i
nterfa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-08
Sven Verdoolaege
Mer
g
e branch '
m
aint'
commit
|
commitdiff
|
tree
2011-07-08
Sven Verdoo
l
ae
g
e
isl_reorde
r
ing
_
extend_dim
:
don't mess with
c
opi
e
s
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-07
Sven
V
e
rdoolaege
hide isl_const
r
aint i
n
terna
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
S
ven Ver
d
oolaege
isl
_
stream_r
e
ad_map: accep
t
alternati
v
e [
i
][j] t
u
ple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-05
Sven Ve
r
do
o
laege
isl_s
c
hedule: don'
t
let use
r
s
g
et access to
intern
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-03
Sv
e
n Verdoolaege
add private isl_*_li
s
t
_
dup
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-03
S
v
en V
e
rdoolae
g
e
add isl_pw_q
p
olynom
i
al
_
read_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-02
Sven Verdoolaege
add is
l
_
bas
i
c_set_
d
rop_con
s
t
r
a
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-02
Sven
V
erdoolaege
isl_lo
c
al_
s
pace_is_equal: check th
a
t d
i
vs
are known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-02
Sven Ve
r
doolaege
is
l
_qpolynomial_from
_
con
s
t
r
aint: reimplement using
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-02
Sv
e
n
V
erdoolae
g
e
isl_
l
ocal_sp
a
ce_g
e
t_div: ch
e
ck th
a
t
t
he div
has a kno
w
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-02
Sven Verdoolaege
a
voi
d
us
e
of i
s
l_constraint_
a
d
d
_div in
i
sl_test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-02
S
v
en
V
e
r
d
oolaege
add isl_aff_from_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-02
Sven Verdo
o
la
e
ge
split off d
e
clar
a
t
ions for isl_aff and is
l
_p
w
_aff to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-02
S
v
en Verdoolae
g
e
add isl_cons
t
raint_get_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-02
Sven Verdoolaege
p
r
ivately export isl_basic_map_divs_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
S
ven Verdoolae
g
e
a
d
d isl_pw
_
aff
_
ge_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
Sv
e
n Verdoo
l
aege
add i
s
l_pw_aff
_
ne
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
S
ven Verd
o
olae
g
e
i
s
l
_printer_print_af
f
:
support pri
n
t
i
ng in C
f
ormat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
Sven Verdoolaege
add i
s
l_af
f
_add
_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
Sven Verdo
o
l
aege
add isl_
a
f
f_dr
o
p_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
Sven Verdoo
l
aege
add isl_aff_i
n
vo
l
ves
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
Sven
Verdoolaege
export isl_
a
ff_add_coefficien
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
S
ven Verd
o
o
l
aege
export
i
sl_pw_aff_g
e
t_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
S
v
e
n Verdo
o
l
a
ege
export isl_pw
_
af
f
_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
Sven
Verdoolaege
export isl_pw_aff_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-01
Sven Verdoolaege
ex
p
ort isl_pw
_
aff_
c
oal
e
sce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sven Verdoolaege
e
x
p
o
rt isl_pw_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sven Verdoolaege
export isl_pw_aff_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sven
V
erdoolaege
add isl
_
local_space_
i
ns
e
rt_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sv
e
n Verdool
a
ege
add isl
_
l
o
ca
l
_
space_drop_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sven
Ve
r
doola
e
g
e
rename isl_loc
a
l_
s
pace_add_dim to isl_lo
c
al_s
p
a
ce_a
d
d_dims
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sv
e
n
V
er
d
o
o
laege
add isl_lo
c
al_space_
i
s_
n
ame
d
_or_nested
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sven
V
erd
o
olaege
add isl_basic_set_set
_
tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
S
v
en Ve
r
doolae
g
e
a
d
d isl_set_remov
e
_r
e
dundancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
Sven V
e
rdoolaege
add isl_vec_insert_zero
_
els
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-30
S
ven Ve
r
doolaege
add isl_vec_drop_els
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-29
Sven Ver
d
oolaege
M
erge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-06-29
Sven Verdoolae
g
e
i
s
l_qpolynomial_inse
r
t_dim
s
: properly
h
andle
named
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-29
Sve
n
Ve
r
dool
a
ege
isl
_
qp
o
ly
n
omial_dr
o
p_dims: properly h
a
ndle nested spac
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-29
Sve
n
Verdo
o
laege
isl_q
p
oly
n
omia
l
_
insert_di
m
s: in
s
ert ze
r
o columns
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven V
e
rdoolaege
i
sl
_
pri
n
t
e
r
_print_pw
_
aff: su
p
port printing in C
format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sve
n
Verdoolaege
add isl_set_dim_ma
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolaege
add isl_
m
a
p
_from_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdo
o
laege
add isl_pw_
a
f
f_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolaege
add isl_pw_aff
a
bstract
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verd
o
olaege
isl
_
pw_*_free:
r
et
u
rn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sve
n
Verdoolaege
add isl_
q
polynomial_sca
l
e
ali
a
s for isl_qpolynomial_mul_isl_in
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolaege
add i
s
l_aff_ge_basic_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolaege
add is
l
_basic_
s
e
t
_forea
c
h_lexmax
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolaege
exp
o
rt isl_b
a
sic
_
map_fo
r
e
a
c
h
_
l
exmax
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdool
a
ege
ad
d
isl_aff_gis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
S
ven Verdoolaege
split off ty
p
e
declar
a
tions for isl_map and isl_
s
et
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
S
ve
n
Verdoolaege
add isl_aff_
s
e
t
_dim_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolae
g
e
add
i
s
l_aff_plain_i
s
_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Ver
d
oolaeg
e
add isl_aff_pl
a
in_is_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sve
n
Verdool
a
ege
add is
l
_aff_sca
l
e_down_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Ve
r
doo
l
aege
add isl_aff_floor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
S
ven Verdoolaege
add isl_aff_ad
d
_constant_s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
S
v
en V
e
rdoolaege
isl_printer_print_af
f
: always print
p
arentheses
a
round
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolaeg
e
add is
l
_local_space_substitute_equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven
V
erdoolaege
add is
l
_loc
a
l_space_set
_
dim_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sve
n
V
e
r
d
oo
l
ae
g
e
ad
d
is
l
_
local_
s
p
a
c
e
_
i
s
_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven
Verdoolaege
isl_pw_te
m
pl
.
c
:
avo
i
d
l
ooking in
t
o internals of
s
ome
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven
V
e
rdoolaege
add isl_point
_
g
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven V
e
rdoolaeg
e
add isl
_
point_
g
et_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolaege
add isl_qpolynomial_fold_get_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sven Verdoolaeg
e
add isl_v
e
c_is_equ
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sve
n
Verdoolaege
add is
l
_int
_
set_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
S
v
en Verdoolaege
add isl_c
o
nfi
g
_
p
ost
.
h to distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-25
Sv
e
n Verdoolaege
renam
e
isl_q
p
olynomial_
i
s_e
q
ual
to i
s
l_qpoly
n
omial_plain_is
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-23
Sven Verdoolaege
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2011-06-23
Sven Verd
o
o
laege
isl_qpolynomia
l
_is_equal: also compare
s
paces and d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-23
Sven Verdool
a
ege
bound
.
c:
v
e
rify
_
p
o
int:
m
a
ke s
u
re
space
s
of compared
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-20
S
ven Verdoolaege
add isl_
d
im_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next