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 isl_union_access_info_read_from_file
2017-06-12
Sven Verd
o
ola
e
ge
ad
d
i
s
l_uni
o
n
_
access_
i
nfo_re
a
d_fr
o
m_file
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdoolaeg
e
isl_
u
nion_access_in
f
o_from
_
sink: extract
o
u
t
isl_union_
a
cces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdoolae
g
e
isl_union_access_
i
nfo
_
from_sink:
extr
a
c
t
out isl_un
i
on
_
acces
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
r
d
oolaege
isl_printer_p
r
int_u
n
ion_
a
ccess_info:
d
o n
o
t print
empty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
a
e
ge
isl_printer_pri
n
t_union_access_info:
e
xtr
a
ct o
u
t
shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n
V
er
d
o
olaege
isl_printer
_
print_union_acces
s
_in
f
o: extract
out fiel
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_
f
low
.
c: merge isl
_
union
_
access_info_set_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_union_access_info: treat a
c
ce
s
s relations i
n
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
S
v
en Verdool
a
e
ge
isl_pr
i
n
ter_pr
i
nt_union_flow:
cons
i
stently p
r
in
t
fu
l
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verd
o
olaege
isl_schedul
e
_{
r
ead,cons
t
raints}
.
c: ex
t
ract out shared
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n
Verdo
o
l
aege
i
sl_schedule_
r
ead
.
c: e
x
tract_key: store key s
t
r
ings
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
laege
Mer
g
e branch 'mai
n
t'
commit
|
commitdiff
|
tree
2017-06-08
Sven Verdoolaege
properly ad
d
decla
r
ation
o
f
is
l
_multi_union
_
pw_aff_apply_pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-08
S
v
en Verdoo
l
aege
scheduler: exploit lin
e
ality space in differe
n
c
e set
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoola
e
g
e
add isl_union_set_combined_
l
ineality_s
p
ace
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdool
a
ege
priva
t
ely export isl_
s
et_co
m
b
i
ned_lineality_
s
pace
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolaege
isl_ba
s
i
c
_set_lineality_spac
e
:
all
o
w
l
ocal variables
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
ae
g
e
add isl_bas
i
c_set_e
x
tract_equalities
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
e
r
doo
l
aege
add isl_
m
ulti_
a
ff_from_aff_ma
t
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdo
o
laege
schedu
l
er: drop
c
onst
r
aints th
a
t
c
an only be
used for
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven V
e
r
d
oolaege
isl
_
sched
u
ler
.
c:
collect_intra_validity: drop p
a
r
ameters
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
is
l
_schedule
r
.
c
: i
n
tra_coeffi
c
ients: separate cache
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
is
l
_
scheduler
.
c: count_
m
ap_constr
a
in
t
s: count parametric
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdool
a
e
g
e
isl_sc
h
e
dule
r
.
c: extract out shared force_zero
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
isl_sche
d
uler
.
c: ex
t
ract
o
u
t shar
e
d update_count
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoola
e
ge
a
d
d isl_un
i
on_set_
p
lain_gist
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaeg
e
add isl_
m
ap_plain
_
gist
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolaege
add
is
l
_
s
e
t_
p
lain_gist_ba
s
ic_set
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Verdoolaege
add i
s
l
_basic_set_{lower,
u
pper}_bound_val
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
do
c
: isl_*_
b
oun
d
_*:
specify heade
r
to incl
u
de
commit
|
commitdiff
|
tree
2017-06-07
S
ven Verdoolaege
sc
h
eduler: t
r
y carrying on
l
y self-d
e
pendences
i
n
the
.
.
.
commit
|
commitdiff
|
tree
2017-06-07
Sve
n
Ve
r
doolaege
is
l
_map_is_disjoint: handle input wi
t
h
u
n
a
l
igned parameters
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Verdoolae
g
e
updat
e
imath for fix of bug in
t
roduced in p
r
evious
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-02
Mich
a
el Kruse
upda
t
e im
a
th for undefined beh
a
vior fixes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdo
o
l
ae
g
e
isl_scheduler
.
c
:
co
m
p
ute_carryi
n
g_sol: extract out
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolae
g
e
isl_scheduler
.
c: find
_
node_coales
c
ing: use
h
alf of
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
add
i
sl_val_di
v
_ui
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
ola
e
ge
isl_sche
d
uler
.
c: com
p
ute_max_coeffic
i
ent: round
u
p
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_int_cdiv_q_ui
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoo
l
aege
isl_test_int: add m
o
r
e
i
sl
_
int
_
cdiv_
q
test
s
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
imath backe
n
d
:
us
e
tailore
d
isl_int_fdiv_q_
u
i
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
isl_scheduler
.
c: compu
t
e
_
s
c
he
d
ule_fi
n
ish_band: spl
i
t
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
i
s
l
_
sc
h
eduler
.
c: split_scaled
:
d
o no
t
e
nforce relati
v
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolae
g
e
sched
u
ler: change order of coefficients in
(
I)LP problems
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_scheduler
.
c:
e
xtrac
t
out s
h
ared nod
e
_par_co
e
f_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_schedul
e
r
.
c: extr
a
ct
o
ut sha
r
e
d
n
ode_cst_coef_
o
ffse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolae
g
e
isl_sc
h
e
duler
.
c
:
extract_var_
c
oef: drop comme
n
t on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
i
s
l_scheduler
.
c: add_var_sum_constraint
:
drop comment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n V
e
rdoolaege
isl_sched_node: drop cmap field
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
isl_scheduler
.
c: upda
t
e_s
c
hedule:
d
ro
p
support fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
e
rdo
o
laege
s
c
heduler: solve for
o
riginal schedule coefficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erdoolaege
i
gno
r
e
computed sc
h
edule of
t
imi
n
g t
e
st case
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdoolae
g
e
isl_schedule
r
.
c: i
s
l_sched_node
:
n
ormalize non-tri
v
ial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaeg
e
add isl_mat_lex
n
onneg_r
o
w
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
a
d
d isl_mat_rev
e
rse_gauss
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
V
erd
o
olaege
add isl_
m
at_row_neg
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
ven V
e
rdoola
e
g
e
is
l
_mat
.
c
: extract out shared che
c
k_row
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
e
r
doo
l
aege
isl_sch
e
dul
e
r
.
c: isl_sched_nod
e
:
o
nly store
r
ows t
h
at
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olae
g
e
s
chedule
r
: reverse order of schedul
e
coe
f
ficients
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
g
e
isl_scheduler
.
c: extr
a
ct o
u
t shared no
d
e_va
r
_coef_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Verdoolaege
isl_dim_ma
p
_
r
ange: allow negative
s
trides
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_s
c
heduler
.
c: co
n
struct_trivial: constr
u
c
t
regi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_ta
b
_basic_set_non_trivial_l
e
xmin
:
take
trivial
i
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolae
g
e
isl_tab
_
p
i
p
.
c
: r
e
gion_is_triv
i
al: return isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en Verdoolaege
isl_tab_basic_
s
e
t
_
non_trivial
_
l
e
x
min:
extract out
fix_
z
ero
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
Verdo
o
laege
isl_ta
b
_pi
p
.
c: e
x
tend isl_t
r
ivial documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_vec_
i
s
_zero
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
S
v
en
V
e
rdoolaege
schedule
r
: solve Fea
u
tr
i
er fallback
as ILP to avoid
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
add
i
s
l
_tab
_
lexmin_cut_to_integer
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
sche
d
uler
.
c: compute_schedule_finish_band: also
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdool
a
ege
isl_scheduler
.
c: count_map_constraints
:
drop "carr
y
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
e
rdoolaege
i
s
l_schedul
e
r
.
c: compute_carrying_so
l
: rem
o
ve du
p
li
c
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n
Ve
r
doolaege
is
l
_schedu
l
er
.
c
: car
r
y_de
p
en
d
e
nces: extract ou
t
compute_carr
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
S
v
en V
e
rdoola
e
ge
isl_s
c
h
eduler
.
c: carry_dependences: delay erroring
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_schedul
e
r
.
c: add
_
inter_constraints: return
isl_st
a
t
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
is
l
_scheduler
.
c: ad
d
_
intra_co
n
str
a
i
n
ts
:
retu
r
n
isl_s
t
at
commit
|
commitdiff
|
tree
2017-05-25
Sven Ver
d
oolaege
isl_scheduler
.
c: inter_dim_map: handle NULL inp
u
t
commit
|
commitdiff
|
tree
2017-05-25
S
v
e
n Verdoo
l
ae
g
e
i
sl_scheduler
.
c
: intra_d
i
m_map: handle NULL inpu
t
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
erdoolae
g
e
a
d
d
isl_uni
o
n
_
set_get_basic_
s
et_list
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
rdoolaege
i
s
l_*_list_
c
onc
a
t:
s
pecial ca
s
e pre-alloc
a
ted li
s
t
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl_union_{map,set}_remove_divs
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaeg
e
add isl_basic_set_list_c
o
efficients
commit
|
commitdiff
|
tree
2017-05-25
Sven V
e
r
d
oo
l
a
ege
add isl_li
s
t_*_
m
ap_
*
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaeg
e
isl_l
i
s
t_templ
.
c
:
extract out shared isl
_
list_*_c
h
eck_
i
ndex
commit
|
commitdiff
|
tree
2017-05-25
Sven Ve
r
doolae
g
e
isl
_
sched_grap
h
: ad
d
iden
t
if
i
e
r
t
o
compressed
nodes
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
add isl
_
basic
_
set_varia
b
l
e_c
o
mpression_with_
i
d
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_
b
asic_set_variab
l
e_compre
s
sion: ren
a
m
e
"dim" variable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_sch
e
d_graph: ig
n
ore parameters in identifica
t
ion
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolae
g
e
i
s
l_scheduler
.
c: node_has_
s
pace: rename "dim" v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sve
n
V
e
r
doolaege
isl_s
c
hedule
r
.
c:
g
r
a
p
h_find_nod
e
: rename
"
dim" ar
g
u
m
ent
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoola
e
ge
a
d
d isl_space_get_tuple_hash
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Verdoolaege
isl_space_get_{hash,
d
omai
n
_hash}: only
h
ash in parameters
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl
_
h
ash_{space
,
space
_
d
omain}: ex
t
ract out sha
r
e
d
paramet
e
r
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
isl_space_get_hash: rename
"dim
"
arg
u
m
e
nt
to "
s
p
a
ce"
commit
|
commitdiff
|
tree
2017-05-25
S
ven Verdoolaege
test_inp
u
ts/codege
n
/{atomic,separa
t
e
}
.
*:
e
x
plicitly
.
.
.
commit
|
commitdiff
|
tree
2017-05-25
To
b
ias Grosser
cpp: add unit t
e
sts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verd
o
olaege
interf
a
ce: m
a
ke
l
a
nguage b
i
ndings depend on all
r
elevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-25
Sv
e
n Ve
r
dool
a
ege
in
t
erfa
c
e/Makefile
.
a
m: drop
t
e
st target
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-23
S
v
en Ver
d
o
olaege
isl_c
o
nvex_hu
l
l
.
c
:
modulo_affine_hull: fix potentia
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-17
Sv
e
n
Verdoolaege
isl_schedule_constraints_comp
u
t
e_sche
d
ule:
do not merg
e
.
.
.
commit
|
commitdiff
|
tree
next