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/val.h: extract out isl/val_type.h
2018-04-24
Sven Ver
d
ool
a
e
g
e
isl/va
l
.
h: extract out
isl/val_type
.
h
commit
|
commitdiff
|
tree
2018-04-18
Sven Verdoolaege
isl_map
.
c: extract out shared isl_
m
ap_
c
heck_
r
a
nge
commit
|
commitdiff
|
tree
2018-03-18
Sve
n
Verdoolaege
isl_p
w
_*_eval: rena
m
e
"
p
nt_dim" variable to "pnt_spa
c
e"
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdool
a
ege
add isl_aff_ev
a
l
commit
|
commitdiff
|
tree
2018-03-18
Sven Verd
o
olaege
add
isl_lo
c
al_space_lift_point
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdo
o
la
e
ge
add
isl_local_space_ha
s
_space
commit
|
commitdiff
|
tree
2018-03-18
Sven Ve
r
doo
l
a
e
g
e
isl_qpolynomial_eval: extract
out isl_local
_
e
xtend_point_vec
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_polyn
o
mial
.
c: isl_
u
pol
y
_eval: chec
k
for NULL
argument
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdo
o
laege
add
i
sl_ve
c
_a
d
d
_
els
commit
|
commitdiff
|
tree
2018-03-18
S
v
en
Verdoolaege
is
l
_
l
ocal_space_divs_kn
o
wn: extract out isl_lo
c
al_di
v
s
_known
commit
|
commitdiff
|
tree
2018-03-18
Sven V
e
rdoolaege
isl_local
.
c
: e
x
tract
out shared isl_local
_
di
m
commit
|
commitdiff
|
tree
2018-03-18
S
ven Verdoo
l
a
e
ge
isl_local
.
c: extract o
u
t shar
e
d isl_local_
g
et_ctx
commit
|
commitdiff
|
tree
2018-03-04
Sven
V
erdoolaege
isl_spac
e
_is_d
o
main: extract
o
u
t isl_space_has_do
m
ain_tuples
commit
|
commitdiff
|
tree
2018-03-04
Sven Verdoo
l
aege
privately export isl_ma
p
_
is_params
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolae
g
e
i
s
l_pw_*_get
_
space: extract o
u
t is
l
_pw_*_p
e
ek_space
commit
|
commitdiff
|
tree
2017-12-26
Sven Verd
o
olaege
isl_aff
.
c
:
pw_aff_
a
ff_
o
n_domain: explicitly i
n
sert
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
add
isl_aff_from_range
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
add isl_aff
_
{
take,restore}_doma
i
n_local_
s
pace
commit
|
commitdiff
|
tree
2017-12-26
S
v
en V
e
r
doola
e
ge
ad
d
i
s
l
_
loc
a
l_space_set
_
fr
o
m_params
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolae
g
e
add
i
sl_local_
s
pace_{t
a
k
e,restore}_
s
pac
e
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdo
o
laege
specialize isl_s
p
ace_
r
eplace to
i
sl_space_repl
a
ce_para
m
s
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdoolaege
isl_reord
e
ring_extend_space: rename "dim" argume
n
t
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven V
e
rdo
o
l
aege
isl_space_fl
a
tt
e
n
_
r
a
nge: rename "dim" ar
g
u
m
ent to
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n
V
e
rdoolaege
isl_space_flatten_dom
a
i
n: rename "dim" argu
m
ent to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdoo
l
aege
remove
d
epre
c
ated band
f
orests
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
add isl_vec_zero
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl_sp
a
c
e
_fa
c
tor_d
o
m
a
i
n:
a
ccept s
e
t space input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Ve
r
doola
e
ge
i
s
l_spac
e
.
c: move is
l
_spac
e
_factor_domain do
w
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
Sven V
e
rdool
a
eg
e
isl
_
coalesc
e
.
c: extract out shared
f
i
n
d_eq an
d
find_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoolaege
isl_coale
s
ce
.
c: extract out shared count_eq an
d
count_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoola
e
ge
isl
_
c
o
alesce
.
c: extract out
s
ha
r
ed
a
ny_eq and any_ineq
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
bou
n
d
.
c: directl
y
include
r
eq
u
ir
e
d header
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoola
e
ge
i
sl_schedule_tree
.
c: directly i
n
clude requir
e
d header
s
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
ola
e
g
e
isl_schedule_read
.
c: directly
i
n
c
l
u
de required header
commit
|
commitdiff
|
tree
2017-09-18
Sven V
e
rdool
a
ege
isl_
s
chedule_band
.
c: directly include require
d
head
e
r
s
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoolaege
isl
_
sched
u
l
e
.
c: directly include required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Ver
d
oolaege
isl_
r
ange
.
c: directly include required h
e
ad
e
r
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoo
l
aege
isl_obj
.
c:
d
irectly inclu
d
e r
e
quired he
a
d
er
commit
|
commitdiff
|
tree
2017-09-18
Sven V
e
rdoolaeg
e
isl_flow
.
c:
d
irectly
i
ncl
u
de required headers
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoola
e
ge
isl_ast_codegen
.
c: dire
c
tly include req
u
ir
e
d header
s
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n
Ve
r
doolaege
i
s
l_ast_build_expr
.
c: directly in
c
lude re
q
ui
r
ed header
s
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
i
s
l_
a
s
t_build
.
c: directly include require
d
h
eaders
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
olae
g
e
isl_a
s
t
.
c
:
directly inclu
d
e required hea
d
e
r
commit
|
commitdiff
|
tree
2017-09-18
Sven V
e
rd
o
olaege
isl
_
l
i
st_
t
empl
.
c: dir
e
ctly incl
u
d
e
requi
r
e
d he
a
der
commit
|
commitdiff
|
tree
2017-08-08
S
v
en Verdoolaege
isl_ma
p
_universe: rename "dim" argument
t
o "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
is
l
_ma
p
_emp
t
y:
r
e
n
ame "dim" argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sve
n
Verdoola
e
ge
i
s
l
_basic_map_universe:
r
ename "dim" argument to "spa
c
e"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verd
o
olaege
isl_basic_
m
ap_empty: renam
e
"dim" argume
n
t
to "space
"
commit
|
commitdiff
|
tree
2017-08-08
Sven
Verdoo
l
aege
isl_set_univers
e
:
r
e
n
ame "d
i
m" argume
n
t to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolae
g
e
isl_set_empty: rename "dim" argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
v
e
n
Ver
d
oolaege
is
l
_basic_
s
et_universe: rena
m
e
"dim" argument to "sp
a
ce"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoo
l
aege
isl_basic
_
set_empty: re
n
ame "dim" argument to "space"
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
oo
l
aege
isl_access_info_comp
u
te_flow:
s
uppo
r
t "
k
il
l
"
a
c
c
e
sses
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdo
o
laege
isl_uni
o
n_map
.
c: subtr
a
ct_entry: use isl_un
i
on_map_get_ctx
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdool
a
e
g
e
isl_union_map
.
c
:
s
ubtract_e
n
try: use isl_map_get_s
p
ace
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_u
n
i
on_map
.
c: re
n
ame has_dim to has_spac
e
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
i
sl_union
_
m
ap
.
c: has_
d
i
m
: re
n
am
e
"
di
m
" variable to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
add isl_flow application
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdoolaege
sche
d
uler:
exploit lineality spac
e
i
n
difference set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n V
e
rdoolae
g
e
add isl_union_set
_
comb
i
ned_lin
e
a
lity_sp
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
p
rivat
e
ly expor
t
isl_set_combined_lin
e
ality_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdool
a
ege
isl
_
basic_set_lin
e
ality_spa
c
e: allow lo
c
a
l
va
r
iables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolae
g
e
add isl_ba
s
i
c_set
_
extract_equalitie
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
Ver
d
oola
e
ge
add isl_multi_aff_from_aff_mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
scheduler: drop constraints that can onl
y
be
u
se
d
for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
ol
a
e
g
e
isl_scheduler
.
c:
collect_intra_valid
i
t
y
: dro
p
parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolaege
isl
_
scheduler
.
c: intr
a
_
coefficients: separ
a
t
e cache
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
d
o
olaege
i
sl_
s
c
h
edu
l
er
.
c: count_map_constraints
:
count
para
m
et
r
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n
V
e
r
d
oolaege
i
s
l
_s
c
hedu
l
er
.
c
:
extract
out sh
a
red force_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdool
a
ege
i
s
l_scheduler
.
c: extract out shared
update_c
o
unt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
o
o
l
ae
g
e
add
i
sl_union
_
set
_
p
l
ai
n
_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n
V
erdoolae
g
e
a
d
d
i
sl_map
_
plain
_
gis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n
Verd
o
olaege
add is
l
_set_plain_gist_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
olae
g
e
ad
d
isl_basic_set_{lower,upper}_bound
_
val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaeg
e
doc: isl_
*
_
b
ound_*: specify h
e
ader to inc
l
ude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
V
e
rdoolaege
schedul
e
r
:
try c
a
rrying
onl
y
s
e
l
f
-dependence
s
in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
isl_schedule
r
.
c: compute_carryin
g
_s
o
l:
extrac
t
out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
is
l
_sche
d
u
l
er
.
c: find_nod
e
_co
a
lescing: us
e
hal
f
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add
isl_val_div_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
sl_sched
u
l
er
.
c
:
compute_max_coefficien
t
: ro
u
n
d
up
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ve
r
doolaege
add isl_int_cdiv_q_ui
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ve
r
d
o
ola
e
ge
isl_t
e
st_int: add more isl_in
t
_cdiv_q tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
i
mat
h
backend: use tailored isl_int_fdiv_
q
_u
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
i
s
l_scheduler
.
c:
c
omput
e
_sche
d
ule_fin
i
s
h
_band: sp
l
it
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l
_
scheduler
.
c: split_scaled: do not enforce relative
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
add isl_m
a
t
_
r
o
w_neg
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
s
ch
e
duler
:
sol
v
e Feautri
e
r f
a
llback
a
s ILP to a
v
oid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdool
a
ege
add isl_tab_
l
exmin_cut_t
o
_integer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
isl_sched
u
ler
.
c: compute_schedule_fini
s
h_band:
a
lso
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
i
sl_scheduler
.
c: count_map_c
o
nstraints: drop
"
carry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
e
g
e
isl_schedul
e
r
.
c
:
compute_carryin
g
_
s
ol
:
remove dupl
i
cate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
g
e
isl_sched
u
ler
.
c: carry_dependences: extrac
t
out compute_carr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
i
s
l
_sc
h
ed
u
ler
.
c
:
carry_de
p
e
n
dences: del
a
y erroring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
sl_scheduler
.
c: ad
d
_inter_constr
a
ints:
retur
n
i
s
l_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaeg
e
i
sl_sch
e
duler
.
c: add
_
intra_constraints: re
t
urn is
l
_s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
is
l
_scheduler
.
c: inter_dim_map: handle NULL
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
is
l
_sche
d
uler
.
c
:
i
n
tra_dim_map: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erd
o
olaege
add isl_union_set_get_
b
asic_set_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdo
o
la
e
ge
isl_*_
l
ist_concat: special case pre-allocated list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
a
d
d
isl_union_{map
,
set}_re
m
ove_
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next