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_polynomial.c: isl_upoly_eval: check for NULL argument
2018-03-18
Sven Verdoolaege
isl_poly
n
omial
.
c: isl
_
upoly_eval:
c
heck
for
N
ULL argumen
t
commit
|
commitdiff
|
tree
2018-03-18
S
ven Ve
r
doolaege
add is
l
_vec
_
add_
e
ls
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolae
g
e
isl_local_space_divs_k
n
own: extra
c
t out isl_loc
a
l_d
i
vs_known
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_loca
l
.
c: extract out s
h
ared isl
_
local_dim
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n Verd
o
olaege
isl_local
.
c: ex
t
ract ou
t
sh
a
red
i
sl_local
_
get_ctx
commit
|
commitdiff
|
tree
2018-03-04
Sv
e
n Verdo
o
laege
isl_s
p
ace_is_do
m
ain: extract out isl_space
_
has_
d
omain_tuples
commit
|
commitdiff
|
tree
2018-03-04
Sve
n
Verdoolaege
private
l
y
e
xport is
l
_map_is
_
params
commit
|
commitdiff
|
tree
2017-12-26
S
ven Verd
o
olaege
isl_
p
w_*_
g
e
t_space: extract
out isl_pw
_
*_pe
e
k_space
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n
V
erdoolaege
isl_a
f
f
.
c: pw_aff_
a
ff_on_domain: explicitly
i
nsert
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
add isl_
a
f
f
_
from_range
commit
|
commitdiff
|
tree
2017-12-26
S
v
en Verdoolaege
add
isl_
a
ff_{take,res
t
ore}_doma
i
n_loca
l
_spa
c
e
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolae
g
e
add isl_loc
a
l
_
space_set_from_params
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
erdoolaege
ad
d
isl
_
l
o
cal_space_{tak
e
,re
s
t
or
e
}_space
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdoolaege
s
p
eciali
z
e isl_space_
r
eplace to isl
_
space_r
e
place_par
a
m
s
commit
|
commitdiff
|
tree
2017-11-29
Sven V
e
rdoola
e
ge
isl_reordering_e
x
tend_sp
a
c
e: renam
e
"
d
im" a
r
g
u
m
ent
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
isl_space_flatten_range: ren
a
me "di
m
" argument to
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sve
n
Verdoolaege
isl_
s
pace
_
flatten_domain: rename "dim" arg
u
m
e
n
t to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
rdoolaege
r
emove deprecated band forests
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdool
a
ege
a
d
d
i
sl_ve
c
_zero
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n Verdoolaege
isl
_
s
p
ace_f
a
ctor_domain: accept
set space
i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdool
a
ege
isl_sp
a
ce
.
c:
move
isl_s
p
a
c
e_fact
o
r_doma
i
n
d
own
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
S
v
en Verdoolaege
isl_coalesce
.
c: extract out shared find_eq and find_i
n
e
q
commit
|
commitdiff
|
tree
2017-09-26
Sven
V
erdoola
e
ge
isl_coalesce
.
c: extract out s
h
ared count_eq
a
nd co
u
n
t
_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdool
a
ege
isl_
c
oalesce
.
c
:
extract out
s
hared an
y
_
eq and
a
ny_i
n
eq
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
olaeg
e
bound
.
c: d
i
re
c
t
l
y inclu
d
e req
u
ired h
e
ader
commit
|
commitdiff
|
tree
2017-09-18
S
ven Verd
o
olaege
isl_schedule
_
tree
.
c
: direct
l
y
include requir
e
d headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolae
g
e
isl_s
c
hedule_read
.
c: directly include required hea
d
er
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdool
a
ege
is
l
_schedu
l
e
_
band
.
c: directly include re
q
uired headers
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n Verdoolaege
isl_schedule
.
c: direct
l
y
include required headers
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n
V
e
rdoolaege
isl_ra
n
g
e
.
c
: directly includ
e
requ
i
red he
a
der
commit
|
commitdiff
|
tree
2017-09-18
S
ven
V
erd
o
olaege
i
s
l_obj
.
c
:
directly
inc
l
ude required header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdool
a
ege
i
sl_f
l
ow
.
c: di
r
ectl
y
include required heade
r
s
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
o
l
a
ege
is
l
_ast_codege
n
.
c: dire
c
tly inclu
d
e req
u
ired header
s
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_ast_bu
i
ld_expr
.
c
: dire
c
tly
i
n
clude req
u
ired hea
d
ers
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n
Verdoolaeg
e
isl_ast_build
.
c
:
directly include required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
erdo
o
laege
i
s
l
_ast
.
c: directly include requi
r
ed h
e
a
der
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_list_templ
.
c: di
r
ectly include required header
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdo
o
laege
isl_map_
u
niverse: rename "d
i
m" argument
t
o "s
p
ace"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
i
s
l_ma
p
_
e
mpt
y
: ren
a
me "dim"
a
r
gument
t
o "spac
e
"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl
_
b
a
sic_map_universe:
r
ename "dim" arg
u
ment to "
s
p
a
c
e
"
commit
|
commitdiff
|
tree
2017-08-08
S
v
en Verdoolaege
isl_basic_map_empty:
r
ename "di
m
" argument to
"space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verd
o
o
l
a
ege
isl_set_universe
:
rename "di
m
" argument
t
o
"space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Ve
r
doo
l
a
e
ge
isl_set_empty: rename "
d
im" argumen
t
to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_b
a
s
ic_set_univers
e
: r
e
n
ame "dim" argument to "
s
pace"
commit
|
commitdiff
|
tree
2017-08-08
S
ven Verdoo
l
aege
isl_basic_set_empty:
r
ename "
d
im
"
argument
t
o "space"
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Ve
r
doolaege
isl_access
_
info_compute
_
flow: s
u
ppor
t
"kill" acces
s
e
s
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_union_
m
ap
.
c: subtra
c
t_entry:
u
se isl_
u
n
ion_map_get_ctx
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
isl_union_map
.
c
:
subtract_
e
ntry: use isl_map_get_space
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdool
a
ege
i
s
l
_
union_map
.
c:
r
ena
m
e
h
as_dim to
h
a
s_
s
p
ace
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
isl_union_map
.
c: has_dim:
r
ename "dim" variable to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoola
e
ge
ad
d
isl_flow application
commit
|
commitdiff
|
tree
2017-06-08
Sv
e
n Verdoolaege
scheduler: exploit lineality
space in diffe
r
ence set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaeg
e
add isl_union_set_
c
ombined_lineality
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Ver
d
oolaege
priva
t
ely expo
r
t isl_set_comb
i
ned_lineality_s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdoolaege
isl_basic_set_lineality_space
:
allow loc
a
l
variab
l
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolaege
add isl_basic_s
e
t_ext
r
a
c
t_e
q
uali
t
ies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdool
a
e
ge
add isl_multi_
a
ff_fr
o
m_aff_mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoola
e
ge
schedul
e
r: drop cons
t
raints that can only be u
s
ed
f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
r
doolaege
isl_scheduler
.
c: c
o
ll
e
ct_intra_validity: drop parame
t
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
olaege
isl_schedu
l
er
.
c
:
intra
_
coeffi
c
i
en
t
s
: s
e
parate
cache
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Ver
d
oolaege
i
sl_scheduler
.
c: count_map_constraints: count
p
arametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
is
l
_sched
u
ler
.
c: extract
out shared f
o
rce_zer
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
i
sl_scheduler
.
c: extract out sh
a
red
u
pd
a
te_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add
isl_uni
o
n_se
t
_plain_
g
is
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoolaeg
e
a
dd
isl_map
_
plain_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verdoolae
g
e
add is
l
_set_plain_gist_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoolaege
a
d
d
i
sl_
b
asic_set_
{
lower,u
p
pe
r
}_bound_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoola
e
ge
doc: isl_*_bound
_
*
:
spe
c
ify head
e
r
t
o include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaege
s
cheduler:
try carryin
g
only self
-
depen
d
ences
in th
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaeg
e
isl_scheduler
.
c: compute_car
r
ying_sol: ext
r
act out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
V
erd
o
olaege
i
sl_sched
u
ler
.
c: find_node_coa
l
e
s
ci
n
g: use half
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
d
oo
l
aege
add
isl_val_div_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Verdoolaeg
e
isl_schedu
l
e
r
.
c:
c
o
mpute_max_c
o
effic
i
en
t
: ro
u
nd up
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_int_cdiv_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ver
d
oolaege
isl_test_int: add more is
l
_int
_
cdiv_q te
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaeg
e
imath
backend: u
s
e
tailore
d
isl_int_
f
div_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
V
erdool
a
e
g
e
isl
_
sche
d
uler
.
c: compute_schedule_finish_band: split
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_sc
h
e
d
uler
.
c: spli
t
_
scaled: do not enforce r
e
lati
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
add isl_mat_row_ne
g
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaeg
e
scheduler: solve Feautri
e
r fall
b
ack as ILP to avo
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoo
l
aege
add
isl_tab_lexm
i
n_
c
ut_to_integer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
sl_
s
ched
u
ler
.
c: compute_schedule_finis
h
_band
:
also
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_s
c
hedul
e
r
.
c: count_map_constraints:
d
rop "
c
arry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l
_scheduler
.
c:
compute_c
a
r
r
ying_sol:
r
emove dup
l
icate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sche
d
uler
.
c: carry_dependen
c
es: extract out compute_carr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
V
erdool
a
e
ge
isl_schedul
e
r
.
c: carry_dependences: delay erroring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
isl_s
c
he
d
ule
r
.
c: add_inter_constraints:
return i
s
l_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en V
e
rdoolaege
isl_scheduler
.
c: add_intra_constrai
n
ts
:
return isl_st
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
V
e
r
doolaege
isl_sche
d
uler
.
c
:
inter_
d
im_map: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aeg
e
isl_sc
h
eduler
.
c: intr
a
_dim_m
a
p:
h
andle
N
ULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en V
e
rdoolaege
a
d
d
isl_
u
nio
n
_
s
e
t
_get_basi
c
_
set_l
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolae
g
e
isl_*_
l
i
st
_
concat: special cas
e
pre-allocated list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ver
d
oolaege
add
isl_union_
{
map,set}_
r
emove_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
er
d
oolaege
add is
l
_ba
s
ic_set_l
i
st_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
S
v
e
n Verdoolaege
i
sl_list_templ
.
c:
e
xtract
o
ut shared isl_l
i
st
_
*_check_ind
e
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoo
l
a
ege
isl_s
c
hed_graph:
a
dd ident
i
fier to compresse
d
nod
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_basic_set_variable_
c
ompression_wi
t
h_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_basic_set_varia
b
le_compre
s
sion:
r
ena
m
e "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
i
s
l_sched
_
graph: ign
o
re parameters in identi
f
ication
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next