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
scheduler: try carrying only self-dependences in the Feautrier fallback
2017-06-07
S
v
e
n
Ve
r
do
o
laege
schedule
r
: t
r
y carry
i
n
g
only self-depe
n
de
n
ces in the
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
isl_schedu
l
e
r
.
c: comp
u
t
e
_carryi
n
g
_sol: e
x
t
ract o
u
t
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
s
che
d
ule
r
.
c
: find_node_coa
l
escin
g
:
u
s
e
hal
f
of
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
add isl_v
a
l_div_
u
i
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
isl_scheduler
.
c:
c
ompute_max_coefficien
t
:
r
o
und up
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rd
o
ol
a
e
ge
add
i
sl_int_
c
div_q_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
er
d
oolaeg
e
isl_test_int:
add more is
l
_int_cdiv_q
t
ests
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
imath
b
ac
k
end: us
e
tailored isl_
i
nt
_
fd
i
v_q
_
ui
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
isl_sc
h
eduler
.
c: compute_schedu
l
e
_
f
i
n
ish_b
a
n
d: split
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Ve
r
doolaege
isl_schedu
l
er
.
c
:
spli
t
_scale
d
:
do not
e
nforce re
l
ative
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
ool
a
e
ge
s
ched
u
ler:
c
hange order of coefficient
s
i
n
(I)LP
pr
o
b
l
ems
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
isl_
s
chedule
r
.
c
:
e
xtrac
t
out s
h
ar
e
d node_
p
ar
_
coef
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sch
e
duler
.
c: e
x
tract
out s
h
a
re
d
node_cst_
c
oef_
o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven V
e
rd
o
olae
g
e
is
l
_
s
ch
e
dul
e
r
.
c: e
x
trac
t
_var_
c
oef:
d
rop
c
omment on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdool
a
ege
i
s
l_sched
u
le
r
.
c: add_va
r
_sum_constra
i
n
t
: drop comm
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
sl_sched_nod
e
: drop c
m
ap
field
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
ol
a
ege
i
s
l_schedule
r
.
c
: upd
a
t
e_
s
c
he
d
u
l
e: dr
o
p support for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaeg
e
s
c
h
e
d
uler: solve for or
i
ginal schedule c
o
eff
i
cients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
ignore co
m
puted
schedule of timing t
e
st c
a
se
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl_
s
cheduler
.
c
: isl_sched
_
n
ode: norm
a
lize non-trivial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ver
d
oolaege
add isl_m
a
t
_lexnonn
e
g_ro
w
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
add is
l
_mat
_
r
e
verse_gauss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
a
d
d isl_mat_row_neg
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
erdo
o
laege
isl_mat
.
c
:
extract out shared check
_
row
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolae
g
e
isl_sch
e
duler
.
c: isl
_
sched_
n
od
e
:
o
n
ly stor
e
row
s
that
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoola
e
g
e
schedu
l
er
:
r
everse order
o
f
sc
h
edule coeffi
c
ients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
e
r
doolaege
isl_sched
u
ler
.
c: extract o
u
t shared nod
e
_var_coef_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdool
a
ege
isl_dim_map_range
:
allow
negative strid
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
Verdoolaege
isl_sche
d
uler
.
c: co
n
s
truct_trivial
:
construct
r
egion
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven V
e
rdoolaege
i
s
l
_
tab_basic_set_non_trivial_lexmin
:
ta
k
e triviality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
isl_ta
b
_p
i
p
.
c: region_is
_
trivial: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_tab_basic_set_n
o
n_trivial_lexmi
n
:
e
xtract out fix_zero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_
t
ab_pip
.
c: extend i
s
l_trivial d
o
cumentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add
isl_vec_is_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
s
c
heduler: solve Fe
a
utrier f
a
llbac
k
as IL
P
to avoid
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
a
d
d isl_tab_lexmin_c
u
t_to_integer
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: com
p
u
te
_
sch
e
du
l
e
_finish_band: also
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_s
c
h
e
dule
r
.
c: co
u
nt_map
_
const
r
a
i
nts: drop "carry
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c
: comput
e
_
carrying_sol: remove dup
l
icate
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_scheduler
.
c:
c
arr
y
_d
e
p
endences: extract
o
ut
c
o
m
put
e
_ca
r
r
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
isl_scheduler
.
c:
c
arry_depend
e
nces: d
e
lay erroring
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
s
cheduler
.
c:
a
dd_inter_co
n
s
traints: r
e
t
urn isl
_
stat
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
e
r
doo
l
aege
isl_sc
h
eduler
.
c
:
add_intr
a
_constrai
n
ts: r
e
turn isl_stat
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolaege
isl
_
sched
u
ler
.
c: inter_dim_map: handle NUL
L
input
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
d
o
olaege
isl
_
scheduler
.
c:
i
ntra
_
di
m
_map
:
han
d
le NUL
L
input
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
a
d
d isl_un
i
on_set_ge
t
_ba
s
ic_set_list
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verd
o
olaeg
e
is
l
_*_li
s
t_concat: special case pr
e
-a
l
located
l
ist
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaeg
e
add isl_union_{map
,
s
e
t}_remov
e
_divs
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolae
g
e
add isl_basi
c
_se
t
_list_coefficients
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
do
o
l
a
ege
add isl_list_*_map_*
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_list_templ
.
c: extract out shared isl_list_*_check_inde
x
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdo
o
laege
is
l
_sched_gr
a
p
h: add iden
t
if
i
e
r
t
o compresse
d
nodes
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
a
d
d isl_basic_
s
e
t_variabl
e
_
compression_with_id
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_b
a
sic_set_variable_compression: rename "d
i
m" variable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ve
r
dool
a
ege
isl_
s
c
hed_
g
r
a
ph: ign
o
re
p
arameters in iden
t
i
f
i
c
ation
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolae
g
e
i
s
l_scheduler
.
c: no
d
e_h
a
s_space:
r
ena
m
e "dim" v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl_scheduler
.
c
: graph_find_node
:
r
ena
m
e "d
i
m" argument
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
do
o
laege
ad
d
isl_space
_
get_tu
p
le
_
hash
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
isl_s
p
ace_get_{hash,domai
n
_has
h
}: on
l
y hash in p
a
rameters
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl
_
hash_{space,space_domain}: ex
t
ract out sh
a
red paramete
r
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_space_get_
h
ash: ren
a
me "
d
im" argument to "spa
c
e"
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoola
e
ge
test
_
i
n
puts
/
codegen/{atomic,separate}
.
*:
exp
l
icitly
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Tobias Grosser
cpp: add unit tes
t
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
inter
f
ace: m
a
ke
l
anguage bindings depen
d
o
n all relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
la
e
ge
interface/Ma
k
efi
l
e
.
am:
drop test
target
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolae
g
e
isl_s
c
hedule_constraints
_
co
m
pute_
s
chedule: do
not merg
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoolae
g
e
isl_un
i
on
_
map
.
c: ren
a
me
c
ond_u
n
_op
t
o un_op
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoolaege
isl_u
n
ion_map
.
c: un_op:
implement
i
n t
e
rms of cond_un_op
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaeg
e
isl_union_map
.
c: inplace: implement in ter
m
s o
f
cond_un_op
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n V
e
rdoolaege
isl
_
union_map
.
c: cond_un_op
:
unif
y
callbacks
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
laege
isl_union_map
.
c: c
o
nd_un_op:
d
ro
p
ne
e
dless error label
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doo
l
aege
isl_union_
m
ap
.
c: c
o
nd_
u
n
_
op: use is
l
_union_map_g
e
t
_spac
e
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
V
e
rdool
a
e
g
e
isl_uni
o
n_map
.
c:
u
n_op:
use isl_union_
m
a
p_get_ctx
commit
|
commitdiff
|
tree
2017-05-17
S
v
en
V
erd
o
ol
a
ege
isl_union_map
.
c: inpla
c
e: use i
s
l
_
union_map_get_ctx
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_un
i
on_map
.
c
: cond
_
un_
o
p
:
use
isl_union_m
a
p_get_ctx
commit
|
commitdiff
|
tree
2017-05-17
S
ven V
e
r
doo
l
aeg
e
i
s
l_union_map_
f
a
c
t
o
r_range: use isl_map_is
_
pr
o
duct
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoolaege
isl_union_m
a
p_fa
c
tor_domain: use isl
_
map
_
is_product
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doo
l
aege
add isl_ma
p
_is_pr
o
duct
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoolaege
isl_sp
a
ce_can_zip: extra
c
t out isl_spac
e
_is_p
r
odu
c
t
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Ve
r
doolaege
isl_
s
p
a
ce
_
can_z
i
p: re
n
ame "dim" argument to "
s
p
a
ce
"
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdoolaege
isl_scheduler
.
c: count_map_cons
t
raints: use isl_basi
c
_
s
et_
n
_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_scheduler
.
c: add_con
s
traints_dim_
m
ap: use
isl_basic_set
_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n
Verdoolaege
isl_scheduler:
extract out
sha
r
ed add_c
o
nstraints_d
i
m_m
a
p
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_scheduler
.
c:
c
ompute_w
e
i
g
hts: u
s
e isl_ba
s
ic_map
_
n_equal
i
ty
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Ver
d
oolaege
a
d
d isl_basic_set_n_i
n
e
q
uality
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
a
d
d i
s
l_bas
i
c_map_n_ine
q
u
a
lity
commit
|
commitdiff
|
tree
2017-05-17
S
v
en V
e
rdoolaege
add isl_basic_se
t
_n_equal
i
ty
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Ver
d
o
o
laege
add isl_b
a
sic
_
m
ap_n_equa
l
i
ty
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
is
l
_scheduler
.
c: fi
x
w
h
itespace
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_sche
d
ule
r
.
c
:
n
on_n
e
g_lexmin: imp
r
ove documentation
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_sch
e
duler
.
c:
clarify that s
p
ace of
i
s
l
_sched_n
o
de
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdoolae
g
e
isl_scheduler
.
c:
f
ix documentation of inter
_
dim_map
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
n
clu
d
e/isl/m
a
p
.
h: drop n
o
te about memory man
a
gement
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoolaege
i
s
l
_tab_p
i
p
.
c
:
fix typos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verd
o
o
l
aege
isl_sched
u
ler
.
c:
f
ix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolae
g
e
isl_map_simpl
i
fy
.
c
:
fix typos in comments
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoolaege
isl_morph
.
c:
f
i
x t
y
pos
i
n comments
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
sl_flo
w
.
c: fix typos
in c
o
mments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Ve
r
doolaege
i
sl_c
o
a
l
esce
.
c: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
do
c
: fix typo in
desc
r
ipti
o
n
o
f
schedule_split_sc
a
led
.
.
.
commit
|
commitdiff
|
tree
next