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_union_access_info_compute_flow: handle coscheduled must-sources
2017-06-12
S
v
e
n Verdoolaege
is
l
_union_access
_
inf
o
_compu
t
e_f
l
ow
:
handle co
s
ch
e
duled
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoolaege
add is
l
_map_inter
s
ect
_
domain
_
factor_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
V
e
rdoolae
g
e
doc: break up pa
r
ag
r
aph describing isl_a
c
cess_info_c
o
m
p
ut
e
_
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Ver
d
oolaege
add basic isl_u
n
ion
_
access_info_compute
_
f
l
o
w
tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
l
a
ege
ad
d
i
sl_flow_cmp
ap
p
licatio
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
ad
d
isl
_
flow application
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoolaege
add isl_union_a
c
ce
s
s
_
info_r
e
ad
_
from_file
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven
V
erdoola
e
ge
isl_unio
n
_
access_info
_
from_sink: e
x
tract o
u
t
isl_union_acce
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_uni
o
n_ac
c
e
ss_info_fr
o
m_sink: extr
a
ct out isl_union_acc
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verd
o
olae
g
e
isl_printer_
p
r
i
nt_union_a
c
ces
s
_
info: do no
t
print
empty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoolaege
i
sl
_
printer_pri
n
t
_union_access_info: extra
c
t out
s
h
ared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdool
a
ege
i
s
l_printer_print_u
n
ion_a
c
cess_info: extra
c
t out field
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en
V
erdoolaege
i
sl_fl
o
w
.
c
: m
e
rge isl_un
i
o
n
_
a
c
cess_info_s
e
t_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
V
e
rd
o
ol
a
ege
isl_union_access_info: t
r
eat access relations in a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
e
n Verd
o
o
l
aeg
e
i
sl_
p
r
i
nter_prin
t
_union_flow
:
consistently pri
n
t
full
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
er
d
oolaege
isl_sc
h
edule_{read,c
o
n
s
traints}
.
c: extract out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_schedule_read
.
c: ex
t
ract_key: stor
e
key string
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoolaege
Mer
g
e branch 'main
t
'
commit
|
commitdiff
|
tree
2017-06-08
Sven Ver
d
ool
a
ege
p
r
operly add declaration of isl_multi_union_pw_
a
ff_apply_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-08
S
ven Verdoolaege
s
cheduler: exploit lineality
s
p
a
ce in differenc
e
set
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
V
e
r
d
o
olaege
add isl_
u
nion_set_combi
n
ed_lineality_sp
a
ce
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verd
o
olaege
privat
e
l
y
ex
p
o
r
t
isl_se
t
_combined_lineal
i
t
y
_space
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
dool
a
ege
is
l
_bas
i
c_s
e
t
_lineality_space: al
l
ow local variables
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdool
a
ege
add
i
sl_basi
c
_
set_extract_equalities
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdo
o
laege
add
i
sl_multi
_
aff_from_aff
_
mat
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
sche
d
uler
:
drop c
o
n
s
traints that can only be used f
o
r
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolae
g
e
isl_schedul
e
r
.
c: collect_intr
a
_validity: d
r
op p
a
rameters
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoolaege
isl_
s
cheduler
.
c: intra_coeff
i
cients: s
e
par
a
te
c
ache
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoo
l
a
ege
isl_scheduler
.
c: count_m
a
p_constr
a
ints:
count pa
r
a
m
etric
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
e
r
doolaege
isl_scheduler
.
c: extra
c
t out shared force_zero
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
do
o
laege
isl_scheduler
.
c:
extract o
u
t s
h
ared u
p
date_count
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verd
o
olaege
add isl
_
union_set_plain_
g
i
s
t
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
oolaege
a
dd
i
sl_map_plai
n
_
g
is
t
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoo
l
aege
add i
s
l
_set
_
plain_
g
ist_basic_set
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
ola
e
ge
ad
d
isl_
b
asic_set_{lower,upper}_bound_val
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verdoolaege
doc: isl_
*
_
b
o
und_*: spe
c
ify header
to include
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoola
e
g
e
s
cheduler: try ca
r
rying only self-depe
n
dences in
the
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaege
isl_map_is_disj
o
int: hand
l
e input wit
h
unali
g
n
ed param
e
ters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
update imath f
o
r fix
o
f bug introduced in previous
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Michael Kruse
upda
t
e imat
h
for undefin
e
d behavi
o
r
fixes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_sched
u
ler
.
c: compute_
c
arrying_sol: extract o
u
t
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verd
o
olaege
i
sl_scheduler
.
c: fin
d
_nod
e
_coalescing: us
e
half of
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en
Verdoolaege
a
d
d isl_val_div_ui
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdool
a
ege
isl_schedule
r
.
c: compute_max_coeffi
c
ient: round up
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdool
a
ege
add isl_int_
c
div_q_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_test_
i
nt: add
more isl_int_c
d
iv_q tests
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
o
laege
imath b
a
cken
d
:
us
e
t
a
il
o
r
e
d isl_int_
f
div_q_ui
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdo
o
laege
i
sl_schedul
e
r
.
c: c
o
m
pute_schedule_finish_ba
n
d: split
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_sche
d
uler
.
c: split
_
scale
d
: do not enforce re
l
ative
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
sc
h
eduler: change order o
f
coefficient
s
i
n
(I)
L
P
pro
b
le
m
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoo
l
aege
isl_
s
ched
u
ler
.
c: extrac
t
out shared node_pa
r
_co
e
f_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolae
g
e
isl_scheduler
.
c:
e
xtract out
share
d
node_cs
t
_coef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
is
l
_scheduler
.
c: extract
_
var_co
e
f: drop comment o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
Verd
o
olaege
isl_scheduler
.
c: add_var_
s
um_constraint: dr
o
p co
m
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_
s
ched_node: drop c
m
ap field
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_
s
cheduler
.
c:
u
pdate_s
c
hedule: dr
o
p su
p
port for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
sched
u
ler: solv
e
for o
r
iginal sc
h
edule coeffici
e
nts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
ign
o
r
e comp
u
ted schedule of timin
g
te
s
t
case
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_schedul
e
r
.
c: isl
_
sched_node: nor
m
a
l
i
ze
n
o
n
-trivial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
a
dd
i
sl_mat_lex
n
o
nneg_
r
ows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_m
a
t_rev
e
rse_gau
s
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verd
o
o
l
aege
add isl_
m
at_row_neg
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en
V
erdoolaege
is
l
_
m
a
t
.
c
:
e
x
tract out s
h
ar
e
d check_
r
ow
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: isl_sc
h
ed_no
d
e: only
s
t
or
e
r
ows th
a
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
ool
a
eg
e
s
cheduler: reverse
order of schedule co
e
f
ficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_sche
d
uler
.
c
: e
x
tr
a
ct out shared node_var_co
e
f_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
erdoola
e
ge
isl_dim_map_range: allow negative strides
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
is
l
_sche
d
u
ler
.
c
: constru
c
t
_
t
rivial: construct
re
g
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
isl_tab_basic
_
set_non_tri
v
ial_
l
exmin:
take tr
i
viality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ver
d
oolaege
isl_tab_pip
.
c
:
r
egion_is_trivial: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
i
sl_tab_b
a
sic_set_non_
t
rivi
a
l
_le
x
mi
n
: extract
ou
t
fix_zero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
erdo
o
laege
is
l
_tab_pip
.
c: extend
i
sl_trivial documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdool
a
ege
add isl_vec_is_zer
o
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
r
d
oolaege
s
c
he
d
u
ler:
s
o
l
ve Fea
u
t
r
ier fallback as ILP to avoid
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
add isl_
t
a
b
_lexm
i
n_cut_t
o
_integer
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
erdoolaege
isl_scheduler
.
c:
c
ompute_schedule_fi
n
ish_b
a
nd
:
also
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
scheduler
.
c
: count_map_co
n
strai
n
ts: drop
"ca
r
ry
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_scheduler
.
c: comp
u
te_carr
y
ing_sol: re
m
ove duplicate
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Ver
d
o
olaeg
e
isl_scheduler
.
c
:
carry_dependences: extract o
u
t compute_carr
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Verdo
o
l
a
ege
isl_schedule
r
.
c:
car
r
y_
d
epende
n
ces: d
e
l
a
y e
r
r
oring
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolaege
isl_scheduler
.
c:
add_int
e
r_constraints: return isl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
isl_scheduler
.
c:
a
d
d_intra_con
s
trai
n
ts: re
t
urn
i
s
l
_sta
t
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
is
l
_schedul
e
r
.
c
:
i
nter_
d
im_map: handle
N
UL
L
input
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_scheduler
.
c: i
n
t
ra_dim_ma
p
: hand
l
e NULL input
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoola
e
ge
add isl_union_set_ge
t
_basic_set_list
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_*_li
s
t_c
o
n
c
at:
s
pecia
l
case p
r
e-
a
lloca
t
ed list
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
erd
o
olaege
add i
s
l_un
i
o
n_{map,
s
et}_remove_di
v
s
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
e
rdoolaege
add isl_basic_
s
et_list_coefficien
t
s
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
add
i
sl_list_
*
_map_*
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
sl_list
_
templ
.
c
:
extract out
shared isl_lis
t
_*_che
c
k
_
i
ndex
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdool
a
eg
e
isl_sch
e
d_graph: add
i
d
entifier t
o
c
o
mpress
e
d n
o
d
e
s
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ven V
e
rdoolaege
add isl_basic_set_var
i
able_compr
e
ssio
n
_with_id
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl_basic_set_variable
_
c
o
mpression:
r
e
name "dim" variable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
erdoolae
g
e
isl_sched_graph
:
ignore pa
r
ameters i
n
identification
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
o
laege
isl_sched
u
ler
.
c: node_has_space
:
rename "
d
i
m" vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoo
l
a
ege
isl_
s
c
h
eduler
.
c: g
r
ap
h
_find
_
node
:
rename
"
dim" ar
g
ument
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
erdoolae
g
e
add i
s
l_space_get_tuple_hash
commit
|
commitdiff
|
tree
2017-05-25
S
v
en
V
erdoolaege
i
sl
_
space_get_
{
hash,domain_
h
ash}: only ha
s
h
in parameters
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Verd
o
ola
e
g
e
isl_hash_{space,space_domain
}
:
e
x
tract o
u
t
s
h
ared para
m
e
ter
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_space_get_h
a
s
h
:
rename "di
m
" argu
m
e
nt to
"space"
commit
|
commitdiff
|
tree
next