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_normalize_constraints
2017-07-03
Malhar
T
hakkar
add missing ann
o
tatio
n
s to isl_ba
s
i
c
_set_normalize_con
s
tra
i
nts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Th
a
kkar
add missin
g
annotations to
i
sl_set_u
n
ion_disjoint
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-30
S
v
en Verd
o
o
laege
sc
h
edule
r
: f
i
x
handl
i
ng of bo
u
n
d
s on schedule coefficie
n
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-30
Malhar
Thakkar
add
missing an
n
otat
i
o
ns to declaration o
f
is
l
_map
_
union
_
disjo
i
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-28
M
a
lhar Tha
k
kar
ad
d
missing annotat
i
ons to dec
l
a
r
ation
o
f
is
l
_basic_set_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdoolaeg
e
i
n
te
r
face:
u
p
d
a
te t
o
refa
c
toring
of
fron
t
end
I
nputKind
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoolaeg
e
isl_acce
s
s_i
n
fo_comput
e
_fl
o
w: support "kill" a
c
c
e
s
s
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdool
a
e
ge
add isl_union_map_inters
e
ct_rang
e
_factor_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
do
o
laege
add m
a
p_inter
s
ect_range_factor_ra
n
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdoolaege
isl_union_map
.
c:
gen_bin_entry: e
x
tract ou
t
bin_
t
ry_ge
t
_match
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
V
e
rdoolaege
a
dd isl
_
m
ayb
e
_
isl_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
a
e
ge
isl_union_map
.
c: gen_bin_entry
:
i
m
prove error handli
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
isl_union_map
.
c: gen_bi
n
_
op: unify
callbacks
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verd
o
olaeg
e
isl_union_
m
ap
.
c:
s
ubtract_
e
ntry:
u
s
e
is
l
_union_map_get_ct
x
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven V
e
rdoo
l
aege
isl_uni
o
n_map
.
c: subtract_entry: use
i
sl
_
map_get
_
spa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_union_map
.
c: rename
h
as_
d
im
t
o has_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ve
n
Verdoolaege
isl_union_map
.
c: has_dim:
r
ename
"
dim"
variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_uni
o
n_acce
s
s_info
_
compute_flow: handle
c
osched
u
led
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolae
g
e
add isl_map_
i
nte
r
sect
_
domain_
f
actor_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoola
e
ge
doc
:
break up parag
r
aph describing isl_access_i
n
fo_co
m
p
ute_f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n
Verdoolaege
add
b
a
s
ic isl_union_access_info_compute_
f
low tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Ve
r
dool
a
e
ge
add
i
sl_flow_cmp a
p
plicat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolae
g
e
add
i
s
l_flow application
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolae
g
e
add
isl
_
unio
n
_access_info_read_from_f
i
l
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdoo
l
aege
isl_union_acce
s
s
_
inf
o
_from_sink:
e
xtract out isl_union_ac
c
es
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoo
l
aege
isl_unio
n
_acc
e
ss
_
info_from_sink: ex
t
ra
c
t o
u
t
i
sl
_
un
i
on_acc
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verd
o
o
l
a
ege
isl_printe
r
_print_u
n
ion_acce
s
s_
i
nf
o
: d
o
n
ot
p
rint empty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdoolae
g
e
isl_prin
t
er_print_
u
n
ion_acce
s
s
_info: extract out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaeg
e
isl_printe
r
_print_union_access
_
info: extract out field
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdool
a
ege
is
l
_flow
.
c: me
r
ge isl_
u
nion_acces
s
_info_set_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdoolaege
isl_union
_
access_
i
nfo
:
treat access rel
a
tions in
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoolaeg
e
isl_pr
i
nter_print_u
n
ion_flow: c
o
nsis
t
entl
y
pri
n
t full
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_schedule_{read,constra
i
n
t
s}
.
c:
extract out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
i
s
l_schedul
e
_r
e
ad
.
c
: extr
a
ct_key: store key
s
t
r
ings
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2017-06-08
Sven
Verdoolaege
p
r
oper
l
y add declaration of isl_mult
i
_union_pw
_
aff_
a
pply_pw_af
f
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-08
S
v
en Verdoolaege
scheduler: exploit lineality space in difference se
t
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
aege
a
dd isl_union_set_combined_lineality_
s
p
ace
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
oolaeg
e
privately export isl_set_combined_li
n
eality_
s
pace
commit
|
commitdiff
|
tree
2017-06-07
S
ven Ve
r
doolaege
isl_
b
asic_
s
et_linea
l
ity
_
space
:
allow local v
a
riables
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
a
dd isl_ba
s
ic_set_ex
t
ra
c
t_eq
u
alities
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaege
add
i
sl_mu
l
ti_aff_from
_
aff_mat
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
e
r
doolaege
s
c
heduler: drop co
n
stra
i
n
t
s
t
hat c
a
n only
b
e used for
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdo
o
laege
isl
_
scheduler
.
c
:
c
ollect_intra_validity: drop
p
a
r
ameters
commit
|
commitdiff
|
tree
2017-06-07
Sven
Ver
d
oolaege
isl_sch
e
dul
e
r
.
c: intra_coef
f
icients:
s
eparate
c
ache
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
e
rdoolaege
isl
_
scheduler
.
c
:
count_
m
ap_constraints: count p
a
rametric
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
i
s
l_schedu
l
er
.
c
: extract
out s
h
ared force
_
zero
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdool
a
e
ge
isl_schedule
r
.
c
:
ex
t
ract ou
t
s
h
ar
e
d update_count
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl
_
union_set_pla
i
n_gist
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdoolaege
a
dd isl
_
m
a
p_plain_gist
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoo
l
aege
add i
s
l
_set_pla
i
n
_
gist_ba
s
i
c
_set
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdo
o
lae
g
e
add isl_b
a
sic_set_{lower,upper}_
b
oun
d
_val
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoo
l
a
ege
doc: isl_
*
_bound_*: spec
i
fy
h
eader to
i
n
clud
e
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaeg
e
scheduler: try carryi
n
g
only self
-
dependences in the
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolaege
isl_map_is_
d
isjoint: handle inp
u
t with
u
naligned
p
a
rameter
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
up
d
ate imath fo
r
fix of bug introduced in previous
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Michae
l
Kruse
update i
m
a
th for u
n
d
e
fined behav
i
or fixes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verd
o
olaege
isl_sc
h
edul
e
r
.
c:
compute_carrying_sol: extract o
u
t
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl_
s
c
h
eduler
.
c: find_node_c
o
al
e
sci
n
g: use hal
f
of
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
add isl_val
_
div_ui
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_s
c
heduler
.
c
:
compute_max_coefficient:
round up
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
add
is
l
_int_cd
i
v
_
q_
u
i
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
sl_test_int: add more
isl_i
n
t_cdiv_
q
tests
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
ima
t
h
b
a
c
k
e
nd: u
s
e tailored isl_i
n
t_fdiv_q_ui
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
i
s
l_sche
d
uler
.
c: compute
_
sched
u
le_finish_ban
d
: split
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c
:
spli
t
_sca
l
ed:
do not enforce r
e
l
ative
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdool
a
ege
schedu
l
e
r
: chan
g
e orde
r
of coeffic
i
e
n
ts
i
n (I)LP problem
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doola
e
g
e
isl_schedul
e
r
.
c: extra
c
t out shared
n
ode
_
par
_
coe
f
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoo
l
a
e
ge
isl_scheduler
.
c: extract
out share
d
node_c
s
t
_
coef_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
sc
h
edule
r
.
c
: extract_
v
ar_c
o
e
f: drop comment on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ve
r
d
o
olaege
isl_schedu
l
er
.
c
: add_var_
s
u
m
_constraint: dr
o
p com
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
Verdo
o
lae
g
e
isl_
s
ched_node: drop cm
a
p field
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl
_
s
c
heduler
.
c: upda
t
e_sched
u
le: dr
o
p sup
p
ort for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdool
a
ege
sche
d
uler: solve for original schedu
l
e
c
o
e
fficient
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ve
r
doolaege
ignore com
p
u
t
ed sche
d
u
l
e o
f
timin
g
test
c
ase
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
a
e
g
e
isl_
s
chedul
e
r
.
c: isl
_
sched_node: normalize
n
on-tri
v
ia
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoo
l
ae
g
e
add isl_mat_le
x
nonn
e
g
_row
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add i
s
l_m
a
t_r
e
verse_gauss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
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
S
ve
n
V
erdoolaege
i
s
l_m
a
t
.
c: ex
t
ract out shared check_row
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
V
erdo
o
laege
isl_
s
cheduler
.
c
:
isl_sched_n
o
de
:
only store ro
w
s t
h
at
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
scheduler: reverse ord
e
r of schedule coeffic
i
ents
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdo
o
laege
isl_schedu
l
er
.
c: extract out sh
a
red node_var_coef_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verd
o
olaege
i
sl_
d
i
m
_map
_
rang
e
: allo
w
n
e
gative s
t
rides
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ve
r
doolaege
isl_scheduler
.
c: construct_trivial
:
construct
region
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdo
o
l
a
ege
isl
_
tab_basic_
s
et_non_tri
v
ial_
l
exmin
:
tak
e
trivial
i
t
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_tab_pip
.
c
:
region_is_trivi
a
l: return is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
o
o
laege
isl_tab
_
basic_set_no
n
_trivial_lexmin:
e
x
t
r
act
out fix
_
z
e
r
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoola
e
g
e
i
s
l
_
tab
_
pip
.
c:
exten
d
isl_tri
v
ial documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n V
e
rdoolaege
add isl_vec_is_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
lae
g
e
sch
e
duler: solve Fe
a
utr
i
er fal
l
ba
c
k as ILP
t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ve
r
doolaege
add is
l
_
t
ab_le
x
m
in_cut_to_intege
r
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_s
c
h
eduler
.
c: c
o
mpute_schedule
_
finish_
b
and: als
o
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c
:
count_m
a
p_cons
t
raints: drop "
c
arry
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_schedul
e
r
.
c: co
m
pute
_
c
a
rry
i
ng_
s
ol: remove du
p
li
c
ate
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
o
laege
isl_sche
d
uler
.
c:
carry_depe
n
den
c
es: extract out c
o
mpute_carr
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_sch
e
duler
.
c
: carry_depend
e
n
ces: delay errori
n
g
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_scheduler
.
c
:
add_in
t
er_cons
t
r
aints:
ret
u
r
n
isl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
a
ege
isl_sc
h
edu
l
er
.
c
: add_i
n
t
r
a_constra
i
n
t
s: return isl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_
s
cheduler
.
c: inter_dim_map: handle NUL
L
input
commit
|
commitdiff
|
tree
next