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_qpolynomial_substitute_equalities_lifted: use isl_basic_set_offset
2018-09-02
Sven Verdoo
l
a
e
ge
isl_q
p
olynomial_s
u
bstitu
t
e_equalit
i
es_lifted: us
e
isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oola
e
ge
isl_qpo
l
ynomial_drop_dims: use isl_qpolynomial_dom
a
in_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdool
a
e
g
e
i
s
l
_poly
n
omial
.
c
: use i
s
l_qpoly
n
omi
a
l_domain_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoola
e
ge
isl_qpolyn
o
mial_in
v
olve
s
_dims: use isl_qpolynomial_
d
omain_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_polynom
i
a
l
.
c: substitute_no
n
_
d
i
vs: use isl_qpolynomia
l
_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verdoola
e
g
e
isl_po
l
ynomial
.
c
:
substitute_div: use i
s
l_
q
p
olynomial_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_poly
n
omial
.
c: substitute_div: use
i
sl_q
p
olynomial_get_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_qpoly
n
om
i
al_v
a
r_on_do
m
a
i
n
:
use
isl_space_
o
ffse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
qpoly
n
om
i
al_extract
_
aff
i
ne
:
use is
l
_qpolynomial_domain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_polynomial
.
c: sort_
d
i
vs: use
i
sl_qpolynomial_domain_var_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
do
o
laege
i
sl_q
p
oly
n
omial_domain_offset: ex
t
ract out isl_qpolyno
m
ial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaeg
e
isl_qpoly
n
omial_domain_offset: use isl_qpol
y
n
omial
_
peek_doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_qpolynomial
_
get_do
m
ain_
s
p
ace: extract
out isl_qpolynomia
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_const
r
a
int
.
c: isl_basi
c
_set_foreach_bound_pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoola
e
ge
isl_tab_pip
.
c: find_
c
ontext_div: use isl_basic_{
m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
add isl_basi
c
_set_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
isl
_
map_s
i
mplify
.
c: div_f
i
nd_coalesce: use isl_b
a
sic_map_var
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_output
.
c: drop_aff: u
s
e
isl_basic_
m
ap_var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l_basic_map_drop_redundan
t
_
d
ivs_i
n
eq: use i
s
l_basic_m
a
p
_
va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl
_
map_sim
p
lify
.
c:
.
.
.
_
d
rop_more_redu
n
dant_div
s
:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simpli
f
y
.
c: coalesce_divs: use isl_ba
s
ic_map_var_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: div_i
s
_redunda
n
t
:
u
se
isl
_
basic_
m
ap_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl
_
basi
c
_map_
i
s_div_
c
ons
t
raint:
u
se
i
s
l_basic_map_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
is
l
_m
a
p_simplify
.
c: elimina
t
e_u
n
it_
d
ivs: use isl_bas
i
c_
m
a
p
_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolae
g
e
isl_map_simplif
y
.
c: check
_
for_
d
i
v
_co
n
straints:
u
se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
e
r
doolaeg
e
isl_ma
p
_simpli
f
y
.
c
: better
_
d
iv_c
o
nstrai
n
t: use isl
_
basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_
m
a
p_simplify
.
c: ok_to_set_div_from_bound: use
i
s
l_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaeg
e
isl_map_simplify
.
c: set_d
i
v_from_lower_bound: use
isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: normalize_d
i
vs: use
i
s
l_basic_
m
ap_var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoola
e
ge
isl_m
a
p_simplify
.
c: n_pure_div_eq:
use
i
s
l_basic_map_va
r
_of
f
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl
_
map_simp
l
i
f
y
.
c: r
e
mo
v
e_d
u
plica
t
e_divs: use isl_basic_
m
ap
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
isl_map
_
simpl
i
f
y
.
c: el
i
minate_divs_ineq: us
e
isl_basic_
m
ap_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
Verd
o
ol
a
ege
isl_map_sim
p
lify
.
c: e
l
iminat
e
_
d
i
v
s_eq: isl_ba
s
ic_map_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_map_si
m
plify
.
c
: ok_to
_
elimin
a
t
e
_div: u
s
e i
s
l_basic_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdo
o
laege
isl_map_simplify
.
c: eliminate_div: use isl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
i
s
l_map_simpl
i
fy
.
c: e
l
iminate_var_using_equali
t
y: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoo
l
ae
g
e
is
l
_basic_map_align_d
i
vs: use isl_basic_ma
p
_var_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoolaege
i
sl_map
.
c: find_d
i
v: use isl_
b
a
sic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaeg
e
isl_basic
_
m
a
p_order
_
divs: use
i
s
l_basic_
m
ap_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laeg
e
isl_map
.
c
: basic_set_a
p
pend_equal
i
t
ies
:
use
i
sl_basic_set_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_map
.
c: insert_div_
r
ows: use isl_basic
_
map
_
offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
.
c: i
n
sert_bounds_
o
n
_
div: use isl_basic_
m
ap
_
va
r
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdo
o
laege
isl_ba
s
i
c
_
map_remove_divs: use isl_basic_ma
p
_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_basic_map_swap_div: use isl_basi
c
_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olae
g
e
isl_
m
ap
.
c: basic_map_init: use
i
s
l
_bas
i
c_ma
p
_peek
_
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaeg
e
i
sl_ba
s
ic_map_ge
t
_
d
ivs:
u
se isl_basic_
m
ap_var_
o
f
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doolaege
isl_dim_map
.
c: is
l
_dim_map_div: use isl_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
conve
x
_hull
.
c
: common_c
o
nst
r
a
ints: use isl
_
set_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_make_strides_e
x
plicit: use isl_basic_map_var_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoola
e
ge
isl_aff_su
b
s
t
itute_
e
qualities
_
lifted: use isl_basic_set_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdo
o
laege
isl_basi
c
_set_
p
osit
i
ve_orthant: use isl_s
p
ace_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_bas
i
c_{set
,
map}_prin
t
_interna
l
: use isl_printer_print_ba
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolaege
i
s
l_transitive_closure
.
c
: empty_path_is_identit
y
:
us
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olae
g
e
isl_map_simplify
.
c
:
div_find_coalesce
:
reuse is_o
p
posite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_map_si
m
plify
.
c
:
move up is
_
oppos
i
te
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
is
l
_s
p
a
c
e
.
c: g
l
obal_pos:
return
n
e
gat
i
ve v
a
l
ue on error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
oolaeg
e
i
sl_tab_pip
.
c
: find_context_d
i
v: r
e
serve
n
eg
a
tive return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
ge
isl_map_simplify
.
c
:
div_fi
n
d_coalesce: reserve negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
isl_map
.
c: find_div: res
e
r
v
e negative ret
u
r
n
value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
V
erdoolaege
isl_tab
_
pi
p
.
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
er
d
oola
e
ge
isl_sc
h
edule_tree
.
c:
retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
i
s
l_access_info
.
cosched
u
led: ret
u
rn isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doola
e
ge
isl_o
u
tput
.
c: pos2ty
p
e: return isl_s
t
at
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolae
g
e
i
s
l
_affine
_
hull
.
c: trans
f
o
rm_column: retu
r
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_affin
e
_
h
ull
.
c: constru
c
t_column: return isl_
s
tat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
erdoolaege
isl_tab_pip
.
c: ini
t
_l
o
cal_region: return isl_st
a
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_seq_
p
reimag
e
: return isl_s
t
at
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_b
e
r
nstein
.
c
:
is
_
tig
h
t: return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
doo
l
aege
isl_bernstein
.
c:
is_tight: minor code si
m
plificatio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaege
isl_bernstein
.
c: add_fold: return is
l
_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolaege
is
l
_map_simpli
f
y
.
c: has_multiple_var_eq
u
ality: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map_simplify
.
c: is_o
p
posit
e
_excep
t
:
retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
g
e
isl_m
a
p_simpli
f
y
.
c: is_par
a
l
l
el_except: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map_simpli
f
y
.
c: lowe
r
_bound_is_cst: return
-
1
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
laege
isl_ast_build_expr
.
c: all
_
negative_
c
oef
f
icients: retu
r
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
a
dd_lower_div_
c
onstrain
t
: return return mo
d
ified r
e
sult
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolae
g
e
add_upper_div_const
r
ain
t
: retu
r
n
return modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolae
g
e
isl_basic_
m
ap_add_div_const
r
aint: return return modified
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
bas
i
c
_map_a
d
d_div_constrain
t
s: ret
u
r
n
modifie
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
add_{upper
.
low
e
r}_div
_
constrain
t
: only pas
s
in po
s
ition
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
remov
e
now
u
nu
s
ed isl_
b
asic_{set,map}
_
ad
d
_div_const
r
aints_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
doolaege
isl_basic_map_add_div_c
o
nstra
i
n
t
s:
use isl_basic_map_var_o
f
f
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doolaege
isl_loc
a
l
_
s
pace
.
c
:
n
o
rm
a
lize_div: retu
r
n
modifie
d
r
esult
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
no
r
mali
z
e_div_
e
xpression: re
t
urn
m
odified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
i
s
l_map_simplify
.
c: eliminate
_
var_using_e
q
uality: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_inequality_ne
g
ate: return
m
od
i
fied result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
isl_map
.
c:
s
et_ma_divs: return m
o
dified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oola
e
ge
isl_basic_map
_
swap
_
div: return modified r
e
sult
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_
out
p
ut
.
c: pri
n
t_constr
a
int
_
c: dro
p
no
w
redund
a
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
isl_output
.
c: drop
pri
n
t
_affin
e
_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdoolae
g
e
i
s
l_out
p
ut
.
c: print_cons
t
r
aint_
c
: use print_l
s
_
a
ffi
n
e_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_output
.
c:
p
rint_bas
i
c_set_c: use print_ls_partial_a
f
fine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_cat: supp
o
rt C o
u
tput format
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
ege
i
s
l_sched
u
le_
b
and
.
c: ha
s
_any: u
s
e
isl_
u
nion_set_every_
s
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
add isl_union_se
t
_e
v
ery_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tran
s
i
t
ive_clo
s
u
re
.
c: add_len
g
th: r
e
use increment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
is
l
_transitive_clos
u
re
.
c: mov
e
up
i
ncrement
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l_transi
t
i
v
e
_closure
.
c: increment: re
t
u
r
n isl_map
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
s
l_trans
i
tiv
e
_closure
.
c:
i
ncrement:
clean up
space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
doolaege
isl_transitive_closure
.
c: m
a
p
_power: use stric
t
er test
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next