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
isl_*_list_
g
et_*: extract out isl_*_list_peek
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdo
o
l
a
eg
e
is
l
_pw
_
*_get_space: extra
c
t
o
u
t isl_pw_*
_
peek_spac
e
commit
|
commitdiff
|
tree
2017-12-26
S
v
en Verdoolaege
isl_aff
.
c
: pw_a
f
f_aff_on_
d
omain:
e
xplicitly ins
e
rt
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven Verd
o
olaege
add i
s
l_aff_from_ran
g
e
commit
|
commitdiff
|
tree
2017-12-26
Sven Verd
o
olaege
add isl_aff_
{
tak
e
,restore
}
_
domai
n
_lo
c
al_sp
a
ce
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
a
dd
i
sl_local_spac
e
_
s
et_from_params
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoola
e
ge
add
isl_local_space_{take,resto
r
e
}
_spa
c
e
commit
|
commitdiff
|
tree
2017-11-29
Sven
V
er
d
oolaeg
e
specialize isl_s
p
ace_replac
e
to isl_space
_
replace_params
commit
|
commitdiff
|
tree
2017-11-29
S
v
en
V
e
rdoolaege
i
sl_reorde
r
ing
_
e
x
t
e
nd_sp
a
ce:
r
ename "
d
im" argument
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n Verdoolaeg
e
isl_spa
c
e_flatten_ran
g
e: rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
isl_sp
a
c
e_flatten_do
m
a
i
n: rename
"
dim"
argument to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdoolaege
r
e
move d
e
p
r
ecated band forests
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoolaege
add isl_vec_zero
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rd
o
olaege
isl_spa
c
e_factor_domain:
a
ccept
set
s
pac
e
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_spac
e
.
c:
m
ove isl_spac
e
_
f
acto
r
_domain down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
S
v
e
n
Verdoolaege
is
l
_coalesce
.
c
: extr
a
ct
o
ut share
d
fi
n
d_
e
q
a
n
d
find_
i
neq
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoolaege
isl_c
o
a
le
s
ce
.
c: ext
r
act out shared count
_
eq and count_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven
V
e
rdoo
l
aege
i
s
l_coal
e
sce
.
c: extract
out shared any
_
eq and any_ineq
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
bound
.
c
:
directly include
req
u
i
r
ed header
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Ve
r
doo
l
aeg
e
isl_s
c
h
e
dule_t
r
ee
.
c
:
direc
t
ly inc
l
ude required headers
commit
|
commitdiff
|
tree
2017-09-18
S
ven Verdo
o
laeg
e
isl_schedule_read
.
c: dir
e
ctly incl
u
de requ
i
r
ed header
commit
|
commitdiff
|
tree
2017-09-18
Sven Ve
r
doolaege
isl_schedule_
b
and
.
c:
directly
i
n
cl
u
d
e
required hea
d
ers
commit
|
commitdiff
|
tree
2017-09-18
Sven
Ver
d
oolaege
i
sl_s
c
hedule
.
c: direc
t
ly i
n
clude required headers
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n V
e
rdool
a
ege
isl_range
.
c: directly include
re
q
uir
e
d head
e
r
commit
|
commitdiff
|
tree
2017-09-18
S
v
e
n
Verdoolaege
isl_obj
.
c: directly incl
u
de r
e
quired header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolae
g
e
isl_flow
.
c:
d
ir
e
ctly include required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl
_
ast_cod
e
g
e
n
.
c: d
i
r
ec
t
l
y
includ
e
r
e
qui
r
ed he
a
ders
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Verdool
a
ege
i
s
l
_as
t
_b
u
ild_expr
.
c
:
dir
e
ctly
i
nc
l
ude required h
e
a
d
e
r
s
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoola
e
ge
i
s
l_as
t
_build
.
c: dir
e
c
t
ly in
c
lu
d
e
required
h
eaders
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
is
l
_ast
.
c: directly
include required header
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoolaege
isl_list_templ
.
c
: d
i
rectly in
c
lude re
q
uired header
commit
|
commitdiff
|
tree
2017-08-08
Sven Verd
o
olaege
isl_map_u
n
iverse: rename "dim" argu
m
ent to "spa
c
e"
commit
|
commitdiff
|
tree
2017-08-08
Sv
e
n V
e
rdoolaege
isl_
m
ap_empty: rename
"
dim" argum
e
nt to "spac
e
"
commit
|
commitdiff
|
tree
2017-08-08
S
ven Verdoola
e
ge
isl_basic
_
map_universe: rename "dim" argument to
"spac
e
"
commit
|
commitdiff
|
tree
2017-08-08
Sven
V
erdool
a
eg
e
isl_basic
_
map_empty: ren
a
me "dim" argument to
"spac
e
"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_se
t
_
u
nive
r
se: r
e
name "dim" argument to "
s
pace"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_set_empty: rename "dim" argu
m
e
n
t
to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
v
en V
e
rdoolaege
is
l
_b
a
sic_s
e
t
_univer
s
e: rename "di
m
" a
r
gument to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
ven Verdoolaege
isl_b
a
si
c
_
set_empty
:
rename "d
i
m"
a
r
gument to "space"
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_access_info_compute_flo
w
: support
"kill" acce
s
s
e
s
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verd
o
o
l
aege
isl_un
i
on_map
.
c
:
subtract_e
n
try: use isl_union_map_get
_
ct
x
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erd
o
o
l
aege
i
s
l
_unio
n
_map
.
c: subt
r
act
_
entry: use
isl_map_ge
t
_spa
c
e
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rd
o
olaege
isl_union_map
.
c
:
rename has_dim
t
o has_spa
c
e
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdoolaege
isl_un
i
o
n
_map
.
c: has_dim:
ren
a
me "dim"
v
a
r
iable to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
ad
d
isl_flow appl
i
cation
commit
|
commitdiff
|
tree
2017-06-08
Sven
Verdoolaege
scheduler:
explo
i
t
l
i
n
eality
s
pace
in difference set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
oolaege
a
d
d
i
sl_
u
nio
n
_set_co
m
bined_lineality_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Ve
r
d
oolae
g
e
privately
export isl_set_com
b
ined_l
i
nealit
y
_
spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
ool
a
ege
isl_basic_se
t
_li
n
eality_spac
e
: a
l
l
o
w local varia
b
les
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaege
ad
d
isl_basi
c
_set_extract_equal
i
ti
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
ol
a
ege
add
isl
_
mu
l
ti_a
f
f
_
f
r
o
m
_
aff_mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
scheduler:
drop c
o
nstraints
that ca
n
only be used for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
aege
isl_
s
chedule
r
.
c: collect_
i
n
t
ra_validity:
drop
parameter
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolae
g
e
isl_
s
cheduler
.
c: in
t
ra_coeff
i
cients
:
separate c
a
che
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoo
l
ae
g
e
is
l
_scheduler
.
c: coun
t
_m
a
p_constraints: coun
t
p
a
ramet
r
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoola
e
ge
isl
_
sc
h
edule
r
.
c: extract o
u
t shared force_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolae
g
e
isl_scheduler
.
c: ext
r
act
out sh
a
red update_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en V
e
rdoolae
g
e
add
isl_uni
o
n_set_plain_gi
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add is
l
_map_plain_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n
Verd
o
olaege
add isl_set_
p
lain_gist_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Ver
d
o
o
laege
add is
l
_basic_set_{lower,upper}_boun
d
_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolaege
d
oc:
i
sl
_
*_bound_*: sp
e
cify he
a
der to incl
u
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoola
e
ge
sche
d
uler: try c
a
rrying
on
l
y se
l
f-dependen
c
es in
t
he
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl
_
scheduler
.
c
:
comput
e
_
c
a
rrying_sol: extrac
t
o
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_sc
h
eduler
.
c: find_node_
c
oalescing: use half of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add is
l
_val_div_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ve
r
doola
e
ge
isl_scheduler
.
c: c
o
mpute_m
a
x_coefficient: roun
d
up
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
ad
d
isl_i
n
t_cdiv_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
isl_test_int: ad
d
m
o
r
e isl_int_cdiv_q te
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
imath backend:
u
s
e t
a
ilor
e
d isl_int_fd
i
v_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoola
e
ge
i
sl_
s
chedul
e
r
.
c
: compu
t
e_schedul
e
_finish_ba
n
d: split
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_schedul
e
r
.
c: split_scaled: do not enforce relative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
add isl_mat_r
o
w_neg
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verd
o
olaege
s
c
h
e
duler: sol
v
e Feautrier fallbac
k
as ILP to a
v
oid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdo
o
laege
add isl_tab_lex
m
in_cut_to_integer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
i
s
l_scheduler
.
c: compute_schedule_fi
n
i
sh_
b
a
nd: al
s
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
is
l
_schedule
r
.
c: count_ma
p
_constraint
s
: drop "car
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
i
sl_sc
h
e
duler
.
c: comp
u
te_carrying_sol: remove
duplicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
isl_scheduler
.
c
:
ca
r
ry_dependences: extract out co
m
pute_carr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sch
e
duler
.
c: carry_depend
e
nc
e
s: delay error
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
isl_scheduler
.
c: add_inter_constraints: return isl_st
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl_scheduler
.
c
: add_intra_constraints
:
return
is
l
_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
i
s
l_scheduler
.
c: inte
r
_dim_
m
a
p: handle NUL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven V
e
rdoo
l
a
e
ge
isl_schedul
e
r
.
c: intra
_
dim_m
a
p:
h
a
ndle N
U
LL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaeg
e
ad
d
isl_union_set_get_basic_se
t
_
l
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en
V
erdoolaege
isl_*_list_concat:
special cas
e
pre-a
l
l
oca
t
e
d l
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Ver
d
oolaeg
e
add isl_union
_
{map,set}_remove_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
add isl_basic
_
s
et_list
_
coefficients
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_
l
ist
_
*_map_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolae
g
e
isl_list_templ
.
c:
e
xtract out share
d
i
s
l_
l
i
st_*_check_
i
nde
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
isl_sched_graph: add
ide
n
tifier to
compres
s
ed n
o
des
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_b
a
sic
_
set_vari
a
ble_compression_
w
i
t
h_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ve
r
doolaege
isl_b
a
si
c
_s
e
t_varia
b
le_compression: rename
"dim" va
r
iable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl_
s
ched_graph
:
ignore p
a
rameters i
n
i
d
e
ntification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_scheduler
.
c
: node_
h
as_
s
pace:
rename "dim" variab
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdool
a
ege
i
s
l_schedu
l
e
r
.
c: graph_find_no
d
e
:
rename "dim" argu
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_space_get_
t
uple_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_spac
e
_
get_{hash,domain_has
h
}: only hash in
p
arameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en
Verdoolaege
isl_hash_
{
space,
s
pace_domain}: ex
t
ract out sha
r
ed paramet
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
V
erdoolaege
i
s
l
_space_get_hash: re
n
ame "
d
im" argum
e
nt to "spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next