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
add isl_basic_set_{lower,upper}_bound_val
2017-06-07
Sven Verdoolaege
add isl_basi
c
_set_{lower,upper}_bound
_
val
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdoolaege
doc: isl_*_bo
u
n
d
_*: s
p
ecif
y
he
a
der t
o
include
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdo
o
laege
s
c
he
d
uler: tr
y
carryi
n
g only self-depen
d
ences in the
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_schedu
l
er
.
c: c
o
mpute_carrying_sol: e
x
tract out
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_scheduler
.
c: f
i
nd_
n
ode_
c
oa
l
e
scing
:
us
e
half of
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
add isl_va
l
_div_ui
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoola
e
ge
isl_scheduler
.
c
: compute_max_co
e
fficient:
ro
u
n
d up
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_
i
nt_cdiv_q_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_test_int: add
m
ore isl_
i
nt_
c
div_q test
s
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
imath backen
d
: us
e
tailor
e
d i
s
l
_i
n
t_fdi
v
_q_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sc
h
eduler
.
c
:
compute_schedule_fi
n
ish
_
band: split
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
is
l
_
s
chedul
e
r
.
c: split_s
c
ale
d
: do not
enforce
r
e
lative
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ve
r
doolaege
s
c
h
edule
r
: change or
d
er o
f
co
e
f
f
icients in
(
I)LP problems
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
i
s
l_schedu
l
er
.
c
: e
x
trac
t
o
u
t s
h
a
red
node_pa
r
_coef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_scheduler
.
c
:
ext
r
act out s
h
ared
node_cst_coef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolae
g
e
is
l
_
s
ch
e
duler
.
c: extract_var_coef: drop com
m
e
n
t on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
Verdoolaege
isl_s
c
h
e
duler
.
c: add_var_su
m
_constraint: dr
o
p comment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdo
o
laege
isl_sched
_
node: drop cmap field
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
erd
o
olaeg
e
isl_
s
cheduler
.
c:
u
pd
a
te_schedule: drop support for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolae
g
e
schedule
r
: s
o
lve for
o
riginal schedule coefficie
n
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Verdoolaege
ignore
computed schedule of
t
iming test case
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_schedul
e
r
.
c
:
i
sl_sched_n
o
de: no
r
ma
l
ize non-
t
rivial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
a
dd isl_mat_lexnonneg_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
add isl_ma
t
_reverse_gauss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
ool
a
ege
add isl_
m
at_row_neg
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
V
erdoo
l
aeg
e
is
l
_mat
.
c: extract out
sh
a
re
d
check_ro
w
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: is
l
_sched_
n
ode: onl
y
stor
e
ro
w
s that
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
scheduler: reverse order of s
c
hedule coeff
i
c
ients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
isl_scheduler
.
c:
e
xtract o
u
t shared
node_var
_
c
o
ef_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
isl_dim_
m
ap_ran
g
e: allow n
e
gat
i
ve
s
trides
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
isl_scheduler
.
c: const
r
uct_tri
v
ial: con
s
truct regi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_tab_basic_set_non_trivia
l
_le
x
min: take triviality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdo
o
laege
isl_
t
ab_pip
.
c:
r
egi
o
n
_
is_trivial: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Ver
d
oolaeg
e
is
l
_tab_basic_set_non
_
trivial_l
e
xmin: ext
r
act out fix_zero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdool
a
ege
isl_tab_pip
.
c: extend
isl_t
r
ivia
l
document
a
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoo
l
aege
add isl_
v
ec
_
is
_
zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
scheduler: solve Feautr
i
er fallback as
ILP to avoid
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ver
d
oolaege
add isl_tab_lexmin_c
u
t
_
to_integer
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
is
l
_
sche
d
uler
.
c: com
p
ut
e
_schedule_f
i
nish_b
a
n
d: also
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sc
h
eduler
.
c
:
c
ount_map_cons
t
r
aints:
drop "carry
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
isl_sc
h
edu
l
er
.
c: compute
_
c
arrying_sol: rem
o
ve duplicate
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: carry_d
e
pendences: ext
r
act out compu
t
e
_c
a
rr
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
ol
a
ege
isl_scheduler
.
c: carry_dependen
c
es: delay
errori
n
g
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
is
l
_
schedule
r
.
c: add_inter_constr
a
ints: return isl
_
sta
t
commit
|
commitdiff
|
tree
2017-05-25
S
v
en V
e
rdoolaege
i
s
l_s
c
heduler
.
c:
a
d
d_intra_
c
o
n
str
a
ints: return isl
_
stat
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sch
e
d
uler
.
c
:
inter_dim_map: ha
n
dle NULL input
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verd
o
olaege
isl_schedu
l
er
.
c: in
t
ra_d
i
m_map: ha
n
dle NULL input
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_
u
nion_set
_
get
_
b
a
sic_set_l
i
s
t
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_*_
l
ist_concat:
sp
e
cia
l
c
a
s
e pre-all
o
ca
t
ed
l
ist
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_union_{map
,
set}_
r
emove_divs
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
add isl_basic_set_list_coefficient
s
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verd
o
olaege
add isl
_
l
ist_*
_
map_*
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
V
erd
o
o
laege
isl
_
list_templ
.
c: extract out shared isl_list_*_ch
e
ck_
i
ndex
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoola
e
ge
isl_sch
e
d
_graph: add identifier to compre
s
sed n
o
des
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdool
a
e
ge
add isl_ba
s
ic_set_variab
l
e_co
m
p
ression_with_id
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl_basic_se
t
_vari
a
ble_compression: rename "dim" variable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aeg
e
isl_
s
ched_grap
h
: ignor
e
para
m
eters
i
n identification
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl_scheduler
.
c: nod
e
_has_spa
c
e: renam
e
"d
i
m" variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Verdoolaege
isl_sch
e
duler
.
c: gra
p
h_find_n
o
de: rename "d
i
m"
a
rgument
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
add isl_space_get_tup
l
e_has
h
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
o
laege
isl_s
p
a
c
e_get_{hash,dom
a
in
_
hash}:
on
l
y
has
h
in para
m
eters
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laeg
e
is
l
_
h
ash_{space,sp
a
ce_domain}: extr
a
c
t
out s
h
ared parame
t
er
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl
_
space_get_ha
s
h: re
n
ame "di
m
"
argument to "sp
a
ce"
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
la
e
ge
test_inp
u
ts/c
o
degen/{atomic,separate}
.
*
: expl
i
c
itly
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Tob
i
a
s
Grosse
r
cpp: add
u
nit tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
interface:
make language
b
i
n
din
g
s de
p
e
n
d on all
relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
interface/Ma
k
efile
.
am: d
r
op test targe
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
r
d
o
ola
e
g
e
isl_sched
u
le_constra
i
nts_co
m
pute_schedule: do not merge
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
s
l_union_m
a
p
.
c
: r
e
nam
e
cond_u
n
_op to un_op
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
d
oolaege
isl
_
union_map
.
c: un_op
:
imple
m
ent in terms of cond_un
_
op
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaeg
e
i
sl_union_map
.
c
: inplace: i
m
plement
in
terms of c
o
nd_un_op
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
i
s
l
_u
n
ion_map
.
c:
c
ond_
u
n
_op:
u
nify callbacks
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdoolaege
isl
_
u
n
ion_map
.
c
:
cond_un_op: drop need
l
ess er
r
or label
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verd
o
olae
g
e
isl_
u
nion_map
.
c
:
cond_un_op:
us
e
isl_union_map_g
e
t
_
space
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n V
e
r
d
oolaeg
e
isl_union_map
.
c: un_op: use isl_un
i
o
n
_map_get_ctx
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_union_map
.
c: in
p
lac
e
: use
isl_union_map_
g
et_ctx
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n
V
er
d
oolaege
isl_unio
n
_map
.
c
: cond_un_op
:
u
se isl_
u
n
ion_map_get_c
t
x
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verd
o
o
l
aege
isl_union_m
a
p_fa
c
tor_range: use
i
sl_map_is_product
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoolae
g
e
isl_union
_
ma
p
_fa
c
tor_d
o
m
a
in: use isl_map_is_
p
rod
u
c
t
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
eg
e
ad
d
isl_map_is_product
commit
|
commitdiff
|
tree
2017-05-17
Sven
Verdoola
e
ge
i
s
l_spa
c
e
_
c
an_zip
:
extract
out isl_
s
p
ace_is_product
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verd
o
ola
e
ge
isl_spac
e
_
c
an_zip:
ren
a
m
e "
d
i
m"
a
rgument to "spa
c
e
"
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_s
c
heduler
.
c: c
o
unt_map_
c
o
nstraints: use isl_basic_set_n_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Ver
d
oolaege
isl
_
scheduler
.
c: a
d
d
_cons
t
raint
s
_dim_map: use isl_ba
s
ic_set_
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven
Ve
r
doolaege
isl_sched
u
ler
:
ex
t
ract out
s
hare
d
add
_
constraints_dim_map
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_sch
e
duler
.
c: co
m
p
ute_w
e
ights: use isl_bas
i
c
_map_n_equ
a
lity
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdo
o
l
a
ege
add isl_bas
i
c_s
e
t
_n_inequali
t
y
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n
Verdoolaege
a
d
d isl_basic_map_n_inequality
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Ver
d
oo
l
aeg
e
add isl_ba
s
ic_set_n_equali
t
y
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n V
e
r
d
oolaege
add isl_bas
i
c_
m
a
p
_n_equality
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_scheduler
.
c: fix whitespac
e
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoola
e
ge
isl_schedule
r
.
c: non_neg_
l
exmin: impr
o
ve documentati
o
n
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoolaege
isl_scheduler
.
c:
c
lar
i
f
y
that spac
e
of isl_sched_
n
ode
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doolaege
is
l
_scheduler
.
c: fix
document
a
tio
n
of int
e
r_dim_map
.
.
.
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdoo
l
aege
in
c
lude/
i
sl/map
.
h: dr
o
p no
t
e
about
memo
r
y ma
n
ag
e
ment
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoo
l
aege
i
s
l_tab_pi
p
.
c
:
fix
typ
o
s in co
m
ments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n Verdoolaege
is
l
_scheduler
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n Ver
d
oola
e
ge
isl_map_simplify
.
c
:
f
ix typo
s
i
n
c
omments
commit
|
commitdiff
|
tree
2017-05-17
Sven
V
erdoolaege
isl_m
o
r
ph
.
c: fix
t
ypos in comments
commit
|
commitdiff
|
tree
2017-05-17
S
v
e
n Verd
o
o
l
aege
isl_f
l
ow
.
c: fi
x
typos in comme
n
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next