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
Sven Ve
r
d
o
ola
e
ge
isl_map_
d
omain:
a
dd memory management
anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
isl_map_range: add memory m
a
n
a
gement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ve
r
doolae
g
e
i
s
l_map_revers
e
: add memory management an
n
ot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdool
a
ege
i
sl_m
a
p_n_*: add memory management ann
o
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n
V
e
rdoolaege
isl_map_drop: add memory management annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolae
g
e
isl_map_fix
_
si: add memo
r
y manage
m
e
n
t annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ver
d
oolaeg
e
isl_map_sum: add memory management
a
nnotat
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
i
sl_map_g
r
o
w
: add memory m
a
nagemen
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven
V
erdoolaege
isl_map_re
m
ove_
d
ims: add memo
r
y mana
g
ement ann
o
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdool
a
ege
isl
_
m
a
p_neg: add
m
emory ma
n
agement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_map_
c
onvex_hull
:
add memory management annot
a
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoo
l
a
ege
i
s
l_
s
et_b
o
unded_simple_hull: add
me
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erdoolaege
isl_set_co
p
y: ad
d
mem
o
ry management
a
n
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
ola
e
ge
is
l
_
se
t
_c
o
w: add me
m
ory manage
m
ent
a
n
notat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
ae
g
e
isl_se
t
_fro
m
_basic_se
t
:
add mem
o
r
y management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aege
isl_set_drop: add memory
m
ana
g
e
ment a
n
not
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_
b
a
s
ic_{set,map}_alloc
_
ineq
u
ality: add
me
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
o
laeg
e
isl_basic_map_cow: add memory ma
n
agement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaeg
e
i
s
l
_basic_map
_
union: a
d
d memory
m
anagement
an
n
ot
a
ti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ve
r
d
o
ola
e
ge
isl_
b
asic
_
map_deltas:
a
dd memor
y
mana
g
ement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doo
l
aege
isl_b
a
sic_map_sum:
a
dd mem
o
ry
m
anageme
n
t annota
t
ion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
i
sl_basic_map_gist:
a
dd memory
m
anagem
e
nt anno
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoola
e
g
e
i
s
l_basic_map_compute_divs: add memory
m
a
nagement
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl_basic_ma
p
_a
f
f
ine_hull:
add
memory management ann
o
t
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
i
s
l
_basic_
m
ap
_
dete
c
t_equa
l
ities: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_intersect: add memory management annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoo
l
a
e
ge
isl_b
a
sic_map_reverse:
a
d
d
me
m
ory
manage
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
ege
isl_basic_map_copy: add memo
r
y
managem
e
nt ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdool
a
e
ge
isl_bas
i
c_map_normali
z
e: add m
e
mory management anno
t
atio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
is
l
_basic_map_se
t
_to_empty: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaege
is
l
_basi
c
_map
_
e
liminate_vars
:
add memory mana
g
e
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_basic_
m
ap_nor
m
a
lize_constraints: add memo
r
y
managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Ve
r
d
o
ola
e
g
e
isl_basi
c
_map_simplify:
add memory man
a
ge
m
ent
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_basic_map_finalize: add
m
emory
m
a
n
agemen
t
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_basic_map_
o
rder_di
v
s
:
add me
m
o
r
y
manag
e
ment annot
a
t
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basic_map_neg: add memory manageme
n
t
annota
t
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
is
l
_
basic_map_implicit_equalities: add m
e
mory man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
isl_basic_map_gauss: add memory management annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolae
g
e
isl_b
a
si
c
_map_fix_si:
add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verdoolaege
isl
_
basic_
m
a
p_floordiv: a
d
d mem
o
ry m
a
nag
e
m
e
nt annotati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
erdo
o
laeg
e
isl_ba
s
i
c
_ma
p
_
solve_lp: ad
d
memor
y
mana
g
ement annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Ver
d
o
o
l
aege
i
sl_basic_map_d
r
op:
a
dd m
e
mory m
a
n
agem
e
nt annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
e
g
e
isl_basic_map_pro
d
uct: a
d
d
memory
m
a
n
agement annotat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl_
b
as
i
c_map_intersec
t
_r
a
nge: add
m
emory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdo
o
la
e
g
e
isl_basic_map_inte
r
sect_domain: add
memory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
d
o
o
laege
isl_basic_map_ex
t
end_sp
a
ce: add memory manage
m
ent annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
e
ge
i
sl_basic_map_dup
:
add memory
m
a
nage
m
ent
a
nnotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
is
l
_
basic_m
a
p
_
rem
o
ve_
d
ims:
a
dd memory
man
a
gemen
t
annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_basi
c
_map_to
t
al_d
i
m: add
memor
y
management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl
_
basic_set_recession_co
n
e: add memo
r
y
m
an
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ve
r
doolaege
isl
_
basic_set_
f
rom_con
s
traint: add
memory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_
b
as
i
c_set_c
o
w: ad
d
memory man
a
geme
n
t annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl_basic_set_offse
t
: ad
d
memory management ann
o
ta
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
oolaege
isl_
b
asic_set_copy
:
add m
e
mor
y
management
a
nnot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
olaege
is
l
_
b
asic_se
t
_reduced_ba
s
is: add
memory manag
e
me
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
o
l
aege
isl_basi
c
_
set
_
sam
p
l
e_bounded: a
d
d memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoola
e
g
e
i
s
l_basic_set_s
o
lve_ilp:
a
dd memory management
a
nnot
a
ti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
ola
e
ge
is
l
_bas
i
c_set
_
linealit
y
_sp
a
c
e
: add memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
b
asic_set_to
t
al_dim:
add
memory mana
g
emen
t
anno
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Ver
d
oolaege
isl_tab_pip
.
c: c
o
n
t
ext_tab_for_lexm
i
n: ad
d
memory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
V
e
rdo
o
laege
isl_t
a
b_pip
.
c: ineq_fo
r
_
d
iv: add
m
emor
y
m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
ool
a
ege
i
s
l_tab_pip
.
c: align_context_divs:
a
dd m
e
mor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_tab_pip
.
c
: tab_for
_
lex
m
in: ad
d
memor
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Ver
d
oolaege
isl_tab_p
i
p
.
c: drop_constant_ter
m
s: add mem
o
ry
m
anagemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n
Verdoo
l
aege
i
sl_sample
.
c: vec_concat: add memory management annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Ver
d
o
o
l
aege
isl_sa
m
p
le
.
c:
s
hift_con
e
: add
memo
r
y management anno
t
ati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdoolaege
i
s
l_sample
.
c
:
roun
d
_
u
p_in_c
o
ne:
a
dd m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
is
l
_sample
.
c: rati
o
nal_sam
p
le
:
ad
d
m
e
mory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaege
isl
_
sample
.
c: plug_in
:
add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_sample
.
c: g
b
r
_
s
a
m
p
le: add mem
o
ry management
annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
erd
o
olaeg
e
i
s
l_s
a
mpl
e
.
c: sa
m
ple_bounded:
a
dd
m
em
o
ry mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
i
s
l_
s
ample
.
c: inte
r
val_sample: add
m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
e
n Verdoolaege
isl_sample
.
c:
zero_sam
p
le: add memory management annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
r
doolaege
isl_sample
.
c: samp
l
e_e
q
: add memory mana
g
em
e
nt anno
t
ation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
l
a
ege
i
s
l_
s
ample
.
c: e
m
p
ty_
s
ample: add
m
emory management anno
t
a
ti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
V
erdoolaege
isl_
s
am
p
l
e
.
c: b
a
sic
_
se
t
_samp
l
e:
add memory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdool
a
e
g
e
isl_out
p
ut
.
c: p
r
int_half
_
const
r
aint: add memory man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
r
doolae
g
e
isl_out
p
ut
.
c: p
r
int_co
n
straint: add memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaeg
e
i
sl_ma
p
_simplify
.
c: coalesce_or_drop_more_
r
edundant
_
divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verdo
o
l
a
e
g
e
isl_m
a
p_
s
i
mplify
.
c: coalesce_divs
:
a
dd memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verd
o
olaege
isl
_
map_simplify
.
c:
rem
o
ve_d
e
pe
n
dent
_
vars: add memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
i
s
l_map_simplify
.
c: re
m
ove_duplicate_divs: add mem
o
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoola
e
ge
isl_map_sim
p
l
i
f
y
.
c: div_is_
r
edund
a
nt: add memory ma
n
age
m
en
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sv
e
n Verdoolaege
i
sl_map_
s
i
m
pl
i
f
y
.
c
:
r
emove_redu
n
dant_
d
ivs:
add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven V
e
rdoolaege
isl_map_simplify
.
c
:
o
k
_
t
o_eliminate_div: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en
Verdoolaege
isl_map_si
m
plify
.
c: eliminate_divs_eq:
add
memory ma
n
a
ge
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sve
n
Verd
o
ol
a
ege
is
l
_map_simplify
.
c: d
r
op_more_redundant_div
s
: add
mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
V
e
rdoolaege
isl_map_simplify
.
c: normalize_d
i
vs: 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
rdoolaege
isl_map_simplify
.
c
: eliminate_div
s
_ineq:
add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoola
e
ge
isl_map_simp
l
ify
.
c: set_compu
t
e_
e
l
imination_i
n
d
e
x:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_
m
ap_simplify
.
c: compute_elim
i
n
a
t
ion_index: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoo
l
aeg
e
isl_map_simp
l
ify
.
c: set_reduced_
u
sin
g
_equali
t
ies: ad
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolae
g
e
isl_map_si
m
plify
.
c: redu
c
ed_usi
n
g_eq
u
a
l
ities: add memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven
Verdoolaege
isl_map_simplify
.
c: isl_bas
i
c_
s
et_reduce_u
s
ing_equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en Verd
o
olaege
isl_map_simplify
.
c
:
chec
k
_for_di
v
_
constraints: add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoo
l
aege
i
s
l_map_s
i
mplif
y
.
c
:
set_div_from_lower
_
bound:
a
dd memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_m
a
p_simplify
.
c: ok_to_set_div_from_bound: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
ven Verdoolaeg
e
isl_map_simplify
.
c:
s
et_ha
s
h_index:
add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
Sven Verdoolaege
isl_map
_
sim
p
l
i
f
y
.
c
:
remove_shifte
d
_const
r
a
ints
:
add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-04-24
S
v
en V
e
rdoo
l
ae
g
e
isl_map
.
c
:
map_offset:
a
dd memory
m
a
n
agement ann
o
tation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next