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
dump isl_ast_expr and isl_ast_node objects in block format
2016-06-28
S
ven Verdo
o
laege
dump isl_ast_expr
and is
l
_ast_no
d
e
objects in
block
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven V
e
rdoolaege
is
l
_
s
c
h
e
dul
e
.
c: e
x
tract out g
e
neric *_to_st
r
and *_dump
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sve
n
V
e
rdoolaege
isl_printer_print_ast
_
n
ode: include iterator
of
f
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven V
e
rdool
a
ege
isl
_
printer_pri
n
t_ast_node: print isl_ast_
n
ode
a
s YAML
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ver
d
oo
l
aege
isl_printer_print_as
t
_
e
xpr: supp
o
rt
an
i
sl
f
o
rma
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoo
l
a
e
g
e
is
l
_printer_print_ast_ex
p
r:
extract out print_ast_expr_c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ver
d
o
olaege
i
sl_
a
st
.
c: isl_printer_print_
a
s
t
_
e
x
p
r:
d
ro
p
n
e
e
dless
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
erdoola
e
ge
isl_ast
.
c: rem
o
v
e
m
ore remnants of code removed before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en
Verdoolaege
interface: update to CompilerInvocation::setLangDefaults
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven V
e
rdo
o
laege
Merge bra
n
ch 'maint
'
commit
|
commitdiff
|
tree
2016-06-28
S
v
en Verdoolaege
isl_printer_print_ast_node: fix
p
rinti
n
g of mark no
d
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verdoolae
g
e
isl_map_
i
s
_
e
q
ual: first check if inputs are obviousl
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdool
a
ege
is
l
_*_l
e
xopt: use actual domain of input as
i
nit
i
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
add isl_basic
_
set_lexmin_comput
e
_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_
m
ap
_
l
e
x
o
pt*:
c
ompu
t
e optimum over approximate do
m
ain
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
ae
g
e
isl_basic_ma
p
_lexopt*: postpone extr
a
ction o
f
d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_*_lexopt
*
: r
e
place "max" argument by "flags"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolae
g
e
isl_tab
_
b
asic_map
_
partial_lexopt*: clean up error
handl
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doolaege
m
erge isl_basic_*_partial_lex* imp
l
emen
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoola
e
g
e
is
l
_
bas
i
c
_
map_lexop
t
*: pre
i
n
i
tializ
e
dom
a
i
n
in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoo
l
aeg
e
mer
g
e
i
s
l_tab_basic_map_
p
artial_lexopt* implementations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
o
olaege
re
n
a
me basic_
m
ap_partial_lexopt*_pma to basi
c
_
m
ap_partia
l
_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ve
n
Verdoolaege
rename
basic_map_partial_lexopt*_map to bas
i
c
_
m
a
p
_pa
r
tia
l
_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
er
d
oo
l
ae
g
e
rena
m
e
basic_m
a
p_pa
r
tial_le
x
opt_base to basic_map_partial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolaege
a
d
d
intermediat
e
isl_tab_basic_map_
p
artial_lexop
t
_pw_m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verdoolaege
isl_basic
_
map_compat
i
ble_domain:
r
eturn
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaege
isl_spa
c
e_match: return isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
Verdoolaege
isl_spac
e
_
match: rename
"
dim" ar
g
uments to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Ver
d
o
o
laege
i
sl_space
.
c: matc
h
: ren
a
me
"dim"
a
rguments
t
o "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolaege
i
s
l
_
ba
s
i
c
_map_compatible_domain: add memory
m
a
n
ag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en
V
erdoolaege
i
sl_basic
_
*_
p
artial_
l
ex*:
add memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoola
e
g
e
isl_tab_basic_map_
p
artial_lexop
t
:
add memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
e
rdoolaege
isl_tab_pip
.
c
: i
s
l_context_gbr_alloc
:
ad
d
memory managem
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_ta
b
_pip
.
c: isl_
c
ontext_alloc: add memory managem
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n
Verdoolaege
isl_tab_pip
.
c: propa
g
at
e
_equalities: remov
e
u
ndo tracking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
add i
s
l_tab_need_un
d
o an
d
isl
_
tab_c
l
ear_undo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_tab_basi
c
_
m
ap_partial_lexopt:
limit s
c
o
pe
of sy
m
metry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Ve
r
d
oolaege
isl_test
.
c:
g
eneralize isl_ma
p
_lexmin tes
t
s
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
Sven Verdoo
l
aeg
e
doc: make reason for
isolate op
t
ion
r
e
s
ultin
g
in anchored
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
S
ven Verdoolaege
isl_
t
ab_pip
.
c
:
pa
r
allel_c
o
nst
r
a
i
nts: remove stale
l
i
n
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven
V
erdoo
l
aege
isl_tab
.
c: fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven
Verdool
a
ege
i
sl_*_partial_lex{min,max}_
p
w_mul
t
i_af
f
: handle
exist
e
ntial
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sve
n
Verdoolaege
isl_tab_pip
.
c: sol_pma_add: extract o
u
t set_from_a
f
fin
e
_matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Ve
r
doolaege
a
d
d isl_
b
asic_se
t
_div_i
s
_kno
w
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven V
e
rdoo
l
a
ege
add i
s
l_basic_set
_
s
w
a
p_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
erd
o
olaege
a
dd
i
sl_mat_
s
c
a
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoola
e
g
e
i
s
l_pip
:
allow existentially quantified variables
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Verdoolaege
pip
.
c: set_plu
g
_in_param
e
ters
:
add memory
manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
pip
.
c; p
l
ug
_
in_parameters:
a
dd mem
o
ry managem
e
nt ann
o
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
p
i
p
.
c
: opt_at: add memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdool
a
ege
pi
p
.
c:
o
pt_at: avo
i
d accessing c
t
x fiel
d
d
irectly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoola
e
g
e
add isl_basic_map_div
_
is_marked_u
n
know
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
isl_
m
ap
.
c:
d
iv_is_unknown:
r
eturn isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-21
S
ve
n
Verdo
o
laege
i
s
l_s
p
ace_
f
ind_
d
im_by_name: che
c
k that dimensio
n
ha
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven
V
erdoolaeg
e
doc: clarify
that isl_print
e
r_get_str ca
n
only be
used
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verd
o
olaege
isl_output
.
c
:
print_constraints: avoid invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdool
a
ege
isl_ou
t
put
.
c: print_disjun
c
t
:
avoid
i
n
v
alid acc
e
ss
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoolaege
i
s
l_output
.
c: isl_map_print_
i
sl_body
:
handl
e
NUL
L
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sve
n
V
e
rdoo
l
aege
is
l
_printer_get
_
str:
r
eport
error when cal
l
ed on
wrong
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-14
Sven Verdoolaege
doc: cle
a
n up
extra files g
e
ner
a
t
ed by b
i
blat
e
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolae
g
e
isl_schedul
e
_node_b
a
n
d
_
s
plit
:
preserve isolate op
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
S
v
en Verdoolaege
add private isl_schedu
l
e_ba
n
d_replace_a
s
t_
b
uild_opt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
S
ven Verdoolaege
us
e
isl_s
c
hedule_n
o
de_band_get_ast_iso
l
a
t
e
_option to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
add
i
sl_schedule_band_get
_
ast_isolate_opti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sv
e
n Ver
d
ool
a
ege
i
sl_ba
s
i
c_map_rem
o
v
e_red
u
ndancies: sort
const
r
ai
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
S
v
en Verdoolae
g
e
i
s
l
_coalesce
.
c: fuse: simpl
i
fy
f
used
r
esu
l
t imme
d
iately
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
isl_coal
e
sc
e
.
c: fuse: call isl_basic_map_fina
l
ize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdo
o
l
aege
isl_m
a
p_co
a
lesce: che
c
k for protrusion
s
on adjacent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoola
e
ge
isl_map_
c
oalesce: al
l
ow
p
rot
r
usio
n
s out of
e
quality
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
Verdoolaege
is
l
_c
o
alesce
.
c: wrap_in_facets: extract out try_wrap_in_facets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rdoolaege
isl_coa
l
esce
.
c
:
can_wr
a
p_
i
n_se
t
: extr
a
ct out type
_
of_relaxed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
d
oolaege
isl_c
o
alesce
.
c: wrap_in_facets: e
x
tra
c
t out
w
rap_in_face
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doola
e
ge
isl_
c
oalesce
.
c: can_wra
p
_i
n
_set: m
i
n
o
r simpli
f
ication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
Verdoo
l
aege
isl
_
coalesce
.
c: wrap_in_facets:
d
o not p
a
ss i
n
list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_map_coale
s
ce:
tighten constr
a
i
n
ts of potential
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
V
e
r
doolae
g
e
isl_m
a
p_
c
oalesce: all
o
w general coalesc
i
ng with e
x
pa
n
d
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaeg
e
isl_coalesce
.
c: coalesce_with_
e
x
p
an
d
ed_divs: st
o
re
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdo
o
laege
isl_
c
o
a
lesc
e
.
c: coalesce_l
o
cal_pair
:
all
o
w reuse
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
d
o
ola
e
ge
isl_coalesce
.
c:
c
o
alesce_loca
l
_pair:
e
x
t
r
ac
t
out
s
et_ine
q
_st
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doola
e
ge
isl_coalesc
e
.
c: c
o
ales
c
e_local_pair: extra
c
t ou
t
set_e
q
_stat
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoola
e
ge
isl_coalesce
.
c: coalesce_loc
a
l_p
a
ir
:
extrac
t
out
c
lear_
s
tatu
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Verdoolaege
i
s
l
_coalesc
e
.
c: coalesce_local_
p
air: extra
c
t out init_status
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en Verdoolaege
i
s
l
_
coalesc
e
.
c: generalize c
h
e
c
k_coalesce
_
su
b
set t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
Verdoolaeg
e
add isl
_
o
p
t
ion
s
_{get,set}_p
i
p
_
s
ymmet
r
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven Verdoolaege
a
d
d
isl
_
basi
c
_
ma
p
_
exp
a
nd
_
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven Verdoolaege
is
l
_map
.
c: fix
t
ypos
i
n com
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
S
v
en Ver
d
oolaege
isl_outpu
t
.
c: fix typo in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sve
n
Ver
d
o
olaege
isl_tab
.
h:
fix t
y
po in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-03
Sven Ve
r
doolaege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2016-06-03
S
ven Verdoolaege
isl
_
basic_
s
et_expand_divs: o
n
ly add d
i
v
c
onstr
a
ints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_coa
l
e
s
ce
.
c: add
_
su
b
_vars: expl
i
citly mark ad
d
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_coales
c
e
.
c:
a
d
d
_sub_vars: move "cor
r
e
c
t
"
integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n
Verdoo
l
aege
isl_coal
e
s
c
e
.
c: wra
p
_i
n
_facets: avoid invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven V
e
rdoolaege
i
sl_printe
r
_print_
m
ap: pri
n
t div cons
t
r
a
i
nts
a
g
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven
Verdoo
l
aege
is
l
_printer_print
_
m
a
p: f
i
x pr
i
nting of affine e
x
pressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Ve
r
dool
a
eg
e
isl_outp
u
t
.
c: print_disjunct
s
: avoid invalid
a
cc
e
ss
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_output
.
c: pri
n
t_disjunct: han
d
le NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n V
e
rdoolaege
isl_vec_al
l
oc: plug
m
emory l
e
ak on
error pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en V
e
rdo
o
l
a
e
ge
isl
_
blk
.
c: extend: plu
g
memory leak o
n
er
r
o
r pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next