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_term_dup: use isl_term_dim
2018-09-02
Sven Verdoolaege
i
s
l_term_dup: use isl_term_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdool
a
ege
isl_qpolynomial_
s
ubstitu
t
e
_equalities_lif
t
ed: use isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoola
e
g
e
isl_qpolynomial_drop_dims
:
use isl
_
q
p
olynomial_domain_
v
ar_
o
f
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_po
l
y
nomial
.
c: use is
l
_qpo
l
y
nomial_domain_var_of
f
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaeg
e
isl_qpolyno
m
i
al_in
v
o
l
ve
s
_dims: us
e
isl
_
qpolynomial_domain_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
isl_poly
n
omial
.
c: subst
i
t
ute_non_div
s
: use isl_qpolynomial
_
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_polyn
o
mial
.
c: s
u
b
s
t
itute
_
div: use
isl_qp
o
l
y
n
o
mial_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
la
e
ge
isl_polyn
o
mial
.
c: subst
i
tute_div
:
use isl_qpol
y
nomia
l
_get_
c
tx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
o
laeg
e
isl_q
p
olynomial_var_on_
d
omai
n
:
use i
s
l
_
spa
c
e_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdool
a
ege
isl
_
q
p
o
l
y
n
om
i
a
l
_extract_affine: use
isl_
q
polynomial_domain_
d
im
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_polynomial
.
c: sort_divs: u
s
e
i
sl_qpolynom
i
a
l
_do
m
a
i
n
_
var
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
is
l
_qpo
l
yno
m
ial_domain_offset: extract out isl_qpolynomial_d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l_q
p
olyno
m
ial_domain_offset: u
s
e isl_q
p
olynomial_p
e
ek
_
doma
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rd
o
olaege
i
sl_qpo
l
ynomia
l
_g
e
t_doma
i
n
_space: extr
a
ct out isl_q
p
olynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl
_
const
r
aint
.
c:
isl_
b
asic_set_foreach_b
o
und
_
pair
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l_tab_pip
.
c: find_contex
t
_div: use
isl_basic
_
{
m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
add isl_basic_set_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erd
o
olaege
isl_map_simplify
.
c:
div_find_coa
l
esce:
use isl_ba
s
ic_map_var
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
o
olae
g
e
isl_output
.
c:
d
rop_aff:
u
se
i
sl_basic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
doo
l
aege
isl_basic
_
map_dro
p
_redundant_divs_ineq: use isl
_
bas
i
c_map_va
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oola
e
ge
isl_map
_
simplif
y
.
c:
.
.
.
_dro
p
_more_redundant_divs: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oolaeg
e
isl_map_simplify
.
c: coalesc
e
_di
v
s
: use isl_basic_map
_
var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_simplify
.
c:
d
i
v_i
s
_redunda
n
t: use isl
_
basi
c
_ma
p
_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_basic_map_is_
d
i
v_c
o
nstraint: use isl_basic_
m
ap_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
isl_
m
ap_simplify
.
c: e
l
iminate_unit_divs: us
e
is
l
_basic_map
_
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
ege
isl_map_si
m
plify
.
c: che
c
k
_for_div_const
r
a
ints: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
e
g
e
i
s
l_ma
p
_simplify
.
c:
be
t
ter_
d
i
v_constraint: us
e
isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simpli
f
y
.
c: ok_to_se
t
_
d
iv_from_bound: us
e
isl_
b
a
sic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdoolaege
isl_
m
ap_
s
i
m
p
l
ify
.
c: set_
d
iv_
f
ro
m
_lower_bo
u
n
d
: use isl_basic_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
isl_map_s
i
mplify
.
c: normalize_divs:
use isl_basic_map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
laege
i
sl
_
ma
p
_simplify
.
c: n_pure_div_eq: use isl_basic_
m
ap_var_
o
ffse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
doo
l
aege
isl_map_simpl
i
f
y
.
c
:
remove_duplicate_d
i
vs: use
i
sl_ba
s
i
c
_
m
ap
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_ma
p
_simplify
.
c: eliminate_divs_ineq: use isl_ba
s
ic_
m
a
p_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
i
s
l_m
a
p_sim
p
li
f
y
.
c: eliminat
e
_divs_eq: isl_b
a
sic_map_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en V
e
rdoolaege
isl_map_sim
p
lify
.
c: ok_to
_
elimin
a
te_di
v
: use isl_basic_map_v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_map_simplify
.
c: eliminate_div: use isl_b
a
sic_map_
v
ar_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
s
l_m
a
p
_si
m
plify
.
c: eliminate_var_using_equa
l
it
y
: us
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
e
r
doolaege
isl_ba
s
ic_map_al
i
g
n_divs:
u
se isl_basi
c
_
map_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_map
.
c: find
_
div: use isl_basic_m
a
p_var_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
sl_basi
c
_map_orde
r
_divs: use isl_bas
i
c_
m
ap_
v
a
r
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
d
oolaeg
e
isl_map
.
c: b
a
sic_se
t
_append_equ
a
lities
:
u
se isl_basic_set_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
isl_map
.
c: insert
_
div_rows:
us
e
isl_bas
i
c_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaeg
e
isl_map
.
c
:
i
nsert_b
o
unds_on_d
i
v: use isl_basic_map
_
var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoo
l
aeg
e
isl_
b
asi
c
_map_rem
o
ve_divs: use isl_bas
i
c_map_var_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
e
rdoolaege
i
s
l_basic_map
_
swap_d
i
v: use
is
l
_basic_
m
ap_var_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_map
.
c
:
b
asic_ma
p
_init: us
e
is
l
_bas
i
c_map_peek_sp
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_bas
i
c_m
a
p_ge
t
_divs: use isl_basic_
m
ap_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaeg
e
is
l
_dim_ma
p
.
c:
isl_d
i
m_ma
p
_
div: use is
l
_basic_map_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
conve
x
_hu
l
l
.
c: common_constraints: use
i
sl_
s
et
_
dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
d
o
olaege
is
l
_
b
asic_map_make_strid
e
s_explici
t
: use isl_ba
s
ic_map_var_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdool
a
ege
isl_
a
ff_s
u
b
s
t
i
tute
_
e
qualities_
l
ifted: u
s
e i
s
l
_
bas
i
c_set_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoola
e
ge
isl_basi
c
_
s
et_positive_orthant: use isl_space_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
is
l
_basic_{set
,
map}_print_internal: use isl_printe
r
_prin
t
_ba
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Ve
r
doo
l
aeg
e
isl
_
tra
n
sitive_cl
o
sure
.
c:
e
m
pty_path_is
_
iden
t
ity: u
s
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
ool
a
ege
isl_map_simplif
y
.
c: div_find_coalesce: reuse
is_opposite
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
a
ege
is
l
_map_simp
l
ify
.
c: move up is_opposite
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolae
g
e
isl_s
p
ace
.
c: global_
p
os:
ret
u
rn negative value o
n
error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
laeg
e
i
sl_tab_pip
.
c: f
i
nd_
c
onte
x
t
_
div
:
reserve
negative return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laeg
e
isl_map_sim
p
lify
.
c: div_find_coalesce: reserve negative
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c
: find_div: reserve negativ
e
return value
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_tab_pip
.
c: find_div: res
e
rve
negative return
v
al
u
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
isl_schedule_t
r
ee
.
c: return isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_access_info
.
coscheduled:
r
etur
n
isl_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_output
.
c
: pos
2
type:
r
etu
r
n i
s
l_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olaege
isl_a
f
fine_hull
.
c: transform_column: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oo
l
aeg
e
i
sl_a
f
fine_hull
.
c: construct_
c
o
lumn: return isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaeg
e
isl_tab_pip
.
c: init_local_r
e
gion: return isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_seq_preimage: ret
u
r
n isl_s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_bernstein
.
c: is_tight: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
e
r
doolaege
i
s
l_b
e
rnste
i
n
.
c: is_tight: minor
code simplifi
c
ation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
i
sl_bernstein
.
c: add_
f
old: return
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map_simplify
.
c: has_m
u
ltiple_v
a
r_equality: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoola
e
ge
isl_map
_
sim
p
lify
.
c: is_opposite_except: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: is_pa
r
allel_e
x
c
ept:
r
e
t
u
r
n is
l
_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: lower_bound_is_cst: return -1 on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ast_buil
d
_
e
xpr
.
c: all_negative_coefficients: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
ege
add
_
lower
_
div_co
n
s
t
r
a
int: return return modified result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doola
e
ge
add_upper
_
div_constrai
n
t: return return modified result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
isl_basic
_
map_add_div_constraint: retu
r
n
r
e
turn m
o
dified
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
e
r
dool
a
ege
isl_basi
c
_map_
a
dd_div_cons
t
ra
i
nts: retu
r
n
mod
i
fied
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
add_{upper
.
lower
}
_div_con
s
traint: only pass in posi
t
io
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
laege
remove now
u
nused isl_basic_{set,map}_
a
d
d
_div_constra
i
nts_v
a
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_basic_map_add_div
_
constrai
n
ts: use isl_b
a
sic_map_
v
ar_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
olaege
isl_l
o
cal_sp
a
ce
.
c: n
o
rmalize_div: retur
n
mo
d
i
fied re
s
ult
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
ege
norma
l
ize_di
v
_express
i
on
:
r
eturn
m
odified result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
r
dool
a
ege
isl_map_simplify
.
c: el
i
minate_var_
u
sing
_
e
qua
l
ity: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_ine
q
uality_neg
a
te: ret
u
rn modified result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_
m
ap
.
c: set
_
ma_divs:
return
modified r
e
sult
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolae
g
e
isl_ba
s
i
c_map_swap_div
:
return modified res
u
lt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
output
.
c: print_con
s
traint
_
c
: drop now re
d
undant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
ou
t
pu
t
.
c: drop print_affine_c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_outpu
t
.
c: print_constraint_c: use print_ls_affi
n
e_c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_out
p
ut
.
c: print_basic_
s
et_c
:
use print_ls_partial_affine_c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l_cat: suppo
r
t C output
f
or
m
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olae
g
e
isl_s
c
h
e
dule_band
.
c
:
h
as_any: use isl_union_set_ev
e
ry_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
add isl_union_set_ev
e
ry_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_tr
a
n
s
itive_
c
l
o
sure
.
c:
a
dd_len
g
th: re
u
se i
n
cremen
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_t
r
ansit
i
ve_closure
.
c: move up increm
e
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tr
a
nsit
i
v
e
_closure
.
c: in
c
r
eme
n
t: return isl_map
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olaege
isl_tran
s
itive_
c
losure
.
c: increment:
c
lean up spac
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next