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_drop_dims: use isl_qpolynomial_domain_var_offset
2018-09-02
Sven Verdoolaege
isl_qpolynomi
a
l
_
dr
o
p_dim
s
: use is
l
_qpolynomial_domain_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
eg
e
isl_pol
y
nomial
.
c:
u
s
e
i
sl
_
qpolynomial_domain_v
a
r_o
f
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verd
o
olaeg
e
isl_qpolynomial_involve
s
_dims: use i
s
l_qpoly
n
omial_domain_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl
_
polynomial
.
c: subs
t
itut
e
_non_divs: use isl_qpolynomial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
la
e
g
e
isl_polyno
m
ial
.
c: sub
s
titute_di
v
: use isl_qpolynomial_d
o
main
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_polynomial
.
c: substitute_div: use isl_qpolynomia
l
_get_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l_qpol
y
n
o
mial_var_on_domain: use isl
_
space_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_
q
polynomial_extract_aff
i
ne: use isl_qpo
l
ynomial_d
o
m
ain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_polynomial
.
c: sort_divs: us
e
i
s
l_qp
o
lynom
i
al_domain_var_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoola
e
ge
i
sl
_
q
polynomia
l
_domain
_
offset: extrac
t
out isl_qpolyn
o
mial_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
i
s
l
_q
p
olynomial_domain_offset: use
isl
_
qpolynomial_pe
e
k_
d
oma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ver
d
ool
a
e
g
e
isl_q
p
olyn
o
mia
l
_
g
et_do
m
ain_spac
e
: extr
a
ct o
u
t isl_qpolynomia
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
aege
i
sl_constraint
.
c: isl_basi
c
_set_foreach_bound_pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
o
laege
isl_ta
b
_
pip
.
c
:
find
_
context_div: use isl_basic_{map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
ge
add isl
_
basi
c
_set_v
a
r_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
do
o
la
e
ge
i
sl_map_simplify
.
c: di
v
_fi
n
d
_
coalesce: use
i
sl_basic_map_var
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_o
u
tput
.
c: drop_aff: u
s
e isl_basic
_
map
_
var
_
offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_
b
asic_map_drop_re
d
undant_divs_
i
neq: use
i
sl
_
ba
s
ic_
m
ap_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
e
ge
i
s
l_m
a
p_si
m
plify
.
c:
.
.
.
_drop_more_red
u
nda
n
t
_
divs:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ola
e
ge
i
sl_map
_
simplify
.
c: c
o
alesce_div
s
: use is
l
_basic_map_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Ver
d
oolaege
isl_map_simpl
i
fy
.
c: d
i
v_
i
s_r
e
dundant: use isl_basi
c
_map
_
offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_basic_map
_
is_div_constraint: use isl
_
b
asi
c
_map_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoolaege
isl_map_s
i
mpl
i
fy
.
c
:
e
liminat
e
_unit_divs
:
use i
s
l_ba
s
ic_map_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verd
o
o
laege
isl_map_
s
imp
l
i
f
y
.
c
:
check_for_div_cons
t
r
aints: us
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doo
l
ae
g
e
isl_map_
s
i
m
p
lify
.
c: bet
t
er_div_const
r
aint: u
s
e isl_basic_ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
isl_map_si
m
plify
.
c: o
k
_to_set_div_f
r
om_bo
u
nd: use isl_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
i
sl_map_
s
imp
l
ify
.
c: set_div_f
r
om_low
e
r_bound: us
e
isl_basic
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdo
o
laege
isl_map_simpl
i
f
y
.
c:
norm
a
lize_divs: us
e
isl_b
a
sic_map_var_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simplify
.
c: n_pur
e
_
div_eq: use is
l
_
basic
_
m
ap_va
r
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaeg
e
i
s
l_map_simplify
.
c: r
e
move_d
u
pli
c
ate_d
i
v
s
: use isl_basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoo
l
aege
isl_m
a
p
_
simplify
.
c: eliminate_d
i
v
s_ine
q
: use
i
s
l_b
a
s
i
c_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_simpli
f
y
.
c
: elimi
n
ate_divs_eq: isl_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
d
oo
l
aege
isl_map_
s
implify
.
c: ok_to_eliminate_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 Verdoolaege
isl_ma
p
_simplify
.
c: eliminate_di
v
: use isl_basi
c
_
m
ap_var_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
a
ege
i
s
l_map_si
m
plify
.
c
: eliminate_va
r
_using
_
equality: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Ver
d
oolaeg
e
isl_basic_map_align_divs: use
isl_basic_map_var_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
isl
_
map
.
c: find_di
v
: use isl_b
a
s
i
c_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
basic_map_orde
r
_divs: use isl_basic_map_var_
o
ff
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl
_
m
ap
.
c: basic_
s
et_append_equalities:
u
se isl_
b
asic_set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
ae
g
e
isl_
m
ap
.
c: insert_div_row
s
: use i
s
l_
b
asic_
m
ap_o
f
f
s
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_map
.
c:
insert_bounds
_
o
n_
d
i
v: use isl_basi
c
_map_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoola
e
g
e
i
sl
_
bas
i
c_m
a
p_rem
o
ve_divs: use isl_bas
i
c_map_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
olaege
isl_basic_m
a
p_swap_div:
u
se isl_bas
i
c
_
map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
i
s
l_map
.
c: basic_map_init:
u
se isl_basic_map_peek_s
p
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l
_
basic_map_get_divs: use
isl_basic_map_var_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
erdoolaege
isl_
d
i
m_m
a
p
.
c: isl
_
dim_map_div
:
u
s
e isl_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_convex_h
u
l
l
.
c: common
_
constraints: use isl_set
_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolae
g
e
isl_basic_map
_
make_strides_expl
i
c
it: use isl_basic_map_var_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_aff_substi
t
ute_
e
qualities_lifted: us
e
i
sl_
b
a
s
i
c_set_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
e
rdoolaege
isl_ba
s
ic_set_posit
i
ve_ortha
n
t: use isl_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolaeg
e
is
l
_basic
_
{s
e
t,map
}
_pri
n
t_internal: use i
s
l_printer
_
print_b
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tran
s
itive_
c
losure
.
c: em
p
ty
_
path_is_identity: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
doo
l
aege
i
sl_map_
s
imp
l
ify
.
c
:
div_find_coal
e
sce: reuse is_op
p
o
sit
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolaege
i
sl_map_simplify
.
c: mo
v
e
u
p is_opposite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olaege
i
s
l
_
s
pace
.
c: global_pos: retur
n
n
e
gative value on error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
ol
a
ege
is
l
_tab_pip
.
c:
f
ind_
c
ontext_div: re
s
er
v
e negative return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
a
p_s
i
mpl
i
fy
.
c
:
div_find_coa
l
esce: reserve negati
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p
.
c: find_div:
r
eserve ne
g
ative retur
n
valu
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tab_pip
.
c: fi
n
d_div
:
reserve negative retu
r
n value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doolae
g
e
i
s
l
_schedule_tree
.
c: return
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
is
l
_a
c
cess_in
f
o
.
coscheduled: re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
s
l_output
.
c:
po
s
2type: return
i
sl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_affine_hu
l
l
.
c:
t
r
a
nsform_column:
return
is
l
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_af
f
ine_hull
.
c: con
s
truct
_
c
o
lumn: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_tab_p
i
p
.
c: init
_
local_regi
o
n:
r
eturn
isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_
s
eq_
p
rei
m
age:
return isl_
s
t
at
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdool
a
ege
i
s
l_bern
s
tein
.
c
: is_
t
ight: retu
r
n isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ber
n
ste
i
n
.
c: is_t
i
gh
t
:
m
inor
c
o
d
e
s
implification
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
isl_bernstein
.
c: add_
f
ol
d
: ret
u
r
n
isl_sta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
Verdoola
e
g
e
isl_map_simplify
.
c: has_multiple_
v
ar_equa
l
i
t
y: ret
u
rn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdo
o
laege
isl_map_simplify
.
c: is_opposite_ex
c
ept: ret
u
rn isl
_
bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_simplify
.
c: is_p
a
ralle
l
_except: re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p
_
simp
l
if
y
.
c
: lower
_
b
ou
n
d_is_c
s
t
: return -1
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doolae
g
e
isl_a
s
t_bu
i
l
d
_expr
.
c: all_negative_coef
f
icients
:
r
e
turn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add
_
lower_div_constraint: re
t
urn return mod
i
fie
d
r
e
sult
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add_upper_div_constraint: return return modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoola
e
ge
i
sl_b
a
sic_m
a
p_ad
d
_
d
iv_co
n
str
a
in
t
:
r
eturn return modified
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_basic_map_add_di
v
_constra
i
nts: re
t
ur
n
m
odified
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolae
g
e
add_{upper
.
lower}
_
div_constr
a
i
n
t: only pas
s
i
n
p
o
si
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
r
d
oolaege
remove now unu
s
ed isl_basic_{set,map}
_
ad
d
_div_
c
ons
t
rain
t
s_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
ge
i
s
l_b
a
sic_map
_
a
d
d_div_con
s
traints: use
isl
_
basic_map_var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_local_spac
e
.
c:
normalize_div:
r
eturn
m
odi
f
ied
result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
norma
l
ize_div_expression
:
return modified re
s
ult
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
i
s
l_ma
p
_
simplif
y
.
c: eliminat
e
_
v
a
r_using_equality:
r
eturn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doolaege
i
s
l_inequality
_
negat
e
:
return modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map
.
c: set_ma_
d
ivs: ret
u
rn m
o
d
i
fied result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
e
rdoolaege
isl_basi
c
_
map_swap_div:
r
eturn modified res
u
lt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaege
isl_o
u
tput
.
c:
prin
t
_
constraint_
c
: drop n
o
w redund
a
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdool
a
eg
e
isl_output
.
c: drop pri
n
t_aff
i
ne_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olaege
isl_output
.
c: p
r
int_constraint_c: use print_ls_affine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolaeg
e
isl_
o
u
tput
.
c
:
print_basic_set_c:
use print_
l
s_pa
r
tial_aff
i
ne_
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
is
l
_cat: s
u
pport C out
p
ut
fo
r
mat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_schedule_b
a
nd
.
c: has_any: use isl
_
union_set_ever
y
_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
a
d
d isl_
u
nion_set_eve
r
y_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
t
r
ansitive_closure
.
c: add_length: reuse increment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_transitive_cl
o
sure
.
c: m
o
ve up
i
ncrement
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
a
ege
isl_transitive_cl
o
sure
.
c:
i
ncrement
:
return isl_map
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
is
l
_transit
i
ve
_
cl
o
sure
.
c: incr
e
ment: clean up s
p
a
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
aege
is
l
_tran
s
itive
_
clo
s
u
r
e
.
c: map_power: use
stricte
r
te
s
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map_d
e
l
t
as_map: extract out
i
s
l
_
m
ap_check_equal_t
u
ples
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next