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_basic_map_lexopt*: postpone extraction of domain
2016-06-27
Sven Verdoolaege
i
s
l_basic_
m
a
p
_
lexopt*: pos
t
pone extraction of
d
om
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_*_lexo
p
t*: replac
e
"
m
ax" a
r
gument by "flags"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoola
e
ge
isl_tab
_
basic_ma
p
_p
a
rtial
_
lexopt
*
: clean up error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolae
g
e
merge
isl_basic_
*
_p
a
rtial
_
lex* i
m
pleme
n
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoola
e
ge
i
s
l_basic_map
_
lexop
t
*: preinitiali
z
e
d
omain in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verd
o
o
laege
merg
e
isl_tab_b
a
s
i
c_map
_
partia
l
_l
e
xopt* impleme
n
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
renam
e
basi
c
_map_partia
l
_l
e
xopt*
_
pma to basic_map
_
parti
a
l_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
rename basic_map_p
a
r
t
i
a
l
_l
e
xopt*_map to
basic_map_partial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
lae
g
e
rename basic_map_partial_lexopt_base to basic_map_partial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoo
l
aege
add int
e
rmediat
e
isl_t
a
b
_
basic_map_parti
a
l_lexopt_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n Verdool
a
ege
isl_basic
_
m
a
p
_compatible_domai
n
:
r
e
turn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laege
i
s
l_spa
c
e_match: r
e
turn isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
aege
isl_space_match
:
ren
a
me "dim" ar
g
uments
t
o "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Ve
r
doolaege
i
s
l_s
p
ace
.
c: match: re
n
ame "dim" argument
s
to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
Verdoolae
g
e
isl
_
b
asi
c
_ma
p
_compatible_do
m
ain:
add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
o
l
aeg
e
i
s
l_basic_*_p
a
r
tial_l
e
x*: add
memory management annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
e
r
doolaege
isl_tab_basic_ma
p
_
p
a
rtial_
l
exopt: add memory
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doolaege
i
sl_tab_pip
.
c: isl_
c
o
ntext_gb
r
_all
o
c
:
add memory manage
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdo
o
l
aege
isl_
t
ab_pip
.
c: isl_
c
o
ntext_
a
lloc: add memory
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
isl_ta
b
_pip
.
c: propagate_equ
a
litie
s
:
remove undo tracking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
add
i
sl_ta
b
_
ne
e
d_undo and isl_tab_c
l
ear_u
n
do
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaege
isl_tab_basic_map_partial_lexopt
:
l
imit scope
of sy
m
metry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doolaege
is
l
_tes
t
.
c
:
generalize i
s
l_map_lexm
i
n t
e
sts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
doc: fix t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
doc: ma
k
e reason for isol
a
te option res
u
lting in anc
h
ored
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sve
n
Verdoolaege
is
l
_tab_pip
.
c:
parallel_con
s
t
rai
n
ts:
r
emove s
t
ale
l
ine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven V
e
rdoola
e
ge
isl_tab
.
c
:
fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
S
v
en V
e
r
doolaege
isl_*_part
i
al_
l
ex{mi
n
,max}_
p
w
_
multi_aff: handle e
x
i
s
t
en
t
iall
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Verdo
o
laege
isl_tab_pi
p
.
c: sol_p
m
a_a
d
d: extract out set_fr
o
m_aff
i
ne_matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
e
r
doolaege
a
dd isl_basic_set_
d
iv_is_know
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verd
o
olaege
add isl_
b
asic_set_swap_
d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
Verdoolaeg
e
add isl_mat
_
scale
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Verdoolaege
isl_pip: allow exist
e
ntiall
y
quantified variables in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
pip
.
c: set_plug_in
_
pa
r
ameters
:
add
m
emory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaeg
e
pip
.
c
;
plug_in_parameters: add memory management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaeg
e
pip
.
c
: opt_at: add memory
m
anagem
e
n
t annotat
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoolaeg
e
pip
.
c
:
opt_at: avoid acces
s
ing ctx fie
l
d
direc
t
ly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add isl_ba
s
ic_map_div_is
_
mar
k
ed_unknown
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoola
e
ge
i
s
l_map
.
c: div_is
_
u
n
known: retu
r
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add n
e
w isl_a
s
t
_node_to_C_str function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add new i
s
l_ast_expr_to_C_s
t
r f
u
nction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ia
s
Gro
s
s
er
python i
n
terface: replace assert with explicit abort
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias Grosse
r
python
i
nterface:
r
e
place
assert
w
i
th explici
t
abort
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verd
o
olaege
doc:
clarify th
a
t is
l
_printer_get
_
str can onl
y
b
e
u
s
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-14
Sven Ve
r
doo
l
aege
doc: clean up extra files genera
t
ed by biblatex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
isl_sche
d
ule_node_band_sp
l
i
t
:
p
r
eserve
iso
l
ate
o
pt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verd
o
o
l
aege
a
dd
private isl_schedule_
b
and_replace_ast_b
u
ild_optio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
S
ven Verdoolaege
use isl_s
c
hedule_node_band_g
e
t
_
ast_isolate_opt
i
on to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
add isl_schedule_
b
and
_
get_ast_i
s
olate_o
p
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sv
e
n Ver
d
oolaege
isl_
b
a
s
ic_map_remove_redundancies: s
o
r
t
c
onstr
a
ints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven
V
e
rdoolaege
is
l
_coalesce
.
c: fus
e
: sim
p
lify fused
r
esult immediately
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
S
ve
n
Verdoolaege
isl_coalesce
.
c
:
f
u
se: call
i
sl_basi
c
_map_finalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdo
o
la
e
ge
isl_map
_
coal
e
s
ce: check fo
r
p
r
otrusio
n
s on adjacent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
erdoolaege
isl_ma
p
_
c
oalesce: allow
p
rotrusions o
u
t of equ
a
li
t
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdo
o
laege
isl_coal
e
s
ce
.
c: wrap_in_facets: extract out try_wrap_in_facets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
ven V
e
rdoola
e
ge
isl_coalesc
e
.
c:
can_wr
a
p_in_set: ext
r
act out type_of_rel
a
x
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_
c
oalesce
.
c: wrap
_
in_facets: extr
a
ct
out wr
a
p_in_facet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoolaege
isl_
c
o
a
le
s
c
e
.
c:
c
an_wrap_in_
s
et: mi
n
or simplification
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoolaege
isl_co
a
lesce
.
c: w
r
ap_in_facets
:
do not
pass in list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_map_coale
s
ce: tighten c
o
nstraint
s
of potential
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rdoolaege
is
l
_map
_
co
a
le
s
ce
:
al
l
o
w
general coalescing with e
x
pan
d
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en
V
erdoolaege
isl_coalesce
.
c
: co
a
lesce_w
i
th_expanded_divs: stor
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en Verdoolaege
isl_c
o
alesce
.
c: coalesce_l
o
cal_pair: allow
r
euse of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaeg
e
isl_co
a
lesce
.
c: coa
l
es
c
e_
l
oca
l
_pair: extract out set_ineq_st
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en Verdoolaege
isl
_
coalesce
.
c: coales
c
e_l
o
c
al_pair: ex
t
ract out set_
e
q_stat
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
d
o
olaege
isl_coalesce
.
c: coalesce_loca
l
_pair: extract out cl
e
ar_stat
u
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
ven V
e
rdoolaege
isl_coales
c
e
.
c: coa
l
e
sce_lo
c
al_pair: extra
c
t ou
t
init_status
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
erdoolaege
isl_coalesce
.
c: generalize check_coa
l
esce_subset to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
v
e
n Verdoolaege
a
dd isl_opti
o
ns_{get,set}_pip
_
symmetry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven Verdoolaege
add isl_basic
_
m
ap
_
expand_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sve
n
Verdoolaege
isl_
m
ap
.
c: f
i
x typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven Verdoolaege
isl_output
.
c: fix t
y
po in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven
Verdool
a
e
g
e
isl_ta
b
.
h: fix typo in
c
om
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-03
Sven Ve
r
d
o
o
laege
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2016-06-03
Sv
e
n
Verdoolaege
isl_
b
as
i
c_se
t
_
expand_
d
i
vs: on
l
y add div
c
onstraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven
Verdoolaege
i
s
l_c
o
a
lesce
.
c:
add_sub_vars:
e
xplicitl
y
ma
r
k adde
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
ven
Ve
r
doolaege
isl_coalesc
e
.
c: add_sub_vars: move "corr
e
ct" i
n
teger
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven
Ve
r
doolaege
isl_coalesce
.
c: wrap_in_fac
e
ts: a
v
oid inval
i
d access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven V
e
rdoolae
g
e
isl_p
r
inte
r
_
p
rint_map
:
print div
co
n
strai
n
ts ag
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
ven Verdoolae
g
e
isl
_
pr
i
nter_p
r
int_map: fix printing of affine
e
xpressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_
o
utput
.
c: print_dis
j
uncts: av
o
id
i
nvalid acc
e
ss
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_outpu
t
.
c
:
prin
t
_disjun
c
t: hand
l
e NUL
L
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verd
o
olaege
is
l
_vec_alloc:
p
lug
memo
r
y leak on er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
i
s
l_b
l
k
.
c: extend:
plug m
e
mory
l
eak on
e
rror pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
AST ge
n
eration: special cas
e
pure ou
t
er di
s
j
unctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
S
v
e
n Verdoolaege
a
dd isl_{set
,
map
}
_drop_cons
t
r
a
int
s
_n
o
t_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
a
d
d isl_{set,map
}
_p
l
a
in
_
unshifted_sim
p
le_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
AST generation: always pri
n
t braces ar
o
u
nd bod
y
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
S
v
e
n Verdoolaeg
e
is
l
_t
a
b
_
pip
.
c: find_solutions: extrac
t
o
ut
r
eset_any_to_unk
n
own
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
isl_map_*_simple_hull: ke
e
p resul
t
s in
a cache
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoo
l
aege
implement isl_set_free in terms of isl_map_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
implem
e
nt
is
l
_set_cow in terms of isl_ma
p
_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
implemen
t
isl
_
s
e
t
_alloc_space
i
n
terms
of
isl_m
a
p_alloc_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
isl_map_alloc_
s
pace: re
n
ame "di
m
"
a
rgument
t
o "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaeg
e
isl_set_allo
c
_space: rename "
d
im
"
argum
e
n
t
to
"s
p
ace"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
i
sl_pw_
m
u
l
t
i_
a
ff_from_map: avoid
c
o
m
p
uting all e
q
ualities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
isl_pw_mult
i
_aff_from_map: extrac
t
o
ut pw_multi_aff_from_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Tob
i
as
G
ross
e
r
Export isl_val arithmetic and
comparison methods
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ver
d
oo
l
ae
g
e
isl_
m
ap_simplify
.
c: int_between_boun
d
s: create
t
ableau
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-25
Sven V
e
rdoolaege
isl_map_
s
implify
.
c:
i
nt_betw
e
en_boun
d
s: special c
a
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next