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_sol: update documentation
2016-07-19
Sv
e
n Ve
r
doolaege
privately export
isl_basic_map_drop_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven
V
erdool
a
ege
isl_basic_ma
p
_drop_div:
a
dd memory manage
m
ent an
n
otati
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdool
a
ege
i
sl_tab
_
pip
.
c: isl_context_op
.
free: return NU
L
L
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
v
e
n Verdoolaege
i
sl
_
tab_pip
.
c: isl_
c
ontext_op
.
add_div: r
e
turn isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n Verdoolaeg
e
isl_tab_pip
.
c
: context_tab_add_div: retu
r
n isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ver
d
oolaege
isl_tab_p
i
p
.
c: add_div
:
a
d
d
memory management a
n
notation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
i
s
l_tab_pip
.
c: isl_context_op
.
add_di
v
: add memory
m
anage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
S
v
en Verdoo
l
aege
is
l
_ta
b
_pip
.
c: context_tab_add_
d
iv: ad
d
memory
managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
Sven Verdool
a
ege
i
s
l_
t
ab_p
i
p
.
c: set_from_a
f
fine_ma
t
r
i
x: i
m
prove error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
S
ven Verdoolaege
i
sl
_
map_coalesce:
a
d
d
chec
k
that basic map and tableau
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoola
e
g
e
isl
_
tab_dete
c
t_impli
c
it_equaliti
e
s: d
o
no
t
add extra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaeg
e
isl_tab
.
c: cut_to_hyper
p
la
n
e: improve erro
r
message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven
V
e
r
doolaege
i
sl_t
a
b
.
c
:
c
u
t
_
t
o_hyperpla
n
e
:
return isl
_
stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
S
ven Verdoolaege
isl_
t
ab
.
c: close_row: improve
error message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
isl_tab
.
c: close_ro
w
:
i
m
prove
error me
s
sage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
isl_tab
.
c: cl
o
se_row:
r
eturn is
l
_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verd
o
olaege
export isl_pw_q
p
olynomia
l
_
e
val and
i
sl_unio
n
_pw_qpoly
n
omial_eva
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdool
a
ege
e
x
port isl_p
w
_qpolynomial_do
m
ain and isl_union_p
w
_qpo
l
ynomia
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en
Verd
o
olaege
export isl_basic_set_samp
l
e_point and isl_set_sample_point
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Ver
d
oolaege
python i
n
te
r
f
ace:
add type chec
k
to __st
r
__
m
e
thods
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolae
g
e
pytho
n
i
nterf
a
ce:
i
sl_
c
lass
:
:pri
n
t_meth
o
d: ex
t
ract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven
V
erdoolaeg
e
python inte
r
face: isl_class::print
_
method: up
d
ate do
c
umentat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en Verdoolaege
d
e
c
lare more is
l
_*_t
o
_str fu
n
ct
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
v
e
n
Verd
o
ola
e
g
e
python interface: isl_
c
lass::print_method:
e
x
tract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Ve
r
doolaege
isl_pw_aff_
r
ead_fr
o
m_str:
h
a
n
d
l
e 0D dom
a
ins
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sve
n
Verdoolaege
expose isl_
a
st_node_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
dump isl_
a
st_exp
r
a
n
d isl_
a
st_node
o
b
jects in
block
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
ven
Verdoolaege
isl_s
c
hedule
.
c
:
extract ou
t
generic *_to_str
a
n
d *
_
dump
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n V
e
rdoolaege
isl_p
r
in
t
er_p
r
int_ast_node: inc
l
ude iterator of
f
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
ven Verdoolaege
isl_printe
r
_pr
i
n
t
_as
t
_node: print isl_ast_node as Y
A
ML
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_printer
_
p
r
int
_
ast
_
expr:
s
upp
o
rt an i
s
l format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sve
n
Verdoola
e
ge
isl_printer_print_ast_expr: extract o
u
t pri
n
t_ast
_
expr_c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl
_
ast
.
c:
i
sl
_
p
r
i
n
t
e
r_
p
rint_ast_expr: drop needles
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
ven
V
erdoo
l
aege
isl_ast
.
c
:
remov
e
more remn
a
nts of code remov
e
d
before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ver
d
oo
l
a
e
ge
interface: update to CompilerInvocation::
s
e
t
LangDefa
u
lts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2016-06-28
S
ven Verdoo
l
aeg
e
isl_printe
r
_
p
ri
n
t_ast_node: f
i
x printing of mark n
o
des
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven V
e
rdoolaege
is
l
_
m
ap
_
is_equal
:
first
c
he
c
k if inputs are
o
bviously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdoolaege
isl_
*
_
l
exopt: u
s
e
a
ctual domain
o
f input as init
i
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verdoolaege
ad
d
isl_ba
s
ic_set_lexm
i
n_
c
ompute_d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
V
erdoolae
g
e
isl_map
_
lexopt*: comp
u
te op
t
imum over ap
p
roximate d
o
mains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oo
l
aege
isl_basic_map_lexopt*: po
s
tpone ex
t
ra
c
tion of domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoolaege
isl_*_lexopt*: repl
a
ce "max"
argument by
"flags
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
l
aege
i
s
l_tab_basic_map_
p
arti
a
l_lexopt*: clean up e
r
ror
ha
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoola
e
ge
m
e
rge is
l
_basi
c
_*_partial_lex* implem
e
nta
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaege
isl_bas
i
c_map_lexopt*
:
preini
t
ialize domain in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoolaege
merge is
l
_
tab_b
a
s
i
c_
m
a
p_partial_lex
o
p
t* imple
m
en
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
rename b
a
sic_map_part
i
al_le
x
opt*_pma
t
o basic_map_partial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
rename basic_
m
ap_partial_lexopt*_map
to basic_map
_
partial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Ver
d
oolaege
r
e
name
b
asic_map_
p
a
r
tial_
l
exopt_base to basic_map_partial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n Verd
o
olaege
a
d
d
i
n
termediate is
l
_tab_basic_ma
p
_partial_lexopt_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
s
l_basic
_
map_compa
t
ible
_
doma
i
n: return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolae
g
e
isl_space_
m
a
t
ch: re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laege
is
l
_s
p
a
c
e_match
:
rename "dim" arguments to
"
spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ve
n
V
e
rdoo
l
aeg
e
isl_
s
pace
.
c: matc
h
: rename "d
i
m" arguments to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoo
l
aege
isl_basic
_
map_co
m
pat
i
ble_domain: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
sl_
b
asic_*_pa
r
tia
l
_lex*: add
me
m
or
y
manage
m
ent anno
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
o
olaeg
e
isl_tab_
b
a
s
ic_ma
p
_
partial_lex
o
pt: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_tab_pip
.
c: isl_c
o
ntext
_
gbr_alloc: add
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
i
s
l_tab_pi
p
.
c: isl_context_alloc:
a
dd memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
e
rdoola
e
ge
isl_tab_pip
.
c
:
pro
p
a
gate_equal
i
t
ies: remove u
n
do
t
racking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaege
add
i
sl_ta
b
_nee
d
_undo and isl_tab_clear_undo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdo
o
laege
isl_tab_
b
asic_ma
p
_partial
_
lexopt: limit scop
e
of symmetry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
aege
isl_test
.
c
:
generalize isl_map_lexmin tes
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdoolaege
doc:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Ve
r
doolaege
doc: make
r
eas
o
n
for isolate option resulting
in ancho
r
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoo
l
a
e
ge
i
sl_tab_pip
.
c: parall
e
l_constraints: r
e
mov
e
st
a
le line
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
i
s
l
_
tab
.
c
: fix typo
i
n
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoo
l
aege
isl
_
*_partial_lex{min,
m
ax}_pw_multi_
a
ff: handle e
x
istentiall
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verd
o
o
lae
g
e
i
sl
_
ta
b
_pi
p
.
c:
sol_pma_
a
d
d
: extrac
t
out set_from_aff
i
n
e
_matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoo
l
aege
add isl_basic_set
_
div_
i
s
_
known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolae
g
e
add isl_
b
asic
_
set_s
w
ap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoo
l
a
ege
a
d
d
i
sl_
m
at_scale
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdo
o
l
aeg
e
isl_pi
p
: allow existentially
q
uantif
i
ed va
r
iables
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdo
o
laege
pip
.
c: set_plug_i
n
_paramet
e
rs:
add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoolaege
pip
.
c;
plug_in_parameters: add memory
m
anagement ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolae
g
e
pip
.
c: opt_at: add memory man
a
ge
m
ent
ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
Verdoo
l
aege
pip
.
c
:
opt_at: avoid
a
c
c
essi
n
g ct
x
f
ield dir
e
ct
l
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Verdoolaege
add isl_bas
i
c_map_div_is_
m
arked_unk
n
own
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolae
g
e
isl_ma
p
.
c: div_
i
s_unknown: retu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-21
Sven Verdo
o
laege
isl_space_find_dim_by_name: c
h
e
c
k that dime
n
sio
n
has
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdool
a
ege
doc: clarify that isl_
p
rinter
_
get_st
r
can onl
y
be used
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Ve
r
doolae
g
e
isl_out
p
ut
.
c
: print_constrai
n
ts: a
v
oid invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sve
n
Ve
r
do
o
laege
i
sl
_
o
utp
u
t
.
c
: print
_
d
isjunct: avoid invali
d
access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
S
v
e
n
Verdoolaege
isl_output
.
c: i
s
l_map_p
r
i
n
t_isl_body: handle NULL i
n
pu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven
Verdoola
e
g
e
isl_printer_get_str: report error whe
n
ca
l
led on wrong
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-14
Sven Verdo
o
lae
g
e
doc: c
l
ean
u
p
e
x
tra
fi
l
es generated by biblatex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven
V
erdoolaege
isl_
s
chedule_node_band_split: pr
e
serve isolate optio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
S
v
en Verdool
a
ege
add private
i
s
l_schedule_band_replace_ast_buil
d
_option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
S
ven V
e
r
d
oolae
g
e
u
s
e isl_schedule_node_band_get_ast_is
o
late_option
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Ver
d
oolaege
add isl_schedule_band_get_ast_isol
a
t
e
_opt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven Ve
r
doolaeg
e
isl
_
basi
c
_ma
p
_r
e
move_redundanci
e
s: so
r
t cons
t
r
a
ints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sv
e
n Verdoolaege
is
l
_coalesce
.
c: fuse
:
simplify fused result
immediately
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
i
s
l_c
o
alesce
.
c: fuse:
c
all isl_basic_map_finalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
Verdool
a
ege
i
sl_map_coalesce: check f
o
r
prot
r
usion
s
on
adj
a
cen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_map_coalesce: all
o
w pro
t
rusio
n
s
out of equality
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_c
o
ale
s
ce
.
c
:
w
rap_in_facet
s
: ex
t
ract out try_
w
rap_in_facet
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdo
o
l
a
ege
isl
_
c
o
ale
s
ce
.
c: can_w
r
ap_i
n
_set: extract out t
y
pe
_
of_relax
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
v
e
n Verdoolaege
is
l
_
c
oale
s
ce
.
c
: wrap_in_facets: extract out wrap_i
n
_facet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rdoolaege
i
s
l
_
coalesce
.
c
:
can_wrap_in_set:
minor simpli
f
i
c
ati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next