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_basic_*_partial_lex*: add memory management annotations
2016-06-27
Sv
e
n Verdoolaege
isl_basic_*_partial_l
e
x*: a
d
d m
e
mory mana
g
ement anno
t
a
tio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
is
l
_tab_basic_ma
p
_partial
_
l
e
xopt: add memory manageme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verd
o
olaege
isl_tab_p
i
p
.
c: isl
_
c
o
ntext_gbr_alloc: a
d
d memory m
a
nagemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laege
isl_tab_pip
.
c: i
s
l_con
t
ext_a
l
loc
:
add
memo
r
y man
a
g
e
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdoolaege
isl_tab_p
i
p
.
c
:
pro
p
ag
a
te_equalities:
r
emove u
n
do
tr
a
ckin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
ol
a
ege
add isl_t
a
b_
n
eed_undo and isl_tab_cle
a
r_
u
ndo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verd
o
ola
e
ge
is
l
_
t
ab_basic_map_pa
r
tial
_
lexopt: limit scope of
s
ymme
t
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_test
.
c: generalize is
l
_map_le
x
min tes
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoola
e
ge
d
o
c
: fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
V
e
rdoolaeg
e
doc: make
reason
for isolate opti
o
n
result
i
ng in
a
nch
o
red
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
S
v
en Verd
o
olaege
i
s
l
_tab_pip
.
c
:
para
l
lel_constr
a
ints: remove stale lin
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdo
o
laege
isl_tab
.
c: fix
typo
i
n
c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven
V
e
rdoo
l
a
ege
i
sl_*_parti
a
l_lex{min,max}_pw_m
u
l
t
i
_aff: handle existentia
l
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
isl_tab_p
i
p
.
c
:
s
ol_pma_add: extract ou
t
set_from_affine_m
a
tr
i
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en
Verdoola
e
ge
add isl_
b
asic_se
t
_
div_is_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verd
o
olae
g
e
a
d
d
i
sl_ba
s
ic_set_
s
wap_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Verdoola
e
ge
a
dd i
s
l
_
mat_sca
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Verdoolaege
isl_pip: all
o
w existen
t
ially quanti
f
ied variables in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
pip
.
c: set
_
plug_i
n
_
p
ara
m
eters: a
d
d m
e
mo
r
y
management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven
Verdoolaege
pip
.
c
; plug_i
n
_parame
t
e
rs: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ve
r
doolaege
pip
.
c: op
t
_
a
t: add
mem
o
ry m
a
n
a
gement
annot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
pip
.
c: opt_at: avoid accessi
n
g
ctx field directly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add
i
sl_basic_map_div_is_marked_unknown
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdool
a
e
ge
isl_map
.
c: d
i
v_
i
s_unknown:
r
eturn isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias G
r
osser
Add n
e
w isl
_
a
s
t
_nod
e
_to
_
C_str
function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Gr
o
sser
Add new isl_ast_expr_to_C_str function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
python interface
:
replace assert with ex
p
l
icit abort
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias Grosser
python inter
f
ace: replace ass
e
rt w
i
t
h explic
i
t
abort
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
S
ven Verdoolaege
doc: clar
i
fy
t
ha
t
is
l
_printer_get_st
r
can onl
y
be used
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-14
Sven Verdoolaege
doc: clean up extr
a
fi
l
es ge
n
er
a
ted by bibla
t
ex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
isl
_
schedule_node_band_split
:
prese
r
ve
i
solate
o
ption
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sv
e
n Ver
d
oola
e
g
e
add private isl_schedule_band_re
p
lace
_
ast_b
u
i
l
d
_
option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
use
isl_schedule_node_band_get_ast_iso
l
ate_option to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdo
o
la
e
ge
add isl_schedule_band_get_ast
_
isolate_option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Ve
r
do
o
laege
isl_basic_map_remove_re
d
undan
c
ies: sort const
r
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven
Verdoo
l
aege
isl_coalesc
e
.
c: fuse: simplify fused resu
l
t
immedia
t
ely
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
S
v
en
Verdoolaege
isl_coalesce
.
c
:
fuse
:
call isl_basi
c
_m
a
p_finalize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
v
e
n Verdool
a
ege
isl_map_co
a
lesce: check for protrusions on adjacent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdo
o
lae
g
e
isl_
m
ap_co
a
lesce: allow protrusions out
o
f equality
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rdoolaege
i
sl_c
o
ale
s
ce
.
c: w
r
ap_in_facets: extract o
u
t try_wrap_in_facets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en Verdo
o
l
aege
isl_c
o
alesce
.
c: can
_
wrap_in_
s
et: ext
r
a
c
t
out
ty
p
e_of_relaxed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
V
erdool
a
ege
isl_c
o
a
lesc
e
.
c: wr
a
p_in
_
facets: extra
c
t o
u
t wrap_in_facet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_coalesce
.
c: can_w
r
ap_in_s
e
t: mino
r
simplification
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoo
l
aege
isl_coalesce
.
c: wrap_in_face
t
s:
do not pass in lis
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolae
g
e
isl_map_coalesce:
tighten co
n
straints of pot
e
ntia
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdo
o
laege
isl_map_c
o
alesce: allow
general
c
oalescing with expa
n
de
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
dool
a
ege
isl_coalesce
.
c: coalesce_with_expanded_divs: st
o
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoola
e
ge
is
l
_co
a
le
s
c
e
.
c: coal
e
sce_lo
c
al_pair: allow reuse
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
v
en Verdoolaege
isl_
c
o
alesce
.
c: coalesce_local
_
p
a
ir: ext
r
act out set_
i
neq_s
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
Verd
o
olaege
isl_coale
s
ce
.
c: coalesce_loca
l
_p
a
ir: e
x
tract o
u
t set_eq_stat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoolaege
isl_coalesce
.
c: coalesce_lo
c
al_pair: extrac
t
o
u
t
clear_statu
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doolaege
isl_coalesce
.
c: coalesce_local_pair: extract ou
t
i
n
i
t
_sta
t
us
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdo
o
lae
g
e
i
sl
_
coalesce
.
c: g
e
neralize ch
e
c
k
_co
a
lesce_s
u
bset to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rdo
o
laege
a
d
d
isl_o
p
ti
o
ns_{get,set
}
_pip
_
symmetry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven Ver
d
oolaege
ad
d
isl_basic_
m
ap_ex
p
and_d
i
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven Ver
d
oolaege
is
l
_map
.
c: fi
x
typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven Ver
d
oolaege
isl_output
.
c: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-07
Sven
V
erdoolaege
isl_tab
.
h: f
i
x typo in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-03
Sven Verdoolaege
Merge branch
'maint'
commit
|
commitdiff
|
tree
2016-06-03
Sve
n
Verdoolaege
i
s
l_basi
c
_
set_expand_
d
ivs
:
only add div con
s
trai
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
is
l
_c
o
ale
s
c
e
.
c:
add
_
s
ub_vars: ex
p
lici
t
ly mark
a
dded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
i
sl
_
coalesce
.
c: add_sub_vars: mo
v
e
"correct
"
intege
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdool
a
e
ge
i
s
l
_coa
l
esce
.
c: w
r
ap_in_facets: avoid
i
n
va
l
i
d
a
c
cess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven Verdoolaege
i
s
l_printer_print_map
:
prin
t
div constr
a
i
nts again
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sven
Verdoola
e
ge
is
l
_
printer_print_map: fix printing
of
a
ffi
n
e expre
s
s
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n
V
er
d
o
o
la
e
ge
isl_out
p
ut
.
c: print_disj
u
nc
t
s: avoid inval
i
d access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sv
e
n Verdoolae
g
e
isl_output
.
c
:
print_disjunct: handle
NULL in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
S
v
en
V
er
d
oolaege
isl_vec
_
alloc: plug me
m
ory leak on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-02
Sve
n
V
e
rdoolae
g
e
isl_
b
l
k
.
c:
e
xtend: plug memory leak on
error
p
a
th
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven
Ve
r
doolaege
AST generation: special case pure o
u
t
er
di
s
junctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verd
o
olaege
add isl_{
s
et,map}_drop_constraints_n
o
t_involvi
n
g_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoo
l
aege
add i
s
l_{
s
et,map}
_
plain_unshifted_simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Ve
r
doo
l
a
ege
A
S
T
generation: always print brac
e
s around body of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sv
e
n Ver
d
oola
e
ge
isl
_
tab_pip
.
c
:
find_sol
u
tio
n
s: extract out reset_any_to_
u
n
k
no
w
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
v
en Verdoolaege
isl_map_*_simple_hull: keep resul
t
s in a cache
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Ve
r
doolaeg
e
i
mplement isl_set_
f
ree in terms of
isl_map_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdo
o
la
e
ge
imp
l
ement isl_set_
c
ow
i
n terms of i
s
l_map
_
cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven V
e
rdoolaege
i
m
plement isl
_
se
t
_alloc_space in
t
erms of isl_map_alloc_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
v
en Verdoolae
g
e
isl_map_al
l
oc_sp
a
ce: rename "dim
"
argument t
o
"space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
S
ven Ver
d
oolaege
isl_s
e
t_alloc_
s
pac
e
: rename "dim" argument to
"
space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolaege
i
s
l_pw_mult
i
_
a
ff_from_map
:
a
v
oid compu
t
ing all equali
t
ies
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Sven Verdoolae
g
e
isl_p
w
_multi_aff_from_ma
p
: extract
o
ut pw_multi_aff_from
_
map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-30
Tobias Gro
s
se
r
Expor
t
isl_val arithmetic and comparison methods
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map_simp
l
ify
.
c: int_be
t
w
een_bounds: create table
a
u
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven
V
e
rdoolaeg
e
isl_map_simplify
.
c:
i
nt_bet
w
een_bounds: specia
l
case
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map_sim
p
lify
.
c: int_betw
e
en
_
b
o
unds: exploit the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ve
r
dool
a
ege
i
s
l_b
a
sic_map_dr
o
p
_redundant_divs: h
a
nd
l
e more ca
s
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdo
o
lae
g
e
isl_map_si
m
plify
.
c: drop_
m
ore_red
u
ndant_divs:
test
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ver
d
oolaege
isl_map_simplify
.
c: drop_more_redundant_di
v
s: c
o
llect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaeg
e
i
sl_map_simplify
.
c
:
dr
o
p_more_red
u
n
d
ant_divs:
n
o need
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven
Ve
r
doolaege
is
l
_test
.
c: tes
t
_div:
e
xtract
o
u
t test_elimination
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoola
e
ge
i
s
l_map_
s
implify
.
c
: construct_t
e
s
t_ineq:
u
s
e isl_bas
i
c_map_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Ver
d
oolaege
isl_map_
s
imp
l
ify
.
c
:
constru
c
t_test_ineq: use isl_basic_map_o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
isl_map
_
s
i
mplify
.
c
:
drop_m
o
re
_
r
edundan
t
_divs: a
v
oid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
S
v
en Verdoolaege
i
s
l_ma
p
_
s
implify
.
c:
drop_more_redun
d
ant
_
divs: use
isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
S
v
en Verdo
o
laege
isl_map_simplify
.
c: drop_more
_
redundan
t
_divs: use i
s
l_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
S
v
en Verd
o
olaege
isl_basic_map
_
drop_redundant_di
v
s
_
in
e
q: simplify logic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
S
v
en Ve
r
do
o
laege
isl_basic_map_drop_redundant
_
div
s
_ineq: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-25
Sven Verdoolaege
Mer
g
e
branch 'maint' into HEAD
commit
|
commitdiff
|
tree
2016-05-25
S
v
en Ver
d
o
o
la
e
ge
i
sl_map_simp
l
ify
.
c
: drop_more_re
d
und
a
nt_divs: improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next