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_map.c: extract out shared isl_map_check_range
2018-04-18
Sve
n
Verdoolaege
isl_
m
ap
.
c: extract
o
ut
sh
a
red isl_map
_
chec
k
_range
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl
_
pw_
*
_eval: rename "p
n
t_dim" variable to "pnt_space"
commit
|
commitdiff
|
tree
2018-03-18
Sven Verd
o
olaeg
e
add isl_
a
f
f
_eval
commit
|
commitdiff
|
tree
2018-03-18
S
ven Verdo
o
laeg
e
a
dd
i
sl
_
l
o
c
al_space_l
i
ft_poin
t
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
add isl_local_space_has
_
sp
a
c
e
commit
|
commitdiff
|
tree
2018-03-18
S
v
e
n
Verdo
o
laege
isl
_
qpolyn
o
mial_eva
l
: extract out
isl_local_
e
xten
d
_poi
n
t_vec
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdool
a
ege
is
l
_polyno
m
ial
.
c: isl_
u
pol
y
_eval: check
for NULL argument
commit
|
commitdiff
|
tree
2018-03-18
Sven
Ver
d
oolaege
a
dd isl_vec_add
_
els
commit
|
commitdiff
|
tree
2018-03-18
Sve
n
Verdoolaege
i
s
l_local_spac
e
_d
i
vs_
k
nown: extract out isl_
l
ocal_divs_known
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n Ve
r
doolae
g
e
isl_local
.
c: ext
r
act
out sha
r
ed isl_local_dim
commit
|
commitdiff
|
tree
2018-03-18
S
ven Verd
o
o
l
a
ege
isl_local
.
c: extr
a
c
t
out shared isl
_
local_get_ctx
commit
|
commitdiff
|
tree
2018-03-04
S
v
en
V
erdo
o
laege
isl_spac
e
_
i
s_domain:
e
xtr
a
ct
o
u
t isl_space_has_domain_tuple
s
commit
|
commitdiff
|
tree
2018-03-04
S
ven Verdo
o
laege
private
l
y export
isl_map_is_params
commit
|
commitdiff
|
tree
2017-12-26
Sven Ver
d
oolaege
isl_pw_*_get_space: extract out isl_pw_*_peek_space
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
is
l
_aff
.
c: pw_aff_aff
_
o
n
_domai
n
: explicitly inse
r
t
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdo
o
laege
add isl_aff_from_
r
ange
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n Verdoo
l
aege
add isl_aff_{take,res
t
o
r
e}_domain_local
_
space
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaeg
e
add isl_local_spac
e
_s
e
t_
f
rom
_
par
a
ms
commit
|
commitdiff
|
tree
2017-12-26
Sven V
e
rdoola
e
ge
add isl_local_space_{
t
ake,restore}_
s
pace
commit
|
commitdiff
|
tree
2017-11-29
S
v
en Verdoola
e
g
e
specialize isl_space_rep
l
a
c
e t
o
is
l
_space_rep
l
a
c
e_p
a
rams
commit
|
commitdiff
|
tree
2017-11-29
Sve
n
Verdoolaege
is
l
_reorde
r
ing
_
extend_space: rename
"
dim" argu
m
ent
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoo
l
aege
isl_spa
c
e_flatten_range:
re
n
ame
"
dim"
a
rgum
e
nt
t
o
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sve
n
Verdoolaege
isl_space_
f
lat
t
e
n
_do
m
ain:
r
ena
m
e
"
dim" ar
g
ument to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
rdoo
l
aege
re
m
ove dep
r
ecated band forests
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoo
l
aege
add isl_vec
_
z
ero
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
is
l
_
s
p
ace_fa
c
tor_
d
omain:
accept set
s
pace input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Ver
d
oolaege
isl_space
.
c: move isl_space_facto
r
_do
m
a
i
n down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
S
v
en Verdoola
e
ge
isl_coalesce
.
c: ext
r
act out shar
e
d find_e
q
and
f
ind_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sv
e
n
V
erdoola
e
ge
isl
_
co
a
lesce
.
c:
extrac
t
out s
h
ared count_eq and cou
n
t_ineq
commit
|
commitdiff
|
tree
2017-09-26
S
ven Ver
d
oolaege
isl_coal
e
sc
e
.
c: ex
t
ract o
u
t shared any_
e
q an
d
any_i
n
eq
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Verdoolaege
bound
.
c: dir
e
ctl
y
include requ
i
red
h
eader
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoo
l
aeg
e
isl_schedule_tree
.
c
: dire
c
tl
y
inc
l
ude requ
i
red headers
commit
|
commitdiff
|
tree
2017-09-18
Sven V
e
rdoolaege
isl_schedule_
r
e
a
d
.
c:
directly
i
nclude re
q
uired hea
d
er
commit
|
commitdiff
|
tree
2017-09-18
Sven V
e
rdoolaege
i
sl_schedule_ban
d
.
c: directly include
req
u
ired h
e
ader
s
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdo
o
laege
i
sl_schedule
.
c:
d
irectly include r
e
q
u
i
red
he
a
ders
commit
|
commitdiff
|
tree
2017-09-18
Sven
Verdool
a
ege
isl
_
r
a
ng
e
.
c: d
i
rec
t
ly
include requi
r
ed
h
ea
d
er
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
is
l
_obj
.
c: dire
c
tly include requi
r
ed header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_
f
low
.
c: dir
e
ctly include
r
equired headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Ver
d
oolaege
isl_ast
_
c
o
degen
.
c: directly include re
q
uire
d
hea
d
e
rs
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
i
s
l_ast_build_expr
.
c: directly incl
u
de required he
a
d
e
rs
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoolaege
i
s
l
_ast_bu
i
ld
.
c:
d
irectly in
c
lude r
e
quired headers
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
V
e
r
doolaege
isl_ast
.
c: directly include required header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdool
a
ege
isl_
l
ist_
t
emp
l
.
c:
d
i
r
e
c
t
ly
i
nclud
e
required header
commit
|
commitdiff
|
tree
2017-08-08
Sv
e
n Verdoolae
g
e
isl_ma
p
_universe: rename "d
i
m" argument
to
"
s
pace"
commit
|
commitdiff
|
tree
2017-08-08
Sven V
e
rdoolaege
isl_map_e
m
pty: rename "dim" argument
t
o
"space"
commit
|
commitdiff
|
tree
2017-08-08
Sven
Ve
r
doolaege
is
l
_b
a
sic_map_u
n
iver
s
e: rename "dim" arg
u
ment to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_basic_map_empty: r
e
name "dim"
a
rgument
to
"space"
commit
|
commitdiff
|
tree
2017-08-08
S
v
e
n Verdoolaege
isl_se
t
_
u
niverse: r
e
name "dim
"
argument to "s
p
a
c
e"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
is
l
_s
e
t
_empty: renam
e
"
d
im
"
argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
v
en V
e
rdoolaege
i
sl_
b
asic_se
t
_uni
v
er
s
e: re
n
ame "dim" argum
e
n
t to "
s
pace"
commit
|
commitdiff
|
tree
2017-08-08
S
v
en
V
erdoolaege
isl_basic_set_empty: rename "di
m
" a
r
gument to "space"
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verd
o
o
laege
isl_acces
s
_info_compu
t
e_flow: support "kill"
a
cce
s
ses
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdoolaeg
e
is
l
_un
i
on_map
.
c: subtract_entry: use isl_union_map_get
_
ctx
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdool
a
ege
isl_unio
n
_map
.
c: subtract_entry: use i
s
l_map_get_space
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Ve
r
do
o
laege
isl_union_
m
ap
.
c:
r
enam
e
has
_
dim to has_space
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Ve
r
d
oolaege
isl_
u
nion_map
.
c:
h
as_di
m
: rename "d
i
m"
variable to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoolaege
add isl_
f
low ap
p
l
i
cation
commit
|
commitdiff
|
tree
2017-06-08
Sven
V
erdoolaege
scheduler: exploit l
i
neali
t
y space in difference set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoo
l
aege
a
d
d isl_union_set_combined_lineality_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdo
o
laeg
e
privatel
y
export isl_
s
et_combin
e
d_lineality_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
aege
isl
_
basic_s
e
t_line
a
lity_space: allow local vari
a
bl
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdo
o
lae
g
e
add isl_bas
i
c_set_extract_e
q
ualities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven
Ve
r
doolaege
add
i
sl_multi_aff_f
r
o
m_af
f
_mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoo
l
aege
scheduler: d
r
op constraints that can only be use
d
for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
r
d
ool
a
e
g
e
i
s
l_sch
e
d
uler
.
c: colle
c
t_intra_validity:
drop param
e
ter
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolae
g
e
isl_s
c
heduler
.
c:
i
ntra_
c
oeffic
i
ents: separate cache
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Ver
d
o
olaege
isl_scheduler
.
c:
c
oun
t
_m
a
p
_constra
i
nts
:
count
parame
t
ric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n
Verdool
a
eg
e
i
sl_scheduler
.
c: ex
t
ract out share
d
f
o
rce_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdool
a
e
ge
isl_scheduler
.
c
:
e
x
t
ract out
sh
a
red update_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Ve
r
dool
a
ege
add isl_union_
s
et_plain_gi
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
oolaege
add isl
_
m
a
p_plain_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add i
s
l_set_
p
lain
_
gist_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven V
e
rdoolaege
add isl_basic_set_{lower,upper}_bou
n
d_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolaege
d
o
c
: isl
_
*_bo
u
nd_*:
s
p
ecify heade
r
to include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven V
e
r
d
oo
l
aege
scheduler: try carrying onl
y
sel
f
-dependences in th
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Ve
r
d
o
o
laege
isl_scheduler
.
c: co
m
pute_car
r
ying_s
o
l: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: find_node_coalescing: us
e
half of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
ad
d
is
l
_val_div_
u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
do
o
laege
isl
_
scheduler
.
c:
compute_max_coefficient: round
u
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_
i
nt_cd
i
v_q_
u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
i
sl_
t
est_int: add m
o
r
e isl_int_cdiv_q t
e
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
ae
g
e
imath backend: use tailored isl_int_
f
div_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl_schedu
l
er
.
c: comput
e
_schedule_
f
inish_ba
n
d
:
split
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolae
g
e
isl_sched
u
ler
.
c
:
split
_
sca
l
ed: d
o
n
o
t enforce relativ
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoo
l
aege
add
isl_ma
t
_row_neg
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdool
a
ege
sch
e
d
uler: solve Feautrier
f
allb
a
ck a
s
IL
P
t
o avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
dool
a
ege
ad
d
i
s
l_tab_lexmin_cu
t
_to_inte
g
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoo
l
a
e
ge
i
s
l_scheduler
.
c: co
m
pute_s
c
hedule
_
fi
n
ish_band: also
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: count_map_constraints: drop
"c
a
r
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
d
oolae
g
e
isl_s
c
he
d
uler
.
c: compute_carrying_sol:
r
emo
v
e duplicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl_
s
ch
e
d
u
ler
.
c: carry_depende
n
ce
s
:
extra
c
t out compute_c
a
rr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en V
e
rdo
o
la
e
ge
isl
_
schedule
r
.
c: carry_de
p
endences: delay erroring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl_scheduler
.
c: add_
i
n
te
r
_constra
i
nts:
r
eturn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
isl_scheduler
.
c
: add_intra_constraints: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolae
g
e
isl_scheduler
.
c: inter_dim
_
map: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoo
l
aege
is
l
_
s
che
d
u
l
er
.
c: intra_d
i
m
_m
a
p
:
handle NULL
i
np
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
add isl_
u
nio
n
_
set_g
e
t
_
basic_set_li
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl_*
_
list_concat
:
special case pre-allocated list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
add isl_uni
o
n_{map
,
se
t
}_remove_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verd
o
o
la
e
ge
add isl_b
a
s
ic_set_
l
i
st_coe
f
ficie
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next