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: need_split*: return isl_bool
2017-01-25
Sven Verdoolaege
isl_tab_pip
.
c
:
need_split
*
: return i
s
l_
b
ool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaeg
e
isl
_
set_is_
b
o
u
nded: ret
u
rn isl
_
b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
i
s
l_coa
l
e
sce
.
c
: cont
a
ins: ret
u
rn i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
ven Verdoolaege
isl_coal
e
sce
.
c: same_div
s
: return isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoolaege
isl_coalesce
.
c:
s
a
m
e_di
v
s:
adjust to is
l
_b
a
sic_ma
p
_divs_
k
n
o
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_
c
oale
s
ce
.
c: is_
a
ffecte
d
: r
e
turn isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl
_
coa
l
esce
.
c:
has_ne
s
t
e
d_
d
iv: re
t
urn isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
ve
n
V
e
r
doolaege
isl_map_pla
i
n_is_singleton: ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ver
d
o
olaege
isl_basic_m
a
p_pl
a
in_i
s
_singleton: r
e
tur
n
isl_
b
o
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ver
d
o
o
laege
isl
_
set_has_rational: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Verdool
a
ege
isl_ma
p
_h
a
s_rational:
r
etu
r
n
isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven
Ve
r
doolae
g
e
isl_ba
s
ic_map_has_rationa
l
: return
i
s
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
ven Verdoolaege
i
s
l_basic_
m
a
p
_is_rational
:
return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_basic_set_has_defining_inequalities: return
i
s
l
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en V
e
rd
o
ola
e
g
e
isl
_
b
a
sic_set_ha
s
_defining_equa
l
i
t
y:
r
e
t
urn
i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_basic_map_ha
s
_defining_equality: return
i
s
l_boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sve
n
Verdoolaege
isl_basic_{ma
p
,set}_
i
s_div
_
constrain
t
:
r
eturn isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
e
n Verdoolae
g
e
isl_map_si
m
p
lif
y
.
c:
s
ing
l
e
_
unk
n
own: ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
en Verdool
a
eg
e
isl_m
a
p_s
i
m
p
lify
.
c
:
has_coef_one: ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
ven V
e
rdoolaege
isl_map_s
i
m
plify
.
c: is_op
p
osite: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_
m
a
p
_
simplify
.
c: div_is_red
u
ndant: re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
v
e
n
V
er
d
o
o
l
aege
isl_map_simplify
.
c: better_
d
iv_c
o
nstraint:
r
etu
r
n isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Ve
r
d
o
olaege
isl
_
map_simplify
.
c
:
ok_
t
o_s
e
t
_div_fr
o
m_
b
ound: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sv
e
n Verdoolaege
isl_ma
p
_
simplify
.
c: ok
_
to
_
elimin
a
te_div:
r
eturn isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdool
a
ege
isl
_
m
a
p
_simplify
.
c
:
fix t
y
po
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
Sven Verdoolaege
isl_set_plain_is_fixed: retu
r
n isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-25
S
ven
Verdoolaege
i
s
l_map_plain_is_fixed:
r
et
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n Verdoolaeg
e
isl_ba
s
i
c_map_plain_is_fixe
d
: re
t
ur
n
is
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
S
ven
V
erdoolaege
isl_
m
ap_plain_has_fix
e
d_var
:
return isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Ver
d
oolaege
isl_basic
_
m
ap_image_is_bounded: retu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n
Ve
r
doolaege
i
sl
_
basic_map_im
a
ge_is_boun
d
ed: adjust to isl_basic_set_i
s
_b
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
erdo
o
l
aege
isl_set_di
m
_is_bounded:
retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ver
d
oola
e
ge
isl_map_di
m
_
i
s_bounded:
r
eturn
i
sl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ve
r
dool
a
ege
isl_bas
i
c_map_di
m
_is_bounded: return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Ver
d
oolaege
isl_m
a
p_is_set: return isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verd
o
olaege
isl_
m
ap_is_para
m
s: re
t
urn i
s
l_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdoolaege
isl_map_compati
b
le_range: return
is
l
_boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolae
g
e
is
l
_m
a
p_compatible_domain
:
return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaeg
e
i
sl_map_co
m
patible_d
o
m
a
in: add memor
y
m
anag
e
m
e
nt annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ver
d
oolaege
i
i
sl_
s
et_has_equal
_
spac
e
: retu
r
n isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verd
o
olaege
isl_map
_
has_equa
l
_space: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdoolaege
is
l
_set_is_box: return
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
S
ven Verdoolaege
i
sl_basic_set_is_box: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdoolaege
isl_basic_set
_
pl
a
in_
d
im_is_fi
x
e
d: retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verd
o
o
laege
isl_basi
c
_map_p
l
a
in_ha
s
_fixe
d
_va
r
: return is
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdool
a
ege
isl_map
.
c: div_ma
y
_
i
nvolve_ou
t
put:
r
etu
r
n isl_
b
oo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_map
.
c: div_inv
o
lves_vars:
return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven V
e
rdool
a
ege
isl_basic
_
map_m
a
y_be_set: return isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ve
r
d
ool
a
ege
i
s
l_basic_
s
et_is_params: return isl_boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
S
ven Verdoolaege
isl_ba
s
i
c
_
map_compatib
l
e_range: return is
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven
Verdoola
e
g
e
i
sl
_
b
asic
_
m
a
p_co
m
patible
_
range
:
a
dd
memory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdoolaeg
e
is
l
_basic_map_is_set: return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdool
a
eg
e
isl_local_space_is_di
v
_constraint: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_local_spa
c
e_is_named
_
or_ne
s
ted:
re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
S
ven
V
erdoola
e
ge
isl_space_has_n
a
m
ed_
p
a
r
ams:
retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n
V
er
d
ool
a
ege
isl_space_has_name
d
_
params: rename "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
is
l
_space_m
a
y_b
e
_set: retur
n
isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdo
o
laege
isl_s
p
ace_
i
s
_
name
d
_
or
_
neste
d
: ret
u
r
n isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdo
o
laege
isl
_
space_may_be_set: rename "dim"
a
rgument to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verd
o
olaege
isl_space_i
s
_named_or_nes
t
ed:
r
ename "dim" arg
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven
V
e
r
d
o
ola
e
ge
Merge
branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2017-01-18
Sven V
e
r
d
o
o
laege
isl_basic_map_co
n
tains: return false in case of dime
n
s
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
S
ven Verdoolaege
isl
_
tab_
p
ip
.
c
:
c
o
ntext_tab_for_lexmin:
p
lug me
m
ory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven
Verdool
a
e
g
e
i
sl_
b
asic_s
e
t
_bo
x
_f
r
om_p
o
ints: pl
u
g memory leak
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
S
ven Verdoolae
g
e
isl
_
set_bounded_simp
l
e_
h
u
ll: plu
g
memory leak on
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
isl_map
_
simplify
.
c: normalize_divs:
plug
m
emory lea
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en
V
erdoolaege
isl_map_
s
implify
.
c: coales
c
e
_or_drop_more_r
e
dun
d
an
t
_
divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en Ver
d
oolaege
isl_ba
s
ic_set_solve_i
l
p: avoid do
u
ble
f
re
e
on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sv
e
n Verdoo
l
a
ege
isl_vertices
.
c: triangulate: improve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en
Verdoola
e
ge
isl_farka
s
.
c:
farka
s
:
i
mprove error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
isl
_
basic
_
map_si
m
plify:
i
mprove error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
isl_basic_
m
ap_drop_core: improve e
r
ror handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en Ver
d
oola
e
ge
isl_basic
_
map_
s
et_to_empty: improve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven
Verdoolaege
is
l
_map_is_rational: fix error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-16
Sv
e
n Verdoolaege
i
sl_
m
ap_si
m
plify
.
c: o
k
_to_eliminate_div: als
o
investigat
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven
Verdoolaege
isl_mat_in
v
er
s
e_produc
t
: impro
v
e error h
a
ndling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven Ve
r
doolaeg
e
i
sl_test
.
c: te
s
t_d
i
v: use return
v
alue of isl_con
s
trai
n
t_set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en
Ver
d
ool
a
e
ge
isl_test
.
c: test
_
di
v
: use return value of
i
s
l_con
s
traint_set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sv
e
n Verdool
a
e
g
e
isl_t
e
st
.
c: test_construction: use
r
eturn value of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven Ve
r
doolaege
isl_test
.
c: tes
t
_constructi
o
n: us
e
ret
u
rn value of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en Verdoolaege
isl_input
.
c:
a
c
cep
t
_div:
d
o not igno
r
e retu
r
n val
u
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_schedule_ba
n
d
_
replace_
a
s
t_b
u
i
l
d_o
p
tion:
plug memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
S
v
e
n
Verdoolaege
is
l
_
local_space_i
n
tersect
:
plug memor
y
leak on e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sv
e
n Verdoolaeg
e
isl_v
e
c_exp
a
nd: add missing return
o
n error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sv
e
n Verdool
a
ege
isl_schedu
l
e
_
tree_dup: ad
d
missing re
t
urn on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven V
e
rdoo
l
aege
isl
_
schedule
_
n
o
d
e_grou
p
: add mi
s
s
ing return on erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoo
l
a
ege
isl_schedule
_
node_band_s
i
nk:
add missing r
e
turns
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sv
e
n Verdoolaege
isl_schedu
l
e_
b
and_member_set_isola
t
e_ast_l
o
op_type
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaeg
e
isl_schedule
_
band_member
_
set
_
a
s
t_loop
_
t
y
pe: ad
d
m
i
s
sing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_schedule_band_mem
b
er_set_co
i
nciden
t
: add missi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_schedule_n
o
de_sequence_s
p
l
i
ce_chil
d
: add missing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_schedule_rea
d
.
c:
r
ead
_
ban
d
: avoid double free on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
S
ven
V
e
rdo
o
laege
i
s
l_ast_build
.
c: isl_ast_buil
d
_set_lo
o
p_bounds: a
v
o
id
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-06
S
v
e
n
Verdoolaege
isl_tab
_
ba
s
i
c_map_partial_le
x
opt: im
p
rove det
e
c
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven
V
erdoolaege
i
s
l_
t
ab_
p
ip
.
c
:
sol_pop: ext
r
ac
t
out co
m
bine_
i
nitial_if_e
q
ual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_tab_pip
.
c:
s
ol_pop: extra
c
t
o
u
t
combi
n
e_in
i
tial_into_second
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
S
v
en V
e
rdool
a
ege
i
s
l
_tab_pip
.
c: isl_partial_
s
ol: u
s
e isl_
m
ulti_aff inste
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdo
o
laege
isl_tab_pip
.
c
: isl_sol
:
ke
e
p
trac
k
of space of output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdool
a
ege
isl
_
tab_
p
i
p
.
c: sol_push_sol: cla
r
ify meani
n
g of "M
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ve
r
doolaege
isl_tab
_
p
i
p
.
c: re
m
ove w
r
appers for sol_*_f
r
ee
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next