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: extract out shared force_zero
2017-06-07
Sv
e
n Ve
r
doolaege
isl_scheduler
.
c: extra
c
t
o
ut s
h
ared
f
orce_zero
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
d
oolaege
isl_scheduler
.
c: ex
t
ract
o
ut shar
e
d update_count
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl_union_set_
p
lain_gist
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n V
e
rdoolaege
add isl_map_p
l
ain
_
gi
s
t
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaege
add isl_set_p
l
ain_g
i
s
t
_basic_set
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoolaege
ad
d
is
l
_basic_set_{lower,
u
p
p
er}_bound_val
commit
|
commitdiff
|
tree
2017-06-07
S
ve
n
Verd
o
o
laege
doc: isl_*_bound_*
:
specify header to
include
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdool
a
ege
scheduler: try
carrying
only self
-
dependences in the
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rdoolaege
isl_s
c
heduler
.
c: compute_car
r
ying_sol:
e
xt
r
act out
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdo
o
laege
i
sl_scheduler
.
c: find_
n
ode_coalescing
:
u
se half of
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
ol
a
ege
ad
d
isl_val_div_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
is
l
_sc
h
eduler
.
c: c
o
mpute_max_coefficient: round up
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoo
l
ae
g
e
add is
l
_int_cdiv_q_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
isl_test_
i
n
t
:
a
dd m
o
re isl_int_cdiv_q tests
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
imat
h
backe
n
d
: us
e
tailored isl_int_fdiv_q_u
i
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ver
d
oolaege
isl_scheduler
.
c: com
p
ute_
s
chedul
e
_finish_ban
d
: sp
l
it
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verd
o
o
laege
i
s
l
_schedule
r
.
c: split_scaled: do not
e
nforce
re
l
a
tiv
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaeg
e
scheduler: change order of coeffici
e
nts in (I)L
P
p
r
o
b
lems
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_sc
h
edu
l
er
.
c: extract out
share
d
node_par_coef_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoo
l
aeg
e
isl_scheduler
.
c: extrac
t
o
u
t
shared
node_cst
_
coef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
g
e
is
l
_scheduler
.
c: extract_
v
a
r_
c
oef: dr
o
p
commen
t
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoo
l
aege
isl_scheduler
.
c: add_var_sum_constrain
t
: drop com
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl_s
c
hed_node:
d
rop cmap field
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_sch
e
duler
.
c: update_schedule
:
drop suppo
r
t
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
s
c
heduler: so
l
ve for
original schedule coefficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdo
o
laege
i
g
nore computed
schedule of timing te
s
t case
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdo
o
laege
isl_scheduler
.
c: i
s
l_sched_node: nor
m
aliz
e
n
o
n-trivi
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doo
l
a
e
ge
add i
s
l_mat_lexnon
n
eg_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
ol
a
ege
add
isl_mat
_
revers
e
_g
a
uss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
add isl_mat_row_
n
eg
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_mat
.
c: extract
ou
t
shared ch
e
ck_row
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
isl_scheduler
.
c
: isl
_
sched_no
d
e: only store ro
w
s
t
hat
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
scheduler: reverse order of
schedule coeff
i
cients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
i
s
l_s
c
hed
u
ler
.
c:
extract out shared nod
e
_va
r
_coef_
p
os
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolae
g
e
isl_dim_map_range:
a
llow neg
a
t
ive stride
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_schedul
e
r
.
c
:
construct
_
trivial
:
c
on
s
truct region
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
erdoolaege
isl_tab_basic_set_non_trivial_lexmin: take tr
i
viality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_tab_pip
.
c: regi
o
n_is
_
trivial: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoola
e
ge
isl
_
t
ab_basic_set_non_t
r
iv
i
al_
l
exmin: extract out f
i
x_zero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl_tab_pip
.
c: extend isl_
t
ri
v
ial
documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_vec_is_
z
ero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoo
l
aege
sched
u
ler: so
l
ve Feautrier fallback
a
s ILP to avoid
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
add isl_t
a
b_lexmin_
c
u
t
_to
_
integ
e
r
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
o
l
aeg
e
i
s
l_s
c
hed
u
l
er
.
c:
c
omput
e
_schedule_finish_b
a
nd: also
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
isl
_
schedu
l
er
.
c: c
o
unt_map
_
constraints: drop "ca
r
ry
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
d
oolaeg
e
isl
_
sch
e
duler
.
c: comput
e
_carrying_sol: r
e
move
d
uplicate
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_sche
d
uler
.
c:
c
arry_de
p
en
d
ences: ext
r
act out
c
omp
u
te_carr
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: carry_dependenc
e
s: delay
e
rr
o
ring
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rdoolaege
is
l
_sc
h
ed
u
ler
.
c:
a
dd_inter_constraints: return isl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_sch
e
duler
.
c
:
a
dd_intra_constraints:
r
etu
r
n isl
_
s
tat
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ver
d
oolaege
isl
_
schedule
r
.
c:
i
nter_di
m
_map:
h
andle
N
U
LL input
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdo
o
lae
g
e
isl_schedu
l
e
r
.
c: i
n
tra_dim_map: handl
e
NULL input
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aeg
e
add is
l
_union_s
e
t
_get_b
a
sic_s
e
t_list
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_*_
l
ist_concat: special ca
s
e
pr
e
-
a
lloca
t
ed
l
is
t
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
a
d
d
i
s
l_unio
n
_
{map,set}_r
e
move
_
divs
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoola
e
g
e
add isl_ba
s
ic_
s
et_
l
is
t
_c
o
e
ffi
c
ient
s
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
a
d
d isl_list_
*
_map_*
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n V
e
rdoolaeg
e
isl_
l
is
t
_t
e
mpl
.
c
:
extract out s
h
ared
i
sl_list_*
_
check_i
n
d
e
x
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdo
o
laege
i
s
l_sched
_
grap
h
: add identi
f
ier t
o
compr
e
ssed nodes
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
ad
d
isl_basic
_
set_
v
ari
a
ble_compre
s
sion
_
with_id
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_
b
as
i
c
_
set_
v
ar
i
able_compre
s
sion: r
e
name
"
dim" v
a
riab
l
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sched
_
graph:
i
g
nore
p
arameters in identif
i
ca
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: node_has_space
:
rename "dim" varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_sche
d
ule
r
.
c
:
gra
p
h_find_
n
ode: renam
e
"dim" a
r
gument
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
a
d
d
i
sl
_
s
p
ace_ge
t
_
t
u
ple
_
h
a
sh
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
isl_space_get_{
h
ash,domai
n
_ha
s
h}: only hash in par
a
met
e
rs
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
er
d
oolaege
isl_ha
s
h_{space,spa
c
e
_
domain}: extract o
u
t shared para
m
eter
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_s
p
ac
e
_get_hash
:
re
n
ame "d
i
m" ar
g
ume
n
t to "s
p
a
c
e"
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
t
e
st_i
n
puts/codegen/{at
o
mic,separ
a
te}
.
*: explicitly
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Tobias Grosser
cpp: add
u
nit tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
interface: make language bindings de
p
end on
all relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erd
o
olaege
interface/Makefile
.
am: drop test targ
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
laege
is
l
_sch
e
dule_c
o
nstraints_comput
e
_schedule:
d
o not
merge
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
o
o
l
ae
g
e
isl_union_
m
ap
.
c: renam
e
cond_u
n
_
op to un_op
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoolaege
isl_union_map
.
c: un_op: impl
e
ment in ter
m
s of
c
ond_un_op
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
isl_union
_
map
.
c: inp
l
ace: implement in te
r
ms
of con
d
_un_op
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoolaege
is
l
_union_map
.
c: cond_un_op: uni
f
y callbacks
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
isl
_
union_
m
ap
.
c
:
c
o
nd_un_op: drop needle
s
s error
label
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoolaege
i
s
l_union_map
.
c: cond_un_op
:
use i
s
l_u
n
ion_map_get_spac
e
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
V
erd
o
o
lae
g
e
isl_uni
o
n_map
.
c:
u
n_op:
use isl_u
n
ion_map_
g
e
t
_ctx
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaeg
e
isl_union
_
map
.
c
:
inplace: us
e
isl_union_m
a
p_get_
c
tx
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verd
o
olaege
isl_unio
n
_
m
ap
.
c: con
d
_
u
n_op
:
use isl_unio
n
_
map_get_
c
tx
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
ola
e
ge
isl_union_map_factor
_
ra
n
ge: use
is
l
_map_is_produc
t
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaeg
e
isl_
u
nion_map_
f
a
ctor_do
m
ain: us
e
isl_map_is_product
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verd
o
olaege
add isl_map_is_produc
t
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoolaege
isl_sp
a
c
e
_
c
a
n_zip:
e
xtract out i
s
l_space_is_pr
o
duct
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Ver
d
oolaege
isl_space_can_zip: rename "dim"
argum
e
nt to "
s
pace"
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Ver
d
oolaege
is
l
_
s
c
h
eduler
.
c: count_ma
p
_const
r
a
i
n
t
s: use isl_basic_set_n_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolae
g
e
isl_
s
cheduler
.
c: a
d
d_cons
t
rain
t
s_d
i
m
_
map: use isl_basic_set_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaeg
e
isl_sche
d
uler: e
x
tract out sh
a
r
e
d
a
dd_co
n
st
r
ai
n
ts_dim
_
map
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoo
l
a
e
g
e
isl_scheduler
.
c: c
o
mpu
t
e_weight
s
:
u
s
e
isl_basic_map_n
_
equality
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdo
o
laege
add
i
sl_b
a
sic_set_n_inequalit
y
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
e
rdoolaeg
e
add isl_basic_map_n_inequalit
y
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolae
g
e
add isl_basic_s
e
t_n_
e
qu
a
lity
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
add
i
s
l_basic_map_n_
e
quality
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_
s
ched
u
ler
.
c
: fix whitespac
e
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
isl_sch
e
d
uler
.
c: n
o
n_neg_l
e
x
m
i
n: improve documentation
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoolaege
isl_sc
h
eduler
.
c: clarify that spac
e
of is
l
_sched_no
d
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdoolaeg
e
isl_s
c
h
eduler
.
c:
fix d
o
cu
m
entation of
inter_dim_map
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
include
/
isl/map
.
h: drop note about memory mana
g
e
m
e
nt
commit
|
commitdiff
|
tree
next