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_tab_pip.c: isl_sol: keep track of space of output
2017-01-03
Sve
n
Ver
d
o
o
la
e
ge
i
sl_
t
ab_pip
.
c
: isl_s
o
l: keep tr
a
ck of space of output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven
Verdoolaege
isl_tab_pip
.
c: sol_pus
h
_sol: clar
i
fy mean
i
ng of "M
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sve
n
V
e
rdoolaege
isl_
t
ab_pip
.
c: remove wrapp
e
rs for
s
ol_
*
_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ver
d
oo
l
aege
isl
_
tab_pip
.
c:
m
ove common parts of isl_*_free functions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sve
n
V
er
d
oolaege
i
sl_tab_pi
p
.
c:
s
et free ca
l
lback b
e
fo
r
e any
o
th
e
r fie
l
ds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven V
e
rdoolaege
i
sl_ta
b
_
p
ip
.
c: extract out shared s
o
l
_i
n
it
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verd
o
olaege
isl_
t
ab_pip
.
c: isl_sol:
u
p
d
ate documen
t
at
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sv
e
n Verdoolaege
isl_tab_pip
.
c: mo
v
e up set_fr
o
m_a
f
fine_matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdo
o
laege
is
l
_tab_pip
.
c: sam
e
_solution: r
e
tu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sv
e
n
V
erdoolaege
isl_t
a
b_pip
.
c: sol_
*
add: add memor
y
manage
m
ent annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ver
d
oolae
g
e
i
s
l_tab_pip
.
c: sol_push_s
o
l: add memory manage
m
en
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven V
e
rdoo
l
ae
g
e
isl_tab_pip
.
c: so
l
_*_init: add
memor
y
management a
n
n
o
ta
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ve
r
doolaege
ad
d
isl_pw_multi_aff_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven V
e
rdoolaege
doc: document i
s
l_
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_a
f
f_is
_
equ
a
l: cha
n
ge retur
n
type to is
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_pw_*
_
pl
a
i
n
_
is_equal: fix handling of Na
N
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ve
r
doolaege
generalize isl_pw_a
f
f
_
involves_n
a
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
doc: docu
m
e
n
t
i
sl_qpolynomial_i
s
_nan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Verdo
o
laege
i
s
l_stream_
r
e
a
d_pw_multi_aff: read is
l
_pw
_
multi_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n
Verdoolaeg
e
isl_strea
m
_rea
d
_mu
l
ti
_
pw
_
a
ff: ext
r
act out extrac
t
_mpa_from_t
u
p
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdo
o
laege
isl
_
b
asic_map_ra
n
ge
_
map: use
i
sl_basic_m
a
p
_
equate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
i
s
l
_
basic_map_domai
n
_map: use isl_b
a
sic_map_equate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Verdoolaege
is
l
_t
a
b_detec
t
_imp
l
ic
i
t_equalities: reuse select_marked
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven
V
erd
o
ol
a
ege
i
sl_tab
.
c:
move up select_marked
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven
Verd
o
olaege
isl_ma
p
_
c
o
alesce:
c
he
c
k
status of inequ
a
lity const
r
aints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_map
_
coalesc
e
: all
o
w
s
eparating e
q
uality co
n
s
traints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdo
o
laege
isl_
m
a
p_coalesce: only harmo
n
ize
divs if equ
a
lity constraint
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdo
o
laege
isl_bas
i
c_map_simplify: red
u
ce co
e
fficients o
f
integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
is
l
_basic_map_gauss: do not
extract partial
e
xplicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Verdoola
e
ge
isl_basic_map_gauss: extract out set_div
_
from_
e
q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven V
e
rdoolaege
i
s
l_map_coalesce:
harmonize integer
d
ivisions i
n
stride
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Verd
o
olaege
a
dd isl_ba
s
ic_map_set_div_expr_constant_
n
um
_
si_inplace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdool
a
e
g
e
a
dd isl_
b
asic_map_equal_d
i
v_
e
x
pr_except_c
o
nstant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaeg
e
isl_coalesce
.
c
: set_up_substitutions: extract isl_basi
c
_map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
v
e
n
Ver
d
o
ola
e
ge
is
l
_map
.
c: e
x
t
r
ac
t
out sha
r
ed
isl_b
a
sic_map_ch
e
ck_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n
Ver
d
o
o
l
aege
isl_affi
n
e_hull
.
c: move isl_*_drop_constraints_* to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven V
e
rdoo
l
ae
g
e
privately e
x
port isl_
c
onstraint_get_constant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_bas
i
c_map_sh
i
ft_div: specia
l
case zero sh
i
ft
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sve
n
Verdoolaege
isl_
m
ap_coalesce
:
t
a
ke int
o
acco
u
nt
equality constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven
V
erdoolaege
isl_coale
s
ce
.
c: harmo
n
ize_divs: ret
u
rn isl
_
s
tat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ve
r
doolaege
isl_coalesc
e
.
c:
s
hift_div: return i
s
l_s
t
a
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven V
e
rdoola
e
g
e
priv
a
tely export isl_val_get_nu
m
_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdo
o
l
a
ege
isl_local
_
space_ge
t
_div: handle
pre
s
e
n
c
e
of unknown
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven
Ve
r
dool
a
ege
add isl_lo
c
a
l_space_d
i
v
_is_mar
k
ed_unknown
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n Verdoolaege
add i
s
l_l
o
cal_div_
i
s_ma
r
ked
_
unkno
w
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n Ver
d
o
olaege
i
sl_ma
p
_
co
a
lesce: detect constant
s
in pot
e
ntial
extension
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdo
o
laege
add is
l
_tab_det
e
ct_cons
t
ants
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdool
a
ege
i
sl_
m
ap_coalesce: detect
constants am
o
ng e
x
pande
d
di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ver
d
o
olaege
add
isl_tab_is_constant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ver
d
oolaege
isl_tab
.
c
:
i
sl_t
a
b_min:
extra
c
t out
g
et_roun
d
ed_sample_value
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven V
e
rdoolaege
isl_tab
.
c
:
extract out shared ro
w
_i
s
_big
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sve
n
Verdoolaege
isl_
c
oalesce
.
c: tab
_
in
s
ert_di
v
s: extract out copy_
i
n
eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n Verdoolae
g
e
isl_coalesce
.
c: expand_tab: fi
r
st ex
t
ract out lis
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_coal
e
sce
.
c: expand_tab: consume updated b
a
sic ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_coalesce
.
c:
expand_tab
:
p
as
s
in expanded bmap instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Verdoolaege
isl_coales
c
e
.
c: expand_tab: do
not c
h
eck
div constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verd
o
olaege
isl_
m
ap_c
o
alesce: add a not
e
about a possible improvement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_map_coale
s
ce: allow e
x
tens
i
ons to stic
k
out by one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n
Verdoolae
g
e
isl_coal
e
sce
.
c
:
is_
a
dj_eq
_
exten
s
ion:
check
e
xtension
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
i
s
l_coale
s
ce
.
c: e
x
tend:
a
llow mu
l
t
iple relaxe
d
constr
a
ints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdo
o
l
aege
is
l
_coalesce
.
c: t
i
ghten_on_relaxed
_
facet:
allow multiple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Verdo
o
laege
i
s
l_coa
l
esce
.
c: is_adj_e
q
_extension: extra
c
t out extend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_coalesce
.
c
: check_adj_eq: extract out check_
s
ingle_adj_eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Verdoo
l
aege
isl_coalesce
.
c
:
extr
a
ct out shared fi
n
d functio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verd
o
olaege
isl_coal
e
sce
.
c
:
coalesc
e
_with_expande
d
_
d
ivs: mark ex
p
anded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaeg
e
isl_printer_pr
i
nt_const
r
a
int: print th
e
c
o
nstraint
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Verdoolaege
isl_out
p
ut
.
c: print_d
i
sjunct: ext
r
act out o
p
en_exists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoola
e
ge
isl_output
.
c:
n
eed_exists: take into account dump mo
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_out
p
u
t
.
c: need
_
e
x
ists
:
drop "bm
a
p" argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Ver
d
oo
l
aege
i
sl_output
.
c: extract out shared pr
i
nt_param_tu
p
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoola
e
g
e
isl_
o
utput
.
c: print_union_pw
_
qp
o
lynomial_fold_isl:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Verdoo
l
aege
isl_output
.
c: print
_
unio
n
_pw_q
p
o
l
ynomial_isl:
rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven V
e
r
d
o
olaeg
e
isl_output
.
c:
isl_union_map_print_isl: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-18
Sven Verd
o
olaege
isl 0
.
18
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-14
Sven Ve
r
doo
l
a
e
g
e
up
d
a
t
e
A
U
THORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-14
Sven Verdoola
e
ge
isl_test
.
c
:
drop debugging o
u
tput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-13
Sve
n
Verd
o
olaege
i
s
l_affi
n
e
_hull
.
c:
hid
e
internal d
r
op_c
o
nstra
i
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-12
Sven Verdoo
l
aege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2016-12-12
Sven Verdool
a
ege
is
l
_
basic_map_re
m
ove_redundancies
:
c
o
nsider
c
o
n
straints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-12
Sven
Verdoolae
g
e
ad
d
isl_ta
b
_restore_redundant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-12
Sv
e
n Verdoola
e
g
e
i
s
l_tab
.
c: perfo
r
m_undo_
v
a
r
:
extract out restore_last_redu
n
dant
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-12
Sven Verdoolaege
isl_convex_hull
.
c: fix typo in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-07
Sven Verdoolaege
isl_s
c
hedule_tree
.
c: add missin
g
copyrigh
t
statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-07
Sven Verdoolaege
transfer copy
r
i
g
ht
of isl_map
_
c
o
alesc
e
improvemen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-07
S
v
en Verdool
a
e
ge
tra
n
sfer
c
opyright of loo
p
coalesci
n
g handling in sched
u
l
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-02
Sven Verdool
a
ege
Merge branch 'mai
n
t
'
commit
|
commitdiff
|
tree
2016-11-29
Sve
n
Verdoolaege
int
e
rfac
e
/python
.
cc: document
o
rder of supercl
a
s
ses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-29
Sve
n
Verdool
a
ege
is
l
_class::print_
m
ethod_ov
e
rload: drop redundant "super
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-29
Sven Ve
r
d
oolaege
extract_interface: remove duplicate __isl
_
subclass
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-29
S
ve
n
V
e
r
d
oo
l
aege
isl_qpol
y
nomi
a
l_eval: hand
l
e void input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-28
Sve
n
Verdoola
e
ge
i
sl_vertice
s
.
c: tab_
f
or_shi
f
ted_cone:
allocate room
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-24
Sven Ve
r
dool
a
e
ge
Merge branch
'maint'
commit
|
commitdiff
|
tree
2016-11-24
Sve
n
Verdoolae
g
e
i
sl_
q
polyno
m
i
a
l
_set_dim_name:
ad
j
ust to
change
o
f space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-23
Sven Verdoolae
g
e
isl_po
l
yn
o
mial
.
c: re
d
uce_divs
:
do not
a
ssume input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-23
Sv
e
n
Verdoolae
g
e
i
s
l_polynomi
a
l
.
c: reduce_divs: u
s
e
isl_qpolynomial_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-23
Sven Verdo
o
laege
isl_polynom
i
al
.
c
:
reduce_divs:
u
s
e is
l
_qpolynomial_
d
oma
i
n_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-23
Sven V
e
rdoolaege
isl_
q
p
o
lynom
i
al_domain_dim: handle i
s
l_dim_
d
iv and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-23
Sven
Verd
o
o
lae
g
e
isl_qpolynomial
_
dim: extrac
t
out is
l
_qpolyn
o
mial
_
domai
n
_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-23
Sven Verdool
a
ege
privately add
isl
_
q
po
l
y
no
m
ial_domain_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-23
Sv
e
n Verdoola
e
ge
pri
v
a
tely add isl_mat_
z
ero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next