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_set_preimage
2017-07-03
Mal
h
a
r Thakkar
add missing annotati
o
ns
to isl
_
set_preimage
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Ma
l
har Thakkar
add missing
annotations to isl_bas
i
c_map_overly
i
ng_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Ma
l
har Thakkar
add miss
i
ng
an
n
ot
a
tions to isl_map_underlying_se
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Th
a
kkar
add missin
g
annotations
t
o
i
sl_bas
i
c_map_un
d
erlying_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
M
a
lhar
T
h
a
kkar
add mi
s
sing annotation
s
to isl_mat_drop_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thakkar
ad
d
missin
g
a
nnota
t
io
n
s to isl_mat_dr
o
p_cols
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thakkar
add missin
g
a
n
not
a
tio
n
s to
i
sl
_
basic
_
set_preimage
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
M
alhar Tha
k
kar
add missin
g
ann
o
tations t
o
isl
_
basic_se
t
_gauss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thakk
a
r
ad
d
m
issing annot
a
tio
n
s to
i
sl_basic_se
t
_normalize_co
n
strai
n
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thakkar
add mis
s
ing annota
t
ions
to isl_set
_
unio
n
_disjoint
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-30
S
ven Verdoolaeg
e
schedul
e
r: fix handling of bounds on schedule
c
oefficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-30
M
alh
a
r Thakkar
a
d
d
missing annotati
o
n
s
to dec
l
aration of isl_map_un
i
on
_
di
s
joint
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-28
M
a
l
h
a
r Thakkar
a
d
d miss
i
ng
a
nnotati
o
n
s to declaration of isl_basic_se
t
_
s
e
t
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
S
ven
Verdoolaege
interface: update to
refactoring of frontend InputKind
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
erdoo
l
aege
isl_access_info_c
o
mput
e
_flow: s
u
ppo
r
t "kill" ac
c
ess
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdoolaege
ad
d
isl_unio
n
_m
a
p_intersect_range_fa
c
tor
_
r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n
Verdo
o
l
a
e
ge
a
d
d map_intersect_range_factor_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_union_map
.
c
:
g
en_bin
_
entry: extract o
u
t
bin_t
r
y_get_match
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
S
v
en Verdoo
l
aege
i
s
l_union_map
.
c: gen_
b
in_entr
y
: improv
e
error handl
i
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verd
o
o
lae
g
e
i
s
l_union_map
.
c: gen_bin_op: unify callbacks
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaeg
e
is
l
_union_map
.
c: subtra
c
t
_
en
t
ry: use isl_
u
ni
o
n
_
map_get_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_union_map
.
c: subtra
c
t
_
entry: use isl_map_
g
et_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdo
o
laege
i
sl_union_map
.
c:
rena
m
e has_dim
t
o has_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolae
g
e
isl_
u
ni
o
n
_map
.
c:
h
as_dim: rename "dim"
v
a
riable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en
Verdoo
l
a
ege
isl_union_access_
i
nfo_compute_flow: handle cos
c
hed
u
led
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
doolaege
add isl_ma
p
_intersect_do
m
ain_factor_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
d
o
c: break up paragrap
h
d
e
scribing isl_access_
i
nfo_compute_f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
o
o
laege
add
b
asic isl_union_access_info_comput
e
_f
l
o
w
te
s
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
oolaege
add
i
sl_flow_c
m
p application
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
d
o
olaege
add
i
sl_flow appl
i
c
ation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
e
n
Verdoolaege
add isl_union_access_
i
n
f
o_re
a
d_from
_
file
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
dool
a
ege
isl_union_access_info_fro
m
_sink: extract out isl
_
uni
o
n_acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
aege
isl_union_acce
s
s_in
f
o_from_si
n
k: ex
t
ract out isl_union_acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoolaege
isl_pri
n
ter_pri
n
t_union_access_info:
d
o not print empty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdoolae
g
e
isl_print
e
r
_
print_un
i
o
n_access_info: extr
a
ct out
shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolae
g
e
isl_printer_prin
t
_union_access_info:
e
xtra
c
t out field
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
V
e
rdool
a
ege
isl_flow
.
c: merge isl_u
n
ion_access_
i
nfo_se
t
_
*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_union
_
a
ccess_in
f
o: tre
a
t acces
s
r
e
l
ations in
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoola
e
ge
isl_p
r
in
t
er_
p
rin
t
_union_flow: c
o
nsiste
n
tly p
r
i
nt f
u
ll
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
is
l
_sc
h
edule_{read,c
o
nstraints}
.
c: ext
r
a
c
t out sha
r
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_schedule_
r
ead
.
c: extra
c
t_key: st
o
re key stri
n
g
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en
V
erdoolaege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdoolaeg
e
prope
r
ly add declaratio
n
of
isl_multi_
u
n
ion
_
pw_af
f
_apply_pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdoo
l
a
e
g
e
sc
h
eduler: exploit lineali
t
y sp
a
c
e in differe
n
ce set
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verd
o
olaege
ad
d
isl_union_set_
c
ombin
e
d
_lineality_space
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
d
oo
l
ae
g
e
privately export
is
l
_set_combined_lin
e
ality_sp
a
c
e
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
oola
e
ge
isl_
b
asic_set_li
n
eality_sp
a
ce: allow
local variables
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add i
s
l_
b
asic_set_extract_equalities
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdo
o
laege
a
dd isl_multi_aff
_
fro
m
_
a
ff_mat
commit
|
commitdiff
|
tree
2017-06-07
Sven
Verdoolaege
s
c
he
d
uler: dro
p
constraints that
c
a
n only be used for
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdo
o
laege
isl_scheduler
.
c: collect_intr
a
_validity: drop
p
a
r
amet
e
rs
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
r
d
ool
a
ege
i
sl_schedule
r
.
c: intra_coeffici
e
n
t
s: separate
c
ache
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdool
a
ege
isl_sch
e
duler
.
c:
c
ount_map_constraints:
cou
n
t parametric
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoola
e
ge
isl_scheduler
.
c: extract out shared
f
orce
_
zero
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n
Verdoolaege
isl_scheduler
.
c: extract ou
t
shared u
p
date_count
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
r
doolaege
add isl_union_set_p
l
ain_gist
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoolaege
add
i
sl_map_p
l
a
i
n_gist
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
rdoo
l
a
ege
add
i
sl_set_plain_gist_basic_set
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolaege
add isl_
b
asic_set_{lowe
r
,upper}_boun
d
_
val
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
d
oc: i
s
l_*_bound_
*
:
specify header to in
c
lu
d
e
commit
|
commitdiff
|
tree
2017-06-07
S
v
e
n Ve
r
dool
a
ege
scheduler: try
car
r
yi
n
g only self-depende
n
c
es
i
n the
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Verdoolaege
isl_map_is_
d
isjoint: han
d
le input
with unaligned pa
r
a
meters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolaege
u
p
da
t
e ima
t
h for fix
o
f
bug in
t
roduced in previous
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Michael
Kruse
updat
e
imat
h
for undefi
n
e
d
beha
v
ior fix
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_
s
chedu
l
er
.
c
: compute_car
r
ying_sol: e
x
tract out
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
do
o
l
a
e
ge
isl_s
c
he
d
ul
e
r
.
c
:
find_
n
od
e
_coalescing: us
e
hal
f
of
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
add isl_v
a
l_div_ui
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verd
o
olaege
isl_
s
ched
u
ler
.
c: compute_m
a
x_coefficient: round up
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_
i
nt_cdiv_q_ui
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoo
l
aege
isl_tes
t
_in
t
: add more isl_int_cdiv_q tests
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
imat
h
backend:
use tail
o
red
i
sl_int_fdiv_q_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c: compute_sc
h
edule_finish_band: split
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolae
g
e
isl_scheduler
.
c: split_scale
d
:
d
o n
o
t
e
nforce relat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
scheduler: change order of c
o
e
f
fici
e
nts
in (I
)
LP problems
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
V
erdool
a
ege
isl_scheduler
.
c
:
ex
t
ract out shar
e
d
node_par_coef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
g
e
isl
_
sc
h
e
d
uler
.
c: extract ou
t
s
hared node_cst_c
o
ef_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olae
g
e
isl_scheduler
.
c: extract
_
var_coef
:
drop
c
omment on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_s
c
heduler
.
c: add
_
var_
s
um_constraint: drop com
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoola
e
ge
i
sl_sched_no
d
e:
d
rop cmap field
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
g
e
i
s
l_scheduler
.
c: up
d
a
t
e_
s
c
h
edule: drop
s
upport fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
s
chedu
l
er: solve for origina
l
s
chedule c
o
effi
c
ients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
ig
n
ore compute
d
schedule of t
i
ming
t
est case
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdool
a
ege
isl
_
scheduler
.
c: is
l
_sched_no
d
e: normalize non-t
r
ivia
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
add isl_m
a
t_lex
n
onneg_rows
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdo
o
la
e
ge
add isl_mat_revers
e
_ga
u
ss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
add isl_mat_
r
ow_neg
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_mat
.
c: extract ou
t
sh
a
red check_row
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
isl_sch
e
duler
.
c: isl_sc
h
ed_node: only sto
r
e
r
ows that
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven
Verdoolaege
sch
e
duler: reverse order
o
f sch
e
dule coeff
i
cien
t
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
isl_scheduler
.
c
:
extract o
u
t
s
hared n
o
de_var_c
o
e
f
_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doola
e
g
e
isl_dim_map_range:
a
llow ne
g
ativ
e
s
t
rides
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
isl_sche
d
uler
.
c: construct_trivial: construct region
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rd
o
o
laege
isl_ta
b
_ba
s
ic_s
e
t_non_trivial_lexmin
:
take t
r
iviality
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
isl_tab_pip
.
c
: region_is_trivial: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Verdoolaege
is
l
_
tab_basic_set_non_t
r
ivial_lexmin: extract out fix_zero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
ool
a
ege
i
s
l
_
t
ab_p
i
p
.
c
:
extend isl_
t
r
iv
i
al documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n
Verdoolaege
add isl_vec_is_z
e
ro
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ver
d
oolaege
sche
d
uler: solve F
e
aut
r
ier fallback as ILP
to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoola
e
ge
add isl_tab_lexmin_cut_to_inte
g
er
commit
|
commitdiff
|
tree
next