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
V
e
r
doolaege
isl
_
uni
o
n
_
access_info_compute_flow
:
h
a
ndle
coscheduled
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Ve
r
do
o
laege
ad
d
i
sl_map_inters
e
ct_domain_factor_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoola
e
ge
doc: break up paragrap
h
d
escribing isl
_
acce
s
s_info_comput
e
_f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoola
e
g
e
a
d
d
b
a
sic isl_union_access_
i
nfo_compute_flow
t
ests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
add is
l
_flow
_
cmp
a
p
plicat
i
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
e
n
Ver
d
oolaeg
e
a
d
d isl_flow application
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdoolaege
add isl_union_access
_
info_read_from_f
i
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoolaege
isl_union_access_info_from_sink: extr
a
ct ou
t
isl_
u
nion_
a
cc
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
aege
isl_unio
n
_
a
ccess_i
n
fo_f
r
om_sink: e
x
t
ract out
isl_unio
n
_a
c
ces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdoolaege
isl_p
r
inter
_
print_union_access_info: do
n
ot p
r
int empty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_print
e
r_pri
n
t
_uni
o
n_access_info: extr
a
c
t
out s
h
ared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_
p
rinter_print_
u
nion_access
_
info: extract
o
u
t fiel
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
V
e
rdoolaege
i
s
l_flow
.
c: merge isl_union_acce
s
s
_
i
nfo_set_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verd
o
olaege
isl_uni
o
n_access_info: treat access re
l
ations i
n
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_print
e
r_
p
rint_union_
f
low: c
o
ns
i
stentl
y
print
f
ull
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_
s
chedule_
{
rea
d
,
con
s
tra
i
nts}
.
c: extract out shar
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoolaege
isl_schedule_read
.
c: extract
_
key: s
t
ore ke
y
strings
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
d
o
o
l
a
ege
Merge branch
'm
a
int'
commit
|
commitdiff
|
tree
2017-06-08
Sven Ve
r
doolaege
properly add dec
l
aration of
isl_
m
ulti_union_pw_af
f
_
a
pply_pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-08
Sven Ver
d
oolaege
s
c
hed
u
ler: exploit l
i
neali
t
y s
p
a
c
e i
n
diff
e
renc
e
set
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoolaege
add isl_union_set_combined_lineality_space
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
olaege
priva
t
ely
export isl_set_combined_l
i
neality_space
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
i
s
l_basic_
s
et_
l
ine
a
lity_spac
e
: a
l
low local va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
r
d
o
ol
a
ege
a
d
d isl_basic_set_extract_equa
l
ities
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl_multi_a
f
f_from_
a
ff
_
ma
t
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoola
e
ge
schedule
r
: drop constraints th
a
t
c
an only
be
use
d
for
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_sch
e
duler
.
c
: collect_intra_validity: drop param
e
ters
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_scheduler
.
c
: intr
a
_coe
f
ficients: separate cac
h
e
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoola
e
g
e
isl_scheduler
.
c: count
_
map_constra
i
n
ts: c
o
unt parametric
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
olaege
i
s
l_scheduler
.
c: extract out shared force_zero
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolaege
isl_scheduler
.
c: extract ou
t
shar
e
d update_count
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdo
o
l
aege
add isl_union
_
set_p
l
ain_gist
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl_m
a
p
_p
l
ain_gist
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdool
a
e
g
e
a
dd
i
s
l_set_p
l
ai
n
_gist_basi
c
_set
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
a
d
d isl_basic_
s
et_{lower,u
p
per}_bound_
v
al
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaege
doc
:
isl_*_
b
ound_*: specify heade
r
to include
commit
|
commitdiff
|
tree
2017-06-07
S
v
en
Verdoolaege
scheduler: try carrying o
n
l
y
s
elf-d
e
pe
n
dences in the
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoola
e
ge
i
s
l
_map_is_disjoin
t
: handle input with unaligned para
m
eters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
olaege
u
pdat
e
imat
h
for fix of
bug i
n
troduced in previous
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Michael Kru
s
e
update imath
f
o
r u
n
define
d
be
h
avior
f
ixes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: compute_carryin
g
_
sol
:
ex
t
ract
o
ut
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c:
find_
n
ode_coalesci
n
g: us
e
half of
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ven V
e
rd
o
olaege
ad
d
is
l
_val_div_ui
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
V
erdool
a
ege
isl_sc
h
eduler
.
c: compute_max_coefficien
t
: round u
p
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoo
l
aege
a
d
d isl_int_cdiv_
q
_
ui
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ve
r
doolaege
isl_test_i
n
t: a
d
d mo
r
e isl_int_cdiv_q tests
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Ve
r
d
o
olaege
imath back
e
nd: use tail
o
r
ed
i
sl_i
n
t_fdiv_
q
_ui
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl_s
c
hed
u
l
e
r
.
c
: compute_schedule
_
finish_band: sp
l
i
t
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl_s
c
hed
u
ler
.
c: split_scaled: do not enfo
r
c
e
r
elative
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ve
r
doolaeg
e
sched
u
ler: change order
of coefficients in (I)LP problems
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
i
s
l
_schedul
e
r
.
c: extract out shared
n
ode_pa
r
_coef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verd
o
o
l
aege
isl_
s
c
h
eduler
.
c: extract o
u
t sh
a
red node_cst_coef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en
V
e
r
do
o
laege
isl_s
c
heduler
.
c: extract_var_coef: drop
comment on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
is
l
_schedu
l
er
.
c: add_var_sum_cons
t
raint: drop comment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
is
l
_sched_node: dro
p
cmap field
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_scheduler
.
c
: u
p
date_sch
e
d
ule: dro
p
s
u
pport for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
sche
d
ul
e
r
:
solve for orig
i
nal sch
e
dule coefficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verd
o
olaege
ignore compute
d
schedule
of timin
g
test cas
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_scheduler
.
c: isl_sched_n
o
de: normalize no
n
-
t
rivi
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
a
dd isl_
m
at_lex
n
o
nne
g
_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
ad
d
isl_mat_reverse_gauss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoola
e
ge
a
d
d isl_mat_row_
n
eg
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verd
o
olaege
isl
_
m
a
t
.
c: extr
a
ct out
shar
e
d check_row
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_s
c
hedul
e
r
.
c: isl_sched_no
d
e: only store rows that
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
scheduler:
rever
s
e
o
rder of schedule coeffic
i
ents
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl_s
c
h
e
d
uler
.
c: extract out shared node_var_coef_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
doola
e
ge
isl_d
i
m
_
m
a
p
_range: allow ne
g
ativ
e
s
t
r
ides
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdo
o
laege
isl_sche
d
uler
.
c: c
o
nst
r
uc
t
_trivi
a
l: construct
region
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
isl_tab_
b
asic_se
t
_n
o
n_trivial_lexmin
:
take triviality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
ta
b
_pip
.
c: reg
i
on
_
is_trivial: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
o
l
ae
g
e
i
sl_tab_basic_set_non_t
r
ivial_lexmin: extr
a
ct ou
t
fix
_
zero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoo
l
aeg
e
is
l
_
tab_pip
.
c: exte
n
d
i
sl_trivial doc
u
mentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
add is
l
_ve
c
_
i
s
_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
sch
e
duler:
so
l
ve Fea
u
trier f
a
llba
c
k as ILP to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
add isl_t
a
b_lex
m
in_cut_to_inte
g
er
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
a
e
ge
isl_scheduler
.
c
: co
m
pute_sc
h
edule_finish_band: als
o
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Verdoolaege
isl_schedule
r
.
c:
c
o
unt_map_constraints: dr
o
p "carry
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c:
c
ompute_carrying_sol: r
e
m
ove dup
l
icate
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ve
r
dool
a
ege
i
s
l_scheduler
.
c: c
a
r
r
y_dependenc
e
s: extract
o
ut compu
t
e_car
r
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
d
o
olaege
isl_scheduler
.
c:
c
ar
r
y
_d
e
pendences: delay
e
rroring
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_sched
u
ler
.
c: add_int
e
r_constrain
t
s
: r
e
turn isl
_
stat
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verd
o
ol
a
ege
i
s
l_s
c
heduler
.
c: add_intra_constrain
t
s: return
i
sl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoo
l
a
e
ge
isl_scheduler
.
c: inter_d
i
m_map: handle NUL
L
input
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
V
e
r
doo
l
aege
isl_scheduler
.
c: intra
_
dim_
m
ap: handle NU
L
L i
n
put
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
er
d
oola
e
ge
add isl_uni
o
n_set_ge
t
_basic_set_
l
ist
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n V
e
rdoolaege
i
s
l_
*
_lis
t
_concat: spe
c
ial case pre-al
l
o
c
ated lis
t
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdo
o
laeg
e
a
dd isl
_
union_{
m
ap,se
t
}_remove_divs
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolae
g
e
ad
d
isl_basi
c
_set_list_
c
oefficients
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
l
aege
add isl_list_*
_
map_*
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdool
a
eg
e
isl_list_temp
l
.
c
:
extra
c
t
o
u
t s
h
ared isl_list_*_check_
i
nd
e
x
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
i
sl_sche
d
_
g
raph: add
i
d
enti
f
i
er to compressed nodes
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
V
e
rdoolaege
add isl_basic_s
e
t_va
r
iable_compression
_
with_
i
d
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
i
sl_basic
_
s
et_variable_comp
r
ession: r
e
n
ame "dim" v
a
ri
a
ble
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sched_graph: ignor
e
parameters in iden
t
ificati
o
n
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl
_
scheduler
.
c: node_has_space:
re
n
ame "dim" variable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
e
r
doolaege
isl_schedu
l
er
.
c
:
graph_find_
n
ode: r
e
nam
e
"
di
m
" a
r
gument
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
add is
l
_s
p
ace
_
ge
t
_tuple_hash
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
erdoolaege
isl_space_
g
et_{
h
ash,domain_
h
ash}: o
n
ly ha
s
h in
p
a
rameter
s
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_hash_{space
,
space_
d
omai
n
}: extract out shar
e
d
par
a
meter
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_spa
c
e_
g
et
_
hash: rename "di
m
" argument t
o
"space"
commit
|
commitdiff
|
tree
next