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_detect_implicit_equalities: do not add extra constraints
2016-07-14
Sven Verdoolaege
isl_tab_
d
etect_implic
i
t_equali
t
i
e
s
:
d
o not ad
d
e
x
t
ra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sv
e
n Verdoolaege
isl_ta
b
.
c: cut_to_hyperplane
:
im
p
r
ove error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdool
a
ege
isl_tab
.
c: cut_to_hyperplane: return isl_st
a
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Ve
r
doolaege
isl_tab
.
c
: close_ro
w
: improve
er
r
or mes
s
age
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven
Verdool
a
ege
isl_tab
.
c
:
close_row: improve er
r
o
r message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sve
n
Verdoolaege
isl_t
a
b
.
c: close_r
o
w:
return is
l
_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven V
e
rdoolaege
exp
o
rt isl_pw_
q
polynomial_eval and
isl
_
union_
p
w_qpol
y
nomial_eval
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en Verdoolaege
export
i
sl_pw_qp
o
l
y
nomial_doma
i
n and isl_
u
nion_pw
_
qpolynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
ven
Verdoolaege
export isl_basic_s
e
t_sampl
e
_point and i
s
l_set
_
s
ample
_
p
o
int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoola
e
ge
py
t
hon
i
n
t
erface: add
t
ype check to __st
r
_
_
met
h
ods
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en Verdoolaege
python interface: isl_class::pr
i
n
t
_metho
d
: extract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven
Verdoolaeg
e
python inter
f
a
ce: isl_class::print_metho
d
:
upda
t
e d
o
cu
m
entation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
ven Verdoolaege
decla
r
e
more is
l
_*_to_str functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven V
e
r
d
o
o
laege
p
ython int
e
r
f
a
ce: is
l
_cl
a
ss::print_method
:
e
xtract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
ven
Ver
d
oolaege
expo
s
e i
s
l_ast_node_
t
o_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoo
l
aege
dump i
s
l_ast_expr and isl_ast_node objects in
b
lo
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verd
o
olaege
isl_sch
e
dule
.
c: extract out generic *
_
t
o
_str a
n
d *_d
u
mp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en V
e
rdoolaege
isl_printer_print_ast_node: inclu
d
e iterator of for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoo
l
ae
g
e
i
s
l_print
e
r
_
p
r
i
n
t_
a
st
_
no
d
e
:
print isl
_
as
t
_n
o
de as Y
A
ML
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
e
rdoolaege
isl_pri
n
ter_print_a
s
t_exp
r
: sup
p
ort an isl
f
ormat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoola
e
ge
isl_pr
i
nter_print_ast_expr
:
extrac
t
o
u
t
p
r
i
nt_
a
s
t
_expr_c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
ven Verdoolaege
isl_ast
.
c: isl_
p
rint
e
r_print_ast_expr
:
drop needless
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoola
e
ge
isl_ast
.
c: re
m
ove more remnants of code removed before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
ven Verdoolaege
interface: updat
e
to CompilerInvo
c
ation::setLangDe
f
aults
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n Verdoolaege
M
erge bran
c
h 'm
a
int'
commit
|
commitdiff
|
tree
2016-06-28
Sven V
e
rdoolaege
isl
_
pri
n
ter_print
_
a
s
t
_
nod
e
: fix printing of mark nodes
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdo
o
laege
isl_map_is_eq
u
al: first check if
inputs are obviousl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_*
_
l
exopt: use actual
domai
n
of inp
u
t as i
n
itial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
do
o
l
a
ege
add i
s
l_basic
_
set_l
e
xmin_comp
u
te_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Ver
d
oolaege
isl_map_lexopt*:
c
ompute opt
i
mum ov
e
r
approxim
a
te dom
a
ins
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoola
e
g
e
i
s
l_basic
_
map
_
lexo
p
t*: p
o
stpone
e
xtracti
o
n of domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdoolaege
isl_*_lexopt*: re
p
la
c
e "
m
ax" argume
n
t
by
"
f
l
a
gs"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
d
oolaege
isl_tab_basic_map_partial_lexopt*: cle
a
n up
error handlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verdoolaege
merge isl_b
a
s
i
c_*_partia
l
_lex* implementations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Ve
r
doolaege
isl_b
a
sic_map
_
lexopt*: p
r
einiti
a
li
z
e do
m
a
i
n
in
t
he
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doo
l
aege
m
er
g
e isl_tab_b
a
sic_m
a
p_parti
a
l_lexopt*
i
mplementations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
re
n
am
e
b
a
sic_map
_
partial_l
e
xop
t
*_pma to bas
i
c_map_partial_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdoolaege
rename basic
_
map_p
a
rtial_lexopt*_ma
p
t
o
b
asic_map_par
t
ial_l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
rena
m
e b
a
si
c
_map_partial_lexo
p
t_base to basic_map
_
p
a
rti
a
l_l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
a
d
d i
n
termediate isl_t
a
b_basic_m
a
p_partial_lexopt
_
pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
sl_basic_map_com
p
a
tible_domain
:
retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
aeg
e
i
sl_space_ma
t
ch: return
i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaege
i
s
l_space_match: rename "dim" arg
u
ments to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaeg
e
isl_spa
c
e
.
c: match: rena
m
e
"
d
i
m" ar
g
uments
to "
s
pace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_ba
s
ic_map_compatible_domain: add memory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
sl_basic_*_p
a
rtial_
l
ex*: add memory man
a
gemen
t
annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
lae
g
e
isl_tab_basic_map_partial_le
x
opt: ad
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
V
er
d
oo
l
aege
isl_tab_pip
.
c: isl_c
o
ntext_
g
br_alloc:
a
dd memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
i
s
l_t
a
b
_pip
.
c: isl_
c
o
ntext_alloc: add memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_tab_pip
.
c: propagate
_
equalities: remove u
n
d
o
tracking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
ad
d
isl_t
a
b_need_undo and
i
sl_tab_clear_u
n
do
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolaege
isl_ta
b
_
b
as
i
c_map_partial_lexopt:
limit
s
cope
of sy
m
metry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaege
is
l
_test
.
c: gener
a
liz
e
isl_map_lexmin tes
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoo
l
ae
g
e
doc: f
i
x ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
la
e
ge
doc: make reaso
n
for isolat
e
option resulting in
a
nc
h
or
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven
V
erdoolaege
is
l
_
tab_pip
.
c:
p
arallel_
c
on
s
train
t
s
: remove stale line
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolae
g
e
isl_
t
a
b
.
c
: fix typo in
c
omme
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sve
n
Verdoo
l
aege
isl_*_
p
artial_le
x
{min,ma
x
}_pw_multi_aff:
h
and
l
e existen
t
iall
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
isl
_
ta
b
_pip
.
c:
sol_
p
ma_add: extract out set
_
from
_
af
f
ine_matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ver
d
oolaege
add isl_basic_set
_
div_is_k
n
o
wn
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add isl_basic
_
set_swap_di
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdool
a
ege
a
dd is
l
_mat_scale
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Ve
r
doo
l
aege
i
sl_p
i
p
:
allow
existentially quantified va
r
iables in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
pip
.
c: set_plug_in_par
a
meters:
a
dd memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Verdoolae
g
e
pip
.
c
;
plug_in
_
para
m
eters: add
m
e
mory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoolaege
pi
p
.
c: o
p
t_at:
add me
m
ory man
a
gement an
n
otation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoolae
g
e
pip
.
c: opt_at: avoid acc
e
ssing c
t
x field d
i
rectly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
a
d
d
isl_basic_map_div_i
s
_marked_unknown
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ve
r
doolaeg
e
isl_map
.
c: d
i
v_
i
s_unknown: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-21
S
v
en
Verdoolaege
i
sl_spac
e
_
find_dim_by_
n
ame: che
c
k th
a
t
dimension has
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoo
l
aeg
e
d
o
c: clarify that is
l
_pr
i
nter_get_str ca
n
on
l
y
be used
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
S
ven
V
erdo
o
lae
g
e
isl_ou
t
put
.
c:
print
_
c
onstraint
s
: avoid inva
l
i
d access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Ve
r
doolaeg
e
isl_output
.
c: print_dis
j
unct:
a
void invalid
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
S
ve
n
Ve
r
doolaege
isl_output
.
c
:
i
s
l_map_print
_
isl_body:
handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
S
ven V
e
rdoolaege
isl_pr
i
nt
e
r_
g
et_str
:
repor
t
error when c
a
lled on
wrong
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-14
S
ven Verdoolaege
doc: cle
a
n up extra files
generated
b
y bi
b
latex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdool
a
ege
isl_s
c
h
e
d
ule
_
node_band_split: p
r
es
e
rve isolate optio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven
Verdoolae
g
e
add private isl_schedule
_
ba
n
d_rep
l
ace_ast
_
build_opti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Ver
d
o
o
l
aege
use isl_schedule_nod
e
_band_get_ast
_
is
o
la
t
e_
o
pti
o
n
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
add isl_sch
e
dule_b
a
nd_g
e
t
_
as
t
_
i
sol
a
t
e_optio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
isl_bas
i
c_map_remove_redundancies:
sort
c
o
n
s
t
raints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoo
l
aege
isl_co
a
l
esc
e
.
c: fuse: simplify fus
e
d result imme
d
i
a
t
ely
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolae
g
e
isl_coalesce
.
c:
fuse: call isl_bas
i
c_map_fi
n
alize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
erdo
o
laege
i
s
l_
m
a
p
_coale
s
c
e
: chec
k
for
p
rotrus
i
ons on adjacent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en
V
er
d
o
o
laeg
e
isl_
m
ap_coalesce: allow protrusi
o
ns out of equalit
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doolaege
isl_coalesce
.
c:
wrap_in_f
a
cets: extract out tr
y
_w
r
ap
_
in_facets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doolaege
isl_coal
e
sce
.
c: ca
n
_wrap_in_s
e
t: extract out type_of_relaxed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_coalesce
.
c: wr
a
p_in_face
t
s: extract
out
wrap_in
_
facet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
V
erdoolaege
isl_coal
e
s
c
e
.
c: can_wrap_in_set: minor simpli
f
i
catio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ver
d
oolaege
isl_c
o
alesc
e
.
c:
w
rap_in
_
facets: do not pass in l
i
st
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdo
o
laege
isl_map_c
o
alesce
:
tighten con
s
traints of pote
n
t
ial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl
_
map_coalesce:
a
l
low ge
n
eral coalescing with ex
p
anded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdool
a
ege
isl_coal
e
sce
.
c: coalesce_with_expa
n
ded_divs: store
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
erdoolaege
isl_coa
l
esce
.
c: coalesce
_
loc
a
l_pair:
a
l
l
o
w
reuse of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verd
o
olaeg
e
is
l
_coalesce
.
c: coalesce_loca
l
_pair: e
x
tract out set_ine
q
_st
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
e
r
doolaege
isl_coale
s
ce
.
c: coalesce_loc
a
l_pair: ex
t
r
act out set_eq_stat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_c
o
alesce
.
c: co
a
le
s
ce_local
_
pai
r
: e
x
tract out clear_status
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
er
d
oolaege
i
s
l_coa
l
esce
.
c: coal
e
s
c
e_local_pair
:
extract out init
_
stat
u
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en Verdoo
l
aege
isl_coal
e
sce
.
c: genera
l
ize check
_
coa
l
esce_subset to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdool
a
e
g
e
add isl
_
options_{g
e
t,set}_pip_symmetry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next