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_scheduler.c: count_map_constraints: count parametric constraints separately
2017-06-07
Sven Verdoolaege
is
l
_scheduler
.
c:
c
ount_ma
p
_con
s
t
r
a
ints: coun
t
parametric
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoolaege
isl_sc
h
eduler
.
c: ex
t
r
a
c
t
out shar
e
d force_zero
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoolae
g
e
isl_s
c
heduler
.
c: e
x
trac
t
o
u
t
shared update_count
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoola
e
ge
add isl_uni
o
n_set_p
l
ain_g
i
s
t
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdo
o
laege
a
d
d isl_map_p
l
ain_gist
commit
|
commitdiff
|
tree
2017-06-07
S
ven
V
erdoolaege
add isl_set_plai
n
_
gist
_
basi
c
_set
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add is
l
_basic_
s
et_{lower,upper}_b
o
und_va
l
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoo
l
aege
doc: isl_*_bound_*:
s
pecify hea
d
er
to
include
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
olaege
scheduler: try carrying onl
y
self-d
e
pendences in th
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
do
o
laege
isl_schedu
l
er
.
c: compute_carrying_sol: extract out
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
isl_schedul
e
r
.
c: find
_
node_coalescing:
u
se half of
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
l
aege
add
isl_val_div_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_sche
d
ul
e
r
.
c: comp
u
te_max_co
e
f
ficient:
r
o
un
d
up
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
a
d
d isl_int_cdiv_q_u
i
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_tes
t
_i
n
t: add m
o
r
e
is
l
_int_cdiv_q tests
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoola
e
ge
im
a
t
h ba
c
kend: us
e
t
a
ilored isl_
i
nt_fdiv_q_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: co
m
pute_sch
e
d
u
le_finish_
b
an
d
: split
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c
:
s
plit_
s
caled:
d
o not en
f
o
r
ce r
e
l
a
tive
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdool
a
ege
schedule
r
:
c
hange order
o
f coefficients in (I)
L
P
p
r
obl
e
m
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ve
r
d
o
ol
a
ege
isl_sc
h
eduler
.
c: extrac
t
o
ut shared node_par_coef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
ola
e
ge
isl_s
c
hedu
l
er
.
c
:
e
xtract out sh
a
red node_cst_coef
_
off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
g
e
i
sl_schedul
e
r
.
c:
e
xtract_var_
c
oef: drop comm
e
nt on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl_scheduler
.
c: add_var_sum_constraint
:
dro
p
comment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sc
h
ed_node: drop cmap field
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
isl_scheduler
.
c: u
p
date_sc
h
edul
e
: drop sup
p
ort for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ve
r
doolaege
scheduler:
s
olve for original schedul
e
c
o
efficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
ig
n
or
e
computed schedul
e
o
f
timin
g
test case
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
isl
_
scheduler
.
c: isl_sch
e
d_node
:
nor
m
alize non
-
tr
i
via
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
Verdoolae
g
e
add isl_mat_lexnonneg_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rdoo
l
aege
a
d
d
isl_mat_reverse_g
a
uss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
Verdoolaege
add isl_
m
at_row_neg
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_mat
.
c: ext
r
a
ct out shared check_row
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_scheduler
.
c:
isl_sched_node: on
l
y st
o
re
rows th
a
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolae
g
e
s
c
h
e
dule
r
: re
v
erse
order o
f
s
c
hedule coef
f
icient
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_schedul
e
r
.
c:
e
x
t
r
a
c
t out shared node
_
var_coef_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_dim
_
map_range: allow
negativ
e
str
i
des
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdo
o
lae
g
e
isl_scheduler
.
c
: constr
u
ct_
t
rivial: cons
t
ruct region
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_tab_ba
s
i
c
_set_non_tr
i
v
ial
_
lexmin:
t
ake triviality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oola
e
ge
isl
_
tab_pip
.
c: reg
i
on_is_trivial: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
o
l
aege
i
s
l_ta
b
_bas
i
c_set_non_trivial_le
x
min: extract out fix_zer
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
isl
_
ta
b
_pip
.
c
:
exte
n
d isl_trivia
l
d
ocumentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
a
dd isl_vec_is_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
erdool
a
ege
s
cheduler: sol
v
e Feau
t
rier
fallback as ILP to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
ad
d
isl_tab_
l
exmin_cu
t
_to_in
t
eg
e
r
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_s
c
hed
u
ler
.
c:
c
ompute_sche
d
ule_finish_
b
a
n
d: also
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
Verdoolaege
isl_scheduler
.
c: count_map_constraints: drop
"
ca
r
r
y
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoo
l
aege
i
s
l_schedule
r
.
c: compute_
c
a
r
rying_sol: remove dup
l
i
c
ate
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
isl_scheduler
.
c
: carry_de
p
e
ndences: extract out compute_c
a
rr
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
isl_sche
d
uler
.
c:
carry_d
e
pendences: delay erroring
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl
_
scheduler
.
c
:
add_inter
_
cons
t
r
a
in
t
s: return isl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl
_
sch
e
d
u
ler
.
c: add_in
t
r
a
_co
n
straints: return isl_st
a
t
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
i
s
l_s
c
heduler
.
c: i
n
ter_dim_map
:
handle
NULL input
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolae
g
e
is
l
_
s
ch
e
duler
.
c: i
n
t
r
a
_dim_ma
p
:
ha
n
dle NUL
L
input
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erd
o
olaege
add isl_
u
n
i
on_set_get_basic_set_list
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ve
r
doolaege
isl
_
*_l
i
st_conc
a
t
:
special
c
a
se pre-alloca
t
ed lis
t
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n V
e
rdoolaege
add isl_union_{map,set}_remove_
d
i
vs
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
d
oolaege
add i
s
l_basic_set_list_
c
oefficients
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
add
i
sl_list_
*
_
m
ap_*
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_list_templ
.
c
:
extract out
s
har
e
d isl_list
_
*_check_index
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
s
c
hed_graph:
a
dd identifier to co
m
pressed n
o
des
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
add isl_basic_
s
et_vari
a
bl
e
_compression_wit
h
_id
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
isl_basic_set_variable_compression: rename "
d
im" var
i
able
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_sched
_
gra
p
h: ignore p
a
rame
t
ers
i
n
identifica
t
ion
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdo
o
lae
g
e
is
l
_s
c
he
d
uler
.
c: node_h
a
s_space:
rename "dim" variable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_schedule
r
.
c: grap
h
_find_node: rename "d
i
m" argum
e
nt
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
add
isl_space_get_tuple_hash
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oola
e
ge
isl_space
_
get_{hash,domain_hash
}
: on
l
y
h
ash in parameters
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_hash_{space,
s
pa
c
e_domain}: extract
o
ut shared parameter
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
d
oolaege
i
s
l_space_get_hash: rename "d
i
m" ar
g
ument
t
o "space"
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ve
r
dool
a
e
g
e
te
s
t
_input
s
/
codegen/{atomic,separate}
.
*: exp
l
icitly
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Tobias Grosse
r
c
pp: add
unit tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolae
g
e
i
n
terface: make
l
anguage bin
d
ing
s
depen
d
on all relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
in
t
erfa
c
e/Makef
i
le
.
a
m:
d
r
o
p t
e
st target
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoo
l
aege
isl_schedule
_
c
o
nst
r
aints
_
compute
_
s
chedule:
do
not merge
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
sl_union_m
a
p
.
c: rename cond_un_op to un_op
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
ool
a
ege
i
sl_union
_
m
ap
.
c:
un_o
p
: imp
l
e
m
ent
in t
e
r
ms of c
o
nd_un_op
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl
_
u
nion
_
ma
p
.
c: in
p
lace: implement
in
t
er
m
s of cond
_
un_op
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_union_map
.
c
: cond_un_op: unify callba
c
ks
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
d
oolaege
isl_
u
nion_ma
p
.
c: cond_
u
n_op
:
drop n
e
edless error
l
abel
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
er
d
ool
a
ege
i
s
l
_union_map
.
c: co
n
d_un_o
p
: use
i
sl_
u
nion_map_ge
t
_space
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdo
o
laege
isl_union
_
map
.
c: un_op:
u
s
e
isl_union_map_get_c
t
x
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
isl_un
i
o
n_map
.
c: inplac
e
: use isl_union_map_get_ct
x
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdo
o
laege
isl_union_map
.
c: cond_un_op:
u
s
e
i
sl_un
i
on_map_get_ct
x
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolae
g
e
isl
_
union_map_f
a
c
tor_range
:
use isl_map_is_prod
u
ct
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erd
o
ol
a
ege
isl_union_map_factor_d
o
main
:
use isl_map_is_p
r
odu
c
t
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdoolaege
add isl
_
ma
p
_is_p
r
odu
c
t
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdool
a
ege
i
sl_space_can_zip: ex
t
rac
t
o
u
t
isl_spa
c
e_
i
s_product
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
isl_spa
c
e_can_
z
ip: ren
a
me "dim"
a
rgument to "space"
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoolaege
is
l
_
s
c
hedul
e
r
.
c
: count_map_con
s
trai
n
t
s
:
u
se isl_b
a
sic
_
set_n_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdoolae
g
e
isl_sc
h
edul
e
r
.
c
:
add_c
o
nstraints_dim_map:
u
se
i
sl_basic_set
_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
isl_s
c
heduler: extract
o
u
t shared a
d
d_constraints_d
i
m_map
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoolaege
is
l
_scheduler
.
c: compute_weights: use isl_basic_map_n_
e
q
uality
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
do
o
la
e
ge
add isl_basic_set
_
n_inequality
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdool
a
ege
add isl_basic_map_n_inequality
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
olae
g
e
add isl_ba
s
ic_set_
n
_equality
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaege
add i
s
l
_
b
a
si
c
_map_n_
e
quality
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verd
o
ol
a
ege
isl_scheduler
.
c
:
f
ix
wh
i
tesp
a
ce
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
s
l_scheduler
.
c
:
non_neg_le
x
min: improve
d
ocumen
t
a
tion
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoola
e
ge
i
s
l_scheduler
.
c: c
l
arify
t
hat space of isl_sched_
n
o
de
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verd
o
olaege
isl_sc
h
edule
r
.
c: fix do
c
umentation of in
t
er_dim_map
.
.
.
commit
|
commitdiff
|
tree
next