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_local_space_{take,restore}_space
2017-12-26
Sven Verd
o
olaege
add isl_lo
c
a
l_sp
a
ce
_
{t
a
ke,restor
e
}
_s
p
ace
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdo
o
l
aege
s
pe
c
ia
l
i
ze isl_s
p
a
c
e_replac
e
to isl_space_replace_params
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdoolaege
isl_reo
r
derin
g
_extend_space: rename
"
d
im" argume
n
t
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
S
v
en V
e
r
doolaege
isl_space_f
l
atten_range: rename "di
m
" argument to
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
isl_space_
f
latten_d
o
main: rename "dim" argume
n
t to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
re
m
o
ve dep
r
ec
a
ted band for
e
sts
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
add isl_vec
_
zer
o
commit
|
commitdiff
|
tree
2017-09-27
S
ven
V
e
r
doolaege
isl_space_f
a
ctor_domain:
a
c
c
ept set sp
a
c
e
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl_space
.
c
:
mo
v
e
isl_space_fac
t
or
_
domain down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
S
ven Verdoo
l
aege
is
l
_
c
oa
l
esce
.
c:
e
xtract out
shared fi
n
d_eq a
n
d find
_
ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven Ver
d
ool
a
ege
isl_coale
s
ce
.
c: extract out
s
h
ar
e
d coun
t
_eq
a
nd count_
i
neq
commit
|
commitdiff
|
tree
2017-09-26
S
ven Verdoola
e
ge
isl_coal
e
sce
.
c
: extract out
s
har
e
d any_eq and any_ineq
commit
|
commitdiff
|
tree
2017-09-18
Sven
Verdoolaege
bound
.
c: directly include re
q
uir
e
d head
e
r
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
erd
o
o
laege
i
s
l_schedule_t
r
ee
.
c: directly inclu
d
e required headers
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
V
e
rdoolaege
i
sl_sch
e
dule_read
.
c:
d
ir
e
ctly incl
u
de
re
q
u
i
red header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
olaege
isl_schedule
_
ba
n
d
.
c:
d
irectly include required head
e
rs
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoola
e
ge
i
s
l_schedul
e
.
c
: dir
e
ctly i
n
clude required hea
d
ers
commit
|
commitdiff
|
tree
2017-09-18
Sven
Verdoolaege
i
s
l_range
.
c: directly include
r
equi
r
ed hea
d
er
commit
|
commitdiff
|
tree
2017-09-18
S
v
e
n Verd
o
olaege
isl_obj
.
c:
di
r
ectly i
n
clude require
d
header
commit
|
commitdiff
|
tree
2017-09-18
Sven
Verdoolaege
is
l
_fl
o
w
.
c: directly include r
e
quired heade
r
s
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
e
r
d
oolaege
isl_ast
_
codegen
.
c:
dir
e
ctly include required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven V
e
r
doolae
g
e
isl_ast_build
_
expr
.
c: directly inc
l
ude required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
olaeg
e
is
l
_ast_
b
uild
.
c:
d
i
rectly include r
e
quired hea
d
e
rs
commit
|
commitdiff
|
tree
2017-09-18
Sven V
e
r
d
ool
a
ege
isl_ast
.
c: directly inc
l
ude require
d
he
a
der
commit
|
commitdiff
|
tree
2017-09-18
Sven Ver
d
o
o
laege
i
sl_list_templ
.
c: dir
e
ct
l
y in
c
lude r
e
quired header
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
is
l
_map_unive
r
se: rename "dim"
argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdool
a
ege
isl_map_emp
t
y: rena
m
e
"dim" argument to
"space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Ve
r
doola
e
g
e
isl_b
a
s
ic_ma
p
_uni
v
erse:
r
e
name "di
m
" argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
ven Ve
r
doolae
g
e
isl
_
basic_ma
p
_e
m
pt
y
:
r
e
name "dim"
a
rgu
m
e
n
t
t
o "spa
c
e
"
commit
|
commitdiff
|
tree
2017-08-08
S
v
en Verdoolaege
isl_set_universe: rename "dim" ar
g
um
e
n
t
to "sp
a
ce"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdool
a
ege
isl_
s
e
t_empty
:
rename "dim" argument
to
"
space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl
_
ba
s
ic_set_universe: r
e
n
ame
"di
m
" argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolae
g
e
isl_bas
i
c_set_em
p
t
y: rename "dim" argument to "
s
pace"
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n
Verdool
a
ege
isl_access_info_comput
e
_flo
w
: su
p
port "kill" accesses
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verd
o
olaege
isl_union_map
.
c: subtract_ent
r
y:
use isl_unio
n
_
m
a
p
_
g
et_ctx
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdool
a
ege
isl_unio
n
_
m
ap
.
c: subtract
_
entry: use
i
sl_map_get_
s
p
a
ce
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
oolaeg
e
isl_union_ma
p
.
c:
r
e
name has_dim to h
a
s_
s
pace
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl
_
un
i
on_map
.
c:
has_dim: r
e
n
ame "dim"
v
ar
i
ab
l
e to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
S
v
e
n
Verdoolae
g
e
add
isl_
f
low application
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdoola
e
g
e
s
c
heduler:
e
x
ploit linea
l
ity sp
a
c
e in difference set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
Ver
d
oolaege
add isl_union_set_combi
n
ed_lineality
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
Ve
r
doolaege
privately ex
p
ort
isl
_
set_
c
om
b
ined_l
i
neali
t
y_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaege
i
s
l_basic_set_lineality_
s
pace: all
o
w local var
i
ables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
aege
a
dd
i
sl_basic_set_ext
r
act_eq
u
alitie
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
d
o
olaege
add i
s
l_multi_a
f
f_
f
rom_
a
f
f
_
m
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
sche
d
uler: drop constraints that c
a
n only be used for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaege
isl_
s
cheduler
.
c: collect_i
n
tra_valid
i
ty: drop para
m
eters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rd
o
olaege
isl_scheduler
.
c: intra_coeff
i
cients:
separate cache
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n
Ver
d
oolaege
isl_scheduler
.
c: count_map_co
n
stra
i
nts: co
u
nt par
a
metric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdo
o
laeg
e
isl_sched
u
ler
.
c: extra
c
t out shared force_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n V
e
rdo
o
laege
isl_scheduler
.
c
: extrac
t
out shared update_c
o
u
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
aege
add isl
_
u
nion_set_plain
_
gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl_map_plain_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoola
e
ge
a
dd isl_set_plai
n
_gist_b
a
sic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolaege
ad
d
isl_basic_set_{l
o
wer,u
p
per}_bound_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolae
g
e
doc: isl_*_bound_
*
: speci
f
y
heade
r
to include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
scheduler: try carrying only se
l
f-depe
n
dences
in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ve
r
d
oo
l
aeg
e
isl
_
scheduler
.
c:
c
ompute_carrying_sol
:
extrac
t
o
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: fin
d
_n
o
de_coal
e
scing: u
s
e half of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdool
a
ege
add isl_val
_
div_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdool
a
ege
isl_scheduler
.
c: compute_max_co
e
fficient
:
round up
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
add i
s
l_in
t
_cdiv_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
isl_test_in
t
: add more is
l
_int_
c
div_q te
s
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
ima
t
h backend: use tailored isl_int_fdiv_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_s
c
h
e
duler
.
c
: compute_schedule_finish_band:
split
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sche
d
uler
.
c: split_scaled: do not enfor
c
e rela
t
ive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
ad
d
isl_ma
t
_row_neg
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doola
e
ge
s
cheduler: solve Feautrier fallback as ILP to avoi
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
a
d
d isl_tab_lexm
i
n_cut_to_integer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sche
d
u
le
r
.
c: compute_schedule_finis
h
_band: also
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: co
u
nt_map_co
n
s
t
raints: dro
p
"ca
r
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
V
e
rdoola
e
ge
i
sl_schedule
r
.
c
:
c
o
mpute_carr
y
i
ng_sol: remove duplicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_scheduler
.
c
: c
a
rry_dependence
s
: extract out compute_carr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
i
sl_scheduler
.
c: carry_depend
e
nces: delay e
r
roring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doola
e
g
e
isl_sch
e
duler
.
c: add_inter_cons
t
ra
i
n
ts: return i
s
l_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
i
s
l
_sched
u
ler
.
c
: add_
i
ntra_constraints: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verd
o
olaege
isl_scheduler
.
c
:
inter_d
i
m_map: handle
NULL
i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolae
g
e
i
sl_schedul
e
r
.
c:
i
n
tra_dim
_
ma
p
: hand
l
e
N
U
LL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoola
e
ge
add is
l
_uni
o
n_set_g
e
t_basic_s
e
t_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
i
s
l
_
*_
l
ist_concat: s
p
ec
i
a
l
case pre-allocated list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoo
l
a
e
ge
add isl_union_{map,set}
_
r
e
m
o
ve_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaeg
e
add isl_
b
a
s
ic_s
e
t_lis
t
_co
e
f
f
icien
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ve
r
d
o
olaege
ad
d
isl_list_*_map_
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
isl_
l
ist
_
templ
.
c:
e
xtract out
shared isl_lis
t
_*_chec
k
_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
ool
a
ege
isl_sched_graph:
add identi
f
ier
to c
o
mpressed nodes
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_basic_set_va
r
i
a
b
le_compress
i
on_with_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_basi
c
_set_variable_
c
o
mpr
e
ssion: rename "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Ve
r
doolaege
i
sl_sched_grap
h
: ign
o
re parameters in identi
f
ica
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_schedul
e
r
.
c:
node_has_spac
e
: rename "dim" variabl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sc
h
eduler
.
c:
g
raph_find_node: ren
a
me
"
dim" argu
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
add isl_spa
c
e_get
_
t
uple
_
hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_
s
pace
_
ge
t
_{hash,domain_ha
s
h}: only hash in
p
a
rameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
is
l
_hash_{space,
s
pace_
d
oma
i
n
}
:
e
xtract out shared parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
V
erdool
a
ege
isl_
s
p
a
ce_get_hash: rename "dim" ar
g
ument to "spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
test_in
p
uts/codeg
e
n
/
{
a
t
o
m
i
c
,sep
a
rate}
.
*: expl
i
c
it
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven V
e
rdoolaege
isl_schedule_cons
t
raints_compute_schedule: d
o
not merge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n
V
erdo
o
l
aege
isl_union_map
.
c: rename cond_un_op
t
o
un_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
ven Verdoolaeg
e
i
sl_union_ma
p
.
c: un_op: i
m
plement in
terms of
c
ond_un_op
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Ve
r
doo
l
aege
i
s
l
_
union
_
map
.
c
: inpla
c
e
: implement in terms of c
o
nd_
u
n_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdoola
e
ge
isl
_
u
n
ion_map
.
c: cond_un_op: unify callb
a
cks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next