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
extract out shared isl_local_reorder
2018-05-02
Sven Verdoolaege
extrac
t
o
ut shared i
s
l_local_reorder
commit
|
commitdiff
|
tree
2018-04-30
Sven
Verdoolaege
isl_space
_
align_pa
r
ams: rename "dim"
a
rguments to
.
.
.
commit
|
commitdiff
|
tree
2018-04-28
Sven Verdoolaege
is
l
_bas
i
c_map
_
realign: rename "dim" arg
u
ment to "spa
c
e"
commit
|
commitdiff
|
tree
2018-04-28
Sven V
e
rdoolaeg
e
isl_basi
c
_map_realign: use isl_b
a
sic_map_dim
commit
|
commitdiff
|
tree
2018-04-24
Sve
n
Ve
r
doolaege
i
s
l
/val
.
h:
e
xtract out
isl/val_
t
ype
.
h
commit
|
commitdiff
|
tree
2018-04-18
Sven V
e
rdoolaege
isl
_
map
.
c: extract out shared isl_map
_
c
heck
_
range
commit
|
commitdiff
|
tree
2018-03-18
Sven
V
erd
o
olaege
isl_pw_*_eval
:
rename "pnt_
d
im" variable to
"
pn
t
_
s
pace"
commit
|
commitdiff
|
tree
2018-03-18
S
v
en Verdoolaege
add i
s
l_aff_eval
commit
|
commitdiff
|
tree
2018-03-18
Sven Ver
d
oolaege
add isl_local_space_lift_p
o
i
n
t
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n Verdoolaege
add
isl_loca
l
_space_has_space
commit
|
commitdiff
|
tree
2018-03-18
S
ven Verdoola
e
ge
i
s
l_qp
o
lyn
o
mial_eval: extract out isl
_
local_extend_
p
oint_
v
ec
commit
|
commitdiff
|
tree
2018-03-18
S
v
en Verdool
a
e
ge
isl_polynom
i
al
.
c: isl_upoly_eval: check for
N
ULL argument
commit
|
commitdiff
|
tree
2018-03-18
Sve
n
Ver
d
o
o
laege
add
i
sl_vec_
a
dd_els
commit
|
commitdiff
|
tree
2018-03-18
S
ven Verdoolaege
isl_local_
s
pace_divs_k
n
own: e
x
tr
a
ct ou
t
isl_local_divs_kno
w
n
commit
|
commitdiff
|
tree
2018-03-18
Sven
V
erdoolae
g
e
i
sl_local
.
c
: extract o
u
t
s
h
ar
e
d isl_l
o
c
a
l_dim
commit
|
commitdiff
|
tree
2018-03-18
Sve
n
V
e
rdo
o
laeg
e
isl_local
.
c
: extra
c
t out shared isl_lo
c
a
l
_
get_ctx
commit
|
commitdiff
|
tree
2018-03-04
Sven
Verdoolaege
i
s
l_spa
c
e_
i
s_domain: extract out is
l
_space
_
has_domain_tup
l
es
commit
|
commitdiff
|
tree
2018-03-04
Sven V
e
r
d
oolaege
privat
e
ly export isl
_
map_is_params
commit
|
commitdiff
|
tree
2017-12-26
S
ven V
e
rdo
o
lae
g
e
isl_pw_*_get_s
p
ac
e
: extract out i
s
l_pw_*_
p
eek_space
commit
|
commitdiff
|
tree
2017-12-26
Sve
n
Ve
r
dool
a
ege
is
l
_aff
.
c:
p
w_aff
_
aff_on_do
m
ain: exp
l
icitly insert
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoola
e
ge
add
i
sl_aff_from_range
commit
|
commitdiff
|
tree
2017-12-26
Sve
n
Verdool
a
ege
add isl_aff_{
t
ake,re
s
tore}_domain_lo
c
al_space
commit
|
commitdiff
|
tree
2017-12-26
Sven
Verdoolaege
add i
s
l_lo
c
a
l
_spa
c
e
_s
e
t_
f
r
o
m_params
commit
|
commitdiff
|
tree
2017-12-26
Sven
Verd
o
ol
a
e
g
e
add isl
_
l
o
cal
_
space
_
{
tak
e
,
restore
}
_spac
e
commit
|
commitdiff
|
tree
2017-11-29
Sv
e
n V
e
rdoolaege
specialize isl_space_replace to isl_spa
c
e_rep
l
ace_params
commit
|
commitdiff
|
tree
2017-11-29
Sv
e
n Verdoolaeg
e
isl_
r
eord
e
ri
n
g_extend_space:
r
en
a
me "d
i
m
"
argument
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven
V
erd
o
ola
e
ge
isl_space_fla
t
ten_r
a
nge: rename "dim" a
r
gument
to
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Ve
r
dool
a
e
ge
isl_
s
p
a
ce_f
l
atte
n
_domain:
renam
e
"dim" argument to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoola
e
ge
r
e
mo
v
e
deprecated
b
a
n
d
forests
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
do
o
laege
a
d
d is
l
_v
e
c_zero
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
isl_space_factor
_
do
m
a
in:
accep
t
set space input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl_space
.
c
:
mov
e
isl_space_f
a
cto
r
_do
m
a
in down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
Sven
Verdoolaege
isl_coalesce
.
c:
e
xtract out shared
find
_
e
q and fin
d
_
i
neq
commit
|
commitdiff
|
tree
2017-09-26
Sv
e
n Verd
o
olaege
isl_coalesce
.
c
:
extract out shared count
_
eq and count_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoo
l
aege
isl_coa
l
es
c
e
.
c:
e
xtract ou
t
shared any_eq and any_ineq
commit
|
commitdiff
|
tree
2017-09-18
Sven Ver
d
oo
l
aege
boun
d
.
c: direc
t
l
y i
n
clude required header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoola
e
ge
isl_schedule_tree
.
c: directly in
c
lude required headers
commit
|
commitdiff
|
tree
2017-09-18
S
v
en
Verdoolaege
isl_schedul
e
_read
.
c: directly incl
u
de required
h
eader
commit
|
commitdiff
|
tree
2017-09-18
Sven Ver
d
o
olaege
isl_schedul
e
_
band
.
c
: di
r
ec
t
l
y include
required header
s
commit
|
commitdiff
|
tree
2017-09-18
Sven Ve
r
doo
l
aege
isl_schedule
.
c: directly in
c
lu
d
e
r
e
q
uired headers
commit
|
commitdiff
|
tree
2017-09-18
Sven
Verdoola
e
ge
isl_range
.
c: directly include requ
i
red hea
d
er
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoola
e
g
e
i
s
l_obj
.
c: d
i
rec
t
ly include r
e
quir
e
d header
commit
|
commitdiff
|
tree
2017-09-18
Sven
Verdoo
l
aege
isl
_
flow
.
c: d
i
rec
t
ly include required
h
eaders
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaeg
e
i
sl
_
ast_cod
e
gen
.
c: directly includ
e
r
e
q
uire
d
headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolae
g
e
isl
_
ast_
b
uild_expr
.
c:
d
irec
t
ly inc
l
ude required headers
commit
|
commitdiff
|
tree
2017-09-18
S
v
en
V
erdoolaege
i
sl_ast_
b
u
ild
.
c
: directly i
n
clude required headers
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verdoolaege
isl_
a
st
.
c: directly inc
l
u
d
e
required h
e
ader
commit
|
commitdiff
|
tree
2017-09-18
S
v
en
V
erdoolaege
isl_list_templ
.
c: direct
l
y include r
e
quired hea
d
er
commit
|
commitdiff
|
tree
2017-08-08
S
ven Verd
o
ola
e
ge
isl_map_univer
s
e:
r
e
name "dim" arg
u
ment to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sv
e
n Ver
d
oolaege
i
s
l_m
a
p_empty: renam
e
"dim" argum
e
n
t
t
o
"
sp
a
ce"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoo
l
a
ege
isl_
b
asic
_
map_universe: rename "d
i
m" argument t
o
"sp
a
ce"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verd
o
olaege
is
l
_basic
_
m
ap_empty: rename "di
m
" argu
m
ent
t
o "space"
commit
|
commitdiff
|
tree
2017-08-08
S
ven Verdoolaege
isl_se
t
_universe: renam
e
"dim" argume
n
t
t
o
"
s
pace"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verd
o
olaege
i
sl_set_empty: ren
a
me
"di
m
"
argum
e
nt to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
v
en Verd
o
olaege
i
sl_ba
s
ic_
s
e
t
_u
n
iverse: rename "dim" arg
u
ment to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
ven V
e
r
doolae
g
e
i
s
l_basic_
s
e
t
_empty: ren
a
me "dim
"
a
r
gument to "
s
p
a
ce
"
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verd
o
olaege
isl_ac
c
ess_info_
c
ompute_flow:
s
u
pport "kill" a
c
c
e
s
ses
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoolaege
isl
_
union
_
map
.
c: subtract_entry: use i
s
l_
u
n
i
on_
m
ap_g
e
t_c
t
x
commit
|
commitdiff
|
tree
2017-06-12
S
v
e
n Ve
r
d
o
o
l
a
eg
e
isl_u
n
ion_
m
ap
.
c: subtr
a
ct
_
entry: us
e
is
l
_map_get
_
sp
a
ce
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolae
g
e
isl_unio
n
_map
.
c: rename has_dim t
o
has_space
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
i
s
l_union_map
.
c
:
h
as_di
m
: re
n
ame "dim" variabl
e
to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
add isl_f
l
ow applic
a
t
i
on
commit
|
commitdiff
|
tree
2017-06-08
S
ven Verd
o
o
l
aege
schedu
l
er: exploit lin
e
ality
sp
a
c
e
in diffe
r
e
n
ce set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verdoo
l
aege
ad
d
isl_union_set_combined_li
n
e
ali
t
y_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaege
pr
i
vately export isl_set_combined_lineality_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaege
isl_b
a
s
i
c_set_lin
e
ality_space: allow loc
a
l
variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdo
o
laege
add isl_basic_set_extr
a
ct_equ
a
liti
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolaege
add isl_multi_aff_from_a
f
f
_mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verd
o
olaege
s
c
hed
u
ler: d
r
op constrain
t
s that can only
be used for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
do
o
laege
isl_schedu
l
er
.
c: co
l
l
e
c
t
_intra_vali
d
ity: drop p
a
rameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
o
o
laeg
e
isl_sche
d
ul
e
r
.
c: int
r
a
_
coefficients
:
se
p
arat
e
cac
h
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven
Ve
r
doolae
g
e
isl_scheduler
.
c: count_map
_
c
o
nstra
i
n
t
s:
c
ount parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl
_
scheduler
.
c
:
extract ou
t
s
hared for
c
e_ze
r
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl
_
sch
e
duler
.
c: e
x
tr
a
ct o
u
t
sha
r
ed update_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add
i
sl_union_se
t
_plain_gi
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl_map_pla
i
n_
g
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Ve
r
doola
e
ge
add isl_
s
et_plain_gist_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl_
b
asic_set_{lower,upper}_bound
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolaege
doc: i
s
l_*_bound_*: spe
c
ify header to in
c
lude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoolaege
schedul
e
r: try car
r
ying
on
l
y self-de
p
endences in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
d
o
olaege
isl_scheduler
.
c
:
compute_carrying
_
sol: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
e
ge
isl_s
c
hedu
l
er
.
c
:
find_node_coalesc
i
ng: use
h
alf of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ve
r
doolaege
a
dd
i
sl_val
_
div_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdo
o
laege
isl
_
schedul
e
r
.
c: compute
_
max_coefficient: rou
n
d up
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
ad
d
isl_int_cdiv_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_test_int: add more isl_
i
n
t_cd
i
v
_q tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Ver
d
oo
l
aege
imath b
a
c
k
end: use
tailored isl
_
i
n
t_fdiv_q_
u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
is
l
_scheduler
.
c: compute_sc
h
edule_finish_band: s
p
lit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_
s
ch
e
d
u
ler
.
c: split_sca
l
ed
:
do
n
ot
e
nf
o
rce relativ
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolaege
add
isl_mat_row_neg
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
s
cheduler: solve Feautrie
r
f
allback as
I
LP to avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoo
l
aege
ad
d
isl_t
a
b_
l
exm
i
n
_cut_to_i
n
teger
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: compu
t
e_schedule_finish_ba
n
d: also
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sc
h
edule
r
.
c: count
_
map_constraints:
d
rop "carry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ver
d
oolaege
isl_s
c
heduler
.
c: comp
u
te
_
carryi
n
g_sol
:
remove duplicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl
_
scheduler
.
c: carry_dependences
:
extract
ou
t
compute_carr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
is
l
_sc
h
e
d
u
ler
.
c:
carry
_
dependences:
d
elay error
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdool
a
ege
isl_sch
e
dule
r
.
c
: add_i
n
ter_
c
o
n
str
a
ints: return i
s
l_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rdo
o
l
aege
isl_s
c
heduler
.
c: add_intra_constraints: re
t
urn isl_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
o
l
aege
i
s
l_scheduler
.
c: inter_dim
_
ma
p
: handle
N
ULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next