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_local.c: extract out shared isl_local_dim
2018-03-18
S
ven Verdo
o
l
aege
i
s
l_lo
c
al
.
c
:
extra
c
t out share
d
isl_lo
c
a
l_
d
i
m
commit
|
commitdiff
|
tree
2018-03-18
S
ven Verdoolaege
isl_local
.
c:
e
x
tract o
u
t shared
i
s
l_local_get_
c
tx
commit
|
commitdiff
|
tree
2018-03-04
Sven
Verdoola
e
g
e
isl_sp
a
c
e
_is_domain: extract out isl_spac
e
_has_do
m
ain_tuples
commit
|
commitdiff
|
tree
2018-03-04
Sven Verdoolaege
privately export isl
_
map
_
is_para
m
s
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
isl_pw_
*
_
g
e
t
_
spa
c
e: ext
r
a
ct
o
ut isl_pw_*_peek_space
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
i
s
l_aff
.
c: p
w
_aff_aff
_
on_d
o
main:
explicitl
y
insert
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdo
o
l
a
ege
a
dd isl_aff_f
r
om_range
commit
|
commitdiff
|
tree
2017-12-26
Sven
Verdool
a
eg
e
add i
s
l_aff_{tak
e
,restore}_doma
i
n_local_space
commit
|
commitdiff
|
tree
2017-12-26
Sven Ver
d
oolaege
add
i
sl_local_space_set_from_
p
arams
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdo
o
laege
ad
d
isl_local_space_{take,restore}_space
commit
|
commitdiff
|
tree
2017-11-29
Sv
e
n
V
erdoolaege
sp
e
c
ialize is
l
_space
_
repla
c
e
to
i
sl_space_replace_params
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdoolaege
isl_re
o
r
d
ering_extend_space: rename "dim" argume
n
t
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaeg
e
isl_space_flatten_ra
n
ge: r
e
na
m
e
"
dim" a
r
gument to
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Verd
o
o
l
a
ege
i
sl_space_flatt
e
n_do
m
ai
n
: rename "
d
im" argument to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
S
v
en Ve
r
doolaege
remove deprecated ba
n
d
forests
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
ad
d
isl_ve
c
_zero
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_spac
e
_fa
c
to
r
_dom
a
in: acc
e
pt set
s
pace input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
isl_space
.
c: move isl_sp
a
ce_f
a
c
tor_doma
i
n down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoolaege
i
s
l_c
o
alesce
.
c
: extract out shared find_eq an
d
find_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sv
e
n Verdoolaege
isl_coalesce
.
c: ext
r
act
out
shared c
o
un
t
_eq and count_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoola
e
ge
isl_
c
oalesce
.
c
: e
x
tr
a
ct
o
ut sha
r
e
d
any_eq a
n
d
any_ineq
commit
|
commitdiff
|
tree
2017-09-18
S
v
e
n Verdoolaege
bound
.
c:
directly include required he
a
der
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_schedule_tree
.
c: direc
t
ly i
n
clude required head
e
rs
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoolaeg
e
isl_sch
e
dule_read
.
c: direct
l
y include required header
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoolaege
isl_schedul
e
_band
.
c: directly in
c
lude required
h
ead
e
r
s
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdo
o
laege
i
sl_schedule
.
c: directly include required headers
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Verdo
o
laege
isl_range
.
c: di
r
ec
t
ly i
n
cl
u
d
e
required hea
d
er
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Verd
o
o
l
ae
g
e
is
l
_
obj
.
c: direct
l
y include requi
r
ed header
commit
|
commitdiff
|
tree
2017-09-18
Sven Ver
d
o
o
laege
isl_flow
.
c: directly incl
u
d
e
requ
i
red headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolae
g
e
isl_
a
st_co
d
egen
.
c: directly
include require
d
headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_ast_build_expr
.
c
:
directly include re
q
uired he
a
ders
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verdoolaege
isl_as
t
_build
.
c
: directly
include require
d
hea
d
ers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
ol
a
eg
e
isl_as
t
.
c
:
d
i
rectly in
c
lude
required header
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Verdool
a
ege
i
sl_lis
t
_temp
l
.
c: directly includ
e
required
h
eade
r
commit
|
commitdiff
|
tree
2017-08-08
S
v
en Ve
r
doolaege
is
l
_map_u
n
iverse
:
rena
m
e
"
d
i
m" argume
n
t to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
v
en Ve
r
d
oolae
g
e
isl_map_
e
mpty: ren
a
m
e "dim"
argument to "spa
c
e"
commit
|
commitdiff
|
tree
2017-08-08
S
ven Verdoolaege
isl_basic_ma
p
_un
i
v
erse: rename "dim" a
r
gument to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Ve
r
doolaege
isl_bas
i
c_map_empty: rename "dim" argument to "
s
pace"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdool
a
e
g
e
isl_set_uni
v
erse: ren
a
me "dim
"
argume
n
t
t
o
"space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdool
a
ege
isl_set_empt
y
: rename "d
i
m" argu
m
ent to
"space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Ver
d
oolaege
isl_basic_set
_
un
i
verse: ren
a
me
"dim"
a
r
g
ument to
"space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verd
o
olaege
i
s
l_basic_set_em
p
ty: rename "d
i
m" arg
u
m
ent t
o
"space"
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdoolaege
isl_
a
c
c
es
s
_
info_compute_flow: sup
p
ort "ki
l
l"
accesses
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
dool
a
eg
e
isl_
u
ni
o
n_m
a
p
.
c: subtract_entry: use isl_union_
m
ap_g
e
t_ctx
commit
|
commitdiff
|
tree
2017-06-12
S
v
en
V
e
rdoola
e
g
e
isl_union_map
.
c:
subtrac
t
_entry: use isl_map_ge
t
_space
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Ver
d
oolaege
is
l
_union_map
.
c: r
e
nam
e
ha
s
_dim to has_space
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
r
d
oolaege
isl
_
u
nion_map
.
c: has_dim: re
n
ame "dim"
va
r
iable to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoolaege
add isl_
f
lo
w
application
commit
|
commitdiff
|
tree
2017-06-08
Sv
e
n Verdoola
e
ge
schedu
l
e
r
: exploit lineality space in d
i
f
f
e
rence set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoo
l
aege
add isl_
u
nio
n
_set_com
b
ined_lineality_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolaege
pri
v
ately exp
o
rt isl_set_combined_
l
in
e
ality_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en
Ve
r
doolaege
isl_basic_
s
e
t_lin
e
ality_spa
c
e
: allow
l
ocal variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolae
g
e
a
d
d isl
_
bas
i
c_
s
e
t
_ext
r
act_equalitie
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl_multi_aff_fro
m
_aff_mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
Ve
r
d
oolaege
s
c
hed
u
ler: drop constrai
n
ts that
c
an only be used
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaege
isl_sched
u
l
er
.
c: colle
c
t_intra_validity: dr
o
p parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdool
a
e
g
e
isl_scheduler
.
c: intra_coefficients: separate cach
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolaege
is
l
_
s
c
h
eduler
.
c: count_map_constr
a
ints: c
o
unt parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven
Ver
d
oolaege
i
s
l_sched
u
ler
.
c:
extr
a
ct out
s
hared force_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
oolaege
is
l
_sche
d
uler
.
c:
e
xtr
a
c
t
out shared update_co
u
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl_un
i
on_
s
et_pla
i
n_
g
is
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven
Verdoo
l
ae
g
e
a
dd isl_map_plain_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdoolae
g
e
add isl_set
_
plain_gist_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Ve
r
d
o
olaege
add i
s
l_ba
s
ic
_
s
e
t_{lower,upper}_bound_v
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rd
o
olaege
d
o
c: is
l
_*_bound_*: specify header to include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
olaege
s
chedu
l
e
r:
try c
a
rrying onl
y
se
l
f-dependences in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ve
r
doolaeg
e
i
s
l
_
s
ch
e
duler
.
c
:
co
m
p
ute_ca
r
ry
i
ng
_
sol:
e
xtract
o
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdo
o
l
a
ege
isl_schedul
e
r
.
c: find_nod
e
_coalescin
g
:
use
h
alf of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
add isl
_
v
al_div_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoola
e
ge
isl
_
schedul
e
r
.
c:
comp
u
te_
m
ax_coefficient
:
round
u
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
a
dd is
l
_int_cdiv_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_test
_
in
t
: add
mor
e
i
s
l_int
_
cdiv_q te
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
imath
b
ackend:
use tai
l
ore
d
isl_int_f
d
i
v_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_scheduler
.
c
:
compute_schedu
l
e_
f
inish_band: split
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_
s
cheduler
.
c
:
s
pl
i
t_scal
e
d: do
n
o
t enfor
c
e r
e
la
t
iv
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ve
r
doolaege
add isl
_
mat_row_neg
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
er
d
oolae
g
e
sche
d
uler:
solve
Fea
u
trier fal
l
back as
I
LP to
a
void
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
dool
a
ege
ad
d
isl_tab_
l
ex
m
in_
c
ut_
t
o_integ
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl_scheduler
.
c: compu
t
e_schedule_finish
_
b
a
nd:
a
l
s
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolae
g
e
is
l
_sc
h
ed
u
l
er
.
c: count
_
m
a
p_
c
onstraints: d
r
op "carr
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_schedu
l
er
.
c
:
compute_carrying_s
o
l: r
e
m
o
v
e duplicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
r
doolaege
isl_schedul
e
r
.
c:
c
arry_dependences: extract out comput
e
_
carr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_sche
d
uler
.
c:
c
arry_dependences:
d
e
lay error
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
is
l
_sch
e
d
u
ler
.
c: add_inter_co
n
straints: return isl_sta
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl
_
sched
u
ler
.
c
: add_i
n
tra_c
o
nstra
i
nts
:
ret
u
rn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_scheduler
.
c: i
n
ter_dim_map: han
d
l
e NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_scheduler
.
c: intra_dim_map: handle NULL i
n
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
add isl_union_set
_
ge
t
_basic_set_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_*_
l
ist_co
n
cat: s
p
ecial
case pre-
a
llocat
e
d li
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erd
o
olaege
add isl_union_{map,set}_remove_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
add
isl_basic_set_list_coeffic
i
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
doo
l
aege
add isl_lis
t
_*_m
a
p_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_
l
ist_templ
.
c
: e
x
tract out
shared isl_
l
ist
_
*_check_i
n
dex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doo
l
a
e
ge
i
s
l
_s
c
hed_graph: add iden
t
ifi
e
r to com
p
resse
d
n
o
des
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erd
o
olaege
ad
d
isl_basi
c
_
set_varia
b
le_compressio
n
_with_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_basi
c
_set_variable_compre
s
si
o
n
: rename "di
m
"
variabl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Ve
r
do
o
lae
g
e
is
l
_s
c
hed_gra
p
h: ignore parameters in identif
i
cation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_sch
e
duler
.
c
:
n
o
de_has_sp
a
c
e
: rename "d
i
m" variab
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
Ver
d
oolaeg
e
i
s
l
_scheduler
.
c: graph_find_
n
ode: r
e
name "
d
im"
argu
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
o
o
laege
add isl_space_get_
t
u
ple_
h
ash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next