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_mat_vec_product: add memory management annotations
2017-04-24
Sven Verdoolaege
isl_mat_vec_product
:
add memory manageme
n
t
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_map_copy: add memo
r
y
management a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_ma
p
_cow: a
d
d memory management
a
n
n
o
t
a
tion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
o
ola
e
ge
isl_m
a
p_from_basic_map:
a
d
d me
m
ory management ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
m
ap_
f
loordiv: ad
d
me
m
ory manage
m
ent a
n
notati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ver
d
o
olaege
isl_m
a
p_compute_
d
ivs: add memory management anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_map_
r
em
o
ve_empty_parts: a
d
d memor
y
manage
m
e
nt annotat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoolaege
isl_m
a
p_coalesce: add memo
r
y man
a
geme
n
t a
n
no
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_map_domain
:
ad
d
m
emory ma
n
agement an
n
ot
a
ti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_ma
p
_
r
ange: add
memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoola
e
ge
isl_
m
a
p
_
r
everse
:
add m
e
mory management
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Verdoolaege
isl_map_n_
*
: a
d
d memory management anno
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaeg
e
isl_map_drop:
a
dd memory management ann
o
tatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_fix_si
:
add
m
emory manageme
n
t annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_map_sum: a
d
d memory m
a
nagement ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
olaege
isl_map_grow: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdo
o
laege
isl_map_remove_dims: add memory manage
m
ent
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_m
a
p
_neg: add memory man
a
gement
ann
o
ta
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_map
_
convex_h
u
ll
:
add
m
e
mory manage
m
e
n
t annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_set
_
bou
n
ded_s
i
mpl
e
_hull
:
add memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_set_copy: add memory
ma
n
age
m
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doolaege
isl_set
_
cow: a
d
d me
m
ory man
a
gement an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
oolaege
i
s
l_set_f
r
o
m
_ba
s
ic_set: add m
e
mory management
a
nnota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
lae
g
e
isl
_
set_drop: add
m
e
m
ory management annota
t
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_
{
se
t
,map}_alloc_inequality: add
m
emory managem
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdool
a
ege
isl_b
a
sic_map_cow: ad
d
me
m
ory management an
n
otati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
i
s
l
_ba
s
ic_
m
ap_union: add
m
emory management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaeg
e
isl_b
a
sic
_
map_de
l
tas:
a
dd memory management anno
t
a
tio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
i
sl
_
basic
_
map_sum: add
memory management anno
t
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_gist
:
a
dd memory manage
m
ent a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_basic_m
a
p_compu
t
e_divs: add
memory
ma
n
ageme
n
t anno
t
a
t
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_bas
i
c_map_affine_hull: add memory mana
g
ement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl
_
ba
s
ic_map_detect_equal
i
ties: a
d
d me
m
ory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_
b
asic_map_intersec
t
: ad
d
memo
r
y man
a
ge
m
e
n
t
anno
t
ation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
rdoola
e
ge
isl_basic_map_reve
r
se: add memory management a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
eg
e
isl_
b
a
s
ic_map_copy
:
add
memory mana
g
ement
annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_
b
asic_map_normalize: add memory
management
ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
is
l
_basic_
m
a
p
_set_to_empt
y
: add me
m
ory management
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
olaege
i
s
l_basic_m
a
p_elimi
n
at
e
_
va
r
s: ad
d
m
emory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_bas
i
c_m
a
p_no
r
malize_constr
a
i
n
ts:
add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_basic_map_s
i
mplify: add m
e
mo
r
y management anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
lae
g
e
isl_basic
_
map_finali
z
e: ad
d
memory management annotat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Verdool
a
ege
isl
_
basic_map
_
order_d
i
v
s: add memo
r
y management anno
t
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_basic_m
a
p_ne
g
: add memor
y
m
a
nagement ann
o
tati
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verd
o
olaege
i
sl_b
a
sic_map_im
p
licit_equalities: add memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_
b
asic_ma
p
_gau
s
s
: add
memory m
a
nageme
n
t
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdool
a
ege
isl_basic
_
map_fi
x
_si: add me
m
o
r
y manag
e
men
t
an
n
otat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
i
s
l_
b
asic_map_floordiv: add memory mana
g
ement a
n
not
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_basic_m
a
p_solve
_
lp: add memory
m
anagement anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ver
d
oolaege
isl_
b
asic_map_drop: add mem
o
r
y
m
anagement
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Ve
r
d
o
olaege
isl_
b
asi
c
_map_product: add memory management a
n
not
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
d
o
olaege
isl
_
b
a
s
i
c_m
a
p_i
n
ter
s
e
c
t
_
range
:
add memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolae
g
e
isl_basic_map_intersect_domain: ad
d
memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_basic_map_extend_sp
a
ce: add me
m
ory
m
a
n
a
g
e
ment annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aeg
e
isl
_
basic
_
map_dup: add memory m
a
nagement annot
a
tio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_basic_map_remove_dims: add memory management annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
o
olaege
isl_bas
i
c_m
a
p_total_dim
:
ad
d
mem
o
r
y managemen
t
a
n
notatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
r
d
o
olae
g
e
isl_basic_
s
et_rec
e
ssion_cone: add memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oola
e
ge
isl
_
basic_set_from_constrain
t
: a
d
d
m
emory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
e
ge
isl_
b
a
s
ic_set_cow: add memory management anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_set_of
f
set:
a
dd
m
emory manageme
n
t
a
nnotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdoo
l
aege
isl_basic_set_copy:
a
d
d
memory manage
m
ent
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ver
d
oolaege
isl_basic_set_reduced_basis:
add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Verdoolaege
isl_basic_set_sample_bounded: add memory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verd
o
olaege
isl_b
a
sic_set_solve_ilp
:
a
dd memory mana
g
emen
t
a
nnotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
olaege
isl
_
basic
_
s
e
t_l
i
nea
l
ity_s
p
ace: add memory
managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl
_
basic_set_
t
o
tal_di
m
: add
m
emory management a
n
notat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl
_
tab
_
pip
.
c: cont
e
xt
_
t
a
b
_for_lexmin: add memory manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoo
l
aege
isl_tab_pip
.
c: ineq_for_d
i
v
:
add memory
manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
oolaege
is
l
_tab_pip
.
c: align_
c
ontext_div
s
: add
m
emo
r
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
lae
g
e
isl
_
tab
_
pip
.
c: tab_
f
or_lexm
i
n: add memory
managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
e
r
doolaege
i
sl_tab_pip
.
c
:
drop_constant_te
r
ms: ad
d
me
m
o
r
y man
a
gemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olae
g
e
isl_sample
.
c:
v
ec_concat: add memory manage
m
ent
a
nnot
a
tion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
i
s
l_sample
.
c
: shift_c
o
ne:
a
dd memo
r
y man
a
ge
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_sam
p
le
.
c:
r
ound_up_in_cone
:
a
d
d memory man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n V
e
rdoolaege
isl_sample
.
c
: rational_sample: a
d
d memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdo
o
laege
isl_s
a
mple
.
c
:
plug_in: a
d
d
memo
r
y ma
n
a
gement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verd
o
olaege
isl_sample
.
c: gbr
_
sample: add
m
emory manag
e
ment
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_samp
l
e
.
c: sa
m
pl
e
_bou
n
ded:
a
d
d
memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
o
olaege
i
s
l_sa
m
ple
.
c:
i
nterv
a
l
_
s
a
mple:
a
dd memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
r
doolae
g
e
isl_
s
ample
.
c:
zero_sample: add
m
emory m
a
nagemen
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verd
o
olaege
isl_sample
.
c:
s
ample_eq
:
add memory
m
anagement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_samp
l
e
.
c: emp
t
y
_sample: add
memory m
a
nagement
a
nnota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_sample
.
c:
basi
c
_
s
e
t
_sampl
e
: a
d
d memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolae
g
e
isl_output
.
c: print_
h
alf_con
s
traint
:
add
m
emory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_
o
u
t
put
.
c
:
print_
c
onstraint: a
d
d memory
manag
e
me
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_map_s
i
mplify
.
c
: coalesce_or_dro
p
_mo
r
e_r
e
dun
d
ant_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_
m
ap_simplify
.
c: coales
c
e_
d
i
vs:
a
dd memory
m
a
nag
e
me
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olae
g
e
isl_map_si
m
plify
.
c: remove
_
d
epen
d
ent_vars: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_m
a
p
_s
i
mplify
.
c:
rem
o
ve_d
u
p
l
icate_divs: add memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_map_si
m
plify
.
c: div_is_re
d
u
n
dant
:
add memory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_sim
p
lify
.
c: r
e
move
_
r
edundant_
d
ivs: add
memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_map_simplify
.
c: ok_to_eliminate_div: ad
d
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_map_simplify
.
c:
eliminate_divs_eq: add
memory
managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_map_simpl
i
f
y
.
c: d
r
op_more_redu
n
dant
_
d
ivs: add memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_map_simplif
y
.
c: norm
a
lize_divs: ad
d
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
l
a
ege
i
sl
_
map_simpl
i
fy
.
c: elimina
t
e_divs_ineq: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
e
ge
isl_map_simplify
.
c: set_
c
ompute_elim
i
nat
i
o
n_i
n
d
e
x:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
er
d
oo
l
aege
is
l
_
m
a
p
_simplify
.
c:
c
ompute_elimi
n
ation_inde
x
: ad
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c:
set_red
u
ced_using_equalities
:
a
dd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next