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
S
ve
n
Verdoolaeg
e
i
s
l_map_n_*
:
add memory management annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_map
_
drop: add 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 Verdool
a
ege
i
sl_map_fix_si: add memor
y
managem
e
nt a
n
n
o
tati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
ool
a
e
ge
i
s
l
_map_
s
u
m: a
d
d memory management anno
t
at
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verd
o
olaeg
e
isl_
m
ap_grow:
a
dd
m
emory management
a
nnotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolae
g
e
isl_map_remove_dims: ad
d
memory
m
anagement an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
i
s
l_
m
ap_n
e
g:
a
dd memo
r
y management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl
_
map_conve
x
_hull:
a
d
d memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaeg
e
isl_
s
et_bounded_simple
_
hu
l
l:
a
dd m
e
mory
m
anage
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_set_co
p
y: add
m
e
mory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolae
g
e
isl_set_cow: add me
m
ory
managemen
t
a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_set_
f
rom_basi
c
_set: add memory ma
n
agement a
n
not
a
t
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_s
e
t
_drop: add
memory manage
m
ent annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Verdoola
e
g
e
isl_basic_{set,map}_alloc_inequality: add memory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
i
s
l_basic
_
map_cow:
add memory mana
g
ement annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
olae
g
e
isl_bas
i
c_
m
ap
_
u
nion:
add memory management
annot
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdool
a
ege
isl_bas
i
c
_
map_delt
a
s: add
mem
o
ry management
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
basic_
m
ap_sum: a
d
d memory management annota
t
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
i
sl_basic_map_gist: add memory
ma
n
agement
a
nnotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_basic
_
map_compute_divs: add me
m
ory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
ol
a
eg
e
isl_basic_
m
a
p_
a
ffine_
h
ull
:
add memory
ma
n
agement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_detect_equalities:
add memory ma
n
age
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_bas
i
c_map_in
t
ers
e
ct: add m
e
mory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_basic_map_reve
r
se:
ad
d
memory management
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaeg
e
i
s
l
_
basic_
m
ap_co
p
y: add memory ma
n
ag
e
m
e
nt
a
n
notat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oo
l
aege
is
l
_basic_map_normalize: add memory m
a
n
a
g
e
m
ent ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_basic_m
a
p_s
e
t_t
o
_
e
mpty:
a
d
d mem
o
ry m
a
na
g
ement ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
V
e
rdoolaege
isl_basic_map_eli
m
ina
t
e
_
vars:
add me
m
o
r
y
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_no
r
m
alize_constraints
:
a
d
d memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
e
ge
isl_basic_
m
ap_si
m
pli
f
y: ad
d
memory
mana
g
emen
t
a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolae
g
e
isl_basic_map_f
i
nalize:
add memory mana
g
ement annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_bas
i
c_map_
o
rd
e
r_divs: ad
d
memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_basic_map_neg: add memory management an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdool
a
ege
isl_basic_map
_
im
p
licit_equalities:
add memory
m
a
n
age
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
aege
isl_ba
s
ic
_
ma
p
_ga
u
ss: add
m
emory
m
a
nagem
e
nt annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_basic_map
_
f
i
x_si: add memo
r
y
management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ve
r
do
o
l
a
ege
isl_basic_map_flo
o
rdiv: add
m
emory management anno
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
ool
a
e
g
e
isl_bas
i
c
_
m
a
p_
s
olve_lp: ad
d
memo
r
y management annotation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
i
sl_basic_map_
d
rop: add memory man
a
gement
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_b
a
sic_map_prod
u
c
t
: add memory
ma
n
a
gem
e
nt annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdool
a
ege
isl_basic
_
m
a
p_in
t
erse
c
t_range:
a
dd memory manag
e
men
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_b
a
sic_map_inter
s
e
ct_domain: add memory managem
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_basic_map_extend_space:
add memory management a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_
b
asic_map
_
du
p
: add me
m
ory manage
m
e
nt annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
ae
g
e
isl_bas
i
c_map_remove
_
dims: add mem
o
ry management an
n
otation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdool
a
eg
e
isl_
b
asic_map_total_dim: ad
d
mem
o
r
y management annot
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdo
o
laeg
e
isl_
b
asic_set_recession_cone: add memory man
a
ge
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_basic
_
set_
f
r
o
m_constr
a
int
:
add m
e
mory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verd
o
ol
a
e
g
e
isl_basic_set_cow: add m
e
m
o
r
y
manag
e
ment
annot
a
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
i
sl
_
basic_set_offset: add me
m
ory
management annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n V
e
rdoolaege
i
sl_basic_set_copy: add memo
r
y management anno
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_basic_set_reduced_basis: add memory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Verdoolaege
isl_basic_set_sample
_
b
ounded: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_basic_se
t
_solve_ilp: add memo
r
y
m
anage
m
ent
a
nnotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olae
g
e
isl_basic_set_lineality_s
p
a
c
e
:
add
memor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ba
s
ic_
s
et_total_
d
i
m: add m
e
mory management
ann
o
tat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdool
a
ege
is
l
_tab_pip
.
c: context_tab_
f
or_lexmin: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
is
l
_tab_pip
.
c: ineq_for_
d
iv: a
d
d memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verd
o
ol
a
ege
isl_
t
ab_pip
.
c: align
_
con
t
ext_divs
:
add
memory man
a
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ver
d
oolaege
isl_tab_pip
.
c: tab_
f
or_lexmin:
a
dd memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_tab_pip
.
c: drop_
c
o
ns
t
ant_terms: add memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
dool
a
ege
is
l
_sam
p
le
.
c: vec_co
n
cat: a
d
d memo
r
y management annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
i
sl_sample
.
c: shift_c
o
ne: a
d
d memory management
a
n
n
o
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdool
a
ege
i
sl_sample
.
c: round_up_in_cone: ad
d
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_sample
.
c
:
rational_sample: add me
m
ory man
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
eg
e
i
s
l_sample
.
c
: plug_in: add memo
r
y m
a
na
g
ement a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: gbr_samp
l
e
: a
d
d memory mana
g
emen
t
annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoolaege
isl_sample
.
c: s
a
m
ple_bou
n
ded: add memo
r
y manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_sample
.
c:
i
nterva
l
_
sample: a
d
d
memory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoola
e
ge
isl_s
a
m
ple
.
c: zero_sam
p
le: add memory management ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoo
l
aege
isl_sam
p
l
e
.
c: sample_eq: ad
d
memory manageme
n
t annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
a
e
ge
isl
_
samp
l
e
.
c: empt
y
_sample: add
memory management anno
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verd
o
olaege
isl_sample
.
c: basic_set_samp
l
e: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
i
sl_outpu
t
.
c: print_half_cons
t
r
a
int: add memor
y
m
a
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_ou
t
put
.
c
: print_constraint:
a
dd
m
emory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdo
o
laeg
e
i
s
l_map_simpli
f
y
.
c: coal
e
sce_or
_
drop_more_re
d
undant_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_s
i
mplif
y
.
c: coal
e
sce_divs: add memor
y
manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
laege
isl_map
_
s
implify
.
c: remove_dependent_vars: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_map_simplify
.
c:
r
em
o
ve_duplicate_divs: add
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
o
o
laege
isl_map_
s
i
mplify
.
c: div_is
_
r
edundant: add
m
e
m
or
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
is
l
_map_simplify
.
c: remo
v
e_re
d
undant_divs: add me
m
ory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_map_simplif
y
.
c: ok_to_eliminate_di
v
:
a
dd me
m
ory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
er
d
oolaege
isl_map_simpl
i
fy
.
c: elimin
a
te_divs_e
q
:
add m
e
mory mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
i
sl_map_simplify
.
c: d
r
op_mo
r
e_redundant_divs: add
me
m
ory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c: normalize_divs: add memory m
a
n
agement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c: eliminate_div
s
_ine
q
:
a
dd mem
o
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
r
d
oolaege
isl_map_sim
p
li
f
y
.
c: set_comput
e
_
e
lim
i
nat
i
on_index:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
e
rdoolae
g
e
i
sl_map_simplif
y
.
c: comput
e
_eli
m
ination_index: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
i
s
l_map_simplify
.
c
: set_
r
edu
c
ed_using_equalities: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oo
l
aege
isl_map_s
i
mplify
.
c
:
reduced_using_eq
u
a
l
ities
:
add me
m
ory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoo
l
aege
isl_m
a
p_simpl
i
fy
.
c
:
isl_bas
i
c
_
set_reduc
e
_
usin
g
_equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
r
d
o
olaege
isl_m
a
p_simpl
i
fy
.
c: check_for_div_constrai
n
ts:
add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verd
o
olaeg
e
isl_map_simplify
.
c
:
set
_
d
iv_from_lower_b
o
und: a
d
d
m
e
mory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c:
o
k_to_set_div_
f
rom_bound: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simplify
.
c: set_hash
_
index: add
memory man
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_m
a
p
_simplify
.
c: re
m
ove_shifted_const
r
aint
s
:
a
dd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolae
g
e
isl_map
.
c: map
_
offset: a
d
d
memory
man
a
g
eme
n
t an
n
otation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdoolaege
isl_map
.
c: find_div: add memory managem
e
nt
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Ve
r
doolaege
isl
_
map
.
c: va
r
_more: add
mem
o
ry ma
n
agement annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
ma
p
.
c:
v
ar_les
s
: add
m
e
mory
m
anagement annotation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next