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_aff_{take,restore}_domain_local_space
2017-12-26
Sven
Verdoolaege
add isl_aff_
{
take,restore}
_
domain_local_space
commit
|
commitdiff
|
tree
2017-12-26
S
ven V
e
rdoolaege
add isl_local_space_s
e
t_from_p
a
rams
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
add isl_local_space_{tak
e
,
r
e
store}_space
commit
|
commitdiff
|
tree
2017-11-29
S
v
en V
e
rdoo
l
aege
spe
c
ialize
isl_sp
a
ce_replace to isl_sp
a
c
e
_
r
e
p
l
a
c
e_p
a
rams
commit
|
commitdiff
|
tree
2017-11-29
S
v
en V
e
rd
o
olae
g
e
i
sl_reorderin
g
_extend_space: re
n
ame
"dim" argument
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
isl_spa
c
e
_flatt
e
n_range: re
n
a
m
e
"d
i
m" argume
n
t
t
o
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven
Verdoolaege
isl_
s
pace_flat
t
en_domain
:
rename "dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdool
a
ege
re
m
ov
e
deprecated ba
n
d forests
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add isl_vec
_
zer
o
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolae
g
e
isl_
s
pace
_
f
a
ctor_domain: accept se
t
space input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Ver
d
oolaege
i
s
l_space
.
c:
move isl_space_
f
actor_domain d
o
wn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoolaege
is
l
_
c
oa
l
es
c
e
.
c: extract
o
ut sh
a
red find_eq and f
i
n
d
_ine
q
commit
|
commitdiff
|
tree
2017-09-26
Sven
Verdo
o
la
e
ge
isl_coalesce
.
c: extract ou
t
s
ha
r
ed count_eq and count_in
e
q
commit
|
commitdiff
|
tree
2017-09-26
S
ven Verdo
o
laege
isl_coales
c
e
.
c: ext
r
act out shared any_eq an
d
any_i
n
eq
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Ve
r
doolaege
bound
.
c: directly
i
ncl
u
de requ
i
red
head
e
r
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdo
o
l
a
ege
is
l
_schedule_tree
.
c
:
directly inc
l
u
d
e requi
r
ed headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Ve
r
doolae
g
e
i
s
l_sc
h
edule_read
.
c: dire
c
tly includ
e
requir
e
d header
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Verdoolaege
i
sl
_
schedule_ba
n
d
.
c: d
i
rectly include required header
s
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_schedule
.
c: directly i
n
clud
e
r
e
q
ui
r
e
d
h
eaders
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n V
e
rdoolaege
i
s
l_
r
ange
.
c: directly
inclu
d
e required
he
a
der
commit
|
commitdiff
|
tree
2017-09-18
Sven V
e
rd
o
olaege
isl_
o
bj
.
c: directly incl
u
de required he
a
der
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verdoola
e
ge
isl_
f
low
.
c: directly
i
n
clu
d
e requi
r
ed headers
commit
|
commitdiff
|
tree
2017-09-18
S
v
e
n Verdoolaege
isl_
a
st_codegen
.
c: directly incl
u
de requir
e
d
headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_ast
_
build_expr
.
c:
dire
c
t
ly include r
e
quire
d
headers
commit
|
commitdiff
|
tree
2017-09-18
S
v
e
n Verdoo
l
aege
i
sl_a
s
t_build
.
c:
d
irectly incl
u
d
e
req
u
ired heade
r
s
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Ve
r
doolaege
isl_ast
.
c: directl
y
i
nclude required header
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
erdo
o
laege
isl_list_templ
.
c: directly i
n
clude required header
commit
|
commitdiff
|
tree
2017-08-08
S
v
en Verdoolaege
is
l
_map_un
i
verse:
r
ename "dim
"
argument to "spa
c
e"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
i
s
l_ma
p
_empty: rename "
d
im" argum
e
nt
to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sv
e
n Ve
r
doola
e
ge
i
sl_basic_map_
u
niverse: r
e
name "dim
"
argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verd
o
olae
g
e
isl_b
a
s
ic_
m
ap_empty: renam
e
"dim" argument to "
s
pace"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_set
_
universe: rename "dim" argumen
t
to
"
space"
commit
|
commitdiff
|
tree
2017-08-08
Sven
V
erdoolaege
isl_set_empty: rename "dim" argument to "s
p
a
c
e"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
is
l
_basic_s
e
t_universe: r
e
name "dim" a
r
gument to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
v
en Verdoolaege
isl_bas
i
c_set_
e
mpty
:
rename
"
d
im" argume
n
t to "space"
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
is
l
_
a
ccess_info_com
p
ute_flow: su
p
p
or
t
"kill" a
c
cess
e
s
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoolaege
isl_union_map
.
c: subtract_entry: u
s
e isl_unio
n
_ma
p
_get_ctx
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoolaege
i
sl_un
i
on_map
.
c: subtrac
t
_entr
y
: use isl_map_
g
et_s
p
ace
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
e
r
d
oolaege
isl_
u
nion_m
a
p
.
c: renam
e
h
as
_
dim
t
o has_space
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoo
l
aege
isl_union_map
.
c: h
a
s_dim: rename "
d
i
m" variab
l
e to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
a
ege
add i
s
l_fl
o
w appli
c
at
i
o
n
commit
|
commitdiff
|
tree
2017-06-08
Sve
n
Verdoolaege
schedu
l
er: exploit
linealit
y
s
p
ace in difference set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdool
a
eg
e
a
d
d isl_union_set_combined_l
i
neality
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
olaege
p
rivately
e
xport isl_set_combine
d
_lineality_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
e
rd
o
olae
g
e
isl_basic_set_li
n
eality_spac
e
: allow loc
a
l
v
ariables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Ve
r
dool
a
ege
add isl_basi
c
_set_extrac
t
_equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdool
a
ege
add i
s
l_mul
t
i
_aff_from_aff_mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
d
oolaege
scheduler: drop con
s
traints th
a
t
c
a
n
only be used fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_scheduler
.
c: collect_intra_validity: drop p
a
rame
t
er
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_schedul
e
r
.
c: intra
_
coefficien
t
s: separate cache
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
aege
is
l
_sche
d
uler
.
c: count_map_
c
onstrain
t
s: count parametr
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaeg
e
is
l
_scheduler
.
c
:
extract
o
ut shared force_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolaeg
e
isl_sc
h
eduler
.
c: extract out shared update_cou
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n
Verdoolaege
add isl_un
i
on_set_plain
_
gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verdoolaege
ad
d
isl_m
a
p
_plain_gi
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolaege
a
d
d isl_se
t
_
p
lain_
g
i
s
t_ba
s
ic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
a
d
d isl_
b
asic_
s
et_{l
o
wer,u
p
per}_b
o
und
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n
Verdoolaege
doc: i
s
l_*_bound_*: s
p
eci
f
y
h
e
ader to include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
Ver
d
oo
l
aege
s
c
heduler:
t
r
y
carrying only
s
elf
-
d
ependen
c
es in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
e
rdoola
e
ge
isl_scheduler
.
c:
c
om
p
ute_carrying_sol:
extra
c
t
out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
isl_scheduler
.
c: fi
n
d_node_co
a
l
escing:
use ha
l
f of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
ad
d
isl_val_div
_
u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl_schedu
l
er
.
c: comput
e
_max_coefficient: round up
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
add
i
sl_int_cdiv_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verd
o
olaeg
e
isl_test_int: add more
isl_i
n
t
_
cdiv_q tes
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdo
o
laege
imath backen
d
:
u
s
e tailored isl_i
n
t_
f
d
i
v_
q
_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
is
l
_s
c
h
eduler
.
c: c
o
mpute_schedule
_
finish_band: split
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
isl_
s
chedul
e
r
.
c: spli
t
_s
c
a
led: do not enforce relati
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_ma
t
_row_neg
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
s
c
he
d
uler: solv
e
Feautrie
r
fallback a
s
ILP to a
v
oid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
add isl_tab_l
e
xmin_cut_to_integer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: compute_schedule_f
i
nish_b
a
nd
:
a
l
so
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolae
g
e
isl_scheduler
.
c: count_map_constraints: drop "c
a
rry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_sche
d
uler
.
c: co
m
pute_c
a
rryin
g
_sol: r
e
move duplicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_
s
chedu
l
er
.
c
:
carry_depende
n
ces: extract
out compute_carr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
is
l
_s
c
heduler
.
c: ca
r
ry
_
d
e
p
endence
s
:
de
l
ay err
o
ring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_s
c
heduler
.
c: add_int
e
r
_
c
onstraint
s
:
r
e
turn isl_
s
tat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
l
aege
isl_scheduler
.
c:
a
dd_i
n
t
r
a_constraints:
r
eturn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_scheduler
.
c: in
t
er_dim_m
a
p: han
d
le NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ve
r
doolae
g
e
isl_scheduler
.
c:
i
n
tra_dim_
m
ap:
h
andle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
a
dd isl_union_s
e
t_get_basic_set_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en
V
e
r
doolaege
isl_*_li
s
t_co
n
cat: special ca
s
e pre-all
o
cated l
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
add is
l
_
union_{map,set}_remov
e
_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
add isl
_
basic_set_
l
i
s
t_coefficients
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_list_*_map_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laeg
e
isl_list_templ
.
c:
e
x
tract out sh
a
red isl_
l
ist
_
*
_
chec
k
_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sched_graph: a
d
d id
e
n
t
ifier to compres
s
e
d
node
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oo
l
aege
add isl_basic_set_vari
a
ble_compr
e
ssion_wit
h
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Ver
d
oo
l
aege
i
s
l_ba
s
ic_set_variable_compressi
o
n
: rename "dim"
v
ariable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
a
e
ge
isl_sch
e
d_graph: igno
r
e
parameters in identificat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_scheduler
.
c: nod
e
_has_space: r
e
name "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_sched
u
ler
.
c:
graph_find
_
n
o
de:
re
n
a
m
e
"
dim"
argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
a
e
ge
add isl_space_get_tuple_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
e
r
doolaeg
e
isl
_
space_get_
{
hash,d
o
main_hash}: only ha
s
h
i
n parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verd
o
olaege
isl_hash_{space,s
p
ace_domain}:
extract
o
ut sha
r
e
d
parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_space_
g
et_
h
a
s
h
: rename "dim" argument
to "spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
Verdoolaege
te
s
t_inputs
/
codegen
/
{atomic,s
e
parate}
.
*: explicit
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sven Verdool
a
ege
isl_schedule_constraints_comp
u
te_schedule: do not merge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
S
v
en Verdo
o
laege
isl_union_map
.
c: rename
cond_un_
o
p
to
un_o
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-17
Sve
n
Verdool
a
ege
i
sl_u
n
ion_map
.
c: un_op: imple
m
ent in term
s
o
f
cond_un_op
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next