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_polynomial.c: use isl_qpolynomial_domain_var_offset
2018-09-02
Sven Verdoolaege
isl_p
o
ly
n
omial
.
c: use
is
l
_qpo
l
yn
o
mi
a
l_domain_var_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qp
o
lynomial_i
n
volves_dim
s
: use isl_qpo
l
ynomial
_
domain_va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
erdoolaege
isl_
p
oly
n
omial
.
c:
s
ub
s
titute_non_divs: use isl_qpolynomial_
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl
_
polynomial
.
c
: su
b
s
titute_di
v
: use i
s
l_qpolynomial_doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdo
o
laege
is
l
_po
l
ynomial
.
c: substitute
_
div: use
isl_qpol
y
nomial_get_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_
q
p
o
lynomial_var_on_d
o
m
a
in: use isl_space_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_qp
o
l
y
nomial_ext
r
act_affine: use isl_qpolynomial_
d
oma
i
n_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
er
d
oolaege
isl_pol
y
nom
i
al
.
c: sort_divs: use isl_qpolynomia
l
_domain
_
var_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdo
o
laege
i
s
l_qpoly
n
omial_dom
a
i
n
_offset: extra
c
t
out isl_qpolynom
i
al_d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_qpolynomi
a
l_domain_offset: use i
s
l
_
qpolynomi
a
l_peek_doma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
olaege
isl_qpolynomial_get_domain_space: extract out
isl_qpolynomia
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_constr
a
i
nt
.
c:
i
sl
_
basic_se
t
_forea
c
h_bound_pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_t
a
b_pip
.
c:
f
ind_c
o
ntext_div
:
use isl_basic_{map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
add isl_basic
_
s
e
t_va
r
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolae
g
e
is
l
_map_simplify
.
c:
div_find_c
o
al
e
sce: use
i
sl
_
basic
_
map_
v
ar
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_o
u
tput
.
c
: drop_aff: us
e
isl
_
basic_map_
v
ar_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_ba
s
ic_map_
d
rop_redundant_divs_in
e
q: use isl_basic_map
_
va
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
i
sl_map_
s
implify
.
c:
.
.
.
_drop_more_r
e
dundant_divs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Verd
o
o
l
aeg
e
i
s
l
_map_simplify
.
c
: coalesc
e
_divs: use isl_basi
c
_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_r
e
d
undant: use
isl_ba
s
ic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolae
g
e
isl_basic_map_is_div_c
o
n
straint
:
use isl_basi
c
_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoolaege
isl_
m
ap_simplify
.
c:
e
li
m
i
nate
_
unit_divs: use isl_basic_m
a
p_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_map_simplify
.
c
:
check_for_div_constraints: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl
_
map_
s
impl
i
fy
.
c:
b
etter
_
div_constraint: use isl_ba
s
ic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
laeg
e
isl_ma
p
_simplify
.
c: ok_to_set_
d
iv_
f
rom
_
bound: use is
l
_basic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
isl_map_simplify
.
c: set_div_f
r
om_l
o
wer_bound: use is
l
_
b
asic_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_
s
im
p
l
i
fy
.
c: norma
l
ize_divs: us
e
isl_bas
i
c_map_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_
m
ap_simpl
i
fy
.
c: n_
p
ure_div_eq: use isl_basic_
m
a
p
_va
r
_
o
ffse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_m
a
p
_
si
m
plify
.
c: r
e
move_d
u
plica
t
e_divs:
u
se i
s
l
_
basic_map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
i
s
l_map_
s
imp
l
ify
.
c:
eliminate_
d
ivs_ineq: use isl
_
b
a
sic_map_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdoolaege
isl_map_simplify
.
c: elimi
n
ate_divs_eq: isl_ba
s
ic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolae
g
e
isl_map_si
m
p
l
i
fy
.
c: ok_to_
e
limi
n
ate_div: use isl_basi
c
_
m
ap_v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ver
d
oolae
g
e
isl_ma
p
_simplify
.
c: elimina
t
e_div:
u
s
e isl_basic_map_v
a
r
_
offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolaege
isl_map_simpli
f
y
.
c: eli
m
i
n
ate_var_
u
sing_equality: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_
m
ap_ali
g
n_di
v
s:
u
se isl_basic_ma
p
_var_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
m
ap
.
c
:
find_div
:
u
s
e isl
_
basic_
m
ap_va
r
_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_basic_map_order
_
divs: use isl_basic
_
map_var_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
ege
isl_map
.
c: basic_set_append_e
q
ualit
i
es: use i
s
l_basic_set_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
isl_map
.
c: i
n
sert_di
v
_rows: use isl_basic_map_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoo
l
a
ege
isl
_
map
.
c
:
insert_
b
ounds_on_div: 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_
b
asic_m
a
p_remove_divs: use isl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
g
e
isl_
b
asic_map_swa
p
_div: us
e
i
s
l_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
e
g
e
isl
_
ma
p
.
c: ba
s
ic_map_init:
us
e
is
l
_basic_map_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
l
aege
isl_basic_m
a
p_get
_
divs: use isl_
b
asic_map_var_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
is
l
_di
m
_map
.
c
: isl_
d
im_map_div:
use isl_basic_map_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_conv
e
x_h
u
ll
.
c: co
m
m
on_constraints: u
s
e i
s
l_set_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
isl_basic_map
_
make_strides_explicit: use isl_ba
s
ic_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
i
s
l
_aff_s
u
bstit
u
te_equalities_lifted: use
i
sl_
b
a
s
ic_set_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl
_
basic_set_posit
i
v
e
_orthant:
use isl_space_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_{
s
et,map}_pri
n
t_in
t
ernal: use
i
sl_p
r
i
nter
_
pr
i
n
t
_ba
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdool
a
ege
isl_transitive_closure
.
c
:
e
mpty_p
a
t
h_is_identi
t
y: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_ma
p
_simplify
.
c: div_fi
n
d
_
coa
l
esce
:
r
e
use
i
s_opposite
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolaege
isl_map
_
simplify
.
c:
m
ove up
is_
o
pp
o
site
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_space
.
c: global_pos: return negative value o
n
error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
isl
_
tab_pip
.
c: find_conte
x
t_div: reserve n
e
gative return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oola
e
ge
isl_map_simplify
.
c: div_find
_
coales
c
e: re
s
erve negative
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_ma
p
.
c
:
find_d
i
v: re
s
erve negative re
t
urn value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
ool
a
e
ge
is
l
_tab_
p
ip
.
c
:
find_div: reserve ne
g
a
t
ive return value
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verd
o
olaege
isl_schedu
l
e_tree
.
c
:
retu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdo
o
laege
isl_acc
e
ss_info
.
coschedule
d
: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doola
e
g
e
i
sl_output
.
c: pos2type: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
affine_hull
.
c: trans
f
orm_column: re
t
urn is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoolaege
isl_
a
ffine_hull
.
c:
c
onstruct_c
o
lumn
:
r
e
turn isl
_
s
tat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_tab_
p
i
p
.
c
:
in
i
t_local_region
:
return isl_s
t
at
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
i
sl_se
q
_preimage: return isl_sta
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doolaege
isl_berns
t
ein
.
c
: is_tight:
r
e
turn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
i
sl_bernstein
.
c: is_
t
ight
:
minor code
s
implific
a
tion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
i
s
l_b
e
r
n
stein
.
c
:
add_fold: return
isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
i
sl_ma
p
_simplif
y
.
c: has_multi
p
le_var_equality:
retur
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
i
s
l
_map_simplify
.
c:
i
s_opp
o
site_except:
r
eturn
is
l
_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolae
g
e
i
sl_map
_
simp
l
ify
.
c: is_parallel_except: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_m
a
p_simpl
i
fy
.
c:
lower_bou
n
d_is
_
cst: return -1 on
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Ve
r
doolaege
isl_ast
_
build_expr
.
c: all_negative
_
coef
f
icients: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaeg
e
a
dd
_
lower
_
div_constraint: ret
u
r
n return modifie
d
result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
a
d
d_
u
pper_div_
c
onstraint: return
r
eturn modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic
_
ma
p
_ad
d
_div_constr
a
int
:
r
e
t
u
rn return modifi
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdo
o
laege
i
sl_b
a
sic
_
map_add
_
d
i
v_constraints:
r
et
u
rn modified
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
erdool
a
ege
add_{upper
.
lower}_div_constra
i
n
t
: only pass in position
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
r
e
m
ove now unus
e
d isl_basic_{s
e
t,ma
p
}_a
d
d_div_constra
i
nts_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_basic_map
_
add_div_
c
onstrai
n
ts: use
isl_basic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
is
l
_
l
ocal
_
s
p
ace
.
c
: no
r
m
alize_div: return modifie
d
result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
no
r
ma
l
ize
_
d
iv_exp
r
ession: return mod
i
fied result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
o
olaege
isl_map_si
m
plify
.
c: elimi
n
ate_var
_
using_equality
:
retur
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdo
o
la
e
ge
isl_in
e
qualit
y
_negate: return mod
i
fie
d
result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
Verdoolaege
is
l
_map
.
c: set_ma_d
i
vs:
return modified result
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
do
o
laege
isl_basic_m
a
p_swa
p
_
d
iv
:
return m
o
d
i
fied
r
esult
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_
o
utput
.
c: prin
t
_constrai
n
t_c: drop
n
ow red
u
ndant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdool
a
e
g
e
isl_
o
utput
.
c: drop print_affine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l_output
.
c: print_con
s
traint_c: u
s
e print_ls_
a
ffine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdoo
l
aege
isl_output
.
c
: print_basic_set_c: use print
_
l
s
_partial_affine_c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
is
l
_cat:
sup
p
ort
C output f
o
rmat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
sc
h
edule_ban
d
.
c
:
has_any: use is
l
_union_se
t
_every_se
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
add isl_
u
nion_
s
et_ev
e
ry_set
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Verdoolaege
isl_tra
n
siti
v
e_closure
.
c:
a
dd_length: reuse increment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oola
e
ge
isl
_
transi
t
ive_clo
s
ure
.
c:
m
ove up increment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_t
r
a
nsitive_closure
.
c:
increme
n
t: re
t
urn isl_map
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
is
l
_transitive_closure
.
c:
i
n
cre
m
en
t
: clean up s
p
ace
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_t
r
ansi
t
ive_closure
.
c: map_power: use
st
r
icter
test
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map_
d
eltas_map: extract
ou
t
i
s
l_map_check_
e
qual_
t
up
l
es
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verd
o
olaege
is
l
_sch
e
dul
e
_node
.
c: coll
e
ct_filte
r
_prefix*: ret
u
rn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next