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
isl_print_*: print unsatisfiable constraints as "false" instead of "1 = 0"
2017-09-27
Sv
e
n
Ve
r
doolaege
i
s
l_print_*
:
print unsatisfi
a
ble constraints
as "false
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rd
o
olaege
isl_schedu
l
er
.
c: non_neg_lexmin: fix double f
r
ee
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-26
S
ven Verdoola
e
g
e
isl_map
_
coalesce: extend handling of ineq
u
ali
t
y a
d
jacent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-26
Sven
Verd
o
o
l
ae
g
e
isl_coalesce
.
c: extract out s
h
ared find_eq and find
_
ineq
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoolaege
isl_
c
oale
s
c
e
.
c: extra
c
t out sh
a
red c
o
u
nt
_
e
q
a
nd c
o
unt_ineq
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdoola
e
ge
isl_coalesce
.
c: extract out s
h
ared any_eq and any_ineq
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-21
Sven
Verdoolaeg
e
is
l
_schedule_c
o
nstr
a
ints_c
o
mput
e
_schedule: on
l
y sort
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-21
S
v
en
V
erdoo
l
aege
isl
_
sc
h
eduler
.
c
:
com
p
ute_schedule
_
fi
n
ish_band: emp
h
asize
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-21
Sven Verdoolaege
is
l
_sched
u
le_
c
onstr
a
in
t
s_compute_schedul
e
: do not add
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-21
Sven
V
erdoolaege
b
ound
.
c:
i
nclude more sp
e
ci
f
i
c
h
e
a
de
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n V
e
r
d
ool
a
ege
schedu
l
e
.
c: di
r
ectly
i
nclude requi
r
ed header
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verdoolaege
cod
e
gen
.
c
:
directly i
n
clude required header
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
b
o
und
.
c:
d
irect
l
y
includ
e
required heade
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
i
sl_schedule_tree
.
c
:
d
irectly include
r
equi
r
ed headers
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Ver
d
oolae
g
e
isl_schedule_
r
ead
.
c: directly inclu
d
e
re
q
uired header
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
isl_sc
h
edule_node
.
c: directly inc
l
u
d
e required header
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoolaege
isl_sche
d
ule_
c
onstrai
n
t
s
.
c: di
r
e
c
tly includ
e
required
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven
Verdoolaege
i
sl_sched
u
le_band
.
c: directly
i
nclude required hea
d
e
r
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
erdoo
l
aege
isl
_
schedu
l
e
.
c: directly inc
l
u
d
e required headers
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
S
ven Verd
o
olaeg
e
i
sl_range
.
c
: di
r
ectly
i
nclude r
e
quired header
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoolaege
isl_obj
.
c: directly incl
u
de requir
e
d
h
eader
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
i
sl_flow
.
c: directly in
c
l
ude required header
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
is
l
_band
.
c: direct
l
y include required header
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven
Verdoo
l
aege
i
s
l_ast_graft
.
c: di
r
ectly include required h
e
ader
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
V
erdoolaege
isl_as
t
_codegen
.
c
:
dire
c
tly inclu
d
e required head
e
rs
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoo
l
aege
i
sl_
a
s
t_build_expr
.
c: dir
e
ctly
i
nclude required
h
eaders
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n V
e
r
d
o
o
laege
isl_ast_b
u
ild
.
c: direc
t
ly include
required headers
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven
V
erdoolaege
i
s
l_ast
.
c
: dire
c
t
l
y
in
c
l
ude re
q
uired
h
eader
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaeg
e
is
l
_
list
_
templ
.
c: directl
y
include requi
r
ed header
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoola
e
ge
include/isl/schedu
l
e
.
h: direc
t
ly inc
l
ude
required header
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven
Verdo
o
laege
rena
m
e in
t
erface/isl
_
test_cpp
.
cpp
t
o i
n
terface/isl_test_cpp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Ve
r
d
o
ola
e
ge
in
t
erface/i
s
l-noexcept
i
ons
.
h
.
t
o
p: emphasize t
h
ese bindin
g
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
rename
inte
r
face/isl
.
h
.
top to interf
a
ce/isl-n
o
exception
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
olaege
doc: explic
i
tly
mention
that extension n
o
des cau
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
doc: cla
r
ify purpose of
guard nodes
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
S
ven
V
e
rdoolaege
isl_ast_co
d
e
g
en
.
c: gener
a
te_s
h
ifte
d
_component
_
tree
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
S
ven Verdoolaege
isl_sch
e
duler
.
c: fix
t
ypo
in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven
Verdo
o
l
aege
i
s
l_coal
e
sce
.
c: fix typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
doc:
f
ix typo
i
n isl_schedule_c
o
nstraints
_
a
p
ply documentati
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verdool
a
ege
do
c
:
update
t
o i
n
troduction o
f
isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verdoolaege
doc: drop
r
eference to deprecated
f
uncti
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
olaege
d
oc: fix name of
isl_
a
st_buil
d
argument
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n
V
erdoo
l
aege
doc: drop reference to is
l
_b
a
nd_
g
et_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-16
Sven Verdoolaege
Merge branch 'maint'
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-16
Sven Verdoolaege
isl
_
ma
t
_insert
_
rows: ch
e
ck for v
a
lid row posit
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-16
Sven
V
erdoolaege
isl_mat_drop_rows: check
f
or valid row ra
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-16
Sven Verdoolaege
i
s
l
_mat_swap_
r
ows: check f
o
r valid row positio
n
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-16
Sven
Verdoola
e
ge
i
s
l
_
ma
t
_insert_c
o
ls: check fo
r
valid
column
p
osit
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-16
Sven Verdoolaege
i
s
l_mat_d
r
op_c
o
ls: check
for valid column
range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-16
Sven Verdoolaege
isl_mat_swap_c
o
ls: extract out check_col_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-16
Sven Ver
d
oolaege
isl_pw_
*
_alloc
:
add missin
g
c
heck for
co
m
p
atible s
p
aces
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-14
Sven Verdoolae
g
e
i
s
l
_
s
chedu
l
er
.
c: extract_schedule_row:
improv
e
erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-14
S
ve
n
Verdool
a
eg
e
isl_schedule
r
.
c: extract_edge: do n
o
t a
d
d
e
d
g
es t
h
at
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-14
Sven Ver
d
ool
a
ege
isl_sc
h
edu
l
er
.
c: extract_ed
g
e: extrac
t
out skip_edge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-08
Sven
Verd
o
olaeg
e
isl_scheduler
.
c: up
d
ate_edg
e
: re-a
d
d edges of multi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-08
Sve
n
Verdoolaege
isl_
s
c
heduler
.
c: co
p
y_edges: ext
r
act out graph_edge_tables
_
add
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-18
S
v
e
n
V
e
r
d
o
o
l
aege
cpp:
fix initialization
o
f
local v
a
riable holding po
i
n
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-18
Sven V
e
rd
o
olaege
isl_
s
cheduler
.
c
:
extract_edge
:
finish
c
onv
e
rsion
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-18
Sven Verdoolaege
isl_ta
b
_pip
.
c: extract_sa
m
ple_sequence:
handle ra
t
i
o
na
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-16
Sven Verdoo
l
a
ege
schedu
l
er: compute si
z
es u
s
e
d
for coa
l
escing avoid
a
n
ce
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-08
S
v
en
Verdoolaege
isl_unio
n
_map_e
m
pty: rename "dim
"
vari
a
ble to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_map_
u
ni
v
e
rse: rename "dim" argumen
t
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-08
Sven V
e
r
doolaege
isl_
m
ap_
e
mpty
:
renam
e
"d
i
m" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-08
S
ven
Verd
o
o
l
a
e
g
e
isl_
b
asic_m
a
p_universe: ren
a
m
e
"dim"
argum
e
nt to "
s
p
a
ce
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-08
S
ven Verdoolaeg
e
isl
_
basic_map_e
m
pty
:
r
ename "dim
"
ar
g
ument to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-08
S
ven
V
e
r
do
o
l
a
ege
i
s
l_union_
s
et_em
p
ty: ren
a
me "dim" arg
u
ment to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-08
Sven
V
e
rdoolaege
isl_set_universe: rename "
d
im"
argument to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl_set_empty: rename "dim"
a
r
gume
n
t to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaege
isl
_
ba
s
ic_set_universe: rename "dim" argum
e
nt
t
o "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-08-08
Sve
n
Verdoo
l
aeg
e
isl_basic_
s
e
t
_em
p
ty: rename "d
i
m
"
argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-07-30
S
ven Ve
r
dool
a
ege
isl_scheduler
.
c: graph_
f
ind_compres
s
ed
_
node
:
look up
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-07-30
Sve
n
Verdoo
l
a
e
ge
is
l
_scheduler
.
c:
graph_find_compress
e
d_no
d
e: extra
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-07-30
Sven Ver
d
oolaege
isl
_
sch
e
d
u
ler
.
c
: isl_s
c
hed_gr
a
ph: keep
t
rack o
f
original
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-07-30
Sven Verdoola
e
g
e
a
d
d isl_
s
ch
e
dul
e
_
c
mp ap
p
l
i
cation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-07-30
Sv
e
n Verdoolaege
isl_
s
c
hedule: return E
X
IT_FAILURE
on
f
ailure
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-07-30
Sven Verdoolaeg
e
isl_scheduler
.
c: intra_dim_ma
p
:
h
and
l
e NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-07-30
Sven Verd
o
o
laege
isl_schedu
l
er
.
c: inter_
d
im_ma
p
:
handle NULL inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-07-26
Sven Verdoolaege
isl_flow
.
c
:
intermedia
t
e_sources
:
re
t
u
r
n isl_s
t
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-07-26
Sven Ver
d
o
ola
e
ge
i
sl_fl
o
w
.
c: compute_
v
al_based_
d
e
pendences: make
e
rr
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-07-26
Sv
e
n Verdoolaege
isl_fl
o
w
.
c: a
c
cess
_
sort_cmp:
d
rop spurious empty line
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-07-26
S
v
en
Verdoolaege
Merg
e
b
ranch 'maint'
commit
|
commitdiff
|
tree
2017-07-26
Sven
V
erdoolaege
isl_flow
.
c
:
com
p
ute_val_ba
s
ed_depend
e
nces: fix memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-07-24
S
v
e
n Verdoolaege
i
s
l_stre
a
m_read_map: fi
x
handling of empty
o
ptio
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-07-10
Sven Verdoolaege
fix
error handling of isl_
m
ulti_*_
d
rop_dims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-30
Sve
n
Verd
o
olae
g
e
sche
d
uler: fi
x
handling
o
f b
o
unds
o
n schedule coefficients
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-16
Sv
e
n Verdoolaege
interfa
c
e:
update to refactoring of front
e
nd InputKind
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
rdo
o
laege
isl_acc
e
ss_info_compute_f
l
ow: s
u
pport
"kill" a
c
cesses
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verdool
a
ege
add isl_un
i
on_
m
ap_intersect_ra
n
ge_factor_rang
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdo
o
laege
add map_intersect_range_factor_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
er
d
oola
e
ge
isl_union_map
.
c: gen_bin_entry: extra
c
t
out bin_try_get_match
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
S
ven Verdoolaege
add
i
sl_maybe_isl_map
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven V
e
r
doola
e
ge
isl_union_map
.
c: gen_bin_en
t
ry: improve error
handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
i
sl_uni
o
n_map
.
c
:
gen
_
bin_o
p
: unify callbacks
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdo
o
laege
isl_union
_
map
.
c: subtra
c
t_entry: use isl
_
union_map
_
ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_un
i
o
n
_map
.
c: subtract_entry: use isl_map_ge
t
_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven Ver
d
oolaege
isl_unio
n
_m
a
p
.
c: rename
h
as_d
i
m to h
a
s_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven
Verd
o
ola
e
g
e
isl_
u
n
i
on_map
.
c: has_dim:
r
ename "d
i
m" vari
a
bl
e
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven
V
er
d
oolaege
isl_union_acc
e
ss_info_
c
ompute_
f
low: handle cosch
e
dul
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sven
Ve
r
doolaege
add isl_
m
ap_intersect_domain_factor_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-06-12
Sv
e
n Verdoola
e
g
e
do
c
:
break up
p
aragraph
d
escribing i
s
l
_
a
c
c
ess_info_compute_f
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next