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
scheduler: fix handling of bounds on schedule coefficients
2017-06-30
Sve
n
Ver
d
oolae
g
e
scheduler: fix handling of bou
n
ds on sch
e
dule coefficien
t
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-30
Mal
h
ar Thakkar
add
missing annotations to declaration of isl_map_union_disj
o
int
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-28
Ma
l
har Thakkar
add m
i
ssing
a
n
n
o
t
a
tions to declaration of
i
sl_basic_set_set_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Ver
d
ool
a
ege
interf
a
ce: upda
t
e to refactoring of frontend Inp
u
tKi
n
d
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
d
oola
e
ge
i
s
l_access_in
f
o_c
o
mp
u
te_flow: s
u
ppor
t
"kill" access
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoola
e
ge
add isl_union_ma
p
_intersect_range_f
a
c
tor
_
range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoolaege
add
map_interse
c
t_range_fa
c
tor_r
a
ng
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdoo
l
aege
isl_union_map
.
c
:
gen_b
i
n_entry
:
e
xtract out bin_try_get_match
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verd
o
olaege
add isl_ma
y
be
_
isl_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
aeg
e
isl_union_map
.
c: gen_bin_ent
r
y: i
m
prove error handlin
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_union_m
a
p
.
c: gen_bin_op: unify callb
a
cks
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
oolaege
isl_union_map
.
c: subtract_entry: use isl_u
n
ion_map_get_ct
x
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verd
o
ola
e
g
e
i
s
l_union_map
.
c
:
sub
t
r
act_entry: u
s
e isl_map_get_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdoolaege
isl_union_map
.
c:
rename has_di
m
t
o
ha
s
_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verd
o
o
l
aege
isl_un
i
on_map
.
c:
has_dim: rename "dim" vari
a
ble to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
i
sl_union_access
_
info_compute_flow: h
a
ndle coscheduled
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaeg
e
add i
s
l
_map_
i
nter
s
ect_domain_factor_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoolaege
doc: break
u
p paragraph describing isl_ac
c
ess_info_
c
ompute_f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Ver
d
o
olaege
ad
d
basic isl_
u
nio
n
_
access_info_compute_flow tes
t
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
a
e
g
e
add isl
_
flow_cmp applicati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Ve
r
doolaege
a
d
d
isl_flow
a
pplicatio
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
a
ege
a
d
d
isl_uni
o
n
_
a
cces
s
_info_rea
d
_fro
m
_
f
ile
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
d
o
olaege
isl_un
i
on_access_in
f
o_from_sin
k
: extract o
u
t isl_u
n
ion_acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en
Verdool
a
ege
isl_union_acc
e
ss_in
f
o
_
from_sink
:
extract out isl
_
u
ni
o
n_acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n V
e
rdoolaege
i
s
l_printer_print_union_ac
c
ess_in
f
o: do not print empty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdo
o
l
aege
is
l
_
printer_
p
rint_
u
n
ion_acc
e
s
s
_info: extrac
t
out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoolaege
isl_prin
t
er_print
_
union_access_info: extr
a
ct out field
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoolaege
i
sl_f
l
ow
.
c: merge isl_union
_
access_info_set_
*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
isl_uni
o
n
_
acces
s
_info
:
treat acc
e
s
s r
e
l
a
tions in a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
i
sl_prin
t
er_
p
rint_union_f
l
o
w
:
c
onsistently pri
n
t full
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_sch
e
dule_{rea
d
,constra
i
n
ts}
.
c: extract
out
shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verdoolaege
isl_schedule_read
.
c:
e
x
t
rac
t
_
k
e
y:
store key strings
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
Ver
d
oo
l
aege
Merge bran
c
h 'mai
n
t'
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdoolaege
prop
e
r
ly add declarati
o
n o
f
isl_multi
_
union_
p
w_
a
ff_apply_pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdoolaege
sched
u
l
e
r
:
e
xploi
t
lineality space in
d
ifference set
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolaege
add isl_union
_
set_combined_
l
inea
l
i
ty_sp
a
c
e
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdo
o
l
aege
priv
a
tely export isl_se
t
_combined_linea
l
ity_
s
pace
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolaege
isl
_
basic_
s
e
t
_lineality_space: allow local
variables
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verdoolae
g
e
add isl_
b
a
s
ic_set_extra
c
t_equalities
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Ve
r
doolaege
add isl
_
multi_aff_fro
m
_
a
ff_m
a
t
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
r
d
oola
e
ge
scheduler:
drop
constraints that
can only be
u
sed
f
or
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verd
o
olaege
i
sl_scheduler
.
c:
c
o
l
lect_i
n
tra_v
a
lid
i
ty
:
drop p
a
rameters
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verdoolae
g
e
isl_sch
e
duler
.
c
: i
n
tra
_
coefficients: se
p
arate cache
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
e
r
doolaege
isl_sched
u
l
e
r
.
c: c
o
unt
_
map_const
r
a
ints: count para
m
e
t
ric
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaege
isl_scheduler
.
c: extract out shared force_zero
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdool
a
ege
isl
_
scheduler
.
c
:
extract out sha
r
ed
upda
t
e_count
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
V
e
rdoolaege
add isl_uni
o
n_set_plain_gist
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaege
add
i
sl_ma
p
_
p
lain_gis
t
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdool
a
ege
add isl_set_plain_gist_basic_
s
et
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdoolae
g
e
add isl_basic_set_
{
lo
w
er,upper}_bound_v
a
l
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaeg
e
doc: isl_*_b
o
und_*: sp
e
cify header
t
o i
n
c
lude
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n
Verdoola
e
g
e
sched
u
ler: try carryi
n
g only se
l
f
-
d
ependen
c
es in
the
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdoolaege
isl_ma
p
_is_dis
j
oint: handle i
n
put w
i
th unaligned
p
arameters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
oolae
g
e
update imath for fix
o
f
bug in
t
roduced in pr
e
viou
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Mic
h
ael Kruse
u
p
d
a
t
e
ima
t
h for
unde
f
ined
b
eha
v
ior fixes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
i
s
l
_
s
c
heduler
.
c: compute_carry
i
ng_sol: e
x
tr
a
ct ou
t
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
is
l
_s
c
heduler
.
c: f
i
nd_
n
ode_coalesc
i
ng: use half
of
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
add isl
_
v
a
l_div_ui
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
isl_schedu
l
er
.
c: compute_max_coefficie
n
t: roun
d
up
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_in
t
_
cdi
v
_q_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_t
e
st
_
in
t
:
a
dd more isl_int_cd
i
v
_
q t
e
s
t
s
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
imath
b
a
ckend: use tail
o
r
e
d isl_
i
n
t_fdiv_q_u
i
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
is
l
_
schedul
e
r
.
c: compute_schedule_finish_band: s
p
l
it
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
o
o
l
aege
isl_sche
d
u
ler
.
c: split_sc
a
led:
d
o not
e
nforce rel
a
tive
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoo
l
aege
scheduler: change orde
r
of coefficients in (I)LP p
r
oblems
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoola
e
ge
is
l
_schedul
e
r
.
c: extract o
u
t shared node_pa
r
_co
e
f_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_
s
c
h
eduler
.
c:
extract out shared nod
e
_
c
st_c
o
ef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
is
l
_sc
h
eduler
.
c: extr
a
ct_var_coef: drop c
o
m
m
e
n
t
on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl_scheduler
.
c: add_
v
a
r
_
s
um
_
constrai
n
t:
drop comment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
Verdoolaege
is
l
_sched
_
n
o
de: d
r
op cm
a
p f
i
e
ld
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
isl_sche
d
ul
e
r
.
c: update_s
c
hedu
l
e:
d
ro
p
s
u
pp
o
rt for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
sche
d
ul
e
r: solve fo
r
original
s
chedule co
e
fficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doola
e
g
e
ig
n
ore computed sc
h
edule of t
i
ming test c
a
se
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl_sc
h
edul
e
r
.
c
:
is
l
_sched_
n
o
d
e
:
norma
l
i
ze non-tr
i
vial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
add isl_ma
t
_lexnonneg_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
V
erdoo
l
aege
add isl_mat_r
e
verse_
g
auss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
add
isl_mat_row_neg
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_m
a
t
.
c: extract out sha
r
ed check_r
o
w
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaeg
e
isl_scheduler
.
c: isl_sched_nod
e
: on
l
y store
row
s
t
hat
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
sc
h
e
duler: re
v
erse
o
rder
o
f schedule coefficie
n
t
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Ver
d
oolaege
isl_sc
h
e
d
uler
.
c: extra
c
t out shared node_v
a
r_coef_po
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
isl_dim_
m
ap
_
range:
a
l
low negative
s
trides
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
a
e
ge
isl_scheduler
.
c
: construct_trivia
l
: co
n
struct region
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
do
o
l
aeg
e
isl_tab_basic_set_non_trivial_lexmin: t
a
ke trivialit
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_
t
ab_pip
.
c:
r
egion_is
_
trivial: return isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl
_
t
ab_
b
a
s
ic_set_non_tr
i
vial_lexmin:
e
xtract ou
t
fix_zero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Ver
d
oo
l
aege
i
sl_tab_pip
.
c
: extend isl_trivial documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
add is
l
_vec_is_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
er
d
oo
l
aege
scheduler: solve Feautrier fa
l
lback as ILP
t
o avoid
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdo
o
laege
add isl
_
tab_lexmin_cut_to_int
e
g
er
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl_
s
chedul
e
r
.
c
: c
o
mpute_schedule_fin
i
sh_band: also
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
i
sl_scheduler
.
c:
c
ount_m
a
p_constraints: dro
p
"carry
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl_sc
h
eduler
.
c: compute_
c
arr
y
ing_sol: remove duplicate
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erd
o
olaege
isl_scheduler
.
c:
c
a
rry_d
e
p
ende
n
ces: extrac
t
out compute_carr
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
isl
_
scheduler
.
c
: carry_dep
e
ndences: delay erroring
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
is
l
_scheduler
.
c
:
a
dd_
i
nter_constraints: re
t
u
rn isl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_schedul
e
r
.
c: add_int
r
a
_constra
i
nts: re
t
urn
isl_stat
commit
|
commitdiff
|
tree
2017-05-25
S
ven
Verdoola
e
ge
isl_sched
u
ler
.
c: in
t
er_d
i
m_ma
p
: handle NULL input
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
V
erdoolaege
is
l
_
s
chedul
e
r
.
c:
intra_dim_ma
p
: handle NULL i
n
pu
t
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
add isl_unio
n
_set_get_
b
asic_set_list
commit
|
commitdiff
|
tree
next