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.c: perform_undo: extract out drop_bmap_div
2016-07-19
Sven Verd
o
olaege
isl
_
tab
.
c: p
e
rform_undo: e
x
tra
c
t
out
drop_b
m
ap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ve
r
doolaege
privately
e
xport isl
_
basic_ma
p
_
d
rop_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
ven Verdoo
l
a
ege
i
sl
_
basic
_
map_dr
o
p_di
v
: add memo
r
y m
a
nagement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sve
n
Verdool
a
ege
isl
_
ta
b
_
p
i
p
.
c:
is
l
_context_op
.
fre
e
: return
NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoo
l
aege
isl
_
tab_pip
.
c
:
isl
_
context_op
.
add_
d
i
v: retu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdool
a
ege
isl_ta
b
_
pip
.
c: contex
t
_tab_add_div: return is
l
_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
ven
V
erdoolaeg
e
isl
_
tab_pip
.
c: add_di
v
: add
memo
r
y manag
e
ment annotatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl_t
a
b_pip
.
c:
isl_context_op
.
add_di
v
: add m
e
mory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
Sven Verdoolaege
isl
_
tab_pip
.
c: context_tab_add_div
:
add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
Sven
Verdoolaeg
e
isl_tab_pip
.
c
: set_f
r
om_affine
_
m
a
trix: impro
v
e
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven
Verdoolaege
i
s
l_m
a
p
_coal
e
sce: a
d
d check that basic
m
ap and
table
a
u
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven V
e
r
d
o
olaege
i
s
l_ta
b
_
detect_i
m
p
li
c
i
t
_equal
i
ties: do not
add extra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoola
e
ge
isl_tab
.
c
:
cut_to_h
y
p
e
rplane: impro
v
e e
r
r
o
r m
e
ssage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven
V
erdoolae
g
e
isl_tab
.
c:
c
ut_to_hyperplane:
r
eturn isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
i
s
l_tab
.
c: clos
e
_row:
i
mpro
v
e error message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
isl_tab
.
c
: close_row:
impr
o
ve
error messa
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
isl_ta
b
.
c: close_row: return is
l
_
stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
v
e
n
Ver
d
o
o
l
aege
ex
p
ort isl
_
pw_qpolynomial_eval and isl
_
uni
o
n_pw_
q
p
o
lynomial_eval
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven
Verdoolaege
export isl_p
w
_q
p
olynomial_domain and isl
_
union_p
w
_
qpo
l
y
nom
i
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en Verdo
o
laege
export i
s
l_ba
s
ic_set_sample_poi
n
t
a
nd isl_se
t
_
s
am
p
le_poin
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
python
inte
r
face: add
type ch
e
c
k to __
s
tr__ m
e
thod
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven
Verdoolaeg
e
python
i
nterface: is
l
_clas
s
::print_method:
extrac
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
ven Verdoo
l
aege
p
ython
interface: is
l
_cl
a
s
s
::print_m
e
thod: update
documentati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Ver
d
oolaege
decl
a
re more isl_*_to_str func
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
python interface: isl_class::print_met
h
od:
extrac
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en Verdo
o
la
e
ge
expose isl_ast_node_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
dump is
l
_ast_expr
a
nd isl_ast_no
d
e objects
i
n block
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n
Verdoolae
g
e
isl_s
c
h
edu
l
e
.
c: extract out generic *_to
_
str
and *_dump
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sve
n
Verdoolae
g
e
is
l
_printer_print_ast_node:
i
ncl
u
de iterat
o
r of for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
i
sl
_
pri
n
ter_pr
i
nt_
a
s
t
_
n
ode:
p
rint isl_as
t
_node as YAML
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n Verdoola
e
ge
isl_printer_print
_
ast_ex
p
r: support an is
l
form
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven V
e
rdool
a
ege
isl_printer
_
p
r
int_ast_expr: e
x
tra
c
t out p
r
int_ast
_
expr_c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sve
n
Ver
d
oolaege
isl_
a
s
t
.
c:
isl_
p
r
i
nt
e
r_print
_
ast
_
expr: d
r
o
p
ne
e
dle
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
ven
V
erdo
o
laege
isl_ast
.
c: r
e
move more
re
m
nants of code removed before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoo
l
aege
interface:
update to Compi
l
erInvocation::
s
et
L
a
n
g
D
efau
l
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
M
e
rge
b
r
anch 'maint'
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdool
a
ege
is
l
_printer_pri
n
t_
a
s
t
_
no
d
e: fix pr
i
nting of mark nodes
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolaege
isl_map_i
s
_equ
a
l: first
chec
k
if inputs
a
r
e
obviously
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
isl_*_lexopt: use actual
domain of i
n
put as initial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en
V
erdoola
e
ge
ad
d
isl_ba
s
ic_set_
l
exmin_com
p
ute_div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolaege
isl_map
_
lexo
p
t
*:
c
o
m
pute optim
u
m
over appr
o
ximate domains
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Ve
r
do
o
l
a
ege
isl_basic_ma
p
_lexopt*:
p
ost
p
one extraction of domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoolaege
isl_*_lexopt*: replace "max" argument
b
y
"fl
a
g
s
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Ve
r
d
o
olaege
isl_t
a
b
_
basic_map_partial_le
x
opt*: clean up
error
h
andling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erd
o
olaege
merge
isl_basic_*_partia
l
_lex*
implement
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
l
aege
isl_basi
c
_map_lexopt*: preinitializ
e
domain in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n V
e
rdoolaege
mer
g
e
i
sl_tab_
b
a
sic_map_par
t
i
a
l_lexopt* implementations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
V
erdoolaege
renam
e
basic_map_partial_lexopt*_pma
to basic
_
ma
p
_parti
a
l_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoo
l
aege
rename basic_
m
ap_parti
a
l_l
e
xopt*_map to
b
a
s
ic
_
map_par
t
ial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n Verdoolae
g
e
rena
m
e
basic_ma
p
_p
a
r
tial_lexop
t
_
b
ase
t
o basic_map_partial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
a
d
d
in
t
ermedi
a
te
i
sl_tab_basic_map_partial_le
x
opt_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoo
l
aeg
e
isl_basic_m
a
p_compatible_domain: return isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaege
isl
_
sp
a
c
e_match: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
e
ge
is
l
_space_match
:
re
n
a
m
e
"di
m
"
argument
s
t
o
"
s
pace
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolae
g
e
isl_space
.
c:
match: rename "dim" arguments to
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laege
i
sl_ba
s
ic_map_c
o
mpatible_d
o
ma
i
n: add mem
o
ry manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
isl_basic_*_pa
r
t
ial_lex*: add memory
managemen
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaege
isl
_
tab_b
a
sic_map_partial_lex
o
pt:
a
dd memory m
a
nage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdo
o
laege
isl_tab_pip
.
c: isl_context_gbr
_
alloc:
a
d
d
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoola
e
g
e
isl
_
tab_pip
.
c: isl_c
o
n
t
ext_allo
c
: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_tab_pip
.
c: prop
a
gate_
e
qual
i
ties: remove undo
tra
c
king
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoo
l
aege
add isl_tab_need_undo and isl_tab_clear_un
d
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laege
i
sl
_
ta
b
_basic_map_part
i
al_le
x
opt:
l
imit sco
p
e of symm
e
try
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolae
g
e
i
sl_test
.
c: general
i
z
e
isl_m
a
p_lexmi
n
t
e
sts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolae
g
e
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
V
er
d
oolaege
doc: ma
k
e
r
eason for isola
t
e opti
o
n res
u
lting i
n
a
nc
h
ored
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
S
ven
V
er
d
oolaege
isl
_
tab_p
i
p
.
c
:
parallel_constra
i
n
ts: re
m
o
ve stale line
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sv
e
n Verdoolaege
isl_tab
.
c: fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sve
n
Ver
d
o
o
l
ae
g
e
isl_*_partial_lex{min,
m
ax}_pw_mu
l
ti_aff: handle
ex
i
stent
i
all
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Verdool
a
e
ge
isl_ta
b
_pip
.
c: so
l
_
p
m
a_
a
dd: ex
t
ract out se
t
_fr
o
m_af
f
ine_matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add isl_
b
a
sic_set_d
i
v_is_kn
o
w
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
Ver
d
oolaege
add isl_basic_
s
e
t
_sw
a
p_di
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ver
d
ool
a
ege
add isl_mat_scale
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaeg
e
is
l
_p
i
p:
al
l
ow
existent
i
ally quantified
variables
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Ver
d
oolaege
pip
.
c: set_plug_in_paramet
e
rs: add memory manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ve
r
doolaeg
e
pip
.
c; plug_in_parame
t
ers: ad
d
me
m
ory man
a
g
e
ment a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sve
n
Verdoolaege
pi
p
.
c: o
p
t_at: add me
m
ory management annotat
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Verdoo
l
a
e
ge
p
i
p
.
c: opt_at: avoid acc
e
ssing
c
tx field directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ver
d
oolae
g
e
add
i
sl_bas
i
c
_map_div_is_marked_
u
nknown
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoola
e
ge
isl_map
.
c: div_is_unknown: re
t
u
r
n
i
sl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-21
Sven Verdoolaeg
e
isl
_
space_f
i
nd_di
m
_
by_name: check
t
h
at
d
imensi
o
n
has
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sv
e
n Verdoolaege
d
oc: clarif
y
that
isl_printe
r
_
g
et_
s
tr can
only be used
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoolaeg
e
is
l
_output
.
c:
print_constraints: avoid inval
i
d access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
S
v
e
n
Ve
r
d
oolaege
i
sl_outpu
t
.
c:
p
r
int
_
d
isjunct: avoid invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoolae
g
e
isl_out
p
ut
.
c:
isl_map_print_
i
sl_body: handl
e
NUL
L
inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
S
v
e
n
Verdoolaege
i
sl
_
printer_get_str: report error when
called on wrong
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-14
Sven Verdool
a
ege
do
c
: clean
up extra files
generated by b
i
blatex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sv
e
n Verdool
a
ege
isl
_
sche
d
ule_n
o
d
e
_band_split: preser
v
e
isolate option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven
Verdoolaege
add private isl
_
s
chedule_band_replace_ast_build_optio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven V
e
rdoolaeg
e
use isl_schedule_node_band_get
_
as
t
_isolat
e
_option to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdool
a
ege
ad
d
isl_sche
d
ule_band_get
_
ast_isolate_option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verd
o
olaege
isl_basic_map_remove_redundancies:
s
ort constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdo
o
laege
i
s
l_coalesce
.
c:
fuse: simpl
i
fy fused
res
u
l
t immediat
e
ly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven V
e
rdoolaege
isl_
c
oalesce
.
c: fuse: call isl_basic_map_finalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
ven V
e
rdoolaege
isl
_
map_coalesce: che
c
k for
p
r
o
t
r
u
s
ions
on adjacen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n
Verdoolaege
isl_map_coalesce: allow prot
r
u
s
ion
s
out of
e
quality
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdool
a
ege
isl_coalesc
e
.
c
: wrap_in_fac
e
t
s
: ext
r
act out try_wrap_in_facets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdool
a
ege
isl_coalesce
.
c
: can_wrap
_
in_s
e
t: extrac
t
o
u
t type_o
f
_relaxed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rdoolaege
isl_coalesce
.
c: wrap_
i
n_facets: extract out wrap_in
_
facet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoo
l
aege
isl_coale
s
c
e
.
c
: can_wrap_
i
n_set: min
o
r
simpli
f
icatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next