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
doc: explicitly state that the divisor of an ?div_? operation is positive
2018-05-18
S
v
en
Verdoolaege
d
o
c: ex
p
licit
l
y state that the di
v
iso
r
of a
n
?div_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-18
S
ven Verdoolaege
doc:
f
ix typo in
annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-17
S
v
en Verdoolaege
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2018-05-17
Sven Verdool
a
ege
isl_m
u
lti_*_from_*_list:
use isl_multi_*_restore
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-17
Sve
n
Verdoo
l
aege
isl_multi_*_set_*: extra
c
t
out i
s
l_multi_*_rest
o
r
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-17
Sven
V
e
rd
o
o
l
a
eg
e
isl_multi_*
_
fro
m
_
*
_
list: fix p
a
r
a
mete
r
alignm
e
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-16
Sven Verdoolaege
.
gitign
o
re: add piplib
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-15
Sven
V
e
r
doolaege
explici
t
l
y mention is
l
_o
p
tions_{set,get}
_
ast_bu
i
ld_sepa
r
atio
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-12
S
ven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2018-05-12
Sve
n
V
e
rdoo
l
aege
i
sl_map_rea
l
ign:
ad
d
m
i
ssing
isl_m
a
p_unma
r
k
_nor
m
alized
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-12
Sven Verdoo
l
aege
isl_m
a
p
.
c: extr
a
ct out
sha
r
ed
isl_map_unmar
k
_normalized
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-12
Sven Verdoolaege
i
s
l_ma
p
.
c: remove_i
f
_
empt
y
: return
m
odified isl
_
map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-12
Sv
e
n Verdool
a
e
ge
isl_map
.
c: remove_if_empty: fi
x
t
ype of v
a
riable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-11
S
ven Ve
r
doolae
g
e
is
l
_map
_
coalesce
:
f
i
x strid
e
constrain
t
integer division
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-11
Sven Verdoolaege
isl_loca
l
_space_is_di
v
_constraint: e
x
tract out
is_linear_div
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-11
Sven
V
erdoolaege
isl_multi
_
uni
o
n_pw_aff_r
a
nge_
p
roduct: fix ha
n
dling
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-11
Sve
n
Ve
r
doolaeg
e
is
l
_multi_*_get_explicit_d
o
main:
e
xtrac
t
out isl_multi_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-07
S
ve
n
Verdoolaege
is
l
_pw_align_params_pw_*_and: drop u
n
u
s
ed vari
a
bles
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-05
Sve
n
Verdoolaege
isl_aff
.
c: d
r
op redundant define
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-02
S
v
en Verdoo
l
a
e
g
e
isl_
r
e
o
rde
r
ing: rename "dim
"
field
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-02
Sven Verdo
o
laege
extract
o
ut shared isl
_
reorde
r
i
n
g_ge
t
_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-05-02
S
v
en
V
erdo
o
laege
extract ou
t
s
hared isl
_
r
eorde
r
ing_peek_spac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-30
Sven Verdoolaege
isl_space_a
l
ign_para
m
s: impro
v
e error h
a
ndlin
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-28
Sven V
e
r
d
oo
l
aege
isl_ba
s
ic_map_realig
n
:
drop redundant call
t
o isl_basic_
m
ap_cow
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-27
Sv
e
n Verdoolaeg
e
isl_multi_union_pw_aff_multi_val_on
_
domain: set explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
Sven
V
erdoo
l
aege
incl
u
de/isl/set
.
h:
a
dd
missing
include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
Sven
V
erd
o
olaeg
e
include
/
isl/multi
.
h: add mi
s
sing inc
l
ud
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
Sven
Verdoolaege
i
sl/id
.
h: extract out isl/id_
t
y
p
e
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
Sven Verdoolaege
i
sl/space
.
h
:
e
xtra
c
t out isl/
s
pace_type
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
S
ven
V
erdoolaege
include/isl/v
a
l
.
h
: add m
i
s
sin
g
include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
S
ven
V
erdoolaege
include/
i
sl/
u
n
i
on_map
.
h:
ad
d
m
i
ssing inclu
d
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
Sven
V
erdoolaege
i
nc
l
ude/isl/aff
.
h: ad
d
m
issing include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
Sven Verdoolaege
A
U
TH
O
RS: c
h
ange Uday's name to Uday Bondhugula
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-23
Sven Verdoola
e
ge
isl_space_
c
heck_
n
amed_
p
a
r
a
ms: chang
e
error mes
s
age
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-23
Sven Verdoolaeg
e
isl_pw
_
templ
.
c:
e
x
trac
t
out shared isl_pw
_
*_ch
e
ck_named_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-23
Sven
V
e
r
d
oola
e
ge
add isl_p
w
_mult
i
_aff_
i
nvol
v
es_dim
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-23
Sven Verdoolaege
isl_pw_templ
.
c: r
e
m
o
ve unused con
d
iti
o
nal compil
a
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-18
S
v
en Verdoolaege
add isl_ma
p
_get_ra
n
ge_stride_i
n
f
o
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-18
Sven Verdoolaege
a
d
d
isl_aff_
d
omain_factor_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-18
S
ven Verdoo
l
aege
isl_
a
ff
_
project_
d
omain_
o
n_para
m
s: extrac
t
out d
r
op_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-18
Sve
n
Verdoolaege
a
dd isl_map_project_on
t
o
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-18
Sven
Verdoolaege
isl_str
i
de
.
c: detect_s
t
ride: improv
e
error h
a
ndling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-18
S
v
en Verdoolaeg
e
add isl_val_gt_si
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-18
Sven Verdoolaege
d
oc: fix typo in isl_set_get_stride
d
ocumentat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
S
ven Verdoolaege
i
s
l_tes
t
.
c: add
m
issing include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
S
ven
Verdoolaege
isl
_
schedule_
t
ree
.
c:
add missing inc
l
ude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven Verdool
a
ege
i
s
l
_
schedule_read
.
c
:
a
dd missin
g
i
n
clude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven Verdoola
e
ge
i
s
l
_
s
chedule_n
o
de
.
c:
add missing
inc
l
ude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven Verdoo
l
a
ege
isl_scheduler
.
c: add missing includ
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sve
n
Verdoolaege
i
sl_reordering
.
c:
add missing include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven Verdoolaege
isl_pw_templ
.
c:
a
dd missing
i
nclude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven Verdoolae
g
e
isl_p
r
inter
.
c
:
add
mis
s
ing
i
n
c
lud
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven
Verdoolaege
isl_multi_no
_
explicit_domain
.
c: add missi
n
g
incl
u
de
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven Ver
d
oolaege
isl_
m
ulti_templ
.
c:
a
d
d
missing
includes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven Verdoola
e
ge
isl_map
.
c:
a
dd mi
s
sin
g
include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven
V
e
rdoolaege
i
sl_loc
a
l_space
.
c: a
d
d missing include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven Verdoolaege
isl_local
.
c:
add missing include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven Verdoolaege
isl_id_to_pw_aff
.
c: a
d
d m
i
s
sing inc
l
ude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven V
e
r
d
oolaege
isl_id_to_id
.
c: add mi
s
sing include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven
V
e
rdoolaege
isl_
i
d
_to_ast_expr
.
c: add missing incl
u
de
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven Verdoolaege
isl_ast_graft
.
c: add missing incl
u
de
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven Verdo
o
laeg
e
isl_ast_codegen
.
c: add missing inc
l
u
d
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven Ver
d
oolaege
isl_ast
_
b
uild_expr
.
c: a
d
d
missing
in
c
l
u
de
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven V
e
r
d
oo
l
aege
isl
_
ast_build
.
c: add missing
i
nclude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
S
ven Verd
o
olaege
isl_ast
.
c
: add missing
i
nclude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-15
Sven Verdoolaege
isl_af
f
.
c: add m
i
ss
i
ng incl
u
de
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-11
Sven Verdoo
l
aege
isl_af
f
_set_tuple_id
:
fix check
f
or
type of tuple th
a
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-10
S
ven Verdoolaege
drop
I
S
L
_
DIM_H de
f
ines
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-07
Sv
e
n Ver
d
oolaege
isl_multi
_
union_pw_aff
_
extr
a
c
t_m
u
lt
i
_pw_aff: reu
s
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-07
Sv
e
n Verdoolaege
isl_union_pw_*_extra
c
t_pw_*: reuse isl_spa
c
e_
r
eplace_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-07
Sven Verd
o
o
laege
i
s
l_union_*_get_space: extract out i
s
l_uni
o
n_*_peek_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-07
S
ven
Verdool
a
e
g
e
isl
_
space_re
p
lace_params: check for
e
qual
p
arame
t
ers
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-05
Sven V
e
rdoolaege
isl_ast_bu
i
ld
_
no
d
e_fr
o
m_
s
chedule:
i
m
prove component
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-05
Sven Verd
o
o
laege
isl
_
map
.
c: basic_set_maximal
_
difference_at:
ext
r
act
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-03
S
v
en V
e
rdoolaege
doc
:
clarify
v
a
lue of (most) schedule ma
p
sch
e
d
u
le
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-02
Sven Ver
d
oolaege
isl_sch
e
dule
.
c: fix ty
p
o
in com
m
ent
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-02
Sven Ve
r
doola
e
ge
isl
_
con
v
ex_hull
.
c: fix ty
p
o
i
n comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-02
Sven V
e
rdoolaege
isl_ast_codegen
.
c:
f
i
x
t
y
p
os in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-02
Sven Verdool
a
ege
isl_ast_build_private
.
h: fix
t
y
p
os in co
m
ment
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-02
Sven Ver
d
oolaege
is
l
_
ast_b
u
ild_expr
.
c: fix ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-02
Sven
Verdoolaege
isl_ast_codeg
e
n
.
c: f
i
x typo in
const
r
uct_shifted_executed
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
add isl_pw_aff_eval
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
Sven V
e
rdoolaege
isl_test
.
c: test_un_val: extract out
val_
c
heck
_
equal
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
S
v
en Verdoolaege
i
s
l_pw_*_eval: do not
a
ssume default
v
alu
e
is ze
r
o
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
Sve
n
Verdoolaege
isl_pw
_
te
m
pl
.
c: extrac
t
out isl_pw_eval
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoola
e
ge
isl_pw_*_eval: clean up er
r
or
handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
Sv
e
n Verdoolaege
privately exp
o
r
t
i
sl
_
p
w
_*
_
peek spac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
S
v
en Verdoola
e
ge
isl_pw_*
_
eval:
f
ix type of varia
b
l
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
Sven V
e
rd
o
ol
a
ege
isl_af
f
_
get_domain_space: extr
a
ct out i
s
l_aff_peek_domain_spa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaeg
e
add
isl_local_space
_
peek
_
local
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdool
a
ege
isl_local_space_get_space: extract out i
s
l_local_sp
a
ce_peek_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
ad
d
isl_poi
n
t_{take,re
s
tore}_{s
p
ace,vec}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
Sven Ve
r
doolaege
add is
l
_point_{peek,get}_vec
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
Sve
n
Verdoolaege
isl_point_get_
s
pace: ex
t
ra
c
t out isl_po
i
n
t_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl
_
point_priv
a
te
.
h: pr
o
t
e
ct again
s
t mult
i
ple inclusi
o
n
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdo
o
l
a
e
ge
isl_qpolynomial
_
e
val: u
s
e isl_vec_add_
e
l
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolae
g
e
isl_local
.
c: extract out shared
i
sl_loca
l
_
c
heck_pos
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-18
S
v
e
n
Verd
o
ola
e
ge
move step closer to proper isl_loc
a
l type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-04
Sven
Verdoolaege
ke
e
p
tra
c
k
of domain in 0D
i
s
l
_multi_pw_
a
ff and isl
_
multi_un
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-04
Sven Verdool
a
ege
privat
e
l
y e
x
po
r
t isl_union_map_
p
e
ek_s
p
ace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next
