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_space_align_params: rename "dim" arguments to "space"
2018-04-30
Sven Verdoolaege
isl_space_a
l
ig
n
_
params
:
rena
m
e "dim" argumen
t
s to
.
.
.
commit
|
commitdiff
|
tree
2018-04-28
Sve
n
Verd
o
olaege
isl_basic_map_re
a
l
i
g
n
: rename "dim" a
r
gument t
o
"space"
commit
|
commitdiff
|
tree
2018-04-28
Sven Verdoolaege
isl
_
b
a
sic_map_realig
n
: use isl_ba
s
ic_map_dim
commit
|
commitdiff
|
tree
2018-04-24
Sven Verdoolaege
isl/val
.
h: extract
out
isl/val_type
.
h
commit
|
commitdiff
|
tree
2018-04-18
Sven Verdoolaege
isl_
m
ap
.
c
:
extrac
t
out shar
e
d isl_map
_
check_range
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl
_
pw_*_
e
val: r
e
name "
p
n
t_dim" v
a
riable to "pnt_space
"
commit
|
commitdiff
|
tree
2018-03-18
S
v
en
Ve
r
dool
a
e
ge
ad
d
isl_aff_eval
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n
Verdoolaeg
e
ad
d
isl
_
local_space_
l
ift_
p
oint
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolae
g
e
add isl_
l
ocal_spa
c
e_has_space
commit
|
commitdiff
|
tree
2018-03-18
S
ven Verdoolaege
i
sl_
q
p
o
l
y
nomia
l
_ev
a
l
: extr
a
ct out
i
sl_loc
a
l
_
e
xtend_point_ve
c
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdool
a
ege
i
s
l_polynomial
.
c
:
is
l
_upoly_eval:
check for NULL ar
g
ument
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n
V
erd
o
olaege
add isl_vec_
a
dd_
e
l
s
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl
_
l
o
cal
_
space_di
v
s
_
k
nown: ex
t
ract
out isl_l
o
ca
l
_divs
_
known
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolae
g
e
isl_l
o
c
a
l
.
c
:
extract out shared isl_local_dim
commit
|
commitdiff
|
tree
2018-03-18
S
v
en Verdoola
e
ge
isl
_
local
.
c: e
x
tract out shared isl_
l
ocal
_
g
e
t
_ctx
commit
|
commitdiff
|
tree
2018-03-04
Sv
e
n
V
e
r
doolaege
isl_space_is_domain: extract out
is
l
_spa
c
e_has_domain_
t
upl
e
s
commit
|
commitdiff
|
tree
2018-03-04
S
v
en Verdoolaege
p
rivately
export isl
_
map_is_para
m
s
commit
|
commitdiff
|
tree
2017-12-26
S
v
en Verdoolaege
isl_pw_*_
g
et_
s
pace: extract out isl_pw_*_peek_space
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoola
e
ge
isl_aff
.
c:
pw_
a
f
f
_aff_on_domai
n
: explicitly inser
t
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven Verd
o
ol
a
ege
a
dd isl_aff_from_range
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
erdoolaeg
e
add isl_aff_{take,resto
r
e}_domain_
l
ocal_space
commit
|
commitdiff
|
tree
2017-12-26
Sven Ve
r
doolaege
a
d
d isl_local_space_set_from_pa
r
a
ms
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n V
e
rdoo
l
aege
add
isl_local_sp
a
c
e
_{t
a
k
e
,restore}_space
commit
|
commitdiff
|
tree
2017-11-29
S
ven Verd
o
olaeg
e
specialize isl_s
p
ace_replac
e
to isl_spac
e
_replace_para
m
s
commit
|
commitdiff
|
tree
2017-11-29
Sv
e
n Verdo
o
laege
i
s
l
_r
e
or
d
e
ri
n
g
_extend_space: ren
a
me "dim" a
r
gument
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Verd
o
olaege
isl_
s
pace_flat
t
e
n
_range: renam
e
"
d
im" argument to
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sve
n
V
erdoolaeg
e
isl_space_flatten_domain
:
rename
"
d
i
m
" ar
g
ument
t
o
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
V
er
d
oo
l
aege
remove deprecated b
a
n
d
for
e
s
ts
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
a
d
d isl
_
vec_
z
e
ro
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
oo
l
ae
g
e
isl
_
spac
e
_factor_domain: a
c
cept set space input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl
_
s
pace
.
c:
move isl_s
p
a
ce_fact
o
r_domain dow
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
Sv
e
n
Verdoolaege
is
l
_coa
l
esce
.
c
: e
x
t
ract out shared find_eq and f
i
nd_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoola
e
ge
isl_coalesce
.
c: extract out shared count_eq
a
nd
count_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdo
o
laege
isl_co
a
les
c
e
.
c: ex
t
ract out sha
r
ed
a
ny_eq a
n
d
any_ine
q
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
bound
.
c: directly include required hea
d
e
r
commit
|
commitdiff
|
tree
2017-09-18
Sven Ve
r
doo
l
a
ege
i
s
l
_
schedul
e
_
tree
.
c
:
direct
l
y
i
nclude required
headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_
s
ched
u
le_read
.
c: directly
i
n
c
l
u
de re
q
u
i
r
e
d header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_sched
u
l
e
_
ban
d
.
c: directly
i
nclude
r
equired headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_sch
e
d
u
l
e
.
c: di
r
ectly in
c
lude required h
e
aders
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoolaege
isl_
r
ange
.
c
: directly include require
d
hea
d
er
commit
|
commitdiff
|
tree
2017-09-18
S
ven Verdoolaege
i
s
l
_
obj
.
c: directly include
r
e
quired header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_f
l
ow
.
c: d
i
rectly includ
e
req
u
ired he
a
ders
commit
|
commitdiff
|
tree
2017-09-18
Sven Ve
r
doolaege
isl_ast_codegen
.
c: directl
y
i
nclude required head
e
rs
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Ver
d
oolaege
isl_ast_build_expr
.
c:
d
irectly i
n
clude required h
e
aders
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n
Verdoo
l
aege
isl_
a
st_bu
i
ld
.
c: directly i
n
cl
u
de required headers
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verdool
a
ege
isl_as
t
.
c
: directly
incl
u
de requ
i
red header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaeg
e
isl
_
l
ist_
t
e
mpl
.
c: direct
l
y
include required head
e
r
commit
|
commitdiff
|
tree
2017-08-08
Sve
n
Verdoo
l
aege
i
s
l_map_universe:
r
e
n
a
me
"
dim" a
r
gument t
o
"
s
pace"
commit
|
commitdiff
|
tree
2017-08-08
Sv
e
n
Verdoolae
g
e
isl_map_empt
y
:
rename "dim" a
r
g
u
ment to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaeg
e
isl_basic_map_universe:
rena
m
e "dim" argum
e
nt t
o
"s
p
ace"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
i
s
l
_
basi
c
_map_emp
t
y: rename "dim"
a
rg
u
ment
t
o "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verd
o
ol
a
eg
e
i
s
l_set_univer
s
e: rename "
d
i
m
" a
r
gument to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaeg
e
i
sl_
s
et_empty: rename
"di
m
" argument to "space
"
commit
|
commitdiff
|
tree
2017-08-08
Sven V
e
rdoolaege
i
sl_basi
c
_set_
u
niverse: rename "dim" argument to "spac
e
"
commit
|
commitdiff
|
tree
2017-08-08
S
ven
V
e
r
doolaeg
e
isl_bas
i
c_set_e
m
pty: r
e
name "dim"
arg
u
ment to
"
space
"
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
ool
a
ege
isl_access_info_comput
e
_flow
:
support
"
kill"
a
cce
s
ses
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdo
o
lae
g
e
i
s
l_union_map
.
c: subtract_entry: use isl_union_map_get_ct
x
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
aege
isl_union_map
.
c:
s
ubtract_entry: use isl_map_get_s
p
ace
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl
_
union_m
a
p
.
c: rename has_dim to
h
as_sp
a
ce
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verdoolaege
i
s
l
_
uni
o
n_map
.
c: has
_
dim: rename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
add is
l
_flow appl
i
cation
commit
|
commitdiff
|
tree
2017-06-08
Sven Ve
r
dool
a
e
g
e
scheduler: exploit lineality
space in
d
ifference se
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolaege
add
i
sl_union_
s
et_comb
i
n
e
d_l
i
neality_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verd
o
o
l
aege
private
l
y export isl_s
e
t_comb
i
ne
d
_lineality_
s
p
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
i
s
l_bas
i
c_set_line
a
lity_
s
pace: a
l
l
ow local variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaege
add is
l
_basi
c
_
set_extract_equalit
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
oolae
g
e
add isl_
m
ulti_aff_fr
o
m_aff_mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
s
c
h
eduler: drop constraint
s
that can only b
e
u
sed
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_
s
cheduler
.
c: collect_intra_val
i
dity: drop
p
arameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdoolaege
i
sl_sc
h
eduler
.
c: intra_coef
f
ic
i
ents: separate cache
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl
_
s
chedul
e
r
.
c: count_
m
a
p
_constra
i
nt
s
: c
o
u
nt
p
arametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolae
g
e
isl
_
scheduler
.
c: extract out shared force_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n Verdoolaege
isl_scheduler
.
c
: extract out sh
a
red
u
p
date_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdoolaege
ad
d
isl_uni
o
n
_
set_plain_gis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven
V
erdoolaege
add
i
sl_
m
ap_p
l
ain_gi
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolae
g
e
a
d
d isl_se
t
_plain
_
gist_basic
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaeg
e
add isl_basic_
s
et_{lower,
u
pper}
_
boun
d
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Ve
r
do
o
l
aege
doc
:
isl_*_bound_*: specify header to include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdo
o
laege
s
c
heduler
:
try carrying only self-d
e
p
e
nd
e
nces in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
i
sl_scheduler
.
c
: compute_carrying_sol: extract ou
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
i
s
l_scheduler
.
c: find_node_c
o
alescing: use half o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoola
e
g
e
add isl_val_div
_
ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
a
ege
is
l
_scheduler
.
c: co
m
p
u
te_max_coefficient: round
up
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
add isl_int_cdiv
_
q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
d
oolaege
isl_test_int: add more isl_int
_
cdiv_q tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
V
erdoolaege
imath
b
a
ckend: u
s
e ta
i
lo
r
ed is
l
_
int
_
fdiv_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sc
h
eduler
.
c: compute_schedule_finish_band: split
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdo
o
l
aege
isl_
s
cheduler
.
c
:
split_sca
l
ed: do not enforce
r
elative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
a
d
d
isl_mat_row_n
e
g
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
erd
o
olaege
sche
d
uler
:
s
olve Feau
t
rier fallback as ILP
to
avo
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
add isl_tab_lexm
i
n_cut_to_
i
n
t
eger
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ve
r
doo
l
aege
isl_scheduler
.
c
:
compu
t
e
_sche
d
ule_fin
i
sh_band: also
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
e
ge
isl_scheduler
.
c: count_map_constraints: drop "carry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
d
oolaege
isl_
s
cheduler
.
c: c
o
mpute_carrying_sol:
remove duplicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoola
e
ge
isl_scheduler
.
c: carry_dependenc
e
s: extract out c
o
mpute_c
a
rr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaeg
e
isl_scheduler
.
c: c
a
rr
y
_
d
ependen
c
es:
d
e
lay
e
r
rori
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ver
d
ool
a
e
ge
isl_scheduler
.
c
: add_inter
_
constr
a
ints: re
t
urn isl_
s
tat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
do
o
lae
g
e
isl
_
sched
u
ler
.
c: ad
d
_intra_constraints: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_schedule
r
.
c
:
inter
_
dim_map: handle NULL i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
V
e
rdoolaege
isl_scheduler
.
c: intr
a
_dim
_
map: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next