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_map_n_*: add memory management annotation
2017-04-24
Sven V
e
rdoolaege
isl_map_
n
_
*:
a
dd memory
m
anagement an
n
otation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ma
p
_drop: add memo
r
y manag
e
men
t
an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
aege
isl_map_fix_si: add memory ma
n
agement
a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolae
g
e
isl_map_sum:
a
dd me
m
ory management
annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_map_grow: add memory management annota
t
ion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
o
l
aege
isl_map_remove_di
m
s: ad
d
me
m
ory m
a
nagement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Verdoolaege
isl_map_neg: add me
m
ory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_map_convex_hull:
add me
m
ory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_
s
et_b
o
und
e
d_simple_hull:
add memory ma
n
a
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
a
ege
isl_set_copy: add mem
o
ry management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolae
g
e
isl_set_c
o
w: ad
d
memory
m
anagement
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoola
e
g
e
isl_set
_
from_b
a
sic_set: add memory
manag
e
men
t
an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Verdoola
e
ge
isl_set_drop
:
add memor
y
manageme
n
t annota
t
io
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_basic_{
s
et
,
map}_all
o
c
_
inequality: add memory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_ba
s
ic_map_c
o
w:
add
memor
y
manag
e
men
t
a
n
not
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
i
s
l_ba
s
ic_
m
ap_
u
nion:
a
dd memory management an
n
otation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verd
o
o
l
aege
i
s
l_
b
asi
c
_map_deltas:
a
dd memory
m
anagement a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
laege
isl_basic_map_sum: add memory management
a
nnot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
e
r
d
oolaege
isl_b
a
si
c
_map
_
gis
t
:
a
dd memory man
a
g
e
men
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_ma
p
_co
m
pute_divs: add memory
man
a
geme
n
t ann
o
tat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdoo
l
aege
i
s
l_ba
s
ic_ma
p
_af
f
ine_hull: ad
d
memory ma
n
age
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doolaege
isl_basic
_
ma
p
_det
e
ct_equalities: add mem
o
ry man
a
g
e
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
d
oolaege
i
sl_basic_m
a
p_intersec
t
: add memory ma
n
agem
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
is
l
_
b
a
s
ic_map_reve
r
se
:
ad
d
memory ma
n
agement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolae
g
e
isl_ba
s
i
c_map_
c
opy: add memor
y
manage
m
ent
a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_
n
o
r
ma
l
ize: ad
d
memory manageme
n
t annot
a
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ver
d
ool
a
ege
isl_basi
c
_map_set_to
_
e
mpty: add memory manage
m
ent annot
a
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_basic_m
a
p_
e
l
imina
t
e_vars: a
d
d memory m
a
na
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_b
a
sic_ma
p
_
normal
i
ze
_
constrai
n
ts:
add
me
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
i
s
l
_basic_
m
a
p
_simplif
y
: ad
d
me
m
ory management
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
la
e
g
e
isl_ba
s
ic_map_
f
inali
z
e: add
m
emory managem
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
e
g
e
isl_
b
asic
_
ma
p
_order_divs: add memory
m
a
n
a
gemen
t
an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdo
o
laege
isl_b
a
sic_map_neg: ad
d
memory mana
g
ement an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
laege
isl_basic_ma
p
_implicit_equalitie
s
:
add memor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_ba
s
ic_m
a
p_gaus
s
: add memory management
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ver
d
oola
e
ge
isl_basic_map_fix_si
:
a
d
d memory man
a
ge
m
ent annotat
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
e
g
e
i
s
l
_
b
a
sic_m
a
p_
f
loordiv: a
d
d mem
o
ry management annota
t
ion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_basic_map_solv
e
_lp: add memory manag
e
m
ent
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_basic_map_drop: add
memory managemen
t
annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ve
r
d
o
o
l
a
ege
isl_
b
asi
c
_map_product: add
m
e
mory
manag
e
ment anno
t
at
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdoolaege
isl_b
a
sic_
m
ap_in
t
er
s
ect_range: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
r
d
o
olaege
isl_bas
i
c_map_intersect_do
m
ain: add memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_ba
s
ic_map_extend_space: add memory
m
anagement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map
_
dup: add memory man
a
ge
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
erdoolaege
isl_basic_map_remove_dims
:
a
d
d
m
e
mory
m
a
nagemen
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
l
a
e
g
e
isl
_
b
asic_map_total_
d
im:
a
dd memory management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verd
o
olaeg
e
isl_basic_
s
et_
r
ecession_cone:
a
dd
m
emo
r
y ma
n
age
m
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
o
o
l
a
e
ge
isl_basic_set_from_con
s
traint
:
a
d
d memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
Verdoo
l
aege
isl_basic_set
_
cow:
a
dd memory ma
n
a
g
eme
n
t
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
erdoolaege
i
s
l
_basic
_
set_
o
ffse
t
: add me
m
ory ma
n
agement annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl
_
basic_s
e
t_copy: a
d
d memory man
a
gement ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoolae
g
e
isl
_
b
a
si
c
_set_reduced_basis
:
a
dd memory manage
m
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_basic_set_sample_boun
d
ed: a
d
d memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_basic_set_s
o
l
ve_
i
lp: add memor
y
manage
m
ent
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_bas
i
c_set_line
a
l
ity
_
space
:
a
dd memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_basic_set_total_dim: add m
e
mor
y
manage
m
ent a
n
notation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_tab_pip
.
c: co
n
text_tab_for_
l
exmin: add mem
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_
t
a
b
_
p
ip
.
c: i
n
eq_for_di
v
: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_t
a
b_pip
.
c: alig
n
_
cont
e
x
t_
d
ivs:
a
dd memory m
a
nage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
i
s
l_tab_pip
.
c: t
a
b_for_le
x
min: add m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoola
e
g
e
isl_tab_pip
.
c: drop
_
constan
t
_
t
erms: a
d
d memory m
a
nagemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: vec_concat: add memory
m
anagemen
t
a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ver
d
oolaege
isl_sample
.
c: shift_cone:
a
d
d
memo
r
y managemen
t
annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_s
a
mp
l
e
.
c:
r
ound_up_i
n
_cone:
add
m
emor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sa
m
p
l
e
.
c: ration
a
l_sample: add
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoola
e
ge
isl_sa
m
pl
e
.
c
: plug_in: add m
e
mor
y
ma
n
agemen
t
annota
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
is
l
_
sample
.
c: gbr_sample: add mem
o
ry management
annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
i
s
l_sample
.
c
: sample_bounded: add memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
laege
i
sl_sa
m
pl
e
.
c: interval_sam
p
le:
ad
d
memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
laege
is
l
_sample
.
c:
z
ero_
s
ample: add m
e
mory m
a
nagement
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdo
o
laege
i
s
l
_sample
.
c: sample_eq: add
m
emory
manag
e
ment annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: empty_
s
ample
:
add
memory management a
n
notations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ver
d
o
o
l
a
ege
i
s
l_sample
.
c
:
basic_set_sample: add memory m
a
nagemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
r
doolaege
isl_
o
utput
.
c
:
p
rint_
h
alf
_
constra
i
nt
:
a
dd memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verd
o
ola
e
ge
isl
_
output
.
c:
print_constraint: add memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
i
sl_map_simpl
i
fy
.
c: coalesce_
o
r_dro
p
_m
o
re_redundant_d
i
vs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_map_simplify
.
c
: coa
l
esce_di
v
s: add memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
i
s
l
_
map_simplify
.
c: remove_depe
n
dent_vars: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_m
a
p_simpli
f
y
.
c
: rem
o
ve
_
duplica
t
e_divs:
a
dd me
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
is
l
_map_simplif
y
.
c
:
di
v
_is_redundant: add memory manag
e
me
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl
_
map_simplify
.
c: remove_r
e
d
u
ndant_divs: ad
d
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_map_simpl
i
fy
.
c: ok_to_eliminate_div: add m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_m
a
p_simplify
.
c: eliminate_divs
_
eq: add memor
y
managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
laeg
e
isl
_
map_simpli
f
y
.
c: dro
p
_more_redund
a
n
t
_divs: add mem
o
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdo
o
l
aege
isl_m
a
p_simplify
.
c: normaliz
e
_d
i
vs: ad
d
memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaeg
e
isl_map_simplify
.
c:
elim
i
n
a
te_d
i
vs_ineq: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_m
a
p_simplify
.
c
: set_compute
_
elim
i
n
ation_ind
e
x:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_m
a
p_si
m
p
lify
.
c: comp
u
te_
e
l
imin
a
tion
_
index:
add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ver
d
oolaege
isl_map_simplify
.
c: set_redu
c
e
d
_using_equ
a
lities
:
add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
e
ge
i
s
l
_map_simpl
i
fy
.
c: reduced_usi
n
g
_
equalit
i
es: add
me
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c:
i
sl_basic_set_reduce_using_equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
a
ege
is
l
_map_simplify
.
c: chec
k
_for_div_con
s
train
t
s: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_map_simplify
.
c: set_d
i
v
_from_low
e
r_bound: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_
m
ap_simp
l
ify
.
c:
ok_to_set_div_f
r
om
_
b
o
und: add m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l
_map_simplify
.
c:
s
et_hash_inde
x
: add memory ma
n
agemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolae
g
e
isl_map
_
simpli
f
y
.
c: remove_shifted_constrai
n
ts:
a
dd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
olaege
isl_map
.
c: map_offset:
a
dd memory management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verd
o
ol
a
ege
i
sl_map
.
c: find_div: add memory managem
e
nt annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdo
o
laege
isl_map
.
c: var_m
o
re: a
d
d memory m
a
nagement
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_map
.
c
:
var_less: ad
d
memo
r
y management
annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next