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
interface: update to refactoring of frontend InputKind
2017-06-16
Sv
e
n
V
erd
o
o
laege
i
n
ter
f
ace: up
d
ate
to
r
efactoring of frontend InputKind
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n
Verd
o
olaege
i
s
l_acc
e
ss_info_compute
_
flow:
s
u
p
po
r
t "
k
i
l
l
"
access
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
oolaege
add
isl_union_map_in
t
e
rsect_range_
f
actor_ra
n
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
d
o
o
l
aege
add map_inte
r
sect_range_factor_
r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
a
ege
isl_union_map
.
c: ge
n
_bin_entry:
e
xtract out bin_tr
y
_get_
m
atch
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verdoolaege
add isl
_
maybe
_
isl_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoola
e
ge
isl_union_map
.
c
:
gen_bin_
e
ntry: improve error handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolae
g
e
i
sl_union_map
.
c: gen_bin_op: unify callba
c
ks
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
e
rdoolaege
isl_unio
n
_map
.
c:
subtract_entry: u
s
e
i
sl_unio
n
_
m
ap_get_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdoolaege
isl_union_map
.
c: su
b
t
r
act_
e
ntry
:
use i
s
l_m
a
p_ge
t
_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
aege
isl_u
n
ion_m
a
p
.
c: r
e
n
ame ha
s
_dim
to has_sp
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
aege
i
sl
_
u
n
ion_map
.
c
: has_dim: r
e
name "
d
im" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_uni
o
n_access
_
info_compute_flo
w
:
handle coscheduled
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
add isl_map_inte
r
sect_domai
n
_factor_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
l
a
ege
doc
:
break up paragraph desc
r
ibing isl_acce
s
s_info_compute_f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoola
e
ge
add basic isl
_
u
n
ion_access_inf
o
_
c
ompute_
f
l
o
w tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
a
d
d
isl_flow_cmp application
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Ver
d
o
o
lae
g
e
add isl_flow application
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdool
a
ege
ad
d
isl_union_access_info_read
_
from_file
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
r
doolaege
isl_unio
n
_access_info_f
r
om_sink: extrac
t
out i
s
l_union_acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
aege
i
s
l
_
u
nion_access_
i
nfo_from_sink: ext
r
ac
t
o
ut is
l
_
u
nion_ac
c
es
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
laeg
e
isl_printer_pr
i
nt_union_access
_
info: do n
o
t pri
n
t empty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erd
o
ola
e
ge
is
l
_printer
_
print_un
i
on_
a
c
cess
_
i
nfo: extract out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaeg
e
is
l
_pr
i
nter_print_union_acce
s
s_info: ext
r
a
ct out field
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verd
o
olaege
isl
_
f
l
o
w
.
c: merge is
l
_union_access_in
f
o_set_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
is
l
_union_a
c
ces
s
_info: treat
a
ccess relations in a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Ve
r
doo
l
a
e
ge
isl_printer_print_un
i
on_flow:
consiste
n
tly print ful
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verd
o
o
laege
isl_sche
d
ule_{read,constraints}
.
c: extract out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoolaege
isl_schedule_read
.
c
: extra
c
t
_key: store key strin
g
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
r
d
oolaege
Me
r
ge bra
n
ch 'mai
n
t
'
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdoolaege
properly
add declaration of isl_multi_union_pw_aff_a
p
ply_pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-08
Sven Ver
d
o
olaege
scheduler: exploit li
n
ealit
y
space in difference set
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl_union_set_combi
n
ed_lineality_spa
c
e
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verdoola
e
ge
privately export i
s
l_set_combined_lineality_spa
c
e
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolae
g
e
isl_basic_set_lineality_spac
e
:
a
llow l
o
cal var
i
ables
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verd
o
o
laeg
e
add isl_basic_
s
et_extract_equalities
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoolaege
add isl_multi_aff_
f
r
om_aff_ma
t
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
sche
d
uler: dr
o
p cons
t
raints t
h
at
can
onl
y
be used for
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolaege
isl_scheduler
.
c: c
o
ll
e
ct_intra_val
i
dity:
drop parameters
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n Verdoo
l
a
e
ge
i
sl_sc
h
eduler
.
c: intra_coefficients: sep
a
ra
t
e cache
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
r
doolaege
is
l
_sched
u
ler
.
c: c
o
u
nt_map_constraints: count param
e
tr
i
c
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaege
isl_scheduler
.
c: extract out shar
e
d for
c
e_zero
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaege
isl_sche
d
ule
r
.
c: ex
t
ract
out shared
u
pdate_count
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdo
o
laege
add is
l
_union
_
set_plain_gist
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoola
e
ge
add isl_
m
ap_plain_gist
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl_set_plain_
g
i
st_bas
i
c
_
set
commit
|
commitdiff
|
tree
2017-06-07
S
v
en V
e
rdo
o
laeg
e
add isl_ba
s
i
c_set_{
l
ower,upper}_
b
ound_val
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Ver
d
oolaege
doc:
i
s
l_*_bound_*:
specify header
t
o include
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
a
e
ge
s
c
heduler: try carryin
g
only self-
d
epende
n
c
e
s in th
e
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
S
v
en
V
erdoolaege
i
s
l_m
a
p_is_disjoi
n
t: h
a
n
d
le in
p
ut wi
t
h
unaligned parameter
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
update imath for fix of bug in
t
roduced in
p
revious
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Michael Kruse
update imath for undefined b
e
havior fixes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaeg
e
isl_sch
e
duler
.
c: compute
_
carryi
n
g_sol: extract out
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_
s
cheduler
.
c
:
find_node_coalescing: use half of
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_va
l
_div_u
i
commit
|
commitdiff
|
tree
2017-05-25
S
ven V
e
rdoolaeg
e
isl_scheduler
.
c: c
o
m
pute_max_coe
f
ficient: roun
d
up
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_int_cdiv_q_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
isl
_
test_int: add more isl_int_
c
div_q t
e
st
s
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
imath bac
k
end: use tailored isl_in
t
_fdiv_q_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l_scheduler
.
c
: com
p
ute_schedule_finish_band:
split
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
a
eg
e
isl_scheduler
.
c: s
p
lit_scaled: do not
enfo
r
ce
r
ela
t
i
ve
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdo
o
l
aege
sc
h
e
duler: change order of coeffic
i
en
t
s in (I)LP
problem
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
i
s
l
_sched
u
ler
.
c:
extract ou
t
shared node_par_coe
f
_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
isl_
s
cheduler
.
c
:
extract
o
u
t shared
n
o
de_c
s
t_coef_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_sc
h
eduler
.
c: extract_var_coef:
drop co
m
m
e
n
t
on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: add_var_sum_constraint: drop commen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
i
sl_sched_node:
drop cmap field
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
i
s
l_
s
c
heduler
.
c
: up
d
at
e
_schedu
l
e: drop s
u
p
p
ort for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Ve
r
doolaege
sche
d
uler: solve
f
or original
sch
e
dule
coeffic
i
ents
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Verdoolaege
i
gnore c
o
mput
e
d sc
h
e
d
ule of
t
iming test ca
s
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
erdoolaege
is
l
_
s
c
heduler
.
c: i
s
l
_sched_node
:
nor
m
alize non-trivi
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Verdoolaege
ad
d
isl_ma
t
_lexnonneg_ro
w
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Ve
r
doolaege
ad
d
isl_
m
a
t_rev
e
r
s
e_ga
u
ss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolaege
add is
l
_mat_r
o
w_neg
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_
m
a
t
.
c: ex
t
ract out shared che
c
k
_row
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doo
l
ae
g
e
isl_schedule
r
.
c: i
s
l
_
s
c
hed_node: o
n
ly store
r
ows th
a
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
s
c
heduler: rev
e
rse order of s
c
hed
u
le coefficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_schedule
r
.
c
: extract
o
ut shared node_var_coef_p
o
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
aege
isl
_
d
im_map_ra
n
ge
:
allo
w
n
e
g
ative stri
d
es
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_sc
h
e
duler
.
c: construct_
t
rivial: construct region
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rdoolaege
isl_
t
ab_b
a
sic_set_n
o
n_trivial_lexmin: take t
r
iviality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ve
n
Verdoolaege
isl_
t
ab_pip
.
c: re
g
ion_
i
s_trivial: return isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_tab_bas
i
c
_
set_non_t
r
i
vial_lexmin: e
x
t
r
act out
f
ix_zero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
laege
isl_tab
_
pip
.
c: e
x
tend isl_trivial do
c
umentati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaeg
e
add isl_vec_is_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
s
ched
u
ler: solve Feautrier fallback as ILP to avoid
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdool
a
ege
add is
l
_
t
a
b
_lexmin_cut_to_in
t
eg
e
r
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
is
l
_
s
cheduler
.
c
:
compute_schedule_finish_band: also
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: co
u
n
t
_m
a
p_constraints: drop "carry
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoo
l
ae
g
e
isl_scheduler
.
c:
compute_
c
ar
r
ying_sol:
re
m
ove duplica
t
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
isl_scheduler
.
c: carry_dependences:
extract out comput
e
_carr
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
sched
u
le
r
.
c: carry_de
p
endence
s
: delay er
r
oring
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl
_
scheduler
.
c: add
_
inter_constr
a
i
n
ts: return isl_
s
tat
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ver
d
oo
l
a
e
ge
isl_schedul
e
r
.
c:
add_intra_constra
i
nts
:
r
etur
n
isl_stat
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
i
sl_sc
h
e
d
uler
.
c: inter_dim
_
map
:
handle N
U
L
L
input
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: intra
_
dim_map
:
handl
e
NUL
L
input
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add
i
sl_
u
nion_set
_
get_basic_set_list
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdo
o
laege
isl_*_list_concat: special c
a
se
pre
-
a
llocated list
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
add
i
sl_unio
n
_
{map,
s
et}_remove_divs
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolaege
add isl_b
a
si
c
_set_li
s
t
_
c
oefficients
commit
|
commitdiff
|
tree
next