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
add isl_schedule_constraints_read_from_file
2016-09-04
Sven
V
erdool
a
ege
a
dd isl_sche
d
ule_constraints_read_
f
rom_
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Ve
r
doolaege
decla
r
e
i
sl_stream_r
e
a
d
_u
n
i
on_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolae
g
e
ad
d
isl_printer_pri
n
t_schedule_constraints
and
isl
_
schedule_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Ver
d
oolaege
isl
_
schedule_constraint
s
_du
m
p
:
us
e
YAML fa
c
ilities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Ve
r
d
oola
e
ge
i
s
l_s
c
h
edule_constraints_on_doma
i
n: extract o
u
t
i
sl_schedule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
i
s
l_sche
d
ule_c
o
ns
t
r
aints_on_domain: ex
t
r
a
c
t out isl_schedule
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sve
n
V
e
rdoo
l
aege
i
sl_
s
c
h
ed
u
l
e
_constraints
.
c: ex
t
ract out shared
isl_sched
u
l
e
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdool
a
ege
s
p
lit off isl_schedule_co
n
straints c
o
de
from sched
u
ler
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdool
a
ege
isl_sched
u
ler
.
c: com
p
ute_max_ro
w
:
use isl_schedule_c
o
nstrain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sv
e
n Verdo
o
laege
isl_scheduler
.
c: ex
t
ract out shared isl_schedule_con
s
traints_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
isl_sc
h
edu
l
er
.
c: graph_init
:
use isl_
s
che
d
ule_constraints_get
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sv
e
n Verd
o
ol
a
e
g
e
isl_s
c
hedu
l
er
.
c: extract out
s
hared isl_schedule_const
r
a
int
s
_
get
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaeg
e
isl_sched
u
ler
.
c: e
x
tract
o
ut
isl_sc
h
edule_
c
o
nstra
i
nts_n_ba
s
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
isl
_
s
c
heduler
.
c: com
p
ute
_
max_row: retu
r
n isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
isl_sc
h
eduler
.
c: isl_schedule_
c
onst
r
a
ints_n_map: drop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
i
sl_sche
d
uler
.
c: gra
p
h_init: use
isl_schedule_constraints_g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
add i
s
l_schedul
e
_constraints_get_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
S
ven Verdoolaege
doc
:
clarify that isl_codegen
c
an als
o
(primarily)
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
doc: clar
i
fy th
a
t
o
nly
p
olyt
o
p
e
/polyhedron
i
nput
s
may
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sv
e
n
V
erdoolae
g
e
isl_m
a
p_from_pw_m
u
lti_aff: preserve
r
a
tional
flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
a
d
d isl_{
s
et,
m
ap}_
i
s_ra
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
S
v
e
n
Verdoola
e
ge
add isl_ba
s
i
c_map_from_mul
t
i_aff2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
S
v
en
Ver
d
oola
e
ge
isl_basic_map_range_produ
c
t: pr
e
serve
r
ational
flag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Verdool
a
ege
is
l
_coalesc
e
.
c: fuse: mark re
s
ult as r
a
tional b
e
f
ore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sve
n
Verdoolaege
configur
e
.
ac: f
i
x de
s
cri
p
tion of S
E
T
L
A
NGDEFAULTS_TAKES
_
5_ARG
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
Verdoolaege
configure
.
ac: impr
o
ve detection o
f
5-
a
rgume
n
t set
L
angDefaults
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven
V
erdoolaege
inte
r
f
ace/extra
c
t_in
t
erface
.
cc: check
for pre
s
ence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-08-12
Sven Verdoolae
g
e
is
l
_map_
c
oa
l
esce: only
t
i
g
hten
n
o
n
-r
e
dundant constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-22
Sven
Verdo
o
laege
Mer
g
e
branch 'maint'
commit
|
commitdiff
|
tree
2016-07-22
S
v
en Verdoolaege
isl_basic
_
m
ap_offset
:
handle NULL
i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-22
Sven Verdoolaege
isl_basic_m
a
p_offset: rename "d
i
m"
variable to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-21
Sv
e
n Verdoolaege
interface/extra
c
t_interf
a
ce
.
cc:
add missing include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
doc: minor clarific
a
tion of ancho
r
ed subtrees
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdoolaege
isl_tab_pip
.
c
:
f
ix typos in c
o
mmen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdo
o
laege
i
sl_set
_
min_v
a
l: fix
h
andlin
g
o
f input with empty basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl_
*
_partial_lex{min,ma
x
}_pw_mu
l
ti_af
f
: remove exi
s
tent
i
als
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven
V
erdoolaege
isl_*_partial_lex{min,max}_pw_mult
i
_aff: fix handli
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
v
e
n
Ver
d
oolaege
add isl_ba
s
ic_set_first_unknown
_
div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven
V
e
r
doolaege
isl
_
t
a
b_pip
.
c: i
s
l_context
_
o
p
.
add
_
div: g
e
ner
a
lize to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven
V
erdoolaege
isl
_
tab
_
add_div:
extract
o
ut
i
sl_tab
_
insert_di
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n Verdoo
l
aege
isl_tab_add_di
v
: che
c
k size
o
f integer d
i
visio
n
de
s
c
ription
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verd
o
olaege
is
l
_
basic_map
_
add_div: gener
a
l
ize to
i
s
l
_basic_ma
p
_inse
r
t_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
ven Ver
d
o
o
l
a
ege
isl
_
ba
s
ic_map_add_div: ex
p
lici
t
ly zero out coefficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
e
xtrac
t
out shared isl_basic_m
a
p_add_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven
V
erdo
o
laeg
e
isl_t
a
b:
k
eep track of lo
c
ation of
i
nser
t
e
d
i
n
te
g
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
S
ven Ver
d
oolaege
isl_
t
ab
.
c
:
per
f
orm_undo: extract ou
t
drop_bma
p
_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ve
r
dool
a
eg
e
pr
i
va
t
ely
e
x
p
o
r
t isl
_
ba
s
ic_map_dr
o
p_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n V
e
rdoolaege
is
l
_basic
_
map_drop_di
v
: add memory manage
m
ent annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ve
r
doolaege
isl_tab_pip
.
c:
i
sl_
c
onte
x
t_op
.
free: return N
U
LL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaeg
e
isl_tab_p
i
p
.
c: isl
_
contex
t
_o
p
.
add_div: return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
is
l
_tab_pip
.
c
:
c
o
ntext_tab_
a
dd_div:
r
e
t
urn
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven
V
erdoolaege
isl_tab_p
i
p
.
c: add_
d
iv:
a
dd memory m
a
nag
e
m
e
nt
a
nnotation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdo
o
laege
i
sl_tab_p
i
p
.
c
:
isl_cont
e
xt_op
.
add_div: add memory mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
Sven Verdo
o
laege
i
s
l_tab_pip
.
c:
context_tab_ad
d
_div:
a
dd mem
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-18
S
v
e
n Verdoolaege
is
l
_
t
a
b
_p
i
p
.
c: set_fr
o
m_a
f
fine_ma
t
rix: i
m
prove error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven
V
erdoolaege
isl_ma
p
_
c
oa
l
esce: add
c
heck that
b
asic map and tableau
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Ve
r
doolaege
isl
_
tab_
d
etec
t
_implicit_equalities: d
o
not
add
ex
t
ra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaeg
e
is
l
_tab
.
c:
cut_to_hyperplane:
im
p
rove error
m
e
ssage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
isl_tab
.
c: cut_
t
o_
h
yperplane: retu
r
n
i
sl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdool
a
ege
isl_tab
.
c: close_ro
w
:
i
mpro
v
e
e
rror message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdo
o
lae
g
e
isl_tab
.
c
: close_row:
i
mpr
o
ve error m
e
ssag
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-14
Sven V
e
rdoo
l
a
ege
i
sl
_
tab
.
c: close_row: retu
r
n isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven
Verdoolaege
e
x
port is
l
_
p
w_qpolynom
i
al_eval and i
s
l_union_pw_qpol
y
nomial_
e
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoola
e
ge
export isl_
p
w_qpolynomial_domain and i
s
l_union_pw
_
qpo
l
y
n
omia
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en Verdoolaege
ex
p
ort
i
sl_basic_set_
s
am
p
le_point and isl_set_sample_point
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
v
e
n Verdoolaege
p
ython
interface: add ty
p
e c
h
eck to __str__ methods
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdo
o
laeg
e
python
interface: isl
_
class::print_metho
d
:
extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven V
e
rdoolaege
p
y
t
hon interface: is
l
_
c
l
ass::print_met
h
od: upd
a
te documen
t
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sve
n
Ve
r
do
o
laege
declare more is
l
_*
_
to_str functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
S
ven Verdoolaeg
e
python in
t
erfa
c
e: isl_class::print_me
t
h
od: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolae
g
e
isl_
p
w_aff_rea
d
_from_str
:
handle 0D domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en Verdoola
e
g
e
expose isl_
a
st_node_to
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en Verdool
a
e
ge
dump isl_ast_expr a
n
d is
l
_ast
_
node objects in block
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ve
r
doolaege
isl_
s
chedule
.
c: extract out generic *_to_
s
tr and *_du
m
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
erdoolaege
isl_pri
n
t
e
r
_print
_
ast_node
:
i
nclude itera
t
or of for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
e
rdool
a
ege
isl_printer_pr
i
nt
_
ast
_
node: p
r
int isl_ast_node as
YAML
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_printer_
p
r
i
nt_a
s
t
_
expr: su
p
port an isl f
o
rmat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_printer_print_ast_expr:
e
xtract out print_ast_expr_c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdool
a
ege
i
s
l
_ast
.
c
:
isl_pr
i
nter_print_
a
st_expr
:
d
rop needless
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ver
d
oola
e
ge
isl_a
s
t
.
c: r
e
mo
v
e mo
r
e
r
emna
n
t
s of code r
e
m
oved b
e
for
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ve
r
d
o
ola
e
ge
interface:
update to
C
o
mpilerInvocation::setLangDef
a
ults
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en Verdoolaege
Merge b
r
anch 'mai
n
t'
commit
|
commitdiff
|
tree
2016-06-28
Sven Ve
r
doolaege
is
l
_
print
e
r_pr
i
n
t_ast_
n
od
e
:
f
ix printing of mark n
o
d
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaeg
e
isl_map_is_equal: firs
t
check if inputs
a
re obviousl
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
do
o
laege
isl_*_lexopt: use actual domain o
f
input as initial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaeg
e
a
dd
i
sl
_
b
asic_set_le
x
m
in_compute_
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
o
ol
a
ege
isl_map
_
le
x
o
pt*
:
compute
o
ptimu
m
o
v
e
r approxima
t
e dom
a
in
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_bas
i
c_map_lexopt
*
: postpone extr
a
ction
of
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoola
e
ge
isl
_
*_lex
o
pt*
:
r
e
place
"
max" argument by "flags"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaege
isl
_
tab_basi
c
_map_partial_lexo
p
t*: clean up e
r
ror
hand
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verd
o
olaege
merge isl_basi
c
_*_partia
l
_lex* i
m
pleme
n
tatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdool
a
ege
isl_basic_ma
p
_le
x
o
pt*: p
r
einitial
i
ze domai
n
in th
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaege
m
e
rge
isl_ta
b
_basic_m
a
p_
p
art
i
al_lexopt*
i
mplementations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
r
e
n
ame basic_map_partial_lexopt*_pma
t
o ba
s
ic_map_par
t
ial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
V
erdoolaege
ren
a
me b
a
sic_
m
a
p_parti
a
l_l
e
xopt*_map
t
o basic_map_partial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
r
ename basic_map_part
i
al
_
lexo
p
t
_
ba
s
e to basic_m
a
p_par
t
ial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
ven
V
erdoolaege
a
dd
intermediate isl_tab_basic_ma
p
_partial_le
x
o
p
t_p
w
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_basic_map_compa
t
ib
l
e_domain: return isl_
b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laeg
e
isl_space
_
ma
t
ch: retu
r
n isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
isl_space_
m
atch: rename "dim" arguments
to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next