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_local_space_has_space
2018-03-18
Sven Verdo
o
laeg
e
ad
d
i
s
l_lo
c
a
l_space_ha
s
_sp
a
ce
commit
|
commitdiff
|
tree
2018-03-18
S
ven
Verdoolaege
i
s
l_qpolynomi
a
l_eval:
e
x
tra
c
t
o
ut isl_local_exte
n
d_point_vec
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n Verdool
a
ege
isl_po
l
yno
m
i
al
.
c: isl_u
p
o
l
y_eval: chec
k
f
o
r
NULL
a
rgument
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoo
l
aege
add isl_vec_ad
d
_els
commit
|
commitdiff
|
tree
2018-03-18
Sven
V
erd
o
olaeg
e
isl_
l
ocal_space_divs_known: extract o
u
t isl_local_d
i
v
s
_k
n
own
commit
|
commitdiff
|
tree
2018-03-18
Sven V
e
r
doolaege
isl_l
o
cal
.
c: extra
c
t out
shared isl_lo
c
al_dim
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoo
l
a
e
ge
isl_local
.
c: extr
a
ct ou
t
s
h
ared
isl_
l
ocal_
g
et_ctx
commit
|
commitdiff
|
tree
2018-03-04
S
v
e
n
Verdool
a
e
g
e
is
l
_space_
i
s_do
m
ain: extract o
u
t isl
_
spac
e
_has_d
o
main_tuples
commit
|
commitdiff
|
tree
2018-03-04
Sv
e
n V
e
rdoolaeg
e
priva
t
el
y
export isl_
m
a
p
_is_params
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
isl_pw_*_get_spac
e
: extract out isl_pw_*_peek_
s
pace
commit
|
commitdiff
|
tree
2017-12-26
Sven V
e
rdoola
e
ge
isl_aff
.
c
:
pw_aff_
a
ff_on_domain:
e
xp
l
icitly insert
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven Ver
d
o
o
laege
a
d
d
i
s
l_aff_from_ran
g
e
commit
|
commitdiff
|
tree
2017-12-26
Sven V
e
rdoolaege
add isl_af
f
_
{
take,r
e
store}_domain
_
loca
l
_space
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdool
a
ege
a
d
d isl_lo
c
al_space_se
t
_from_
p
a
r
ams
commit
|
commitdiff
|
tree
2017-12-26
Sve
n
Verdoo
l
aege
add
isl_local_spa
c
e_{
t
a
ke,rest
o
re}_space
commit
|
commitdiff
|
tree
2017-11-29
Sven Ver
d
o
ol
a
ege
specialize isl_space_replace to isl_space_replace_params
commit
|
commitdiff
|
tree
2017-11-29
S
v
en
V
er
d
oolaege
isl_reordering_e
x
te
n
d_space:
r
e
nam
e
"dim
"
argument
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven V
e
rdoo
l
aege
i
s
l_sp
a
ce_flat
t
en
_
range: re
n
ame "dim"
a
rg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Verd
o
o
l
aeg
e
i
sl_space_flatten_domain: rename "dim" ar
g
umen
t
t
o
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
S
ven
Ver
d
oolaege
r
emove depr
e
cated ban
d
forests
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoo
l
aege
add isl_vec_zero
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_spac
e
_
f
acto
r
_domain:
accept
s
e
t
s
pace input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
isl
_
space
.
c: move i
s
l_space_facto
r
_d
o
main down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoolaege
isl_coalesc
e
.
c:
e
xtr
a
ct out shared fin
d
_eq and f
i
nd_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sve
n
V
erdoolaege
isl_
c
oales
c
e
.
c: extract out shared count_eq a
n
d
co
u
nt_
i
neq
commit
|
commitdiff
|
tree
2017-09-26
Sven Ver
d
o
olaege
isl_c
o
alesce
.
c:
e
xtract
o
ut shared any_e
q
and a
n
y_ineq
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdool
a
e
g
e
boun
d
.
c: directly include required header
commit
|
commitdiff
|
tree
2017-09-18
S
v
e
n
V
erdoolaege
isl_schedule_tree
.
c: dir
e
ctly include required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
erdoola
e
ge
isl
_
schedule_read
.
c: directly include requ
i
red header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
i
s
l_schedul
e
_band
.
c: dire
c
tly include required he
a
ders
commit
|
commitdiff
|
tree
2017-09-18
S
v
en
Verdoolaeg
e
i
s
l_sc
h
ed
u
le
.
c
:
direc
t
ly incl
u
d
e
required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Ver
d
o
o
laeg
e
isl_range
.
c: directly include required
h
e
a
d
er
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Verdoolaeg
e
isl_o
b
j
.
c: d
i
rectly include
r
equir
e
d hea
d
er
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoolaege
i
sl
_
flow
.
c:
d
i
rectly i
n
clud
e
required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Ver
d
oo
l
aege
isl_ast_code
g
en
.
c: directly include requi
r
ed headers
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verd
o
olaege
isl_ast_bui
l
d_expr
.
c: di
r
e
c
tly include re
q
uired he
a
ders
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl
_
ast_build
.
c: direct
l
y include required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_ast
.
c: directly includ
e
re
q
uired heade
r
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
olaege
isl_list_templ
.
c: di
r
ectly include required
h
e
ader
commit
|
commitdiff
|
tree
2017-08-08
Sve
n
Verdoolaege
isl_map_universe: r
e
name "dim" argu
m
en
t
to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_map_empty: rename
"
di
m
" ar
g
ument t
o
"space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaeg
e
isl_b
a
s
ic_ma
p
_un
i
verse:
r
e
n
a
me "dim" arg
u
m
e
nt to "space
"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoola
e
ge
isl_basic_m
a
p_empty: rename "dim" argu
m
e
n
t
to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdo
o
l
a
ege
isl
_
se
t
_univ
e
rse:
r
enam
e
"
dim" arg
u
men
t
to "spac
e
"
commit
|
commitdiff
|
tree
2017-08-08
Sven
V
erdool
a
ege
isl
_
set_e
m
pty:
r
ename "di
m
" argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdo
o
laege
isl_basic_s
e
t
_universe: re
n
ame
"dim" argumen
t
to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
ven
V
erdoolaeg
e
isl_ba
s
ic_set_empty: rena
m
e "di
m
" a
r
gu
m
ent to "space"
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdoo
l
aeg
e
is
l
_acces
s
_info_
c
ompute_flow
:
s
u
pport "kill
"
accesses
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoolaege
isl_uni
o
n_ma
p
.
c: subtract_entr
y
: us
e
isl_un
i
on_map_get_ct
x
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verdoolaege
isl_uni
o
n
_
map
.
c
:
sub
t
ract
_
ent
r
y
:
use isl_map
_
g
et
_
sp
a
ce
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n
V
erdo
o
la
e
ge
isl_union_map
.
c: rename has_dim to has_spac
e
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoo
l
aege
isl_
u
nion_map
.
c: has_dim: r
e
name
"dim" v
a
riab
l
e to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
a
dd
i
sl_flow
a
p
plication
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdoolaege
schedule
r
: exploit lineality s
p
ace in differ
e
nce set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoola
e
ge
add isl_union_s
e
t_combined_lineality_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
p
r
ivately ex
p
ort isl_
s
et_
c
ombined_
l
ineali
t
y_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
oolaege
isl_bas
i
c
_
se
t
_lineality_sp
a
c
e
:
allow local var
i
ables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoolaege
add isl
_
b
a
sic_set_ext
r
act
_
equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add
i
sl_multi
_
aff_f
r
om_aff_mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolaege
s
cheduler: dro
p
constra
i
nt
s
that can only
b
e used for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_
s
che
d
uler
.
c:
c
o
llect_int
r
a_v
a
lidity: drop parameter
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
i
s
l_sch
e
duler
.
c: i
n
tra_coeffic
i
e
nts:
s
eparate cache
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n V
e
rdoolaege
isl_scheduler
.
c: co
u
n
t_map_constraints: count parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Ve
r
doolaege
i
s
l_scheduler
.
c: ext
r
act
o
ut share
d
force_z
e
ro
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_scheduler
.
c
:
extrac
t
out shared update_
c
ount
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
r
d
oolaege
a
dd isl_union_
s
et_plain_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
oolaege
add isl_
m
a
p
_p
l
ain_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaege
add isl_set_plain_gist_basic
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
a
d
d
isl_basic_set_{lower,upper}_bound_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaege
d
oc: is
l
_
*_bo
u
nd_*: specify header t
o
include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdo
o
lae
g
e
s
c
hedul
e
r: try carrying only self-dependences
i
n
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven V
e
rd
o
o
l
aege
isl
_
sche
d
ule
r
.
c
:
compute_carrying_so
l
:
extract
out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verd
o
ol
a
ege
isl_scheduler
.
c:
find_nod
e
_coalescing: use half of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
V
e
rdoola
e
ge
add isl_val_div_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
i
sl
_
scheduler
.
c: compute_max_co
e
f
ficie
n
t:
r
oun
d
up
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolae
g
e
add isl_int_cdiv
_
q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ver
d
oolae
g
e
isl_tes
t
_int: add mo
r
e isl_int
_
cdiv_q tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
erd
o
olaege
imath backend: use tailored isl_int_fdiv_q
_
ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
isl_scheduler
.
c: compu
t
e
_
sche
d
u
le_fin
i
sh_band: sp
l
i
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
is
l
_sched
u
ler
.
c: spli
t
_scaled: do not enf
o
rce rela
t
ive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolaege
add isl_mat_row_neg
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
sc
h
e
d
ul
e
r: so
l
ve Feautr
i
er fallback as ILP to avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
add
isl_tab_lexmi
n
_cut_to_integer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdool
a
ege
isl_s
c
heduler
.
c: comp
u
te_
s
chedule_finish_band: also
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdo
o
lae
g
e
isl_scheduler
.
c: count
_
map_constraints: drop "carry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
i
sl_schedu
l
er
.
c
:
compute_c
a
rryi
n
g_s
o
l: remove dupl
i
cate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
i
sl_
s
cheduler
.
c:
c
a
rry_
d
ependences
:
extract
o
ut c
o
mpu
t
e_carr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_schedu
l
e
r
.
c
:
carry_d
e
p
e
ndences: delay errorin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_scheduler
.
c
:
add_inter_constraints: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaeg
e
is
l
_sc
h
eduler
.
c
: add_intra_con
s
traints:
return
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_scheduler
.
c:
inter_dim_map
:
han
d
le
N
ULL i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doola
e
g
e
isl_sch
e
dule
r
.
c:
i
ntra_dim_ma
p
: han
d
le NULL inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
d
oolae
g
e
a
d
d isl_u
n
ion_set_get_basic_set_
l
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_*_list_concat: sp
e
cial
c
a
s
e
pre-allocated list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
add isl_union_{map,set}
_
remov
e
_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoola
e
ge
add isl_basi
c
_set_
l
ist_coeff
i
cients
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
add isl_list_*_map_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
erdoolaege
isl
_
list_templ
.
c
:
e
xtract out s
h
a
r
e
d isl_list_*_c
h
e
c
k_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_sched_graph: add
ident
i
fier to compressed nodes
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolae
g
e
add isl_basic_set_variable
_
compression_with_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next