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_*_list_swap
2018-07-04
Sven Verdoolaege
add isl_*_list_swap
commit
|
commitdiff
|
tree
2018-06-21
Sven Verd
o
o
laege
add i
s
l_basic_s
e
t_from_m
u
l
t
i_aff
commit
|
commitdiff
|
tree
2018-05-17
Sve
n
Ve
r
doola
e
g
e
i
s
l_*_list_g
e
t_*:
extra
c
t ou
t
isl
_
*_list
_
peek
commit
|
commitdiff
|
tree
2018-05-02
S
v
e
n
Verdoolaege
extract out shared isl_reordering_get_ctx
commit
|
commitdiff
|
tree
2018-05-02
Sven
V
erdo
o
l
a
ege
extract out
s
hared isl_local_reorder
commit
|
commitdiff
|
tree
2018-04-30
Sv
e
n V
e
rd
o
ola
e
ge
i
s
l_sp
a
ce_al
i
gn_params: re
n
ame
"dim" a
r
gume
n
ts to
.
.
.
commit
|
commitdiff
|
tree
2018-04-28
Sven Verdoolae
g
e
i
s
l_basic_m
a
p_r
e
align: rename "dim
"
a
r
gumen
t
to "space"
commit
|
commitdiff
|
tree
2018-04-28
S
ven Verdoo
l
aege
isl_basic_map_re
a
lign:
u
se isl
_
basic_map_
d
im
commit
|
commitdiff
|
tree
2018-04-24
Sve
n
Ve
r
doolaege
isl/val
.
h
:
e
x
tract out
isl
/
val_typ
e
.
h
commit
|
commitdiff
|
tree
2018-04-18
Sve
n
Ver
d
oolaege
isl_map
.
c: extract out shared isl
_
map_chec
k
_r
a
nge
commit
|
commitdiff
|
tree
2018-03-18
S
ven Verdoolaege
isl_pw_*_eval: ren
a
me "pnt_dim" v
a
riable t
o
"
pnt_spac
e
"
commit
|
commitdiff
|
tree
2018-03-18
S
v
en Verdoolaege
add i
s
l
_aff_eval
commit
|
commitdiff
|
tree
2018-03-18
Sven V
e
rd
o
olaege
add isl_local
_
spa
c
e_
l
ift_p
o
int
commit
|
commitdiff
|
tree
2018-03-18
Sven
Ver
d
ool
a
ege
a
d
d isl_local_spa
c
e_has_
s
pac
e
commit
|
commitdiff
|
tree
2018-03-18
Sven Ver
d
oolaege
i
s
l_qpoly
n
omial_eval: extra
c
t ou
t
isl_l
o
cal
_
extend_
p
oint_
v
e
c
commit
|
commitdiff
|
tree
2018-03-18
S
v
en
V
er
d
oolaege
isl_polynomial
.
c: isl_upo
l
y
_
eva
l
:
check for N
U
LL argume
n
t
commit
|
commitdiff
|
tree
2018-03-18
Sven Ver
d
o
o
l
a
ege
a
d
d isl_ve
c
_add_els
commit
|
commitdiff
|
tree
2018-03-18
Sven
V
e
rdo
o
laege
i
s
l_local_space_div
s
_know
n
: extract out isl_local_di
v
s_k
n
own
commit
|
commitdiff
|
tree
2018-03-18
S
ve
n
Verd
o
olaege
isl_local
.
c: extract out shared isl_local_d
i
m
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_loc
a
l
.
c: extr
a
ct
o
ut sha
r
ed isl_local_get_ctx
commit
|
commitdiff
|
tree
2018-03-04
Sven Ver
d
oolaege
isl_
s
pace_is_d
o
main: extr
a
ct
out
i
sl_space_has_d
o
main
_
t
u
ples
commit
|
commitdiff
|
tree
2018-03-04
Sven V
e
rd
o
ol
a
ege
p
r
i
v
ately export isl_map
_
i
s_para
m
s
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n
V
e
rdo
o
laege
is
l
_pw_*_get_s
p
ace: extract out isl_pw_*_peek_
s
p
a
ce
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
i
sl_aff
.
c
: pw_aff
_
aff
_
on_domain: explicitly insert
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
add isl_aff_from_range
commit
|
commitdiff
|
tree
2017-12-26
Sven Ver
d
oolaeg
e
add is
l
_aff_{take,resto
r
e}
_
domain_local_s
p
ace
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdo
o
laege
a
d
d isl_loc
a
l_sp
a
c
e
_set_fro
m
_params
commit
|
commitdiff
|
tree
2017-12-26
Sven Verd
o
ol
a
ege
add isl_loca
l
_sp
a
c
e_{ta
k
e,restore}_spa
c
e
commit
|
commitdiff
|
tree
2017-11-29
S
ven Verdoolaege
specialize
i
sl_space_rep
l
ace to is
l
_space_rep
l
ace_params
commit
|
commitdiff
|
tree
2017-11-29
Sven
V
erdoo
l
aege
isl_reo
r
de
r
ing_extend_spac
e
: rename "dim
"
argument
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n Verdo
o
l
a
ege
isl_space
_
flatten_range: rename "
d
i
m" argument
to
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaeg
e
i
s
l_spac
e
_
flatten_domain: rename "dim"
a
rgu
m
e
n
t
to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
r
e
move depre
c
ated band for
e
sts
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
add isl_v
e
c_zero
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_space
_
f
a
ctor
_
doma
i
n:
accep
t
set s
p
ace
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdo
o
l
aege
i
sl_s
p
ace
.
c:
move isl_space_factor_
d
omain down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoolaeg
e
i
s
l
_
coales
c
e
.
c: extrac
t
out s
h
ared f
i
nd_e
q
an
d
fin
d
_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sve
n
Verdoolaeg
e
isl_coal
e
sce
.
c: extract o
u
t shared count_eq and
c
ount_i
n
eq
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoolaege
isl_coalesce
.
c: extrac
t
out share
d
a
ny
_
eq and any_ineq
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
b
o
und
.
c
:
d
i
r
ec
t
ly include
r
e
q
uired header
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n
Verdoola
e
ge
isl_schedule_tree
.
c: directly in
c
lude
r
equired he
a
d
e
r
s
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verdoo
l
aege
isl_s
c
hedule_read
.
c: directly
i
nclude requir
e
d header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaeg
e
isl_s
c
hedule_band
.
c: directly
include requ
i
red headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoola
e
ge
isl_schedule
.
c: directly include requ
i
r
e
d
headers
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verd
o
olaeg
e
isl_range
.
c: directly i
n
clude require
d
h
e
ader
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_obj
.
c: dir
e
ctly include
r
equired header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_
f
low
.
c: directl
y
include
r
equired headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_a
s
t_code
g
en
.
c: directly
include req
u
ired head
e
rs
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoolaege
isl
_
ast_build_expr
.
c: directly
inc
l
ude r
e
quired header
s
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdo
o
laege
isl_
a
s
t
_b
u
i
l
d
.
c: directly include required head
e
rs
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verdoolaege
isl_ast
.
c: directly in
c
lude required header
commit
|
commitdiff
|
tree
2017-09-18
Sven V
e
rdoolae
g
e
isl_lis
t
_templ
.
c: d
i
r
ectl
y
include requi
r
e
d
h
ead
e
r
commit
|
commitdiff
|
tree
2017-08-08
S
v
e
n
Verdoolaege
isl_map_u
n
i
v
er
s
e: ren
a
me "dim" argument to
"space"
commit
|
commitdiff
|
tree
2017-08-08
Sv
e
n Verdoolaege
i
s
l_map_e
m
p
t
y
:
rename "dim" arg
u
ment to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sve
n
Verdoolae
g
e
isl_basic_ma
p
_universe: rename
"
d
i
m" argument to "sp
a
c
e
"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdo
o
laege
isl
_
basic_map_empt
y
: ren
a
me "dim" argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven V
e
rdoolaege
isl_s
e
t_univer
s
e
: rename "dim
"
argument
t
o "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_set_
e
m
p
ty:
r
e
name "dim" ar
g
ument to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
ven Verdo
o
laege
isl
_
bas
i
c_set_universe: renam
e
"dim" argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
ven Ve
r
doolae
g
e
isl_basic_set
_
e
m
pty: rename "dim" argument to
"spac
e
"
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdoolaeg
e
isl_access_info_compute_flow: su
p
port
"kill" acces
s
es
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_union_ma
p
.
c
:
subtrac
t
_ent
r
y:
u
se isl_uni
o
n_map_
g
et_ctx
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoolaege
i
s
l_union_map
.
c: subtr
a
ct_entry: use
isl_map_get_space
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
aege
isl_unio
n
_map
.
c:
r
ename has_dim t
o
has_space
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoola
e
g
e
isl_union_map
.
c: has_dim: renam
e
"dim" v
a
r
i
a
ble to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
add
i
s
l_flow
a
pplicat
i
o
n
commit
|
commitdiff
|
tree
2017-06-08
Sven
Verdoolaege
sc
h
e
d
uler: ex
p
l
oit lineality space in
d
ifferenc
e
set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl_union_set_combined_lin
e
ality_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolae
g
e
pri
v
ately exp
o
rt isl_set_combi
n
ed_li
n
eality_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolae
g
e
i
s
l_
b
asi
c
_
set_l
i
neality_space: allo
w
loca
l
variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
e
r
doola
e
g
e
add isl_basic_set_e
x
tract_equa
l
it
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
e
rdoolaege
add isl_multi_aff_fr
o
m_aff_mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolae
g
e
scheduler: dr
o
p constraints that can only be
used for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_scheduler
.
c: collect_intra_valid
i
t
y: drop parame
t
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolaege
isl_sch
e
dul
e
r
.
c: intra_coeffici
e
nts:
separate
c
a
c
he
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoola
e
g
e
isl_sche
d
u
ler
.
c:
c
o
unt_map
_
cons
t
rain
t
s
:
c
ou
n
t
p
arametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en
Verdoolaege
isl_sched
u
ler
.
c:
extract
out share
d
f
o
r
ce
_
ze
r
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_scheduler
.
c: extract out shared
update_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolae
g
e
a
d
d isl_union
_
s
et_plain_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
oolae
g
e
a
d
d isl_map_plain_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
a
d
d isl_se
t
_plain_gist_
b
a
sic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n
Verdoolaege
add isl_basic
_
set_{lower,upper}_boun
d
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
d
o
c: isl_*_bound_*: specify
h
eader to include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verdool
a
ege
schedul
e
r: try c
a
r
rying only s
e
l
f
-depen
d
ences
i
n the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verd
o
olaeg
e
i
s
l_scheduler
.
c: compute_carrying_s
o
l: extrac
t
out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven V
e
rdool
a
ege
isl_schedule
r
.
c: find_no
d
e_coalesc
i
ng: use half of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdo
o
laege
add
i
sl_v
a
l
_
d
iv
_
ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
la
e
ge
isl_scheduler
.
c: compute_max_coefficient: round up
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
ola
e
ge
add isl_int_cdi
v
_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_test_int
:
ad
d
m
o
re isl_in
t
_c
d
i
v_
q
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
imath
backend:
u
se t
a
ilor
e
d isl_i
n
t_fdiv_q_
u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolae
g
e
isl_schedul
e
r
.
c
: compute_schedul
e
_finish_band: split
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl
_
schedul
e
r
.
c: split_scaled: do not enfor
c
e r
e
lative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
add isl
_
m
a
t_r
o
w_neg
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
o
olaege
sch
e
dule
r
:
s
olve Feautrier fallback as ILP to avo
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ve
r
d
oolae
g
e
add isl_tab_l
e
xmin_cut_to_integer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ve
r
doolaege
i
sl_sched
u
l
e
r
.
c: compute_sche
d
ul
e
_fi
n
is
h
_
b
and: also
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
l
aege
isl_sched
u
ler
.
c
:
cou
n
t_map_constrain
t
s: drop "car
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
is
l
_sche
d
uler
.
c:
c
o
mpute_c
a
r
r
yi
n
g_s
o
l: re
m
ove duplicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
ool
a
ege
isl_sch
e
duler
.
c: carry_de
p
endences
:
ext
r
act out compu
t
e_carr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next