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-06-27
Sven
Ver
d
o
olaege
isl_basi
c
_map_lexopt*
:
postpone extractio
n
of domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
aege
i
s
l
_
*
_
l
exo
p
t*: replace "max
"
a
rgument by "
f
lags"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
V
e
rdo
o
la
e
g
e
i
s
l
_
tab_b
a
sic_map_partial_lex
o
p
t
*
: c
l
ean u
p
e
rror handlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Ver
d
o
olaeg
e
merge isl_basi
c
_
*_partial_lex* implementation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
is
l
_basi
c
_map_lex
o
pt*: p
r
e
in
i
tiali
z
e domain
in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdo
o
laege
mer
g
e i
s
l_tab_basi
c
_map_partial_le
x
opt* impleme
n
tations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
e
g
e
rena
m
e basic_map_
p
artial_
l
exo
p
t*_pma to basic_map_partial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verdoo
l
a
e
ge
rename bas
i
c_
m
ap_
p
art
i
al_le
x
opt*_
m
a
p
to basic_map_
p
artial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoola
e
ge
ren
a
me basi
c
_
m
a
p_partial_l
e
xopt_base to basic_ma
p
_partial_le
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
add inter
m
edi
a
te isl_tab_
b
asic_map_p
a
r
tial_lexopt_pw_mul
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
s
l_
b
asic_map_compa
t
i
b
le_domain: return
isl_boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl
_
space_
m
a
t
c
h: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verd
o
olaege
isl_s
p
ace_match:
r
e
name "dim" a
r
gume
n
ts to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n
Ver
d
oola
e
ge
isl_s
p
ace
.
c: match
:
ren
a
me "dim"
a
rg
u
ments to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolaege
i
s
l_basic_m
a
p_c
o
m
p
a
tible_domai
n
: add memory
m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
a
e
g
e
isl_basic_*_
p
arti
a
l_lex*: add
m
e
mory ma
n
ageme
n
t annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
s
l_tab_
b
a
sic_map
_
partial_l
e
xopt:
a
dd memory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaege
isl_tab_p
i
p
.
c:
i
sl
_
context_gbr_alloc: add me
m
ory m
a
nagemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Ver
d
oola
e
ge
i
s
l_tab_pip
.
c
:
i
sl_context_all
o
c
: add
m
e
m
ory mana
g
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
ola
e
ge
isl_tab_
p
ip
.
c: propagat
e
_equalities: remove undo tr
a
cking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoola
e
ge
add isl_tab_need_undo and i
s
l_tab
_
cl
e
ar
_
undo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdool
a
ege
isl_tab_basic_map_partia
l
_le
x
opt: limit sco
p
e
of symm
e
try
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
isl
_
t
e
s
t
.
c: generalize isl_ma
p
_lex
m
in
t
ests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n
Verdoolaeg
e
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
doc: make re
a
son for isolate
op
t
ion re
s
ulting in an
c
hored
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
i
sl_tab_pip
.
c: pa
r
all
e
l_constraints: remove st
a
le line
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sv
e
n Ve
r
d
o
o
l
aege
isl_tab
.
c: fix typo
i
n comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoola
e
g
e
isl_*_partial_lex{min,max}
_
pw_multi_aff: handle ex
i
s
t
entia
l
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Verdoolaege
isl_tab_pip
.
c
:
sol_pma_add: extract out set_from_a
f
fine_matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
erdoo
l
aeg
e
a
d
d isl_basic_set_div_
i
s_
k
nown
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ve
r
d
oolaege
add
i
sl_basic_set_swap_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Verdoolaeg
e
add isl_mat_scale
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ver
d
o
o
l
aege
isl_pip: allo
w
e
x
ist
e
ntia
l
ly q
u
antified v
a
ria
b
les
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ve
r
d
o
olae
g
e
pip
.
c: set_p
l
ug_in_p
a
r
ameters: add
m
emory
m
a
na
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven
Verdoolaege
pip
.
c; plug_
i
n_p
a
ramete
r
s: add memory management an
n
o
t
ations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en V
e
rdoolaege
pi
p
.
c: opt_at
:
ad
d
mem
o
ry management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Verdool
a
ege
pip
.
c: opt_at: av
o
id accessing
ctx field directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven V
e
rdoolaege
add isl_
b
asic_map_div_is_mark
e
d
_unkno
w
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verd
o
ola
e
ge
isl_map
.
c: div_is_
u
nknown:
return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
as Grosser
Add
n
e
w
i
sl_ast_n
o
de_t
o
_C_
s
tr fu
n
c
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add new isl_ast_expr_to_C_str function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Tob
i
as Grosser
python interf
a
ce: replace assert with explicit
abort
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-22
Tobia
s
G
rosser
p
yth
o
n interface: replace assert with explicit abort
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-21
Sven
V
e
rdoo
l
aege
is
l
_space_find_dim_by_na
m
e:
chec
k
that dimension ha
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven
V
erdoolaege
doc: clarify that isl
_
printe
r
_get_s
t
r ca
n
o
n
ly
be used
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sve
n
Verdoolaege
isl_output
.
c:
print_constraints: avoid
invalid
a
ccess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
S
ven Ve
r
doolaege
isl_output
.
c:
p
rint_d
i
sjunct: avoid invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
S
ven Verdo
o
lae
g
e
isl_output
.
c
: isl_map_print_isl_body:
h
a
n
dle NULL
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoolaege
isl_printer
_
get
_
s
t
r
:
re
p
ort error when called
o
n wrong
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-14
Sve
n
Verd
o
o
laege
doc:
clean up
extra fil
e
s generated by bib
l
atex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoo
l
aege
isl_schedule_n
o
de_ban
d
_
s
pl
i
t: preserve isola
t
e
option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sve
n
Ver
d
oolaege
add private i
s
l_schedul
e
_
b
and_repla
c
e_
a
st_
b
u
i
l
d
_opti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoola
e
ge
u
s
e isl
_
schedu
l
e_node_band_get_
a
st_isolate_option t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdool
a
ege
add isl_sc
h
edule_band_g
e
t_ast_isol
a
te_option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sven
Verdoolaege
isl_basic_map_re
m
ove_redun
d
anc
i
es: s
o
rt co
n
straints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
S
v
en Ve
r
doola
e
ge
isl_coales
c
e
.
c: fuse: si
m
p
l
if
y
fused res
u
lt i
m
mediate
l
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-11
Sve
n
Verdoolaege
isl_coal
e
sce
.
c: fuse: ca
l
l
isl_
b
asic
_
map_finalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Verdoo
l
aege
is
l
_map_coalesc
e
:
check
fo
r
p
rotrusions
on a
d
jacent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
r
d
oolaege
i
s
l_map
_
coalesce: allow protrusions out of eq
u
ality
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verd
o
olaeg
e
isl_coalesce
.
c
: wrap_in_facets
:
extrac
t
out try_wrap_in_facets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoola
e
g
e
isl
_
coalesc
e
.
c: can_wrap_in_s
e
t
:
extr
a
c
t
out type_of_relaxed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
is
l
_
co
a
lesce
.
c:
wrap_in_facets
:
extr
a
ct out wrap
_
in_face
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoola
e
ge
i
s
l_coa
l
e
s
ce
.
c: can_wra
p
_in_s
e
t: minor simplifi
c
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n
Ve
r
doolaege
isl_coalesce
.
c
:
wrap_i
n
_facets:
d
o not pas
s
in list
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
i
s
l_map
_
c
o
alesce: tighten constraints o
f
potential
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n
V
erdo
o
laege
isl_map_coal
e
sce: a
l
low
g
eneral coalescing
w
ith
exp
a
n
ded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_coa
l
esce
.
c
:
coa
l
esce_w
i
th
_
expanded_divs: sto
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
i
s
l_coalesc
e
.
c: co
a
lesce_loca
l
_pair: allow reuse of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Ver
d
oolaege
isl
_
coalesce
.
c
:
coalesce_loc
a
l_
p
a
ir: ex
t
rac
t
out
s
et_ineq_st
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
do
o
l
aege
isl_coalesce
.
c: coa
l
e
s
ce_local_pair:
e
xt
r
act out set_eq_stat
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Verdoola
e
g
e
i
s
l_coalesce
.
c: c
o
alesce_local_pair: ext
r
act out clear_status
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaeg
e
isl_coalesce
.
c: coalesce
_
local_pair: extra
c
t
out init_status
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
erdoo
l
aege
i
s
l_c
o
alesce
.
c: g
e
neralize check_co
a
lesce_su
b
set to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoolaege
add
i
s
l
_options_{get,set
}
_pip_sym
m
etry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven
V
erdool
a
ege
ad
d
is
l
_
basic_map_expand_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sv
e
n Verdoolaege
isl_map
.
c: f
i
x typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven
V
e
rdoolaeg
e
isl_outp
u
t
.
c
: fix t
y
po in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-07
Sven Ve
r
doolaege
isl_t
a
b
.
h: fix typo in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-03
S
ven Verdoolaege
Mer
g
e branch '
m
a
i
n
t'
commit
|
commitdiff
|
tree
2016-06-03
Sven Verdool
a
ege
isl_basi
c
_
s
et_expand_d
i
vs: o
n
ly
a
dd
div constrai
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n Verd
o
olaege
isl_coa
l
e
s
ce
.
c: add_sub_va
r
s: explicitly
mark added
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Ve
r
doolaege
isl_coale
s
c
e
.
c: add
_
s
ub
_
vars: move "correct" integ
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en Verdoolaege
i
sl_c
o
ale
s
ce
.
c
:
w
r
ap_in_facets: avoid
i
nvalid a
c
ces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Ve
r
doolaege
isl_printe
r
_print_map: pri
n
t div co
n
straint
s
again
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoola
e
ge
isl_pr
i
nter_prin
t
_
ma
p
: fix p
r
inting of a
f
fi
n
e
e
xpressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl
_
o
ut
p
ut
.
c:
p
rint_disjuncts: avoid i
n
v
ali
d
access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sve
n
Verd
o
o
l
aege
isl_o
u
tput
.
c
: print_disjunct: handl
e
NULL i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdo
o
la
e
ge
isl_vec_alloc: plug me
m
ory
l
eak
on error pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-02
S
v
e
n Ve
r
doo
l
aege
is
l
_
bl
k
.
c: extend: plug m
e
mory
leak on e
r
ror
p
a
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
S
v
e
n Verdool
a
ege
AST generatio
n
: special ca
s
e pure ou
t
er disjunctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
add is
l
_
{
set,map}_
d
r
o
p
_const
r
aints_not_invol
v
ing
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
add i
s
l
_
{set,map
}
_plain_un
s
hifted_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven
V
e
r
do
o
laege
AST ge
n
era
t
ion:
always pr
i
n
t br
a
ces a
r
ound body of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verd
o
olaege
isl_t
a
b_p
i
p
.
c: fi
n
d_solutions: extrac
t
out
reset_a
n
y_to_unknown
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven V
e
r
d
oolaege
isl_map
_
*_simple_hull: k
e
ep resul
t
s in a cache
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
S
v
en V
e
rdoolaege
imple
m
e
n
t isl_s
e
t_fr
e
e in t
e
r
m
s
o
f isl_map_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
implement isl_se
t
_co
w
in terms of isl_map_c
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdool
a
e
g
e
im
p
lement
i
sl_set_alloc_space in
ter
m
s
o
f isl_map_alloc_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Ver
d
oo
l
aege
is
l
_map_alloc_space:
r
e
nam
e
"dim"
argum
e
n
t t
o
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-30
Sven Ve
r
d
o
olaege
i
sl_set_a
l
loc_space: r
e
n
a
me "dim" argument t
o
"space
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next