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_basic_map_insert_dims: rename "dim" variable to "space"
2018-08-05
S
v
en Verdoolaege
isl_basi
c
_map_
i
n
s
ert_dims: ren
a
me
"dim"
v
ariable to
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven Ve
r
doola
e
g
e
i
s
l_space_i
n
s
e
r
t_dim
s
: us
e
isl_space
_
get_ctx
commit
|
commitdiff
|
tree
2018-08-05
Sven Verd
o
olaege
i
sl_
s
pace_in
s
e
rt_dims:
rename "dim
"
argu
m
e
n
t to "space"
commit
|
commitdiff
|
tree
2018-07-04
Sve
n
Ver
d
oolaeg
e
add is
l
_*_list_sw
a
p
commit
|
commitdiff
|
tree
2018-06-21
Sven Verdo
o
laeg
e
a
dd isl_ba
s
ic_se
t
_
from_multi_a
f
f
commit
|
commitdiff
|
tree
2018-05-17
Sven
Verdoola
e
ge
i
s
l_*_list_get_*:
ext
r
a
c
t
o
u
t
isl_*_list_peek
commit
|
commitdiff
|
tree
2018-05-02
S
ven Verd
o
o
laege
extract
out sh
a
r
ed isl_reordering_get_c
t
x
commit
|
commitdiff
|
tree
2018-05-02
Sven V
e
rdoolaeg
e
extract out sha
r
ed isl_local_reord
e
r
commit
|
commitdiff
|
tree
2018-04-30
Sven Verdoolaege
isl_space_alig
n
_params
:
rename "dim" arguments to
.
.
.
commit
|
commitdiff
|
tree
2018-04-28
S
ve
n
Verdoo
l
a
e
ge
isl_basic_map_real
i
gn:
r
e
n
ame
"dim"
a
rgumen
t
to "space"
commit
|
commitdiff
|
tree
2018-04-28
Sven V
e
r
doolaege
i
sl_basic_m
a
p_realign:
use isl_
b
a
sic_map_dim
commit
|
commitdiff
|
tree
2018-04-24
Sven Verd
o
olae
g
e
isl/val
.
h
: extract out isl/val_type
.
h
commit
|
commitdiff
|
tree
2018-04-18
Sven Verdoolaege
isl_
m
ap
.
c: extra
c
t out shared isl_map_ch
e
ck
_
range
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n Verdoolaege
isl_pw_*_
e
val:
ren
a
m
e "pnt_dim" variab
l
e to "pnt_space"
commit
|
commitdiff
|
tree
2018-03-18
S
ven Verdoo
l
aege
add isl_aff_eval
commit
|
commitdiff
|
tree
2018-03-18
Sve
n
Verdoolaege
ad
d
isl_l
o
cal_s
p
ace_lift_point
commit
|
commitdiff
|
tree
2018-03-18
Sve
n
Verdoolaege
add is
l
_lo
c
al_space_ha
s
_
space
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_q
p
olynomial_eval: extract ou
t
isl_lo
c
al_extend
_
point_vec
commit
|
commitdiff
|
tree
2018-03-18
Sve
n
Verdoolaege
isl_polynomial
.
c: isl_upoly_eval: check for NULL a
r
gument
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
add isl_
v
ec
_
add_el
s
commit
|
commitdiff
|
tree
2018-03-18
Sven V
e
rdoo
l
a
ege
isl
_
loc
a
l_spa
c
e_
d
ivs_known
:
e
xt
r
act out isl_local_divs_known
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_local
.
c
: extract out
s
h
ared isl_local_d
i
m
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n Verdoolaege
isl_local
.
c: extract ou
t
shared isl
_
local_get_ctx
commit
|
commitdiff
|
tree
2018-03-04
Sv
e
n
Verdoola
e
ge
is
l
_space_is_domai
n
: ex
t
ract out is
l
_s
p
ace_has_d
o
mai
n
_tuples
commit
|
commitdiff
|
tree
2018-03-04
Sven Verdoolaege
pr
i
vately export isl_m
a
p
_is_params
commit
|
commitdiff
|
tree
2017-12-26
Sven Ve
r
doolae
g
e
isl_pw_*_get
_
space
:
e
x
tract out isl_pw_*_pe
e
k_sp
a
ce
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdool
a
ege
isl_
a
ff
.
c: pw_aff_aff
_
o
n_domain: ex
p
licit
l
y insert
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
a
dd isl_aff_from_range
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
add
i
sl_
a
ff_{t
a
ke,restore}
_
dom
a
in_lo
c
a
l
_space
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n Verdoolaege
add isl_local_space
_
se
t
_f
r
om_params
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoola
e
ge
add
i
sl_local_spac
e
_{take,r
e
store}_sp
a
ce
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdoolaege
special
i
ze isl
_
s
p
a
ce_re
p
lace to isl
_
s
p
ace_r
e
place_pa
r
a
m
s
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdoola
e
ge
i
sl_reord
e
rin
g
_
e
xtend_sp
a
ce: rename
"
d
im" argument
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
S
ven Verdoolaege
i
sl_space_flatten_ran
g
e
:
r
e
nam
e
"
di
m
"
argument to
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sve
n
Verdoola
e
ge
isl_spac
e
_f
l
att
e
n_domain: rename
"
dim"
arg
u
me
n
t to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
Sven Ve
r
d
oolaege
r
e
move depreca
t
ed band forests
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoo
l
aege
add isl_vec_
z
ero
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_space_fac
t
or_domain:
a
c
cept set
space
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_space
.
c
:
move isl
_
spac
e
_factor_domain down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
S
ven Ve
r
do
o
laege
isl_co
a
l
esce
.
c
:
ext
r
act
out shared fi
n
d_eq and find_i
n
eq
commit
|
commitdiff
|
tree
2017-09-26
Sven
V
e
rdoolaege
is
l
_coalesce
.
c: extract out shared
c
oun
t
_
eq
a
nd count_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sv
e
n Verdoolaege
is
l
_
c
o
ales
c
e
.
c
:
ex
t
ract out shared a
n
y_eq and
a
ny_ineq
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
erdoolaege
boun
d
.
c
:
dire
c
tly include
required header
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoolaege
i
s
l
_
schedule_tree
.
c: direct
l
y incl
u
de required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoola
e
ge
isl_sch
e
dule_read
.
c: dir
e
ctly include re
q
uired head
e
r
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdo
o
laege
i
s
l_sche
d
ule_ba
n
d
.
c: direc
t
ly include requir
e
d headers
commit
|
commitdiff
|
tree
2017-09-18
S
ven Verdoolaege
isl_s
c
hedule
.
c:
d
i
rectly include require
d
heade
r
s
commit
|
commitdiff
|
tree
2017-09-18
Sven Ve
r
do
o
l
aege
isl_range
.
c: dir
e
c
t
ly includ
e
required head
e
r
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
V
e
rdool
a
ege
isl_obj
.
c: directly include req
u
ired header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolae
g
e
isl_flow
.
c
: direct
l
y include requ
i
red headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_as
t
_codegen
.
c:
d
irectly include requi
r
e
d
h
e
aders
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoola
e
ge
isl_ast_build_expr
.
c: directly incl
u
d
e
required
h
eaders
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verd
o
olaege
isl_ast_build
.
c: direc
t
ly include
r
equir
e
d headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Ve
r
doolae
g
e
isl_ast
.
c: d
i
rectly
i
ncl
u
d
e
req
u
ired
heade
r
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
erdoola
e
ge
i
s
l_list_templ
.
c:
directly
i
nclude required he
a
der
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl
_
map_universe: rename "d
i
m" argumen
t
to "spac
e
"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_map_empty:
r
ena
m
e "di
m
" argu
m
e
n
t to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven
V
e
rdo
o
laege
is
l
_
b
asic_
m
ap_universe: rename
"
dim
"
a
rgument to "space
"
commit
|
commitdiff
|
tree
2017-08-08
Sve
n
Verd
o
olaege
isl_basic
_
map_empty: renam
e
"dim" argum
e
nt to "space
"
commit
|
commitdiff
|
tree
2017-08-08
Sve
n
Verdoola
e
ge
isl_
s
et_universe:
re
n
ame "dim" argument
to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
v
en Verdoolaege
isl_set_em
p
ty: re
n
ame "dim" argument
to "s
p
ace"
commit
|
commitdiff
|
tree
2017-08-08
Sv
e
n Verdool
a
e
g
e
i
sl_
b
a
s
i
c
_
s
e
t
_un
i
verse: rename "dim"
argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
ven Ver
d
ool
a
ege
isl_
b
asic_set
_
empty: rename "dim" argument to
"
s
pace"
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verdoolaege
isl_acces
s
_info_compute_flow: s
u
ppo
r
t "kill"
a
ccesses
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdoolaege
isl
_
un
i
on_map
.
c: s
u
btract_entry: u
s
e isl_union_map_get_ctx
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdoolaege
i
s
l
_union_
m
ap
.
c
:
sub
t
ract
_
entry: u
s
e i
s
l_
m
ap_get_space
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdoolaege
i
sl_union_map
.
c:
rename
has_dim to has_spac
e
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdool
a
ege
isl_union
_
map
.
c: h
a
s_
d
im: rename "d
i
m" va
r
i
able to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
V
erdoolae
g
e
ad
d
isl_flow application
commit
|
commitdiff
|
tree
2017-06-08
Sven
Ver
d
oolaege
s
c
heduler: exploit lineality space in difference set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en
V
erdoolaege
ad
d
isl_union_set_combin
e
d
_
l
i
neality_sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Ver
d
o
o
laege
privatel
y
export
i
s
l_set_combined_lineality_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoola
e
g
e
isl_
b
a
sic_set
_
lineality_space: allow local variable
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verd
o
olaege
add i
s
l
_ba
s
ic_set_
e
xtra
c
t
_equaliti
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add
i
sl
_
multi_aff_from_aff_mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdoolaege
sche
d
uler: dro
p
con
s
traints that c
a
n
o
n
l
y
be used for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Ve
r
doolaege
isl_scheduler
.
c: collect_intr
a
_validity: drop parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
e
r
doolaege
isl_scheduler
.
c: intra_coefficients: se
p
a
r
ate c
a
che
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolae
g
e
isl_scheduler
.
c:
c
ount
_
map_
c
on
s
traints: count pa
r
a
m
e
tric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
is
l
_schedule
r
.
c:
extract out shared force_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdool
a
ege
isl_scheduler
.
c: ex
t
ract
o
ut
s
h
a
r
e
d update_
c
o
unt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaege
ad
d
isl_union_set_plain_gi
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoolaege
add is
l
_map_p
l
ai
n
_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolaege
add isl_set_plain_gist_ba
s
ic_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoola
e
g
e
add isl_basic_se
t
_{lower,upper}_bound_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
aege
doc
:
isl_*_bound
_
*:
sp
e
cify
h
ead
e
r
to inc
l
ude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
s
c
heduler: try car
r
ying only
self-dependences in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_sched
u
ler
.
c:
c
ompute_carrying_sol: ext
r
act out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl_
s
cheduler
.
c: fin
d
_node_
c
oal
e
s
cing
:
use hal
f
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Verdoolaege
a
dd
i
sl_val_div_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoola
e
ge
isl_scheduler
.
c: compute_ma
x
_
c
oeffi
c
i
e
n
t
: roun
d
up
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdool
a
e
g
e
add isl_int_
c
div_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
i
sl_test_
i
nt: add
mo
r
e is
l
_in
t
_cdiv_q test
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ver
d
oolaege
imath backend: use
tailored isl_int_fdiv_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_sched
u
ler
.
c:
com
p
ute_schedule_finish_
b
and: split
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verd
o
o
laeg
e
i
sl_sched
u
ler
.
c:
spli
t
_scaled: do
not
e
nforce rel
a
t
i
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolaege
add
isl
_
mat_
r
o
w
_neg
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
scheduler: s
o
l
ve Feautrier f
a
llback as ILP to avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoola
e
g
e
add isl_tab_lexmin_cut
_
to_
i
nteger
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Ve
r
doolaege
isl_sche
d
uler
.
c: compute_schedule_fi
n
ish_band:
a
lso
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next