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_space_match: return isl_bool
2016-06-27
Sven Verd
o
olaege
isl
_
space_match: return isl
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doo
l
aege
i
sl_spa
c
e_matc
h
: rename "dim" argu
m
ents t
o
"
spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_sp
a
ce
.
c: matc
h
: re
n
a
m
e "dim"
a
r
guments to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaeg
e
isl_basic_ma
p
_compat
i
ble_dom
a
in: add me
m
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
V
erd
o
olaeg
e
isl_basic_
*
_
p
artial_lex*: add mem
o
r
y
managem
e
nt
annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verd
o
olaege
isl
_
tab_basic
_
map_parti
a
l_lexopt: ad
d
memory man
a
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoolaege
isl_tab
_
pip
.
c: isl_conte
x
t_gbr_a
l
loc: add memory mana
g
emen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_
t
ab_pip
.
c: isl_context_alloc:
add memory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en V
e
r
d
oolaege
isl_tab_pip
.
c: propagate_
e
qualiti
e
s: r
e
move undo tr
a
cki
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laege
add isl_
t
a
b
_n
e
ed_undo and
i
sl_tab_cl
e
ar_undo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_tab_
b
asic_
m
a
p
_
p
a
rtia
l
_l
e
xopt: limit scope of symmetry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdoolaege
isl_test
.
c: generalize isl_map
_
lexmin t
e
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolaege
doc: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
doc: make reason for
isolate option
r
esulting in anchored
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdo
o
laege
isl
_
tab
_
pip
.
c: parallel_
c
ons
t
raints: remove sta
l
e
l
ine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
i
s
l_
t
ab
.
c: fix ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sve
n
V
e
r
doolaege
isl_
*
_partial_lex{min,max}_
p
w_multi_aff:
h
andle ex
i
s
t
ent
i
a
ll
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Ver
d
oolaege
is
l
_tab_
p
ip
.
c: so
l
_
p
m
a
_
add: extract out se
t
_fro
m
_af
f
ine_m
a
trix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
erdoolaege
add isl_
b
asic_set_div_is_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdo
o
laege
add isl_basi
c
_se
t
_s
w
ap_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Verdoolaege
add isl_mat_s
c
ale
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ve
r
doolaeg
e
isl_pip: allow existentia
l
ly quantified variables
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Verdoolaege
pi
p
.
c: s
e
t_plug_in
_
parameters:
a
d
d
memory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
e
r
doolaege
pip
.
c; p
l
ug_in_
p
a
r
ameters: add m
e
m
o
ry
m
anage
m
ent annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
e
r
d
oolae
g
e
pip
.
c: opt_at: add me
m
ory
m
a
n
agement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Ver
d
oolaege
pip
.
c
: op
t
_a
t
:
avoid acc
e
ssing ctx
f
i
eld
d
irectly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
e
n
V
e
rd
o
o
laege
add
i
sl_basi
c
_map_div_is_marke
d
_
unknown
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
erdoolaege
isl_map
.
c:
d
i
v_is_unknown: return isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven
V
erdoolaege
doc: clarify that is
l
_
p
r
inter_get_str can o
n
ly be used
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-14
Sve
n
Verdoolaege
doc:
c
lean up extra
f
iles
g
e
nerated b
y
biblatex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
i
sl_
s
che
d
ul
e
_node_band_split: preserve isolate opt
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sv
e
n
Ve
r
doolaege
add private i
s
l_schedule_ba
n
d_re
p
lace
_
as
t
_build_option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaeg
e
us
e
isl_schedu
l
e_node_
b
a
n
d_get_ast_isolate_option to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sv
e
n Verdoolae
g
e
add isl_sc
h
edule_band_get_ast_isolate_option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
isl_basic_map_remove_redund
a
ncies: sort constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
S
v
e
n V
e
rdoolaege
isl
_
coalesce
.
c:
f
use: sim
p
lify fused
result
i
mmediat
e
l
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sv
e
n Verdoolaege
isl_coalesc
e
.
c
:
fuse: call isl_basi
c
_map
_
finali
z
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdool
a
e
ge
isl_map_coalesce: che
c
k for prot
r
usions
o
n
adjacent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
i
sl_map_coalesce: allow protrusions out
o
f
equality
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Ve
r
doolaege
i
sl_coalesc
e
.
c: wrap_in_facets: ext
r
a
ct
o
u
t try_
w
rap_in_facets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_coalesce
.
c
:
c
an
_
w
r
a
p
_in_
s
e
t
:
extract out type_
o
f_relaxe
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoolaege
isl_coalesc
e
.
c:
w
r
ap_in_f
a
cets
:
extract
out
w
rap_in_facet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_coalesce
.
c
: can_wrap_in_set
:
m
i
nor si
m
pli
f
ication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
r
doolaege
i
s
l_coale
s
c
e
.
c: wrap_in_facet
s
: do not pas
s
in list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdo
o
l
aege
i
s
l
_map_coalesce: t
i
ghten constraints
of potential
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rdo
o
laege
isl_map_coalesce: allow gen
e
ral coalescing wit
h
ex
p
an
d
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
erdoolaege
isl_coalesce
.
c:
coa
l
esce_
w
ith_e
x
p
anded_divs: store
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
Verdoolaege
isl_coalesce
.
c: coalesce_local_pair: allow reu
s
e of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoo
l
a
e
ge
isl_coalesce
.
c: coalesce_loca
l
_pair: extra
c
t out set_ineq_st
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ver
d
oolae
g
e
isl
_
coa
l
esce
.
c:
coalesce_local_pair:
e
xtract out set_eq_stat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_
c
oalesce
.
c: coal
e
sce_loc
a
l_pair:
extract out clear_status
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoo
l
aege
isl_coalesce
.
c:
c
oalesce_l
o
cal_pair: extract out init_st
a
tus
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoola
e
g
e
isl
_
co
a
lesce
.
c:
g
eneralize check_coalesc
e
_subset to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdo
o
laege
ad
d
isl_options_{get
,
set}_
p
ip
_
sy
m
met
r
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven
Verd
o
ol
a
ege
add
i
s
l_bas
i
c_m
a
p
_
e
x
pand_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven V
e
r
d
oolaege
isl_map
.
c: fi
x
ty
p
o
s
i
n co
m
ment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven Verdo
o
laeg
e
isl_ou
t
put
.
c: f
i
x typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven Verdoolaege
isl_tab
.
h: f
i
x typo in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-03
Sven Verd
o
o
l
a
ege
Merge branc
h
'm
a
int'
commit
|
commitdiff
|
tree
2016-06-03
Sv
e
n Verdoolaege
isl
_
basic_se
t
_expa
n
d_
d
ivs
:
o
n
ly add d
i
v
constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_coa
l
esce
.
c: add_sub_vars: explicitly mark a
d
ded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Ve
r
d
o
o
l
aege
isl_c
o
a
l
esce
.
c: a
d
d_sub
_
v
ar
s
: m
o
ve "correct" integer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdo
o
laeg
e
isl_coales
c
e
.
c
:
wra
p
_in_facet
s
: avoid inval
i
d acce
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
i
sl_pr
i
nter_pri
n
t_ma
p
: print
d
i
v
constraint
s
ag
a
in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Ve
r
doolaege
isl_printe
r
_p
r
int_map:
f
i
x pri
n
t
i
ng of
a
ffine expr
e
ssi
o
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_out
p
ut
.
c: print_disjunct
s
: avoi
d
invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Ve
r
doolaege
i
sl_output
.
c: print_dis
j
unc
t
: handle NULL inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_v
e
c_alloc: p
l
u
g memory
leak on
e
rror p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
isl_blk
.
c:
e
x
te
n
d: plug memory leak on
e
rror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
v
en
V
e
rdoolaege
AST generation: special c
a
s
e pure
o
ute
r
d
i
s
j
unctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
ve
n
Verdo
o
laege
add isl_{set,map}_drop_con
s
traints_
n
ot_inv
o
lving_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Ver
d
oolaege
a
dd
i
sl_{set,map}_
p
l
a
in_unshifted_
s
imple_
h
ul
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Ve
r
doolae
g
e
A
ST
g
ener
a
tion: always print brac
e
s around body o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdo
o
laege
isl_tab_pip
.
c
:
find_solutions: ex
t
r
a
ct
o
ut r
e
set_an
y
_to_unknow
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sv
e
n Verdoolaege
isl_map_*_simple
_
hull:
k
eep res
u
lts in a cache
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
ven
Verd
o
olaege
implement isl_set_free i
n
t
erms of isl_map_
f
ree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
v
en Verdoolaege
im
p
lement isl_set_cow in terms of isl_map_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdo
o
laege
implement isl_set_alloc_space in terms
o
f isl_m
a
p
_alloc_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
isl_map_alloc_space: rename "dim" argume
n
t t
o
"spa
c
e"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sv
e
n Verdoolaege
i
s
l_set_alloc_space:
r
ename "dim
"
a
rgument
to "sp
a
ce
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sve
n
Verdoolaege
isl_pw_
m
ulti_aff
_
from_map: avoi
d
computing al
l
equali
t
i
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
i
s
l
_p
w
_multi_aff_f
r
o
m
_map:
ext
r
ac
t
o
u
t
pw_multi_af
f
_f
r
om_map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sv
e
n
Verdoolaege
isl_map_simplify
.
c: int_be
t
w
een_b
o
unds
:
create tableau
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoola
e
g
e
isl_map_s
i
mplify
.
c: int_between_b
o
unds: special case
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ver
d
oolaege
isl
_
map_simplify
.
c:
int_betw
e
e
n
_
b
o
unds: exploit th
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
S
ven Verdo
o
la
e
ge
isl_basic_map_drop
_
redundant
_
d
i
vs: handle m
o
re case
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven
Verdoolaege
isl_ma
p
_si
m
plify
.
c: dro
p
_more
_
red
u
nda
n
t
_divs:
t
est
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ver
d
oolaege
isl
_
map_sim
p
lify
.
c
:
drop_more
_
redund
a
nt_divs:
c
ollect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
i
s
l
_map
_
s
i
m
p
l
ify
.
c:
d
r
o
p_more_redu
n
dant_divs: no ne
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_
t
est
.
c
: te
s
t_div: extr
a
ct out test
_
elimination
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sv
e
n Verdool
a
eg
e
isl_map_simplify
.
c: c
o
n
struct_tes
t
_ine
q
:
u
s
e
i
sl_basic_map_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
S
ven Verdoolaege
isl_ma
p
_
simplify
.
c: construct
_
test_ineq: use
isl_basic_map_o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdool
a
ege
isl_map_simplify
.
c:
d
rop_mo
r
e_redundant_divs: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ver
d
ool
a
e
g
e
i
sl_map_simplify
.
c: drop_m
o
re_redundant_divs: use isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven
Verdool
a
eg
e
i
sl
_
map_simplify
.
c: dro
p
_more_
r
edunda
n
t_divs:
u
se i
s
l
_
b
a
sic_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_basic_ma
p
_drop_redundant_divs_ineq:
s
implify logic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoola
e
ge
isl_ba
s
ic_map_d
r
o
p
_r
e
d
u
ndant_div
s
_ine
q
: extra
c
t out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sv
e
n Verdool
a
ege
Merge branch 'maint'
into HEAD
commit
|
commitdiff
|
tree
2016-05-25
S
ven Ver
d
oolaege
is
l
_map_simplify
.
c: dr
o
p
_
more_re
d
u
ndant_divs: improv
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven
Verdoolaege
i
sl_scheduler
.
c
: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next