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_domain: add memory management annotations
2017-04-24
Sv
e
n
V
erdo
o
laege
isl_map_domain: add memory mana
g
ement an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_map_range:
ad
d
mem
o
r
y management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rd
o
olaege
isl_map_reverse: add memory management annotation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolae
g
e
isl
_
map_n_*: add
m
emo
r
y m
a
nagement a
n
notation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
l
aege
isl_map_drop: add memory
m
anagement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
erdoolaege
isl
_
map_fix_si: add memory management anno
t
ation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
olaeg
e
isl_map_sum: a
d
d
memory management anno
t
ati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
doolaege
isl_map_grow: add memory managemen
t
annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl
_
map_remove_
d
ims: add memory managem
e
nt ann
o
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laeg
e
isl_map_neg: add memory management
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
ola
e
ge
isl_map_convex_hull: add memory
m
anagement annot
a
ti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_set_bounded_simple_hull: add memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
lae
g
e
isl_set_copy: add
m
e
m
or
y
management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoola
e
ge
isl
_
set_cow:
a
dd memory manag
e
ment annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_s
e
t
_
f
r
om_bas
i
c_s
e
t:
add memory manage
m
ent annota
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_se
t
_
d
rop:
add memory manag
e
m
e
nt anno
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
a
ege
isl_basic_{set,map}_alloc_i
n
e
q
u
ality: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_cow: add memory manage
m
ent annotation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
laege
isl_basic_
m
ap_union: add memory management annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
eg
e
isl_
b
asic_m
a
p_deltas: add memory
ma
n
agem
e
nt anno
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
is
l
_bas
i
c_
m
ap
_
sum
:
ad
d
mem
o
ry
m
anage
m
ent annot
a
tion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_bas
i
c_map_gist: add memory m
a
nagement
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
erd
o
olaege
isl_
b
asic_map_com
p
ute_
d
ivs: add memory ma
n
agem
e
n
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_basic_map_affi
n
e_hull
:
add mem
o
ry management an
n
otation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_b
a
sic_m
a
p_de
t
ect_equali
t
ies:
a
d
d memory
m
anageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
Verdoolaege
isl_basic_map_intersect: add memory management a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ver
d
oolaege
is
l
_basic_map_
r
evers
e
: add
memory manageme
n
t annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
laeg
e
isl_basic_m
a
p_
c
opy: add m
e
mory
m
anagement
a
n
notations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
i
s
l
_ba
s
ic_
m
ap_norma
l
ize
:
add
m
emory
manag
e
ment an
n
ot
a
ti
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdool
a
ege
isl_
b
asi
c
_m
a
p_set_
t
o_em
p
t
y
:
add memory
manageme
n
t an
n
otat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl
_
basic_map_elimina
t
e_vars: add
m
emory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
d
oolaege
i
s
l
_basic_map_normalize_cons
t
raint
s
: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolae
g
e
isl_basic_map_simplify: add m
e
mory
management annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
is
l
_basic_map_finalize: add memo
r
y management a
n
nota
t
io
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
b
asic_map_or
d
e
r
_di
v
s
:
add mem
o
ry management
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
is
l
_ba
s
ic_map_neg: add memory manag
e
ment an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_basic_ma
p
_implicit_equalities: add
m
emory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaege
i
sl_basic_map_gauss: add m
e
mory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Verdoolaege
isl_basic_map_fix_si: add m
e
mory mana
g
eme
n
t annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ve
n
V
e
rdoolaege
isl
_
b
a
s
i
c_map_floordiv: add memory management anno
t
a
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_basic_ma
p
_sol
v
e_l
p
: add memory
managem
e
nt ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oo
l
a
ege
isl_b
a
sic_
m
a
p
_drop: add me
m
ory manag
e
ment annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_basic_map_pr
o
duct:
a
d
d
m
emory manag
e
ment annota
t
ion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdo
o
laege
isl_basic_
m
ap_inter
s
ect_range:
a
dd mem
o
ry
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdool
a
eg
e
isl
_
basic_map_inters
e
ct_domain: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verd
o
olaege
isl_basic_map_ex
t
end_s
p
ace: add memory ma
n
agement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verd
o
olaege
isl_basic_map
_
d
up: add memory manag
e
ment an
n
otations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ver
d
o
o
lae
g
e
is
l
_basic_map_remove_di
m
s: ad
d
memo
r
y management
a
n
notatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_total_
d
i
m: add m
e
mory management annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_basic_set
_
recession_cone: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl
_
basic_set_f
r
om_constraint: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaeg
e
isl
_
basic_set_c
o
w: add
me
m
ory manage
m
ent
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_basic_set_offset: add memory managemen
t
a
n
n
otation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
Verdool
a
e
ge
isl_ba
s
ic_set_copy: a
d
d memory management an
n
ota
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
is
l
_basic_set
_
reduc
e
d_
b
a
s
is: add me
m
ory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdool
a
e
g
e
i
s
l_basic_se
t
_sample_
b
ounded:
add
memory
manag
e
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaeg
e
isl
_
bas
i
c_set_solve_ilp: add memory management annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laeg
e
isl_
b
as
i
c_
s
e
t_li
n
eal
i
ty_space: ad
d
memory man
a
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_basic
_
set_total_di
m
:
ad
d
memory m
a
n
ageme
n
t a
n
notation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
i
sl_t
a
b_
p
ip
.
c: conte
x
t_tab_for_
l
exmin: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
aege
isl_tab_pip
.
c: ineq_for_div: add
m
emory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_tab_pi
p
.
c: align_contex
t
_divs: ad
d
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
laege
isl_t
a
b_pip
.
c: tab
_
for_le
x
min: add
m
emor
y
m
a
nag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
i
s
l_tab_pip
.
c: drop_c
o
nstant
_
terms: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaeg
e
isl_sam
p
le
.
c: v
e
c
_
concat: ad
d
memory m
a
na
g
ement annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verd
o
olaege
is
l
_s
a
mp
l
e
.
c: shift_cone: ad
d
m
emor
y
man
a
g
e
ment ann
o
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoo
l
aege
is
l
_s
a
mp
l
e
.
c: round_
u
p_in_cone:
a
dd memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_sa
m
ple
.
c
:
rational_samp
l
e: add memory mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
V
e
r
doolaege
isl_
s
ample
.
c: plug_in:
a
dd memor
y
m
anagement
annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ver
d
oolaege
isl_sample
.
c: gbr_sample: add memor
y
management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
i
sl_sample
.
c: sample_boun
d
ed: add
mem
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
do
o
lae
g
e
isl_
s
a
m
ple
.
c:
interva
l
_sample: add memory man
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
isl_sample
.
c
:
zero_sampl
e
: add mem
o
ry management
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
a
ege
isl_sam
p
l
e
.
c: sa
m
p
l
e
_eq
:
add memory manage
m
ent annotation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Ve
r
doolaege
isl
_
sample
.
c: empty
_
s
ample: add memor
y
managemen
t
annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: basic_set_
s
ample: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl_output
.
c: print_h
a
lf
_
constrain
t
:
a
dd
m
e
mor
y
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_o
u
tput
.
c
:
print_constraint: add me
m
or
y
m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
sl_map_si
m
plify
.
c: coa
l
esc
e
_or_
d
r
op_
m
o
r
e
_redundant_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_map_simplify
.
c: coalesce
_
divs
:
a
d
d
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_map
_
simpli
f
y
.
c
: remove_de
p
end
e
n
t
_va
r
s: add me
m
ory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ve
r
doo
l
a
ege
isl
_
map_
s
implify
.
c: remove_dupli
c
ate_di
v
s: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
is
l
_map_sim
p
lify
.
c: div_is
_
redundant
:
add memory
man
a
gem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_map_simpli
f
y
.
c: remove
_
redundant_di
v
s:
a
dd
memo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoola
e
ge
isl_
m
ap_si
m
plify
.
c: ok_to_
e
lim
i
nat
e
_div: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
map_simplif
y
.
c: eliminate_divs_
e
q: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
do
o
laege
isl_map_simp
l
ify
.
c: drop_more
_
redu
n
dant_d
i
vs
:
add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
laege
i
s
l_
m
a
p
_simplif
y
.
c:
n
orma
l
ize_divs: add memo
r
y management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map_simpl
i
fy
.
c
: el
i
minate
_
divs_ineq: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
ma
p
_si
m
p
l
if
y
.
c: set_compute_e
l
imination_
i
ndex:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoo
l
aege
isl_map_simp
l
i
fy
.
c: compute_elimina
t
ion_index
:
add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven V
e
rdoolaeg
e
i
s
l_m
a
p
_
simplify
.
c: set_reduc
e
d_using_equalities: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
i
s
l_map
_
simplify
.
c
:
reduced_
u
sin
g
_
e
q
ualities: add memo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_map_simplify
.
c:
isl_bas
i
c_set_
r
educe_
u
sing_e
q
uali
t
ies
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoola
e
ge
isl_map_s
i
mplify
.
c: chec
k
_
f
o
r_div
_
constr
a
ints: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoo
l
a
e
ge
isl_
m
ap
_
simplify
.
c: set_d
i
v_from_low
e
r_
b
ound: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
is
l
_map_simplify
.
c: ok_to_set_div_from_bou
n
d
: add
m
emo
r
y
.
.
.
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 m
a
nag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
i
s
l_ma
p
_simplify
.
c: remove_shifted_
c
onstraints: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
is
l
_map
.
c: m
a
p_
o
ffse
t
: add memo
r
y
m
an
a
gement annotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next