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
add missing annotations to isl_basic_set_compute_divs
2017-07-03
M
alhar Th
a
kkar
add missing annotatio
n
s to i
s
l_basic_se
t
_com
p
ute_div
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malh
a
r Th
a
kkar
ad
d
m
i
ss
i
ng anno
t
a
t
ion to isl_vec
_
alloc
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Ma
l
har
T
hakkar
add missing annotations to isl_basic_set_drop_dims
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Ma
l
har Thakkar
ad
d
missing anno
t
a
ti
o
n
s to isl_v
e
c_ceil
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thakkar
ad
d
missing annotations to is
l
_basic_ma
p
_drop_redundant_di
v
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thakkar
a
d
d
missi
n
g
annotations to isl_
m
a
t
_d
u
p
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thak
k
ar
add missing annot
a
tions to
i
sl_mat_c
o
w
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thak
k
a
r
add missing annotatio
n
s to
isl_basic_set_
s
et_to
_
empty
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thak
k
ar
a
d
d miss
i
ng annotation
s
to isl_set
_
e
liminate_dims
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thakkar
a
dd missing ann
o
tations to isl_basic_map_align_divs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malha
r
Thakkar
add mis
s
ing annotation to isl_basic_se
t
_alloc_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thakkar
add
m
iss
i
ng annotations to
i
sl
_
basic_set_extend_s
p
ac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thakkar
add missing annotations to isl_set_preimage
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Th
a
kkar
add missing annotations to isl_basic_ma
p
_overlying_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thakkar
add m
i
ssing anno
t
ations to isl_map
_
u
nderl
y
ing_se
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Mal
h
ar Thakkar
add missing annotations to isl_basic_map
_
und
e
rlyi
n
g_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thakkar
add missing annotations t
o
isl_
m
at_drop_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
M
alhar
T
hakkar
add
m
i
s
sing annotati
o
ns to isl_mat_dro
p
_cols
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
M
a
l
har Thakka
r
add missing annotat
i
ons to isl_basic_set_preimag
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Mal
h
a
r Thak
k
ar
add miss
i
ng annotations to isl_basic_se
t
_gauss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
M
a
l
h
ar Thakkar
add mis
s
ing ann
o
t
ations
to isl_basic_set_normal
i
ze_constrain
t
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar
T
hakkar
add
m
issin
g
ann
o
tations to
i
s
l
_set_union_disjoint
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-30
S
v
e
n
Verdoolaege
sche
d
uler:
f
ix handling of b
o
unds on
s
ched
u
le coefficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-30
Malhar Thakkar
add mi
s
sing annotation
s
to declaration o
f
isl_map_
u
nion_
d
isjoint
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-28
Mal
h
a
r
Th
a
kkar
a
dd m
i
ssing annotations to declarat
i
o
n
of isl_basic_set_set
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven V
e
rdoolaege
interf
a
ce: update to refactori
n
g of frontend InputKind
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
aege
isl_ac
c
e
s
s
_i
n
fo_compute_flow: support "kill" acces
s
es
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
add isl_uni
o
n_map_intersect
_
range_factor_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdoolaege
add map
_
intersect_range_fac
t
or
_
r
ange
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoolaege
i
s
l
_
u
ni
o
n_map
.
c: gen
_
bin_e
n
try: extract ou
t
bin_tr
y
_
g
e
t
_m
a
t
c
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoolaege
a
dd
i
sl_maybe_isl_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verdoo
l
aege
isl_unio
n
_map
.
c: gen_bin_e
n
try: improve error handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven
Verd
o
olaege
isl_union
_
map
.
c: gen_bin_op:
u
nify callb
a
cks
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
laege
isl_union_map
.
c: subtr
a
ct_entry: use isl_union_map_get
_
c
tx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoolaege
isl_union_map
.
c: subtract_entr
y
: use i
s
l_m
a
p_get_spa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
er
d
oolaege
isl_uni
o
n
_
m
ap
.
c: rename has
_
di
m
to h
a
s
_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
V
e
rdoolaege
i
sl_
u
nion_map
.
c: ha
s
_d
i
m: rename "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Ver
d
o
olaege
isl
_
union_acce
s
s_info_co
m
pute
_
flow: ha
n
dl
e
coscheduled
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
doola
e
g
e
add isl_
m
ap_
i
ntersect_
d
omain_facto
r
_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Ve
r
doolae
g
e
doc:
break up paragraph describing isl_acc
e
s
s
_info_compute_f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
doolaege
add basic isl_union_access_
i
nfo
_
compute_flow tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
add isl_flow_cmp app
l
i
c
a
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdool
a
e
ge
add isl_
f
low a
p
plicat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdoolaege
add isl_
u
nion_access_inf
o
_
re
a
d_fro
m
_f
i
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
r
doolaege
isl
_
u
ni
o
n_access_i
n
fo_from_sink: extract out i
s
l
_un
i
on_ac
c
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
doolae
g
e
isl_union_acces
s
_info_f
r
om_sink: extrac
t
ou
t
i
s
l_union_acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_printer_print_union
_
access
_
info: do not print empty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdo
o
lae
g
e
isl_p
r
i
nter_prin
t
_uni
o
n
_access
_
info: extract
out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
i
s
l_printer_print_un
i
on_access_info: extrac
t
out field
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n
Verdoolaege
i
s
l_flow
.
c: merge isl_
u
ni
o
n_ac
c
ess
_
info_s
e
t_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verdo
o
laege
i
s
l_union_acces
s
_in
f
o
:
t
r
eat
a
ccess relations in a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
doolae
g
e
isl_prin
t
er_print_
u
n
i
on_fl
o
w
:
consis
t
ently print full
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdool
a
ege
isl
_
schedule_{re
a
d,co
n
stra
i
nts}
.
c:
extract o
u
t sha
r
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoolaege
isl_s
c
h
e
dule_re
a
d
.
c: extract_key: stor
e
k
e
y strings
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
laeg
e
Merg
e
b
ra
n
ch 'mai
n
t'
commit
|
commitdiff
|
tree
2017-06-08
S
ven Verdoolaege
properly a
d
d
declaration of isl_m
u
lti
_
un
i
on_pw_aff_apply_
p
w
_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-08
Sv
e
n Verdoolaeg
e
sc
h
ed
u
ler: exploi
t
lineali
t
y space
i
n differenc
e
set
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolae
g
e
add isl_union
_
set_
c
ombined_lineality_space
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
pri
v
at
e
ly e
x
p
o
r
t
isl_set_
c
ombined_
l
in
e
ality_spa
c
e
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolae
g
e
i
sl_basic_set_lin
e
ali
t
y
_
space
:
all
o
w local variables
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolaeg
e
add isl_basic_set
_
e
x
tract
_
equalities
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
ae
g
e
add isl_multi_aff
_
from_
a
ff_mat
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n
V
e
rdoolaege
s
cheduler:
d
rop cons
t
raints
that ca
n
only be
u
sed for
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdool
a
ege
isl_sc
h
e
d
uler
.
c: collect_intra_v
a
lidity: drop para
m
eters
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Ve
r
doolae
g
e
i
s
l_scheduler
.
c
:
i
n
tra_coe
f
ficients
:
separat
e
c
ache
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
oolaege
isl_sched
u
ler
.
c
: count_map_constraints: count parametric
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
S
ven
Verdoola
e
ge
is
l
_scheduler
.
c: extr
a
ct out s
h
ared for
c
e_ze
r
o
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdo
o
l
aege
isl_scheduler
.
c: extr
a
c
t
out
sha
r
ed upda
t
e_count
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
o
l
ae
g
e
add isl_union_set_plain_gist
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add
i
sl
_
map_plain_gist
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaege
add i
s
l_set_p
l
ain_g
i
st_basic_set
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaege
add isl_
b
a
sic_se
t
_{low
e
r,upper}_b
o
und_val
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
ae
g
e
doc: is
l
_*_bound_
*
: spec
i
f
y
head
e
r t
o
in
c
lude
commit
|
commitdiff
|
tree
2017-06-07
S
v
en
V
erdo
o
laege
sched
u
le
r
:
t
r
y
carrying only self-depende
n
ces in the
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
aege
isl_map_is_disjo
i
nt: handle
i
nput with una
l
igned
para
m
et
e
rs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
updat
e
imath for fix of bug
i
ntroduced in pre
v
ious
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Michael Kru
s
e
u
pdate
imath for un
d
e
f
in
e
d behavio
r
fi
x
es
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: compute_
c
arrying_sol:
extr
a
ct
o
u
t
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
V
erdool
a
ege
isl_sched
u
ler
.
c: find_no
d
e_coa
l
escing: use half of
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add i
s
l_val_div_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_s
c
h
e
d
ule
r
.
c:
c
ompute_max
_
coe
f
ficie
n
t: round
up
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
o
l
a
e
ge
a
d
d isl
_
in
t
_cdiv_q_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_t
e
s
t
_int:
a
dd m
o
re isl_int_cdiv_q te
s
t
s
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
m
ath b
a
ckend: use tailored
i
sl_int
_
f
div_q_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
d
o
olaeg
e
i
sl_scheduler
.
c:
c
o
mpute_schedule
_
finish_band: s
p
li
t
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
is
l
_
sche
d
uler
.
c
:
s
p
lit
_
scal
e
d: do
n
ot enforce r
e
lative
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verd
o
olaege
scheduler
:
ch
a
nge order of co
e
fficien
t
s in (I)LP problems
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_s
c
h
e
d
uler
.
c:
extr
a
ct out shared node_par_coef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sc
h
eduler
.
c: extract out shared node_cst_coef
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rdoola
e
ge
is
l
_scheduler
.
c
:
extr
a
c
t_
v
ar_coe
f
: drop comment
on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
isl_scheduler
.
c:
add_var_sum_cons
t
rai
n
t: drop com
m
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdo
o
lae
g
e
isl_sch
e
d_node: drop cmap field
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolae
g
e
isl_scheduler
.
c:
update_schedul
e
: drop support for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaeg
e
scheduler: solve fo
r
origina
l
schedul
e
coefficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
ignore computed schedule of
t
iming test case
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdo
o
laege
isl_sche
d
uler
.
c:
i
sl_sched
_
node: normal
i
ze non-trivial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoo
l
aege
add isl_mat_lexnonneg_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_mat_revers
e
_g
a
uss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolaege
add
i
s
l
_mat_row_neg
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
is
l
_m
a
t
.
c: extract out shared check_row
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next