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: solve for original schedule coefficients
2017-05-25
Sven Verd
o
olae
g
e
s
ched
u
ler: solve for original schedule coeffi
c
ients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
gnor
e
computed
s
ched
u
le o
f
timing
test cas
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_schedu
l
er
.
c
:
isl_sched_node: normal
i
ze non-
t
rivial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoola
e
ge
add isl_mat_
l
exnonneg_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
add isl_
m
at_reverse_gauss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
add is
l
_mat_r
o
w_neg
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Verdo
o
l
aege
isl_mat
.
c: extra
c
t out s
h
a
red check_ro
w
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
isl_sche
d
u
ler
.
c: isl_sched_node
:
o
n
ly store
r
ows that
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
s
c
h
e
duler: reverse order
of sche
d
ul
e
coefficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoo
l
aege
isl_s
c
heduler
.
c
:
e
x
t
ract
o
ut
s
h
a
red node_
v
ar_coef
_
pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_dim_
m
ap_range: allow negative
str
i
des
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
i
s
l_
s
chedule
r
.
c: construct_trivial:
cons
t
ruct r
e
gion
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
is
l
_tab_
b
asic_set_
n
on_tr
i
v
ia
l
_lexm
i
n:
t
ake triviality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
g
e
isl_tab_pip
.
c: regi
o
n_is_trivial:
r
e
t
urn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_tab
_
bas
i
c_set
_
non_tr
i
vial_lexmin: extr
a
ct o
u
t fix_zero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
isl_tab_
p
ip
.
c
: extend
i
sl_trivial docum
e
n
t
ation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ver
d
oolaege
a
dd isl_
v
ec_
i
s_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
schedu
l
er: solv
e
F
eau
t
ri
e
r fal
l
back
as ILP to avoid
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
add
isl_tab_lexmin_cut
_
to_integer
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
d
oo
l
aege
i
s
l_
s
cheduler
.
c: c
o
mpute_schedul
e
_fini
s
h_band: also
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ve
r
d
oolaege
isl_schedu
l
er
.
c: count_map_constraints: drop "carry
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en V
e
rdoolae
g
e
is
l
_scheduler
.
c: compute_carrying_sol: rem
o
ve
d
uplicate
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: ca
r
ry_dependences:
extract
o
u
t c
o
mpute_car
r
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdo
o
laege
isl
_
s
che
d
uler
.
c: ca
r
ry_
d
ependences: delay erroring
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolae
g
e
isl_schedule
r
.
c: add_inter_co
n
s
t
raints: return i
s
l_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdool
a
e
g
e
isl_sche
d
u
l
er
.
c: add_intra_c
o
nstra
i
nts:
r
etu
r
n isl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
isl_
s
cheduler
.
c: inter_dim_map: handle
N
U
LL i
n
put
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
e
r
doolaege
i
s
l_
s
c
hed
u
ler
.
c:
intra_dim_map: handle
N
U
L
L
input
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Ve
r
do
o
laege
add isl_unio
n
_s
e
t
_
g
et_basic_set_list
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_*
_
list_concat: special case pre-allocated list
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
a
e
ge
a
dd isl_u
n
ion_{map,set}_remov
e
_
d
ivs
commit
|
commitdiff
|
tree
2017-05-25
S
ven
Verdoolaeg
e
add isl_basic_set_list
_
coefficients
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
a
dd isl_lis
t
_*_map_*
commit
|
commitdiff
|
tree
2017-05-25
S
ven
Verdoolae
g
e
isl_list_templ
.
c
: extract out shared isl_li
s
t_*_check_index
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl
_
s
c
hed_graph: add identifier to
compressed nodes
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
dool
a
ege
add is
l
_b
a
sic_set_variable_compressi
o
n_wi
t
h_
i
d
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl_basic_set_var
i
a
ble_co
m
pre
s
sion: rename "dim" varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoola
e
ge
isl_
s
che
d
_graph: ignore pa
r
ame
t
e
r
s
i
n i
d
entification
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
d
o
o
laege
isl_scheduler
.
c
:
node_has_s
p
ace:
r
e
nam
e
"d
i
m" v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
i
s
l_s
c
heduler
.
c: g
r
aph_find_node: rename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
a
d
d isl_sp
a
ce_get_tuple_hash
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_space_ge
t
_{hash,domain_hash}: only hash
in
p
a
rameters
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl_ha
s
h_{space,s
p
ace_domain}:
extract
o
ut shared parameter
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_space_
g
et_hash: rename "dim" argument to "spac
e
"
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
test_inputs
/
co
d
e
gen/
{
ato
m
ic,separate}
.
*: explicitly
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Tob
i
as Gr
o
sser
c
p
p: add unit tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
g
e
interface:
m
ake languag
e
bi
n
dings depend
on all rele
v
ant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
e
r
d
oolaege
int
e
rface/Make
f
ile
.
am: drop tes
t
target
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
isl_schedule_constraints_compute_schedule:
do not merge
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_union_map
.
c: rename co
n
d_
u
n
_
op
t
o un_op
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oolaege
isl_union_
m
ap
.
c
: u
n
_op: implement
i
n t
e
r
m
s
of con
d
_un_op
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verd
o
olaege
isl_
u
nion_map
.
c: inplace: implement in
t
er
m
s of
cond_un_op
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
laeg
e
isl_union_map
.
c: cond_un_op: unify callbacks
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
isl_union_map
.
c:
cond_un_op
:
d
ro
p
needless err
o
r label
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
sl_un
i
on_map
.
c: cond
_
un_op:
use isl_u
n
i
on_map
_
get_
s
p
a
c
e
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
isl_union_m
a
p
.
c
:
u
n
_
o
p: u
s
e isl_
u
nion_
m
a
p
_
get
_
ctx
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
is
l
_union_map
.
c: i
n
p
l
ace: use isl_un
i
on_map
_
ge
t
_c
t
x
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verd
o
ol
a
e
g
e
isl_union_m
a
p
.
c: c
o
nd_un_op: use is
l
_u
n
ion_map_get_ctx
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoolaege
isl_un
i
on_
m
ap_
f
actor_rang
e
: use isl_map_is_pr
o
duct
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdo
o
laege
isl_union_ma
p
_factor_
d
omain: use isl_map_i
s
_prod
u
ct
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoolaege
add isl_map_is_
p
roduct
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_sp
a
ce_can_zip: extract out isl_space_is_produc
t
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaeg
e
is
l
_
s
p
a
ce_can_
z
i
p: rename "dim" argumen
t
t
o
"space"
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n V
e
rdoolaege
isl
_
scheduler
.
c: c
o
unt_map_const
r
aints: use isl
_
basic_se
t
_
n
_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oolaege
isl_scheduler
.
c
:
add_constr
a
i
nts_dim_map: use is
l
_basic_set_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
r
doolaege
isl_sc
h
edule
r
:
e
xtrac
t
o
u
t shar
e
d add_constraint
s
_dim_m
a
p
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoo
l
aege
i
s
l
_
schedule
r
.
c:
c
ompute_weights: use
i
sl_ba
s
i
c
_map
_
n_equalit
y
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
ad
d
isl_basic
_
set_n_inequa
l
ity
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoolaege
a
dd is
l
_basic_map_n_inequal
i
t
y
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
g
e
a
dd isl_basic_set_
n
_
equalit
y
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
ad
d
isl
_
bas
i
c_ma
p
_n_equality
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verd
o
olaege
isl_sc
h
eduler
.
c: fix whitespace
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
V
e
rd
o
olaege
isl_
s
ched
u
ler
.
c: non_neg_lex
m
in: imp
r
ove documenta
t
ion
commit
|
commitdiff
|
tree
2017-05-17
Sven Ver
d
oo
l
aege
i
s
l
_schedule
r
.
c: c
l
arify that sp
a
c
e
o
f
i
s
l_sched_no
d
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
e
rdoolaege
i
s
l_scheduler
.
c:
fi
x
documentation of inter_dim
_
map
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoolaege
include/isl
/
m
a
p
.
h: dro
p
note a
b
out memory
management
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
is
l
_tab_pip
.
c:
f
ix typos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoo
l
aege
i
s
l
_schedul
e
r
.
c: fix
t
y
po
i
n comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
is
l
_map_simplify
.
c
:
fix typos in comments
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdoolaege
isl_morph
.
c: f
i
x t
y
pos in comments
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoolaege
i
sl_f
l
ow
.
c: fix
typos in c
o
mments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
d
oolaeg
e
isl
_
coale
s
ce
.
c
: fix typo in comment
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Ve
r
doolaege
doc: f
i
x
ty
p
o in descript
i
on
o
f sc
h
edul
e
_split_scaled
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doola
e
ge
isl_list_temp
l
.
c: fix harmless typo in code
commit
|
commitdiff
|
tree
2017-05-17
S
ven
V
erdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-05-17
T
o
bi
a
s Grosser
cpp: do
n
ot mark boo
l
ean(is
l
_bo
o
l)
constr
u
cto
r
as explicit
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Tobi
a
s Gros
s
er
cpp: explicitly manage isl_bool return
v
a
l
ues
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-16
Sven Ver
d
oola
e
ge
isl_
s
cheduler
.
c: add
_
inter_validity
_
constr
a
i
n
ts: avoi
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-11
Tobias G
r
osser
isl_val_is_o
n
e should ret
u
r
n isl_bool_f
a
l
se for nan
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-08
Sven Verd
o
ol
a
ege
interfa
c
e/python
.
c
c: fix typo introduced in pr
e
vious
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Tobi
a
s G
r
os
s
er
python: make string
pa
r
sing and returning Python 3
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
S
v
en Verdoolaege
isl_tab_basic_set_no
n
_trivial_lexmin: only add zeroing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-05
Sven Verdoola
e
g
e
isl_tab_basic_set_
n
o
n_tri
v
ia
l
_lexm
i
n: reinitialize
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
v
en Verd
o
ol
a
ege
int
e
rface
/
isl
.
p
y
.
t
op: explicitly cast self
.
p
tr
of C
o
nte
x
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven V
e
rdoolaege
pytho
n
interface: also print argument
t
ype
s
f
o
r *_co
p
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaege
interfa
c
e: generator::generato
r
: e
x
tract
o
ut s
h
ared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree