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_*_list_get_*: extract out isl_*_list_peek
2018-05-17
Sven Verdoo
l
aege
i
sl_*_list
_
get_*: ex
t
ract out
isl_*_l
i
st
_
peek
commit
|
commitdiff
|
tree
2017-12-26
S
v
en V
e
rdool
a
ege
isl_pw_*_get_sp
a
ce:
e
xtract out isl_pw_*_peek_spa
c
e
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
isl_aff
.
c: pw_aff_aff
_
on_do
m
ain: explicitly in
s
ert
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
ad
d
is
l
_af
f
_fr
o
m
_
r
a
nge
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
erdo
o
laege
add isl_
a
ff_{take,restore}_domain
_
l
ocal_space
commit
|
commitdiff
|
tree
2017-12-26
Sven Ve
r
d
o
olaege
add i
s
l_
l
ocal_space_set_from_params
commit
|
commitdiff
|
tree
2017-12-26
S
ven Verdoolaege
a
d
d isl_local_sp
a
ce_{ta
k
e,restore}_space
commit
|
commitdiff
|
tree
2017-11-29
S
v
e
n Verdoolae
g
e
specialize is
l
_spac
e
_replace to isl_spac
e
_replac
e
_
p
arams
commit
|
commitdiff
|
tree
2017-11-29
Sven Ve
r
doolaege
isl_reordering_ex
t
en
d
_s
p
ace: rename "dim"
argument
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
S
ven Verdoolaeg
e
i
s
l
_
space_flatten_
r
ange: r
e
name "
d
im" a
r
gument t
o
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
isl_space_
f
latten_d
o
m
a
in: rename "d
i
m" argument
to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
r
emove deprecate
d
band forests
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
Verdoolaege
add
i
sl_vec_zero
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_spac
e
_
f
actor_domain: acce
p
t set space inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolae
g
e
isl_space
.
c
: move isl_space_facto
r
_d
o
main down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
Sven
V
erdoolaege
isl_coalesc
e
.
c: extract
out s
h
ared find_eq and find_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven Ve
r
d
oolaege
is
l
_coalesce
.
c: extract out sh
a
red count
_
eq and co
u
nt_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoo
l
ae
g
e
i
s
l
_co
a
lesce
.
c: extrac
t
ou
t
shared any_eq
and a
n
y_ineq
commit
|
commitdiff
|
tree
2017-09-18
Sven Ver
d
oolaege
b
ou
n
d
.
c: directl
y
include r
e
qu
i
red
h
eader
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n
V
erdoolaeg
e
isl
_
schedule_tree
.
c:
directly include
r
equired heade
r
s
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_
s
chedule_read
.
c: dire
c
tly include
require
d
header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_
s
chedule_b
a
nd
.
c: directly include requ
i
r
e
d headers
commit
|
commitdiff
|
tree
2017-09-18
S
ven
V
erdoolaege
isl_schedule
.
c: directly in
c
lude required h
e
aders
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_range
.
c:
d
irectly
i
nclude
r
equired header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_obj
.
c: dir
e
ctly includ
e
re
q
uired header
commit
|
commitdiff
|
tree
2017-09-18
S
v
e
n Verdoolaege
isl_flow
.
c: directly include re
q
u
i
red headers
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
erdoo
l
aege
isl
_
ast_codegen
.
c: directly inclu
d
e required
h
eaders
commit
|
commitdiff
|
tree
2017-09-18
Sven Ver
d
oolaege
i
sl_ast_build_expr
.
c
:
d
irec
t
l
y
i
n
clu
d
e required
h
eaders
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
i
sl_a
s
t_build
.
c: dir
e
ctly incl
u
d
e
r
equired hea
d
ers
commit
|
commitdiff
|
tree
2017-09-18
S
ven Verdo
o
laeg
e
isl_ast
.
c: direct
l
y include require
d
hea
d
er
commit
|
commitdiff
|
tree
2017-09-18
S
ven Verdo
o
laege
isl_list_t
e
mpl
.
c: di
r
ectly include
required heade
r
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_map_univer
s
e:
r
ename "dim" argume
n
t to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
ven Ver
d
oolaeg
e
i
s
l_map_empty
:
r
e
name "dim" argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
v
e
n
V
erdoolaege
isl_bas
i
c_map_universe:
r
ename "dim" argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
ven
V
erdool
a
e
g
e
isl_basic_map_
e
m
p
ty: renam
e
"dim"
ar
g
ument t
o
"spac
e
"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_set_u
n
iver
s
e: rename "dim" argument to "s
p
a
c
e
"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_set_empt
y
:
re
n
a
m
e "dim" argum
e
nt to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven
V
e
r
doolaege
isl_ba
s
ic_s
e
t_universe:
r
ena
m
e "dim" argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_basic_
s
et_emp
t
y: rename "
d
im" arg
u
m
e
n
t
to
"
s
pace"
commit
|
commitdiff
|
tree
2017-06-12
S
v
e
n Verdoolaege
is
l
_
a
ccess_info_co
m
p
ute
_
flow: su
p
port "kill" accesses
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
oo
l
aeg
e
isl_union_map
.
c: subtract_entry
:
use isl_union_map_get_c
t
x
commit
|
commitdiff
|
tree
2017-06-12
Sven Verd
o
olaege
isl_union_map
.
c:
s
u
b
tract_entry: use isl_map_get_space
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
e
rdo
o
l
a
ege
i
sl_union
_
map
.
c: rena
m
e has_dim
to has_space
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verd
o
olaege
isl_un
i
on_map
.
c: has_di
m
: rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoo
l
aege
add isl_flow app
l
ication
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdoolaege
s
ch
e
duler: exploit lineali
t
y sp
a
ce in difference
s
e
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaege
add isl_un
i
on
_
se
t
_c
o
mbined_line
a
lity_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaege
pr
i
vately ex
p
o
r
t isl_se
t
_co
m
bined_lineality_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Ve
r
doo
l
aege
isl_
b
asic
_
set_lineality_sp
a
ce: allo
w
lo
c
al variabl
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl_b
a
sic_se
t
_extract_equal
i
ties
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n
Verdoolaege
add isl
_
m
u
lti_aff
_
from_aff_mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdo
o
l
aege
s
chedul
e
r: drop con
s
traints that can only be used for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoolaege
i
s
l
_scheduler
.
c: collect_intra_validity:
d
r
op par
a
meters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaege
isl_scheduler
.
c: intra_
c
o
e
fficient
s
: separate cache
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoolae
g
e
isl_sche
d
ul
e
r
.
c: count_map
_
con
s
t
raints: count
param
e
tric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verdoola
e
g
e
isl_scheduler
.
c
:
extract
o
u
t shared
force_
z
er
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolae
g
e
isl_scheduler
.
c: extract out shared upda
t
e_c
o
un
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n V
e
rdoolaege
add isl_union_set_plain_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n
V
erdoolaege
add i
s
l
_
map_plain_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
olaege
a
d
d
i
sl_set_plain
_
gist_basi
c
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
aeg
e
add isl_basic_
s
et_{low
e
r
,upper}_bound
_
v
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Ve
r
doolae
g
e
doc: isl_
*
_bound_*:
specif
y
h
eade
r
to include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
schedu
l
er: try carrying
only
s
elf-depe
n
dences in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
V
e
rdoolaege
isl_schedul
e
r
.
c: comput
e
_carrying_sol: extr
a
ct out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Verdoolaege
isl_sc
h
e
d
uler
.
c: find_nod
e
_c
o
alesci
n
g
:
use
h
alf of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
add isl_v
a
l
_
div_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolaege
isl_scheduler
.
c: comp
u
te_max
_
coeffic
i
en
t
: round up
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
add isl_i
n
t_cdiv_q
_
u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n V
e
rdoola
e
ge
isl_
t
est_int: add more isl_int_cdiv_q
t
e
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
imath backend: use tailore
d
isl_int_fdiv_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c
:
compute_schedule_finis
h
_b
a
nd: split
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l
_scheduler
.
c: spli
t
_scaled: d
o
not enforce relati
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
g
e
add isl_m
a
t_row_ne
g
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
schedu
l
er:
s
olve Feautrier fallback as IL
P
to avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_tab_
l
e
xmin_
c
ut_to_integer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: compute_sche
d
u
l
e_finish_band: also
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_schedule
r
.
c: coun
t
_map_constraints: drop "carry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ver
d
o
o
laege
isl_s
c
h
edul
e
r
.
c: compu
t
e_ca
r
rying_sol: remove duplica
t
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_scheduler
.
c: c
a
rry_dep
e
ndences: extract out
c
om
p
ute_carr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven V
e
rdoolaege
isl_
s
cheduler
.
c: carry_d
e
p
enden
c
es: delay e
r
ro
r
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
scheduler
.
c:
add_inter_constraints: re
t
u
rn isl_
s
tat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaeg
e
isl_sc
h
eduler
.
c: add_intra
_
constraints: return
isl_
s
tat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_scheduler
.
c: inte
r
_d
i
m_map:
h
and
l
e NULL
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: intra_dim_map: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
add
i
s
l
_union_
s
et_get_b
a
sic_set_lis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en V
e
rd
o
olaege
isl
_
*
_
li
s
t_concat: s
p
ecial case pre-
a
llocated list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
ad
d
is
l
_u
n
io
n
_{map,set}_
r
emov
e
_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
add isl_
b
asic_set_list
_
c
oefficients
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
V
e
rdoolaege
add isl_list_*_map
_
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoo
l
aege
is
l
_list_templ
.
c: extract out s
h
ared
i
s
l_list_*_check_i
n
dex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
is
l
_sched_graph
:
add identifier
t
o compresse
d
nodes
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
add
isl_ba
s
ic_set_variable
_
compre
s
si
o
n_with_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
o
o
l
aege
i
sl_
b
asi
c
_
set_v
a
ria
b
le_compressi
o
n: rename "dim"
v
a
ri
a
bl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_sche
d
_graph: ignore
parameter
s
in ident
i
ficatio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdool
a
ege
isl
_
scheduler
.
c: node_has_
s
pace: rename
"
dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
l
aege
isl_schedu
l
e
r
.
c: graph_fi
n
d_node: rename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add
isl_sp
a
c
e
_get_t
u
ple_h
a
sh
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
Verdoolaege
isl_sp
a
c
e_
g
et_{hash,domain_hash}: only hash in parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en
V
erdoolae
g
e
i
s
l_hash_{space,space_domain
}
: extr
a
ct out share
d
parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_space_g
e
t_
h
ash: rename "dim"
argumen
t
to
"s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next