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: keep track of location of inserted integer division in undo stack
2016-07-19
Sven Verdoolaege
isl_tab: keep track of loca
t
ion
of inse
r
ted integer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n
Verdool
a
eg
e
isl_t
a
b
.
c: perf
o
rm_undo:
e
xtrac
t
out drop_bmap_d
i
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sv
e
n Verd
o
ol
a
ege
private
l
y exp
o
r
t
isl_basic_map_drop_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
S
v
en
V
e
rdoo
l
aege
is
l
_basic_map
_
drop_div:
a
dd memory management annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
S
ven Verdoolaeg
e
isl_
t
ab_pip
.
c: i
s
l
_
conte
x
t_op
.
free:
r
e
turn N
U
LL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaeg
e
isl
_
tab_pip
.
c: isl_context_op
.
add_div
:
r
eturn isl_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ve
r
doolaege
isl_tab_p
i
p
.
c: context
_
tab_add
_
div: return
i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoo
l
a
ege
i
sl_tab
_
pip
.
c
:
a
d
d_div
:
ad
d
m
e
m
ory manag
e
ment annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdoolaeg
e
isl_tab_pip
.
c: isl_conte
x
t_op
.
add_div: add memo
r
y manag
e
men
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-18
Sv
e
n Verdoo
l
aege
isl_tab_pi
p
.
c:
c
ontext_tab_
a
d
d_d
i
v: add memory man
a
g
e
m
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-18
S
ven Ver
d
oola
e
g
e
i
s
l_tab_p
i
p
.
c: set_from
_
affine
_
matrix: improve error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolae
g
e
i
sl_map_coalesce: ad
d
check that basic map an
d
tab
l
ea
u
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sve
n
Verdool
a
ege
isl_t
a
b_
d
etect_implicit_e
q
ua
l
ities: do n
o
t
add extra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
isl_tab
.
c
: cut_to_hyperplane: improve
e
rror
m
e
s
sage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
isl_ta
b
.
c: cut_to
_
h
ype
r
plane: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolae
g
e
isl_t
a
b
.
c:
c
lose_row: improv
e
error
m
e
ssage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdool
a
ege
isl_t
a
b
.
c: close_row:
i
m
prove error mess
a
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Ve
r
do
o
laeg
e
isl_tab
.
c: close_
r
ow: return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
export is
l
_pw_qpo
l
y
n
o
m
ia
l
_ev
a
l and i
s
l_union_pw_qpolynomial_eval
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
expo
r
t
i
sl_pw_qpolyn
o
mi
a
l_
d
o
m
ain and isl_union
_
pw
_
qpolynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdool
a
ege
export isl_basic_s
e
t_sample_point and isl_set_sa
m
ple_point
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven
V
erdoolaege
python interface: add type check t
o
_
_
str__ method
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdool
a
ege
pyt
h
on i
n
terfac
e
: isl_class::print_
m
et
h
od: extr
a
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en Verdoolaege
p
y
thon interface: isl_cl
a
ss::print_m
e
thod: update documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Ver
d
oola
e
ge
decl
a
re more isl_*_to_str functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven
V
erdoolaege
pyth
o
n int
e
rf
a
ce: isl_cla
s
s::
p
r
i
nt_method
:
ex
t
ra
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
erdoolae
g
e
e
xp
o
se isl_ast_n
o
de_
t
o_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
dump
isl_ast_expr and i
s
l_ast_node o
b
je
c
ts in bloc
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ver
d
oolae
g
e
isl_
s
c
h
edule
.
c: extract
out generic *_to_
s
tr and *_dump
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
ven Verdo
o
l
a
ege
isl
_
p
r
i
n
ter_pri
n
t_ast
_
node
:
includ
e
i
terator of for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaeg
e
i
s
l_pri
n
ter_print_ast_node: print isl_ast_n
o
de as YAML
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven V
e
r
dool
a
ege
isl_printer_
p
rint_ast
_
expr: su
p
port
a
n
isl for
m
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en Ver
d
o
ol
a
e
ge
isl_prin
t
e
r
_p
r
in
t
_ast_exp
r
: extract out print_
a
st_
e
xp
r
_c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ve
r
doola
e
ge
isl_ast
.
c: isl_prin
t
er_print_ast_
e
x
p
r: drop
n
eedl
e
ss
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verd
o
olaege
isl_as
t
.
c: remove more remnants of
c
ode removed b
e
fore
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n Verd
o
olaege
inter
f
ac
e
:
u
pdat
e
to
C
o
m
pilerInv
o
catio
n
::setLangDefaults
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
erdoolaege
Merge b
r
a
n
ch 'maint'
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
erdoolaege
isl
_
printer_print_ast
_
node: fix printing of mark nodes
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laege
i
s
l_m
a
p_is_e
q
ual:
f
irst check if inputs are obviously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdoola
e
ge
isl_*_
l
exopt: use actua
l
dom
a
i
n
o
f
input
a
s
i
n
i
ti
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n
Verdoolaege
add is
l
_basic_set_
l
e
x
min_c
o
mpute_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolaege
isl_map_
l
exop
t
*: co
m
pute optim
u
m over approximate dom
a
ins
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en
V
erdo
o
laege
isl_basic_map_le
x
opt*: postp
o
ne extrac
t
ion of domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
er
d
oolaege
i
s
l_*_l
e
xopt
*
: replace "max" argumen
t
by "flags"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_ta
b
_basic_map_p
a
rtial_
l
exop
t
*:
clean up err
o
r ha
n
dling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaeg
e
merge isl_
b
as
i
c
_*_p
a
rtial_lex* implementations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Ve
r
doolae
g
e
i
s
l_basic_m
a
p_lexo
p
t*: preini
t
ializ
e
dom
a
in in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laege
merg
e
i
s
l
_
tab
_
b
asic
_
map_part
i
al_
l
exopt* imple
m
e
n
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoolaege
rena
m
e
basic_map_partial_lexopt*
_
p
m
a to basic_map_par
t
ial
_
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
aege
r
ename basic_m
a
p
_partial_lexopt*_map to basic_m
a
p_p
a
rt
i
a
l
_
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
rename basic_map_partial_lexopt_
b
ase t
o
basic_ma
p
_p
a
rtial_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
V
e
rdoolaeg
e
add intermediate isl_tab_basic_map_partial_
l
exo
p
t_pw_mult
i
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n Verdoolaege
isl_basic_map_compatible_
d
omain:
r
e
tur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
isl_
s
pace
_
match: return i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
aege
isl_space_match:
rename "dim" arguments t
o
"
s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoolae
g
e
isl_space
.
c:
match:
renam
e
"d
i
m" argum
e
nts t
o
"space
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
is
l
_
b
asic_map
_
compatible_domain: add
m
emory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laeg
e
isl_basic_*_pa
r
tial_lex*: add memory ma
n
agement
a
n
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
a
ege
isl_tab_basic
_
map_
p
artial_lexopt
:
add memory
manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoola
e
ge
i
s
l_tab
_
pip
.
c: isl
_
context_
g
br_alloc:
a
dd m
e
mory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Ver
d
oolaege
isl_ta
b
_pip
.
c: isl_c
o
ntext_alloc: add me
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n Verdo
o
l
a
ege
isl_tab_pip
.
c
:
propagate_equalities:
r
em
o
ve undo tracking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
e
rd
o
olaege
add
i
s
l_tab_need_undo and isl_t
a
b_clear_undo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verdoolaege
isl_tab_
b
asic_map_
p
a
rt
i
al_lexopt: limit s
c
ope of symme
t
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en V
e
r
doola
e
ge
isl_test
.
c: generalize isl_map_lexmin t
e
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ve
n
Verdoo
l
aege
doc:
f
i
x typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
o
l
aege
doc: make r
e
ason
for isolate optio
n
resu
l
ting in a
n
chored
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
isl_
t
a
b_pip
.
c: par
a
llel_constraints: remove st
a
le line
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
is
l
_tab
.
c: fix
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
isl_*_partial_lex{min,m
a
x}_pw
_
m
ul
t
i_a
f
f: ha
n
dl
e
e
xistentiall
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
e
n
Verdoolaege
isl_tab_pip
.
c: sol
_
pma
_
add:
e
xtrac
t
out set_from_affine_
m
atrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdo
o
l
a
ege
a
d
d is
l
_bas
i
c
_set_
d
iv_is_kno
w
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verd
o
o
laege
add isl_bas
i
c_set_swap
_
div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add isl_
m
at_scale
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
e
n
V
erdoolaege
is
l
_pip:
allow existentially
q
u
a
n
tified variab
l
es in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoo
l
aege
pip
.
c
: set_plug_in_parameters: add memory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
pip
.
c; pl
u
g_in_par
a
me
t
e
r
s
: add
memory manag
e
ment annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdool
a
ege
pip
.
c: opt_at: add memory manag
e
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ve
r
doolaege
pip
.
c: opt_at: avo
i
d
a
cces
s
ing ctx field direct
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Verdoolae
g
e
ad
d
isl
_
basic_map
_
div_is_marked_unknow
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven V
e
rdoola
e
ge
i
sl_m
a
p
.
c: div_is
_
unknow
n
: return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-21
Sv
e
n
Ve
r
d
oolaeg
e
isl
_
sp
a
c
e
_find_
d
im_by_name:
check th
a
t dimens
i
on has
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoolaege
doc: clarify that isl_printer_get_str can only be used
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven
Verdool
a
ege
isl_ou
t
pu
t
.
c:
print_co
n
straints: avoid invalid acc
e
ss
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sv
e
n Ver
d
o
olaeg
e
i
s
l_output
.
c
: print_disjunct: avo
i
d invalid ac
c
ess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Ver
d
oolaeg
e
isl_ou
t
put
.
c
:
i
sl_
m
a
p
_print_
i
sl_body: handle
NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
S
v
en Verdoola
e
ge
isl_pr
i
nte
r
_
g
et_str: report er
r
or when
c
alled on wron
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-14
S
v
e
n
Verdoola
e
ge
doc:
c
lean
up extra files generated
b
y bibl
a
tex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolae
g
e
isl_s
c
h
edu
l
e_node_ban
d
_spli
t
: p
r
e
serve isolat
e
opt
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verd
o
olaege
add privat
e
isl_sche
d
ul
e
_
band_replac
e
_
ast_build_opti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
S
v
en Verdool
a
ege
u
se
i
sl_s
c
hedule_n
o
d
e
_band_get_ast_isolate_op
t
ion to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sv
e
n
Ve
r
d
oolaege
add isl_sched
u
le_ban
d
_get_ast_isolate_op
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoola
e
ge
isl
_
basic
_
ma
p
_re
m
ove_
r
edundancies: sort cons
t
raints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoola
e
ge
isl_coalesc
e
.
c: fuse: s
i
m
plify fused result imme
d
iatel
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolae
g
e
isl
_
c
oa
l
esce
.
c: fus
e
:
c
all isl_basic_
m
ap_f
i
n
a
lize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoolaege
isl_m
a
p_coalesce: chec
k
for protr
u
s
ions
o
n
adjacent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ver
d
oolae
g
e
isl_map_coalesce: all
o
w protrusions out of equality
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoolaege
isl
_
coalesce
.
c: wrap_in_facets: ext
r
act out t
r
y_wrap_in_fac
e
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_coalesce
.
c: can_wrap_in_se
t
: extract out type
_
of_relaxed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
Verdo
o
laege
isl_coalesce
.
c:
w
r
ap_
i
n_
f
ace
t
s: extrac
t
out wrap_in_facet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next