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
split ISL_BASIC_MAP_NORMALIZED into *_NO_REDUNDANT and *_SORTED
2018-08-16
S
v
en
V
e
rdoola
e
ge
split ISL_BASIC_MAP_NORMA
L
IZED
into *_
N
O_REDUNDANT
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoola
e
ge
i
sl_map_s
i
mplify
.
c:
i
sl_basic_map_eliminate_vars:
drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoola
e
ge
isl_map_simplify
.
c: se
t
_d
i
v_fr
o
m_eq: dro
p
redundant
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
S
ve
n
Verdo
o
laeg
e
is
l
_map_
s
i
mplify
.
c: eli
m
i
nate_var_using_equ
a
lit
y
:
drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoola
e
ge
isl_map
.
c: i
n
s
e
rt_bounds_
o
n
_di
v
_from_
i
neq
:
drop redun
d
a
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sv
e
n
V
e
rd
o
olaeg
e
isl_basic
_
map
_
insert_d
i
ms: rename "dim" variabl
e
to
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sve
n
Verdool
a
ege
isl_space_insert_dims: use isl_s
p
ace_get_ctx
commit
|
commitdiff
|
tree
2018-08-05
Sven Verdoo
l
aege
isl_space_
i
n
s
ert_dims: renam
e
"
d
im" argument
to "sp
a
ce"
commit
|
commitdiff
|
tree
2018-07-04
Sven
Verdoolaege
add isl_*
_
li
s
t_swap
commit
|
commitdiff
|
tree
2018-06-21
Sven Verdoolaege
add isl
_
basic_set
_
from_mu
l
ti_aff
commit
|
commitdiff
|
tree
2018-05-17
Sven
V
erdoolaege
i
s
l
_*_list_get_*
:
extract ou
t
isl_*_list_peek
commit
|
commitdiff
|
tree
2018-05-02
Sven Ver
d
o
olaege
extract out shared isl_reordering_get_ctx
commit
|
commitdiff
|
tree
2018-05-02
Sven
Ver
d
oolaege
extract out shared isl_local_reorder
commit
|
commitdiff
|
tree
2018-04-30
Sv
e
n Verdoolae
g
e
isl
_
space_align_params: rename "dim" arguments to
.
.
.
commit
|
commitdiff
|
tree
2018-04-28
Sven
V
erdoolaege
isl_basi
c
_
m
ap_realig
n
: rename
"
dim" argu
m
ent to "space"
commit
|
commitdiff
|
tree
2018-04-28
Sven Verdoolaeg
e
isl_basic_map_realign: use isl_basic
_
map_dim
commit
|
commitdiff
|
tree
2018-04-24
Sven Verdoola
e
ge
isl/val
.
h: extrac
t
ou
t
is
l
/val_type
.
h
commit
|
commitdiff
|
tree
2018-04-18
Sven
V
erdoolaege
isl_
m
ap
.
c:
e
x
tract out shared i
s
l
_
map_check_range
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_pw_*_eval: renam
e
"pnt_dim" variabl
e
to
"pnt_sp
a
ce"
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
a
d
d isl
_
aff_eval
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
a
d
d isl_local_s
p
ace_lift_point
commit
|
commitdiff
|
tree
2018-03-18
Sven V
e
r
d
oolaege
add isl
_
local_space_
h
as_space
commit
|
commitdiff
|
tree
2018-03-18
Sve
n
Ve
r
do
o
laege
i
s
l_qpolynomial_eval: extract
o
u
t
isl_local_extend_point_vec
commit
|
commitdiff
|
tree
2018-03-18
Sven Ve
r
do
o
laege
is
l
_
polynomia
l
.
c
:
isl_upoly_eval: check for NUL
L
argume
n
t
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdool
a
ege
ad
d
isl_vec_add_els
commit
|
commitdiff
|
tree
2018-03-18
S
v
en Ve
r
doolaege
isl_local_s
p
ace_divs_known:
e
x
tr
a
c
t
o
ut isl_loc
a
l_divs_known
commit
|
commitdiff
|
tree
2018-03-18
Sven Verd
o
olaege
i
s
l_local
.
c
:
ext
r
act out share
d
isl_local_dim
commit
|
commitdiff
|
tree
2018-03-18
Sve
n
V
e
r
doolaege
isl_local
.
c: extra
c
t out shared isl_local_g
e
t
_
c
t
x
commit
|
commitdiff
|
tree
2018-03-04
S
v
e
n Verdoolaege
i
sl_space_is_
d
omain: extract out
is
l
_space_has_domai
n
_tu
p
le
s
commit
|
commitdiff
|
tree
2018-03-04
Sven Verdoolaege
priva
t
ely ex
p
ort isl_ma
p
_is_par
a
ms
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoo
l
aeg
e
isl_pw_*_ge
t
_spa
c
e:
e
xtra
c
t ou
t
is
l
_
pw
_
*_peek_
s
p
a
ce
commit
|
commitdiff
|
tree
2017-12-26
Sve
n
Verdoolaege
i
s
l
_
aff
.
c
:
pw_af
f
_aff_on_domain:
explici
t
ly insert
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n V
e
rdool
a
ege
add isl_a
f
f
_
f
r
o
m_r
a
nge
commit
|
commitdiff
|
tree
2017-12-26
Sven Verd
o
olaege
ad
d
i
sl_aff_{t
a
ke
,
restore}_doma
i
n_lo
c
al_space
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoo
l
aeg
e
add
isl_local
_
space_set_from_para
m
s
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
add isl_local_space_{take,resto
r
e}
_
space
commit
|
commitdiff
|
tree
2017-11-29
Sven Verd
o
olaege
s
p
e
c
i
a
lize
isl_space_
r
eplac
e
to isl_space_r
e
p
lace_params
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdool
a
ege
isl_reo
r
dering
_
extend_space:
r
ename
"
dim" argumen
t
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven
Verdoolaege
i
sl_space_flatten_range: rena
m
e "dim" argumen
t
to
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n
V
e
rdoolaeg
e
i
sl_space_flatte
n
_domain:
rename "dim"
argum
e
nt to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n V
e
rdoo
l
aege
re
m
ove deprecated band for
e
sts
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
Verdoolaege
add isl_
v
ec_
z
er
o
commit
|
commitdiff
|
tree
2017-09-27
S
ven
V
erdoo
l
ae
g
e
i
s
l_sp
a
ce
_
factor_domain: ac
c
ept set
space in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolae
g
e
isl_space
.
c: mo
v
e
i
sl
_
space_factor_domain down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoolae
g
e
isl_coalesc
e
.
c: extract out shared find_eq and fi
n
d_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoolaeg
e
isl_coales
c
e
.
c:
e
xtra
c
t out shared
cou
n
t_eq and count_in
e
q
commit
|
commitdiff
|
tree
2017-09-26
Sven Ver
d
oolaege
isl_coalesce
.
c: extract out shared any_eq
a
nd any_ineq
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdool
a
ege
bound
.
c: directly
i
nclude
r
equired header
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Verdo
o
laege
i
s
l_schedule_tree
.
c: directly include r
e
quired
h
eaders
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
olaege
isl_
s
chedule_r
e
a
d
.
c: d
i
rectly include required
header
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
erdo
o
laege
isl_schedule_band
.
c: dire
c
tly include
required headers
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verd
o
olaege
isl_sche
d
ule
.
c: directly include
required hea
d
e
r
s
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoolaege
isl_rang
e
.
c: directly includ
e
required hea
d
er
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoola
e
g
e
isl_obj
.
c:
d
irectly include required header
commit
|
commitdiff
|
tree
2017-09-18
Sven
Verdoolaege
isl_flow
.
c: d
i
rectly inc
l
ude r
e
quired headers
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n
Verdoolaege
isl_a
s
t_
c
odegen
.
c:
di
r
ectly in
c
lu
d
e require
d
headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Ve
r
doolaege
i
s
l_
a
st_build_expr
.
c: d
i
r
ect
l
y in
c
l
u
de required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_ast_build
.
c: directly include r
e
quired headers
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
erd
o
olaege
isl_ast
.
c: direct
l
y include
requir
e
d he
a
der
commit
|
commitdiff
|
tree
2017-09-18
Sven V
e
rd
o
olaege
is
l
_lis
t
_templ
.
c: directly include
required heade
r
commit
|
commitdiff
|
tree
2017-08-08
Sven Ver
d
oolaege
i
s
l
_map_
u
niverse:
r
ename "dim"
a
rgume
n
t to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_map_empty: rename "d
i
m" argument to "spac
e
"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdo
o
l
aege
i
sl_basic_ma
p
_universe: rename
"dim" argument t
o
"sp
a
c
e"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_
b
asic
_
map_empty: rename "dim" argu
m
ent to
"space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaeg
e
isl_set_universe: rename
"
dim
"
argum
e
n
t to "spac
e
"
commit
|
commitdiff
|
tree
2017-08-08
Sven Ve
r
doolaege
is
l
_set_empty
:
ren
a
me "dim"
a
rg
u
ment to "space
"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolae
g
e
isl_bas
i
c_set_
u
niverse: rename "di
m
"
argume
n
t to
"
space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolae
g
e
isl_basic_set_empty:
r
ename "dim" arg
u
ment to "space"
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdoolaege
i
s
l_acce
s
s_info_compu
t
e_fl
o
w: support "kill" ac
c
esses
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
laeg
e
isl_union
_
map
.
c: s
u
b
t
ra
c
t_e
n
try:
u
s
e isl
_
uni
o
n
_map_get_ctx
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_uni
o
n_m
a
p
.
c:
subtract_entry: use isl_map
_
get_space
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_union_map
.
c
: rename has
_
d
i
m
to
h
as_spa
c
e
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
i
sl_union_m
a
p
.
c:
h
as_dim
:
rename "dim" va
r
i
a
ble to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdo
o
laege
a
d
d i
s
l_flo
w
application
commit
|
commitdiff
|
tree
2017-06-08
Sve
n
Verd
o
olaege
sched
u
le
r
: exp
l
o
it lineality space in d
i
f
ference set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven
V
er
d
ool
a
ege
add isl_union
_
set_combined_lineality_sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verd
o
olaege
priv
a
tely expor
t
isl_
s
et_
c
ombined_lineality_s
p
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdool
a
ege
isl_bas
i
c_set_linea
l
ity_space: allow local var
i
a
ble
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl
_
basic_s
e
t
_extract_equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
o
o
la
e
ge
a
dd i
s
l_multi
_
aff_
f
r
o
m
_a
f
f
_
m
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
o
lae
g
e
sc
h
eduler: drop
c
ons
t
raints
th
a
t
c
an o
n
ly be u
s
ed for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoolaege
isl_sche
d
uler
.
c: collect_intra_
v
alidit
y
: drop para
m
ete
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n
Verdoolaege
isl_s
c
hed
u
ler
.
c:
intra_coeffi
c
ie
n
t
s
: sepa
r
a
te cache
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en V
e
rdoolaege
isl_
s
che
d
uler
.
c:
c
ou
n
t_
m
ap_const
r
aints: co
u
nt p
a
rametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verd
o
olaege
isl
_
schedule
r
.
c: extract out shared
forc
e
_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolae
g
e
i
s
l_scheduler
.
c: ex
t
r
a
ct out s
h
are
d
upd
a
te_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
a
ege
add is
l
_
u
n
i
on_se
t
_plain_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven
V
erdoolaeg
e
add isl_
m
ap_plain_
g
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verdoolaege
add isl_se
t
_pl
a
in_gist_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdool
a
ege
add
i
s
l_basic_set_{lower,up
p
er}_b
o
und_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
doc: isl_
*
_bound_*
:
specify hea
d
e
r to include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ve
n
Verdoolaege
scheduler: try carrying on
l
y self-depend
e
nces i
n
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
sl_schedule
r
.
c
:
compute_carrying_sol: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sc
h
eduler
.
c: find
_
nod
e
_
coalescin
g
:
use half of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verd
o
olaege
add is
l
_val_div_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaeg
e
isl_sched
u
l
e
r
.
c
: co
m
pute
_
ma
x
_
c
oefficient
:
round up
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
a
e
ge
add isl_
i
nt_cd
i
v_q
_
ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_test_int: a
d
d
m
o
r
e
isl_int_cdiv_q test
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
imath backend: use
tailor
e
d
isl_in
t
_fdiv_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_sch
e
dule
r
.
c: compute
_
schedule_finish_ba
n
d: s
p
lit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next