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_is_params: return isl_bool
2017-01-20
Sve
n
Verdoolaege
isl_ma
p
_is_params: re
t
ur
n
isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
e
n Verdo
o
laege
i
sl_m
a
p_
c
ompatible
_
range:
r
eturn
isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
ven Ver
d
oola
e
ge
isl_map_compatibl
e
_domain: return
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
ven Verdoolaege
isl_m
a
p_compatible_domai
n
: add memory
m
a
n
ageme
n
t ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
i
isl_s
e
t_has_equal
_
space: ret
u
rn
i
sl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
ve
n
Verdoo
l
aege
i
s
l_map_has_equ
a
l_
s
pace
:
re
t
urn isl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ve
r
doolaege
i
s
l_
s
et_is_box: return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verd
o
olaege
is
l
_basic_se
t
_is_box: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
erdoolaege
isl_basic_se
t
_plain_dim_is
_
f
ixed: return isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoo
l
aege
isl_basic_map_pla
i
n_h
a
s_fixed_v
a
r: return
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
i
s
l_map
.
c: div
_
may_inv
o
lve_ou
t
p
u
t: r
e
tu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_map
.
c: div_invol
v
es_va
r
s: retu
r
n
i
sl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
Ve
r
doolaege
isl_basic_
m
ap_may
_
be_se
t
: return
i
sl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en
Ve
r
doolaege
isl_b
a
s
i
c
_s
e
t_is_
p
arams: retur
n
isl_
b
ool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_basic
_
map_compat
i
ble_rang
e
: retur
n
isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Ve
r
d
oolaeg
e
isl_ba
s
ic_ma
p
_
compatib
l
e
_
rang
e
:
a
d
d memory
mana
g
e
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_basic_map_is_
s
et: return isl
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_
l
ocal_space
_
is_div_cons
t
raint
:
re
t
urn isl
_
bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
er
d
oolaege
isl_l
o
cal_space_
i
s_named_or_nested:
r
eturn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
i
sl_sp
a
ce_
h
as_name
d
_param
s
:
r
e
turn is
l
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoo
l
a
ege
i
s
l_space_has_named_params: rena
m
e "dim" argu
m
en
t
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdool
a
ege
isl_space
_
m
a
y_be_set: return
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_
s
pace_is_na
m
e
d
_or_
n
e
s
ted: retur
n
i
s
l_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdoolaeg
e
isl
_
space_ma
y
_be_set: re
n
ame "d
i
m" ar
g
ument to "
s
p
a
ce"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdo
o
laege
isl
_
s
p
ac
e
_is_named_o
r
_neste
d
: ren
a
me "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaeg
e
M
e
rge branch
'maint'
commit
|
commitdiff
|
tree
2017-01-18
Sven Verd
o
o
laege
isl_basic_m
a
p_contai
n
s:
re
t
urn false in ca
s
e of dimension
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolae
g
e
i
s
l_tab_
p
ip
.
c:
context_ta
b
_for_lexmin: plug
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
i
sl_bas
i
c
_set
_
box
_
from_points: plug memory leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
isl_s
e
t_bounde
d
_si
m
p
l
e_hull: pl
u
g memory leak on
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
i
sl_map_sim
p
lify
.
c: normali
z
e_divs: plug memory leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Ver
d
ool
a
ege
i
sl_
m
ap_simplify
.
c: coalesce
_
o
r_drop_mor
e
_
r
edundant_di
v
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdool
a
ege
isl
_
basic_set_solve_ilp: avoid d
o
uble free on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en Verdoolaege
isl_vertices
.
c:
t
r
iangul
a
te: im
p
rove error
h
a
n
dling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sv
e
n Verdoo
l
aege
isl_farkas
.
c: f
a
rkas
:
im
p
rove error
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sv
e
n Verdoolaege
isl_basic_map_simplify: improve
e
rror handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven V
e
rdoolaege
isl_basic_map_dr
o
p_core: improve e
r
ro
r
handl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
S
ven
V
erdoo
l
a
ege
isl_basi
c
_
map_s
e
t_t
o
_em
p
ty: improve error h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-18
Sven V
e
rdoolaege
isl_map
_
is_rat
i
ona
l
: fix
error
h
andli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-16
Sven Ve
r
doolaege
i
sl
_
map_si
m
p
lify
.
c: ok_to
_
e
l
iminat
e
_div: also inve
s
tig
a
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_mat_
i
nve
r
se_product: improve
error ha
n
d
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven
V
e
rdoolaege
isl_te
s
t
.
c
:
te
s
t_div: use return valu
e
of isl_constraint
_
set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
ven Verdoolae
g
e
isl_tes
t
.
c: te
s
t_div: use return value of
i
sl_c
o
nst
r
ain
t
_set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_te
s
t
.
c: te
s
t_constructi
o
n: use return value of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sve
n
V
erd
o
olaege
isl_test
.
c: test_constru
c
ti
o
n:
u
se return va
l
u
e of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en Verdoolaege
isl_in
p
u
t
.
c:
a
ccept_div:
d
o
not ignor
e
return value
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_schedule_band_replace_ast_build_option: plug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoo
l
ae
g
e
is
l
_local_sp
a
c
e
_in
t
e
r
sect:
p
lu
g
mem
o
ry leak on e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Ve
r
doo
l
a
e
ge
isl_
v
ec_expa
n
d: add missin
g
r
e
turn on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven
Verdoolaege
isl_
s
chedule_tree_dup:
a
dd missing ret
u
rn on err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
v
e
n
Ver
d
oolaege
isl_schedule_nod
e
_gr
o
up: add m
i
s
sing return on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
v
e
n Verdoolaege
isl_sched
u
l
e
_node_band_sink: add missing
r
eturn
s
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven
V
e
r
doolaege
isl_schedule_band_member_set_isol
a
te_ast_loop_type
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven
V
erdoolae
g
e
isl_schedule
_
band_member_set_ast_l
o
op
_
type: add
m
i
s
sing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en Verd
o
o
l
aeg
e
isl_
s
chedule_band_mem
b
er_set_coi
n
cident: a
d
d
m
i
ssing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Ve
r
doolaeg
e
is
l
_schedul
e
_node_sequenc
e
_
s
plice_child:
ad
d
missing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sve
n
Verdool
a
ege
i
s
l
_
sched
u
le
_
read
.
c: read_ba
n
d: avoid double free on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_ast_build
.
c: isl_ast_build_set_loop_bounds: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-06
Tobias G
r
o
s
ser
isl_basic_set_is_bounded: return
isl
_
b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-06
T
obias Gr
o
s
se
r
i
sl_tab_
c
o
ne_is_bou
n
ded:
return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-06
Tobia
s
Gro
s
ser
py
t
hon: r
e
mov
e
r
edundant is_string_t
y
pe
Reported-by: Sven Verdoolaege <
skimo@kotnet.org
>
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-06
Sven
V
erdoolaege
isl_tab_basic_map_p
a
rtial_le
x
op
t
: improve detec
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
S
ven Verdoolaege
i
sl_tab_pip
.
c: sol_pop: extract
out com
b
ine_ini
t
ial_
i
f_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdo
o
laege
isl_tab_pip
.
c
:
sol_pop:
e
xtract out combine_in
i
tial_i
n
to_
s
eco
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoo
l
aege
isl
_
tab_pip
.
c:
i
sl_pa
r
t
ial_sol: use isl_multi_aff in
s
tead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ve
r
doolaeg
e
isl
_
tab_pip
.
c
:
i
sl_sol: keep
t
rack of
s
pace of output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verd
o
olaege
isl_tab_p
i
p
.
c:
s
ol_push_so
l
: clar
i
fy meaning of "M
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolae
g
e
isl_tab
_
pip
.
c
:
remove wrapper
s
for
s
ol_*_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven
Ve
r
doolaege
isl_tab_pip
.
c
: move commo
n
p
a
rts of isl_*_free function
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven
V
erdo
o
l
aege
isl_tab_pip
.
c: s
e
t fr
e
e callback before any ot
h
er fi
e
ld
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
S
ven Ver
d
oo
l
aege
isl_tab_pi
p
.
c: extract out sh
a
red sol_init
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl
_
tab_pip
.
c: isl_sol
:
u
pdate documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven
Verd
o
olaege
isl_tab_pip
.
c: mov
e
up set_
f
r
om_affine
_
matr
i
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl
_
tab_pip
.
c: same_solution: return is
l
_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaeg
e
isl_tab_pip
.
c: sol_*add:
a
d
d
memory m
a
nagement annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_tab_pip
.
c: sol_push_so
l
:
ad
d
mem
o
ry
m
an
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_tab_
p
i
p
.
c: sol_*_init: add memory management annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sv
e
n
Verdoolaeg
e
add isl_p
w
_multi_aff_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
d
o
c: document isl_
p
w_aff_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
i
s
l_pw_aff_i
s
_equal: change return type
t
o
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_pw_*_p
l
ain_i
s
_equal
:
fix
h
a
n
dl
i
n
g
of NaNs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
generalize isl_pw_aff_involves_nan
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ver
d
oolaege
doc
:
d
ocume
n
t i
s
l_qpolynomial_is_n
a
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n Verdoolaege
i
s
l_stream_read_pw_mu
l
ti_aff: read isl_pw_multi_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
is
l
_
stream_rea
d
_multi_pw_a
f
f: extract out extract_mpa_from_tuple
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ven
Ver
d
oola
e
ge
i
sl_ba
s
ic_map_range_ma
p
: use is
l
_basic
_
map_equ
a
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en
V
erdoolaege
isl_basic_m
a
p_do
m
a
i
n_map: use isl_basic_map_equate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en
V
er
d
oola
e
ge
isl_tab_detect
_
implicit
_
e
qualities:
r
eus
e
se
l
ect
_
ma
r
ked
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ver
d
oolaege
is
l
_
tab
.
c
: move up se
l
e
c
t_ma
r
ked
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en
Verdo
o
laege
isl_m
a
p_c
o
ale
s
ce: check
s
tat
u
s of inequality constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sve
n
Ver
d
oolaege
isl_map_coalesce: allow separ
a
ti
n
g
equality constr
a
ints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoola
e
ge
isl_map_coalesce: on
l
y harm
o
n
i
z
e
d
ivs
if eq
u
ality constraint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ver
d
oolaege
isl_basic_map_simplify: red
u
ce coefficien
t
s of integ
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Verdoo
l
aege
i
sl_basic_map_gauss: do
n
o
t extract
partial explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Ve
r
doolaege
isl_ba
s
ic_map
_
gauss: extract out s
e
t_div_from_eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_map_co
a
lesc
e
: ha
r
monize integer divisions
i
n s
t
ride
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdo
o
laege
add isl_bas
i
c_map_s
e
t_div_expr_constant_num_si
_
inplac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven
Verdoola
e
ge
add isl
_
ba
s
ic
_
m
a
p_equal_div_expr_except_constant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ven
V
e
rdoo
l
aege
isl_coalesce
.
c
:
set_up
_
substitutions: extr
a
c
t
isl
_
basic_map_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ve
n
V
er
d
oolaege
isl
_
m
ap
.
c:
e
xtract o
u
t
s
h
are
d
isl_
b
asic_map_
c
he
c
k_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next