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
add isl_aff_eval
2018-03-18
Sven Verdoo
l
aege
add isl_af
f
_eval
commit
|
commitdiff
|
tree
2018-03-18
S
v
en Verdoolaege
a
d
d
isl_local_space_lift
_
point
commit
|
commitdiff
|
tree
2018-03-18
Sven
V
e
rdoolaege
a
d
d
i
sl_l
o
cal_sp
a
c
e
_
h
as_space
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdool
a
ege
isl_
q
po
l
y
nomial_eval: ex
t
rac
t
out isl_local_exte
n
d_point_vec
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdo
o
laege
isl_p
o
l
y
n
omial
.
c:
isl_u
p
ol
y
_eva
l
: check
f
or NULL argument
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
add isl_vec_add_el
s
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolae
g
e
isl_loca
l
_space_
d
ivs_kn
o
wn: extr
a
ct out isl_
l
o
c
al_div
s
_
k
n
ow
n
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_local
.
c:
extract o
u
t share
d
isl_local_dim
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n Verdool
a
ege
isl_loca
l
.
c: extract out
s
hared isl_local_get_ct
x
commit
|
commitdiff
|
tree
2018-03-04
S
ven Verdool
a
ege
isl_space_is_domain: extrac
t
out isl_space_has_domain_tuples
commit
|
commitdiff
|
tree
2018-03-04
Sven V
e
rd
o
olaege
p
riva
t
ely export isl_map
_
is_params
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n Verdoolaege
i
s
l_pw_*_get_
s
pace
:
extrac
t
out
i
sl_pw_
*
_
p
e
e
k_space
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
isl_aff
.
c: pw_aff_aff_on_domai
n
: explicitl
y
insert
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n Verdoolaege
add isl_aff
_
fro
m
_range
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
e
rdoola
e
ge
ad
d
isl_aff
_
{
t
a
ke,rest
o
r
e}_domai
n
_local_space
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n Verdoolaege
add isl_
l
ocal_space_set_from_params
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n
Verdoolaege
a
d
d
i
s
l
_
lo
c
al
_
space_{take,restore}_sp
a
ce
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdo
o
laege
specializ
e
isl_space_r
e
place to isl_space_replace_pa
r
ams
commit
|
commitdiff
|
tree
2017-11-29
Sven
Ver
d
oolaege
isl
_
reordering_extend_space
:
rename
"dim" argument
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven V
e
rdoolaege
isl_sp
a
ce_fl
a
t
t
en_range: rename "dim" arg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
S
ven Verdoolaege
isl_s
p
ace_flatten_do
m
ain: rename "dim"
a
r
g
umen
t
to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdoolaege
rem
o
v
e depr
e
cated band f
o
rest
s
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
add isl_ve
c
_zero
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
s
pace_fac
t
or_dom
a
in: accept set
s
p
ace input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_s
p
ace
.
c:
move isl_s
p
ace_factor_domain down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
Sv
e
n Verdoola
e
ge
i
s
l_coalesce
.
c: extr
a
c
t
out
s
hared fin
d
_
eq and find_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven
V
erdoolaege
isl_c
o
alesce
.
c: extract
out shared count_e
q
and co
u
nt_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven Verd
o
o
laege
isl_co
a
lesce
.
c
: e
x
tract out shared any_eq and any_ineq
commit
|
commitdiff
|
tree
2017-09-18
S
ven Verdo
o
laege
bound
.
c: directly
i
nc
l
ude
r
equired header
commit
|
commitdiff
|
tree
2017-09-18
Sven Ve
r
do
o
l
a
eg
e
isl_sch
e
dule_tree
.
c:
d
irectly
i
n
clude required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
ol
a
ege
isl_s
c
hedule_read
.
c
:
dir
e
ct
l
y include required header
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoolaege
isl_schedule_band
.
c: direc
t
ly includ
e
required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
is
l
_sched
u
le
.
c: directl
y
include required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdo
o
laege
isl
_
range
.
c
:
directly include
requ
i
red head
e
r
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdool
a
ege
i
sl_ob
j
.
c: directly include required
h
eader
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verdo
o
laege
is
l
_flow
.
c: directly includ
e
r
e
q
uired headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoola
e
ge
isl_ast
_
codegen
.
c: directly include requir
e
d headers
commit
|
commitdiff
|
tree
2017-09-18
S
v
en V
e
rdo
o
l
a
ege
isl_
a
st_build_ex
p
r
.
c
: directly include requir
e
d headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoo
l
a
e
g
e
i
sl_ast_build
.
c: directly include required head
e
rs
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoolaeg
e
isl_a
s
t
.
c:
d
irectly incl
u
de requi
r
ed header
commit
|
commitdiff
|
tree
2017-09-18
S
ven V
e
rdoola
e
g
e
isl_list_templ
.
c: directly include
r
equired header
commit
|
commitdiff
|
tree
2017-08-08
Sven Verd
o
o
l
a
eg
e
isl_map
_
universe: rena
m
e "dim
"
ar
g
um
e
nt to "spac
e
"
commit
|
commitdiff
|
tree
2017-08-08
Sv
e
n Ver
d
oola
e
g
e
i
sl_map_empty: rename "dim" argum
e
nt to "space
"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verd
o
ola
e
ge
isl_basic_map_universe: rename "dim" argum
e
n
t
t
o "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoo
l
ae
g
e
isl_ba
s
ic
_
m
a
p_empty: rename "dim
"
argu
m
ent to
"
s
p
a
ce
"
commit
|
commitdiff
|
tree
2017-08-08
S
v
e
n
Verdoolaege
i
sl_set
_
un
i
verse: rename
"d
i
m" argument to
"
space"
commit
|
commitdiff
|
tree
2017-08-08
Sven V
e
rdoolaege
isl_set_
e
mpty: rename "di
m
"
argumen
t
to "space
"
commit
|
commitdiff
|
tree
2017-08-08
Sv
e
n
V
er
d
oolaege
i
s
l_
b
asic
_
set
_
universe: r
e
na
m
e "di
m
" argu
m
en
t
to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaeg
e
isl
_
basic_set_em
p
ty: rename "dim" argument to "
s
pace"
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoolaege
is
l
_
acc
e
s
s
_in
f
o
_compute_flow: support "kill" acces
s
es
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verdoolaege
isl_union
_
m
ap
.
c: sub
t
r
a
ct_entry: use
is
l
_unio
n
_map_get_ct
x
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
o
olae
g
e
isl_unio
n
_map
.
c
:
s
u
btract_en
t
ry: use
i
sl_map_g
e
t
_
space
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoola
e
ge
i
s
l_union_
m
a
p
.
c: rename has_
d
im to has_space
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdo
o
laege
isl_union_map
.
c:
h
as
_
di
m
: re
n
ame "dim" var
i
a
b
le to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdool
a
ege
add
isl_flow applicati
o
n
commit
|
commitdiff
|
tree
2017-06-08
S
v
e
n V
e
rdo
o
laege
scheduler: explo
i
t lineality space
i
n difference set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdo
o
laeg
e
add isl_u
n
ion_
s
et_c
o
mbined_li
n
eality_
s
p
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaeg
e
p
r
ivat
e
l
y
e
x
p
or
t
is
l
_s
e
t_comb
i
ned_linea
l
i
t
y_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Ve
r
doolaeg
e
isl_basi
c
_set_lineal
i
ty_s
p
ace:
al
l
ow
lo
c
a
l varia
b
les
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add i
s
l
_b
a
s
i
c_
s
et
_
extract
_
equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Ver
d
oolaege
add
i
s
l_multi_aff
_
from_af
f
_mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
sch
e
duler: drop co
n
stra
i
nts that
can only be used for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
i
sl_schedul
e
r
.
c: collect_intra_validity: drop parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en
Verdoolaege
isl_schedule
r
.
c
:
intra_coefficients
:
s
eparate
cache
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoolaege
isl_sch
e
duler
.
c:
count_map_co
n
s
traints: count parame
t
ric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ve
n
Verdoolaege
isl_sch
e
duler
.
c: extra
c
t out shar
e
d
f
orce_
z
ero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolae
g
e
isl_schedule
r
.
c
: extr
a
c
t out
s
har
e
d
upd
a
te
_
c
ount
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
aege
add
i
sl_union_set_plain_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl
_
map_plai
n
_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n
Verdoolaege
a
dd isl_set_plain_gist_
b
asic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl_basic_s
e
t
_
{lower,upper}_bound_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdool
a
ege
d
oc: isl_*_bou
n
d_*:
s
p
ecify h
e
ader to includ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
sch
e
duler
:
try carrying o
n
ly self-dependences in th
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c:
compute_
c
arrying_s
o
l: e
x
tract
out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
scheduler
.
c: find_node_coalescing: use half of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rd
o
o
l
aege
add
isl_val_div_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
i
s
l
_scheduler
.
c: com
p
ut
e
_max
_
coefficien
t
: round up
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
add
is
l
_
int_cdiv_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ver
d
oolaege
isl_test_int
:
add
m
or
e
isl_int_
c
div_q
te
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
V
e
rdoolaege
imath backe
n
d: use t
a
ilored isl_
i
nt_fdiv_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl_scheduler
.
c: c
o
mpute_schedule_finish_band: sp
l
it
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
erdoolaege
isl_sc
h
eduler
.
c
: split_scaled: do no
t
en
f
or
c
e
r
elati
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
add isl_mat_
r
ow_neg
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolae
g
e
sch
e
d
uler: s
o
lve Feautri
e
r f
a
llback as I
L
P to
a
voi
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
a
d
d isl
_
tab_lexmi
n
_
c
ut_to_i
n
teger
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_schedule
r
.
c: compute_schedule_finish
_
band: als
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolae
g
e
i
s
l
_sch
e
duler
.
c: co
u
nt_
m
ap_constraints
:
drop
"
ca
r
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l
_
s
c
heduler
.
c:
c
ompute_carrying_sol: remov
e
dupl
i
c
ate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl
_
s
c
h
eduler
.
c: carry_dependences: extract out compute_carr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
d
o
o
l
a
eg
e
i
sl
_
scheduler
.
c
:
carry_dependences: de
l
a
y
err
o
r
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
do
o
laege
isl_scheduler
.
c: add_
i
nter_cons
t
r
aints: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
i
s
l
_
scheduler
.
c: a
d
d_intr
a
_co
n
strai
n
ts: r
e
turn
i
sl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sched
u
ler
.
c:
i
nter_di
m
_ma
p
: ha
n
dle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
e
g
e
isl_scheduler
.
c:
i
ntra_dim_
m
a
p: hand
l
e
NUL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verd
o
olae
g
e
add isl_
u
nion_set_get_b
a
sic_
s
et_
l
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Ve
r
doo
l
aege
isl_*
_
list_con
c
at: sp
e
cial case pre-allocated list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
add isl_union_
{
map
,
set}
_
r
e
move_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
d
oola
e
ge
add is
l
_
b
a
sic_set_li
s
t_coefficien
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
e
g
e
add isl_list_*_map_
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl
_
list_
t
empl
.
c:
e
xtract
out
sha
r
ed isl_
l
i
st_*_check_
i
ndex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next