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_coalesce: tighten constraints of potential extension
2016-04-18
Sven
Ve
r
doolaege
schedule
c
onstruction: use only positive para
m
ete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
Sven Verdoolaeg
e
isl_scheduler
.
c:
e
xtract out shar
e
d node_va
r
_
coef_
o
ffset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-18
S
ven Verdoola
e
ge
i
s
l
_
schedu
l
er
.
c: extract
o
u
t shar
e
d
e
xtract_var_
c
oef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_scheduler
.
c
: coef_
v
ar_offset
:
minor
si
m
plification
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven
V
erd
o
olaege
is
l
_scheduler
.
c: extr
a
c
t
out
sha
r
e
d
co
e
f
_
va
r
_offs
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
i
s
l_scheduler
.
c: ext
r
act
out share
d
i
nter_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Ve
r
d
o
o
l
a
e
ge
isl_s
c
h
eduler
.
c: extract out
s
hared intra_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Ver
d
ool
a
e
g
e
isl_schedul
e
r
.
c: add_inter_pr
o
ximity_
c
o
nstr
a
ints: ret
u
r
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sv
e
n Verdoola
e
ge
isl_schedu
l
e
r
.
c: add_inter_validity_constr
a
ints: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
i
s
l_scheduler
.
c: add_intra_proximit
y
_constraints: r
e
turn
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
ven Verdoolaege
isl_scheduler
.
c:
a
dd_in
t
r
a
_validity_cons
t
raints: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sve
n
Verdoolaege
isl_scheduler
.
c: a
d
d_inter_cons
t
raints
:
rename
"
d
im
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven V
e
rdoolaege
isl_scheduler
.
c: add_inter
_
proximity_const
r
a
i
n
t
s
: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
is
l
_
s
ch
e
duler
.
c: a
d
d_inter_validi
t
y_
c
onstr
a
ints: re
n
a
me
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_sch
e
du
l
er
.
c: add_intra
_
co
n
strai
n
t
s
: re
n
ame "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdo
o
laege
isl_scheduler
.
c: add_intra_proximity_constra
i
nts: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaeg
e
i
s
l_sc
h
eduler
.
c: add_intra_validity_cons
t
rain
t
s: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven V
e
rdoolae
g
e
isl_scheduler
.
c: count_al
l
_constraint
s
:
minor simplific
a
tio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdo
o
laege
isl_scheduler
.
c
:
extract
out share
d
is_any_val
i
dity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sv
e
n Verdoolaege
is
l
_scheduler
.
c
: extract out sh
a
red
add
_
va
r
_sum_
c
ons
t
ra
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
ven Verdoola
e
ge
isl_sch
e
duler
.
c:
e
xtract out
shared
a
dd_p
a
ram_sum_constra
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoola
e
g
e
isl_sc
h
ed
u
ler
.
c: setup
_
lp:
ex
t
ra
c
t out add_sum_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
isl_scheduler
.
c: set
u
p_lp: extract
o
u
t
c
ount_bound_co
n
stant_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdo
o
lae
g
e
i
sl_scheduler
.
c: setup_lp:
e
xtract out
a
dd_
b
ou
n
d
_
cons
t
ant_
c
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verd
o
olaege
i
sl_sc
h
e
duler
.
c
: se
t
up_carry_lp:
r
etu
r
n isl_stat
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven
V
erdoolaege
i
sl
_
sc
h
eduler
.
c: setup_lp: return isl_sta
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoo
l
aeg
e
isl_schedu
l
er
.
c: setup_
l
p:
r
ename "d
i
m" variable t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en Verdoolaege
i
sl_aff_expand_divs: minor clean-
u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Ve
r
doolaege
isl_aff_exp
a
nd_divs
:
extra
c
t
out isl_v
e
c_expand
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdool
a
ege
isl_a
f
f
_ali
g
n_divs: skip extension if loca
l
spaces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sve
n
Verdoolaege
i
s
l
_aff_align_di
v
s: use isl_local_space_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
i
s
l
_aff_a
l
ign_divs: use isl_
l
ocal_space_
h
as_equal_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Ver
d
oolaege
isl_local_space_is_equal: extract out isl_local_space_h
a
s_eq
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en Ve
r
d
o
olaege
doc: exp
l
ain
that option schedule_split_scaled is only
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven
V
e
rdoola
e
ge
d
oc: cha
n
g
e
order
of sched
u
le options documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoolaege
d
oc: remove warning about
sched
u
ling interfa
c
e bein
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
S
v
en
V
erdoolaege
doc: update i
s
l_set_l
i
st_foreach_scc document
a
tio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sven Verdoola
e
g
e
d
o
c: add
missing comma
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-17
Sve
n
Verdoolaege
isl_schedule_node_free: up
d
ate document
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-14
Sv
e
n
Verdoolaege
isl_p
r
i
n
ter_yaml_s
t
art_mappin
g
:
h
andle NULL
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-14
S
v
e
n Verdoolaege
isl_sc
h
eduler
.
c: drop
superfluous
em
p
ty l
i
ne
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-14
Sve
n
Verdoolaege
isl_s
c
heduler
.
c
: fix whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-14
Sv
e
n
V
erdoolaege
is
l
_aff
.
c: fix
w
hite
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-05
Sven Verdoolaege
isl_map_par
t
ial_le
x
opt_aligne
d
: compu
t
e re
s
ul
t
as isl_pw_mu
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sve
n
Verdoolaege
a
d
d is
l
_
unio
n
_set_m
i
n_
m
ulti_union_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sv
e
n Verdoolaege
isl_ilp
.
c:
f
ix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven
V
erdoolae
g
e
isl_a
s
t_build_expr_from_pw_aff:
c
o
mbine pie
c
es with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
S
v
e
n
Verdool
a
ege
add isl_aff_eq
_
s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoolaege
add isl_aff_e
q
_
b
asic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sv
e
n
Verdoolaege
isl_map
_
*_sim
p
le_hu
l
l: sort
c
on
s
trai
n
ts be
f
o
re d
r
opping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdo
o
laege
isl_tab_detect_redund
a
nt: check later constraints
fi
r
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verd
o
olaege
i
sl_t
a
b_detect_r
e
dundant: extract out sel
e
c
t_marked
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verd
o
olaege
isl_map_g
i
s
t: special case su
b
set context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
Sven Verdoolaege
isl_
m
a
p
_simplify
.
c
: ma
p
_gi
s
t: extra
c
t out repl
a
ce_b
y
_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-01
S
ven Verdoolaege
d
o
c: ad
d
isl
_
options_
{
ge
t
,set}_schedule_maximi
z
e
_
coincide
n
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-30
Sven
Verdoolaege
Merge branch 'main
t
'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-30
S
ven Verdoolaege
isl_map_un
s
hifted_simple_hull
:
take into account
a
ll
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-29
Sven Verdoolaeg
e
declare more
i
sl_*
_
aff_to_
s
tr functio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-29
Sven V
e
r
doolaege
doc: rename
argument of
isl_multi_aff_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sv
e
n Verdoolaege
a
d
d i
s
l
_schedule_expand
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sve
n
Verdoolaege
add i
s
l_schedule_tree_s
e
t_pair
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoolaege
is
l
_schedule
_
no
d
e_gist:
d
rop identity expa
n
s
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven V
e
rdoolaeg
e
isl_schedule_nod
e
_gist:
e
xt
r
act
out gi
s
t_leave_expansion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven Ver
d
oolaege
i
s
l_schedule_node_band_sink: handle expansions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sve
n
Verdoolaege
isl_schedule_
*
_{
g
et,peek}_leaf: updat
e
documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven Ve
r
doolaege
add isl_schedul
e
_co
n
strain
t
s
_
a
pp
l
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven V
e
rdoolaege
ad
d
isl_sc
h
edule_constraints_get
_
pr
o
xim
i
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sv
e
n Verdo
o
l
a
e
ge
isl_schedule
r
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
S
v
e
n Verdoolaeg
e
a
d
d
isl
_
union_map_is_
i
dentit
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven Ver
d
oolae
g
e
add isl_map_is_identi
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
S
ve
n
Verdoolaege
isl_basic_ma
p
_g
i
st
:
simplify
s
tride c
o
nst
r
a
i
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven V
e
rd
o
olaege
a
d
d isl_mat_row_gc
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaeg
e
isl_
t
e
s
t
.
c
:
te
s
t_gist: check
i
ntern
a
l c
o
nsistency
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sve
n
Verdoola
e
ge
i
sl
_
map_sim
p
lify
.
c
: fix typo in c
o
mmen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
S
v
en Verdool
a
ege
isl_ast_build_expr_from_
p
w_aff: sort pi
e
ces accordi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaeg
e
is
l
_as
t
_build_expr_from_pw_a
f
f
: mov
e
co
m
put
a
tion of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaege
isl_as
t
_build_e
x
p
r_from_pw_aff: collect
a
ll p
i
eces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaege
isl_a
s
t_build_
e
xpr_from_pw_aff:
extrac
t
out set_none
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolae
g
e
isl_
a
s
t
_
b
uild_expr
.
c: fix typo in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-21
Sven Verdoola
e
g
e
M
e
rge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2016-03-18
Sve
n
Verdoolaege
isl_ast_cod
e
gen
.
c: se
t
_
f
o
r
_n
o
de_e
x
pressions: impro
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-18
Sv
e
n Verdoo
l
a
e
ge
isl_union_pw
_
multi_aff_fr
o
m_mu
l
ti_union_pw_af
f
: plug
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-18
Sven Verdo
o
laege
isl_pw_*_union_opt_cmp: a
v
oid constructing
a
quadratic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-18
Sven Verdo
o
lae
g
e
extrac
t
ou
t
s
h
a
red isl_pw
_
*
_union_op
t
_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-18
Sven Verdoolaege
add i
s
l_aff_{le,
g
e}_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdool
a
e
ge
isl_p
w
_*_coalesce: sort functio
n
value expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
S
ven Verdoolaege
isl_pw_*
_
n
ormalize: extract out isl_pw_*_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sv
e
n
Verdool
a
ege
isl
_
pw_*_n
o
rmalize: so
r
t pieces base
d
on function value
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdool
a
ege
i
sl_
p
w_*_normali
z
e
: use
i
s
l_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoola
e
ge
i
sl_pw_templ
.
c: fix
typo in c
o
m
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven V
e
rdoolaege
add isl_multi_a
f
f_plain_cm
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Ver
d
oolaeg
e
privat
e
ly ex
p
ort i
s
l_
a
ff_plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sve
n
Ver
d
oolaege
add isl_qpol
y
nomi
a
l
_
fo
l
d
_
plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sv
e
n
V
erd
o
ola
e
ge
a
d
d isl_q
p
o
lynomial_plain_
c
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoo
l
aege
isl
_
local_spac
e
_cmp: e
x
tra
c
t out is
l
_lo
c
al_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verd
o
olaege
isl_local
_
space_div_
i
s_known: extract out i
s
l_loc
a
l_div_is_known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven V
e
rdoola
e
ge
isl_lo
c
al_space_
d
ivs_
k
n
o
w
n: reuse isl
_
local_space_div_is_known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdo
o
lae
g
e
isl_local_spac
e
_div_is_known: return is
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdo
o
lae
g
e
a
dd AST generation test
case test_i
n
puts/co
d
egen/correlation
.
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdo
o
laege
is
l
_
ma
p
_partial_le
x
o
p
t_a
l
igne
d
_pw_multi_aff: do not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next