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_map.c: rename has_dim to has_space
2017-06-12
Sven Verdoola
e
ge
isl
_
union_map
.
c: rename has_d
i
m
to has_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdool
a
ege
isl_union_map
.
c: has_dim: r
e
name "dim
"
vari
a
b
le to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
e
n Verdoolae
g
e
isl_uni
o
n
_access_i
n
fo_compute_fl
o
w: h
a
ndle coscheduled
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
add isl_ma
p
_intersect_domain_factor_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
aege
doc
:
bre
a
k up paragraph
d
escribi
n
g isl_access_inf
o
_c
o
mpute_f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoo
l
aege
add basic
i
s
l
_union_access_
i
nfo_compute_flow tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
add
i
sl_flow_cmp applic
a
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
add isl_f
l
o
w
app
l
ication
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
add isl_uni
o
n
_
acc
e
ss_
i
n
fo_r
e
ad_fr
o
m_fil
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Ve
r
d
oolaege
isl_un
i
o
n
_access_info_fr
o
m_sink:
e
xtract out isl_union_acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n
Ver
d
oolaege
isl_union_access_inf
o
_from_
s
ink:
e
xtract
o
ut
i
sl_unio
n
_acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
doolae
g
e
i
sl_printer_print_unio
n
_
a
ccess_info: do not print
e
m
pty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoolaege
isl_
p
rinter_print_union_access_info: e
x
tract ou
t
s
hared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verd
o
o
la
e
ge
isl
_
p
r
inter_print_un
i
on_ac
c
ess_i
n
fo: e
x
t
r
act out field
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n V
e
r
d
oolaege
isl_flo
w
.
c: merge isl_u
n
ion_a
c
ce
s
s_info_set_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
i
s
l_u
n
i
o
n_a
c
c
e
ss_inf
o
:
treat access rela
t
ions in a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
e
n Verdoolaege
isl_printer_prin
t
_uni
o
n_flow
:
consist
e
n
tly print full
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
e
r
do
o
la
e
ge
isl
_
schedule_{read,c
o
nstr
a
in
t
s}
.
c: e
x
tract out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_sche
d
ule_read
.
c: extract_
k
ey: st
o
r
e
key strings
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en V
e
rdoolaege
Merge branch
'
maint
'
commit
|
commitdiff
|
tree
2017-06-08
S
v
en Verd
o
olaege
properly
a
dd
d
eclaration
of isl_multi
_
uni
o
n_pw_aff_apply_pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdo
o
laege
sched
u
le
r
: exploit lineality space in differ
e
nce set
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n
V
e
r
d
oo
l
a
ege
add
isl_union_set_co
m
bined_linea
l
ity_space
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Ve
r
d
o
olaege
p
rivatel
y
e
x
port is
l
_se
t
_
combined
_
lineality_space
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
i
sl_b
a
sic_set_
l
ineali
t
y_space:
allo
w
lo
c
al varia
b
l
e
s
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
aege
add isl_
b
asic_set_ext
r
ac
t
_equalities
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add i
s
l_multi_aff_from_aff
_
mat
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
oolaege
schedul
e
r
:
dro
p
constraint
s
tha
t
can on
l
y
be use
d
for
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
ool
a
ege
i
s
l_schedule
r
.
c: collect_intra_v
a
lidity: drop param
e
ters
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n
V
e
rdoolaege
isl_sch
e
d
u
ler
.
c: intra_coeffici
e
nts: separate cache
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
a
e
ge
isl_sched
u
ler
.
c
: count_map_constra
i
nts
:
count parametric
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Ve
r
d
oolaege
isl_sch
e
d
u
ler
.
c: extract out shared
force_ze
r
o
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdool
a
ege
isl_s
c
heduler
.
c
: extract out sha
r
e
d upd
a
t
e
_c
o
unt
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdool
a
e
ge
add isl_union_set_
p
l
ain_gist
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoolaege
add is
l
_map_plain_gist
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
olaege
ad
d
i
s
l_set
_
plain_gist_b
a
s
ic_
s
et
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
a
d
d isl_ba
s
ic_set_{l
o
wer,u
p
per}_bound_val
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
olaege
doc: isl_
*
_bound_*: specify header
to incl
u
de
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaeg
e
schedule
r
: try carrying only self-dependences
i
n the
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n Verdoolaege
i
s
l_map_is_di
s
joint
:
handle input wi
t
h
u
n
align
e
d parameters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Ve
r
doola
e
ge
update imath f
o
r fix of bug in
t
rodu
c
ed in prev
i
o
u
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Michael Kruse
updat
e
imath for undefine
d
b
ehavi
o
r
f
i
xes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olae
g
e
isl_sch
e
d
u
ler
.
c
: compute_car
r
ying_sol: extract o
u
t
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c
: find_node_coalescing: use hal
f
of
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Verdoolaege
ad
d
isl_val
_
div_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_sch
e
d
ule
r
.
c:
compute_max_coe
f
f
icient: r
o
und u
p
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
ool
a
ege
add
isl
_
int_cdiv_q
_
ui
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_
t
est_int
:
a
dd
m
o
r
e i
s
l_int
_
c
div_q tests
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
imath backend: u
s
e tai
l
ored is
l
_int_fd
i
v_q_ui
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoo
l
aege
isl_schedule
r
.
c: c
o
mpute_schedule_finish_band: split
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: spli
t
_scaled: do not e
n
force
relati
v
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verd
o
o
laege
sc
h
ed
u
ler: change ord
e
r of coeff
i
c
i
en
t
s in (I)L
P
problems
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
e
rdoo
l
aege
isl_scheduler
.
c:
e
xtract out
shared
nod
e
_
p
a
r_coef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
i
s
l_sc
h
eduler
.
c: extract
o
ut shared node
_
cst_
c
oef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_sc
h
eduler
.
c
: extract_var_coef: drop comment
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
sc
h
eduler
.
c: add_v
a
r_sum_co
n
straint:
d
r
op co
m
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoo
l
a
e
g
e
isl_
s
ch
e
d_
n
ode: drop cmap fi
e
ld
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaeg
e
isl
_
schedul
e
r
.
c
:
update_
s
chedu
l
e: d
r
op
s
upp
o
rt for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
e
r
d
oolaege
scheduler: solve f
o
r origi
n
al s
c
hed
u
le c
o
efficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolae
g
e
ignore
computed sched
u
l
e of
tim
i
ng te
s
t
c
ase
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolae
g
e
i
sl_sche
d
uler
.
c: isl_sc
h
ed_node: n
o
r
malize non-tr
i
vial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
a
d
d
isl_mat_lexn
o
nneg
_
rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolae
g
e
add isl_mat_reverse_gauss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
ad
d
is
l
_mat_ro
w
_neg
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
g
e
isl_mat
.
c: ex
t
ract ou
t
shared
c
heck_r
o
w
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
e
r
d
ool
a
ege
isl_
s
cheduler
.
c: isl_sch
e
d_node: o
n
l
y
store r
o
ws that
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
scheduler: r
e
v
er
s
e ord
e
r of sche
d
ul
e
coefficie
n
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoo
l
aege
i
s
l_schedule
r
.
c:
e
x
t
r
a
c
t out shared no
d
e
_var_
c
oef
_
pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_dim_map_ra
n
ge: allo
w
n
e
gati
v
e
s
tride
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
o
ol
a
ege
isl_sche
d
uler
.
c:
co
n
struct_trivia
l
: cons
t
ruct regi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ver
d
oolaege
isl_tab_b
a
si
c
_set_
n
on_t
r
ivial_l
e
xmin: take
t
r
i
vi
a
lity
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_tab_pip
.
c: reg
i
on_i
s
_
t
ri
v
ial: return
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaeg
e
i
sl_tab_ba
s
ic_se
t
_non_
t
ri
v
ial_lexmin:
e
xtr
a
ct
o
ut fix_zero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_tab_pip
.
c: exte
n
d
isl_
t
rivial documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_ve
c
_is_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
s
ch
e
duler: s
o
lve F
e
autrier
f
a
llback a
s
ILP to avoid
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Verdoolae
g
e
add isl
_
t
a
b_lexmin_cut_
t
o_integer
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
i
sl_s
c
he
d
uler
.
c: compute_s
c
he
d
u
le_finish_
b
a
n
d: also
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_sch
e
duler
.
c: co
u
nt_map_con
s
trai
n
ts: drop "carry
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
erdo
o
laege
isl_s
c
he
d
uler
.
c: co
m
pu
t
e_carrying_sol: r
e
m
ove
d
u
pli
c
ate
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
o
l
aege
isl_sc
h
edul
e
r
.
c: carry_dependences
:
e
xtract out comp
u
te_ca
r
r
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_sc
h
edu
l
er
.
c: carry_
d
ependences: d
e
lay error
i
ng
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
e
rdoolaege
isl_sc
h
edu
l
er
.
c: add_in
t
er_cons
t
ra
i
nt
s
:
return isl
_
s
tat
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_s
c
h
e
dul
e
r
.
c: add
_
intra_constraints: return isl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_scheduler
.
c:
i
nt
e
r_d
i
m_m
a
p: handle NULL input
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
ola
e
g
e
isl_sc
h
eduler
.
c:
i
ntra_dim_map: handle NUL
L
i
nput
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
ad
d
isl_union_set_get_basi
c
_set_l
i
st
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
isl_*_list_conc
a
t:
s
pec
i
al cas
e
pre
-
a
lloca
t
ed lis
t
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
add is
l
_
u
ni
o
n
_
{map,s
e
t}_
r
e
m
ove_divs
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
add isl
_
b
asic_set_list_c
o
efficients
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaeg
e
add isl
_
li
s
t
_*_map_*
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
r
dool
a
ege
isl
_
lis
t
_te
m
p
l
.
c: extract out shared
isl_
l
ist_*_check_index
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolae
g
e
i
sl_sched_graph: add i
d
entifier t
o
com
p
ressed nodes
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
a
d
d
isl_basi
c
_set_variable_compres
s
ion_
w
i
t
h_id
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erd
o
ol
a
ege
isl_basi
c
_set_va
r
iable_compression:
rename "dim
"
variable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sched_g
r
aph
:
i
gnore par
a
m
e
ters
i
n identificat
i
on
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c:
n
ode_has_space: ren
a
me
"
dim" variable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolae
g
e
isl_scheduler
.
c: grap
h
_find_node: renam
e
"dim" argument
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en V
e
rdoolaege
add isl_spac
e
_ge
t
_tuple_hash
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
o
olaege
isl_space_get
_
{hash,doma
i
n_ha
s
h}: only hash in
parameters
.
.
.
commit
|
commitdiff
|
tree
next