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_tab_pip.c: isl_context_op.free: return NULL
2016-07-19
S
v
en
V
erdoo
l
aege
isl
_
t
a
b_pip
.
c
:
i
s
l
_context_
o
p
.
free: retur
n
NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl_tab_pip
.
c: isl_context_op
.
add_div: retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
ven
V
erdoolae
g
e
i
s
l_tab_pip
.
c
: cont
e
xt_tab
_
add
_
div: return
isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verd
o
olaege
isl_
t
ab_pip
.
c: add_div:
a
d
d m
e
m
ory
m
anag
e
me
n
t annotat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
v
en Verdoolaege
isl_tab_pip
.
c: isl_c
o
nt
e
xt_op
.
add_div:
add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
Sv
e
n Verdoolaege
isl_tab_pip
.
c: c
o
ntext_tab_a
d
d_di
v
: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
Sven Verdoola
e
ge
isl_tab
_
pip
.
c: set_from_affine_mat
r
ix: improve erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
isl_ma
p
_coalesce: ad
d
c
heck that basic ma
p
and tableau
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verd
o
o
l
aege
is
l
_tab_detect_implicit_equalities: do
not add extra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdo
o
laege
i
s
l_tab
.
c: c
u
t_to_hyperplane: improve error m
e
ssa
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sve
n
V
e
rdo
o
laege
isl_tab
.
c: cut_to_hyperplane: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
S
ven Verdoolaege
isl_tab
.
c
:
close_row
:
impro
v
e error me
s
sage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sv
e
n Verd
o
olaege
isl_tab
.
c: close_row: improve error messag
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verd
o
olae
g
e
isl_tab
.
c
:
c
lose
_
row: return isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
v
e
n
Ve
r
d
o
olaege
export isl
_
pw_qpol
y
nom
i
al_eval and isl_union_pw_qpolynomial_eval
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
export
i
sl_pw_qpolynomi
a
l_domain and isl_uni
o
n_
p
w_qpolynomia
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven
V
erdool
a
ege
e
xport isl
_
ba
s
ic_
s
et_sample_p
o
int and isl_s
e
t_sample_point
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdo
o
laege
pyt
h
on interface: add t
y
p
e
check to
__str__ methods
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
ven
V
erdo
o
l
aege
pyth
o
n interface: isl_class::print_method: ex
t
ract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
python i
n
terface
:
isl_class::print_meth
o
d: up
d
ate documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdool
a
ege
declar
e
more isl_*_
t
o_str functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Ver
d
oolaege
python interface: isl_class::print_method: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
expose isl_
a
st_node_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
v
e
n
Verdoolaege
dump i
s
l_as
t
_expr and isl_ast_nod
e
ob
j
ects
i
n block
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
Verdoolaege
isl_sche
d
u
le
.
c: extract out generi
c
*_to_s
t
r and *_
d
u
m
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n Ver
d
o
o
laege
isl_printer_p
r
int_ast_node:
incl
u
de it
e
r
a
t
or of for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verd
o
olaege
isl_p
r
inter_p
r
int_ast
_
node: print isl
_
ast_node
a
s
YAML
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
Verdoolaege
is
l
_printer_print
_
ast
_
expr:
support a
n
i
sl form
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n Verdoolaeg
e
i
sl_printer_
p
rint
_
ast_expr
:
extract out print_as
t
_
e
xpr_c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ver
d
ool
a
ege
isl_ast
.
c: isl_printer_print_a
s
t_expr:
drop needless
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_as
t
.
c: r
e
move more r
e
mnant
s
o
f
code r
e
moved
before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
v
e
n Verdoolaege
i
n
terface
:
u
pda
t
e to CompilerInvocat
i
on::s
e
t
L
angD
e
f
aults
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ver
d
o
olaege
Merge b
r
a
n
ch 'maint'
commit
|
commitdiff
|
tree
2016-06-28
S
v
en Verdoolaege
isl_printer_
p
rint_ast_n
o
d
e
: fix pr
i
nti
n
g
of mark n
o
des
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdo
o
laege
isl_
m
a
p_is
_
e
qual: first c
h
eck if inputs
a
re obviously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
isl_*_l
e
xopt: use actual domain of input as
initial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doola
e
ge
add isl
_
basic_set_le
x
min
_
compute_
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
r
doolaege
isl_map_lexopt*: com
p
ute optimum
over
a
pproximate domains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
aege
i
s
l_basic_
m
ap_lexopt*: postpone extraction of dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolaege
isl_*
_
lexop
t
*: replace
"max" ar
g
u
ment
b
y "flags"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_tab_b
a
sic_map_pa
r
tial_lexopt*: cle
a
n up error
h
a
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
e
rd
o
o
l
a
ege
merge isl_ba
s
ic_*_partial_lex
*
impleme
n
ta
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven
V
e
r
d
oolaege
is
l
_basic
_
map_lexopt
*
: preinitialize doma
i
n in t
h
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en
V
erdoo
l
aege
merg
e
i
s
l_tab_basic_map_
p
artial_l
e
x
o
pt*
implementat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n
Verdoolaege
r
e
name ba
s
i
c_map
_
part
i
a
l
_
l
exopt*_
p
ma to basic_map_partial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
o
laege
renam
e
basic_map_par
t
ial_lex
o
pt*_map t
o
ba
s
ic_m
a
p_parti
a
l_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdo
o
laege
renam
e
bas
i
c
_map_
p
arti
a
l_lexopt_base to basic_map_partial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en V
e
rdoolaege
add intermediate i
s
l_tab_
b
a
s
ic_ma
p
_parti
a
l_lexopt_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verd
o
ol
a
e
ge
isl_ba
s
ic_map_compatible_domai
n
:
r
e
tur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Ve
r
doolaeg
e
isl_space_m
a
tch: retur
n
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven
V
erd
o
olaege
is
l
_space_
m
a
tch: rename "dim" arguments to
"
space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaeg
e
isl_spac
e
.
c
: mat
c
h: rename "dim" ar
g
ument
s
t
o "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoo
l
aege
i
s
l_basic_map_compatib
l
e
_dom
a
i
n: add m
e
m
ory mana
g
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verdo
o
laeg
e
isl_basic_*_par
t
ial_lex*:
add memory
management annotation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdoolaege
isl_tab_ba
s
ic_map_p
a
rtial_lex
o
p
t: add memory
m
an
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
Verdoolaeg
e
isl_tab_pip
.
c: i
s
l_context_
g
b
r_a
l
loc: add memory
ma
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaege
isl_t
a
b_p
i
p
.
c: isl_context
_
alloc: add memory man
a
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoola
e
ge
isl_tab_pip
.
c: propagate_equa
l
ities: remov
e
undo tracking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolaege
ad
d
isl_tab_n
e
ed_u
n
d
o and isl_tab_c
l
ear_undo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_tab_bas
i
c_ma
p
_partial
_
l
e
xopt: limit s
c
o
pe of symm
e
t
ry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oola
e
ge
i
s
l
_test
.
c:
g
eneralize
i
sl_map_l
e
xmin tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verdoolaege
do
c
: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdool
a
ege
d
o
c
:
make rea
s
on for isolat
e
o
p
tion resulting in anchored
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
i
s
l_tab_p
i
p
.
c:
p
arallel_cons
t
raints: remov
e
stale line
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Ve
r
d
oolaege
isl_tab
.
c
: fix typo i
n
c
o
mme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Ver
d
o
olaege
isl_*_partial
_
lex{min,max
}
_pw_
m
ult
i
_aff: handle
exis
t
entiall
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven V
e
rdoolae
g
e
i
s
l
_
t
a
b_pip
.
c
: s
o
l_pma_add: extract ou
t
set
_
f
r
om_aff
i
n
e_matr
i
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ver
d
o
o
laege
add isl_basic_set_div_is_known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
Verdo
o
laege
add
i
sl_basic_s
e
t
_swap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
e
r
doolae
g
e
add i
s
l_mat_
s
cale
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Ver
d
oola
e
ge
isl_pip
:
allow
ex
i
s
tentia
l
ly quantified variables in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
ven
V
e
rd
o
olaeg
e
p
i
p
.
c: set_plug_in_param
e
ters: add m
e
mory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sve
n
Verdoolaeg
e
pip
.
c
;
p
l
u
g_in_p
a
rameters: add memory managem
e
nt annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven V
e
r
d
oolaege
pip
.
c:
o
pt_at: add
memory management ann
o
tat
i
on
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
erdool
a
e
g
e
p
i
p
.
c: opt_at: avoid ac
c
e
ssing ctx fi
e
ld directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven V
e
r
d
ool
a
ege
add isl_basic_map_
d
iv_is_mark
e
d
_unknown
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven V
e
r
d
o
olaege
isl
_
map
.
c: d
i
v
_
i
s
_unknown: return isl_boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-21
Sven Verdoola
e
ge
isl_sp
a
ce_find_
d
im
_
by_n
a
me:
check
t
hat dimension has
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven
Verdoo
l
aege
doc: clarif
y
that
i
sl_printer_
g
et_st
r
can only be used
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sv
e
n Verdoo
l
aege
isl_outpu
t
.
c: prin
t
_constra
i
nt
s
: avoid inv
a
lid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Ve
r
doola
e
ge
isl_output
.
c: print
_
disjunct
:
a
v
o
i
d inva
l
id acc
e
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven V
e
rdoolaege
isl_outpu
t
.
c
: is
l
_map_p
r
i
n
t_i
s
l_bo
d
y: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
S
v
e
n Verdoolaege
is
l
_pr
i
nter_get_str: repo
r
t error
w
hen c
a
lled on wron
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-14
Sven Verdoo
l
aege
do
c
: clean up e
x
tra files generat
e
d by bib
l
atex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verd
o
olae
g
e
isl_s
c
hedule_n
o
de_ban
d
_spli
t
: preserve isolate option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
add
priv
a
te isl
_
s
c
hedule_band_replace_ast_
b
u
i
l
d_
o
ption
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sv
e
n V
e
rdoo
l
aege
us
e
isl
_
s
c
h
e
dule
_
node_band_get_ast_
i
sola
t
e_o
p
tion
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven V
e
rdoola
e
ge
a
d
d isl_schedule_ban
d
_get_
a
st
_
is
o
late_o
p
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
isl
_
basic_map_remove_redundanc
i
es: sort
c
onstraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
isl
_
coalesce
.
c: fuse:
simplify fused result immediately
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven Ve
r
doolae
g
e
isl_coalesce
.
c: f
u
se:
call
i
s
l
_b
a
sic_map_final
i
ze
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolae
g
e
isl_map_co
a
l
esce: check for protr
u
sions
o
n adjacent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verd
o
olae
g
e
isl_map_coalesce: allow
protru
s
ions out of equality
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en Ver
d
oolaege
isl_coalesce
.
c: w
r
ap_in_fac
e
ts: extract out try_wrap_in_facets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_c
o
a
lesce
.
c
: can_wrap_i
n
_set: extract out
t
y
p
e_of_relaxed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoolaege
i
s
l_coalesce
.
c: wrap_in_f
a
cets: extr
a
ct out wrap_in
_
facet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoolaeg
e
isl
_
coale
s
ce
.
c: c
a
n
_
w
rap
_
in_s
e
t
:
m
inor s
i
mpl
i
ficati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoolaeg
e
i
s
l
_coalesce
.
c: wrap_in_face
t
s: do not pass i
n
list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rdoolaege
isl_m
a
p_coalesce: tighte
n
c
o
nstraints of po
t
ential
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_map_
c
oalesce: a
l
low gen
e
ral co
a
lescing with expanded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next