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_val_n_abs_num_chunks: return isl_size
2018-09-02
Sven Verdoolae
g
e
isl_map_simpli
f
y
.
c
:
eliminate_divs_eq: isl_
b
as
i
c_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verd
o
olaege
isl_map_simp
l
ify
.
c
: ok_t
o
_eliminat
e
_div: u
s
e isl_basic
_
map_
v
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
o
laege
isl_map_simplify
.
c: e
l
imin
a
te
_
div: u
s
e isl_ba
s
ic_map_var_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl_map_simpl
i
fy
.
c
: elimin
a
te
_
var_us
i
ng_equali
t
y
:
use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l_b
a
sic_map_align_divs: use isl_basic_
m
ap_v
a
r_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: find_div: use isl_basi
c
_ma
p
_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
do
o
l
aege
isl_basic_map_order_di
v
s: use isl_bas
i
c
_
m
ap_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n Verdoolaege
i
s
l_map
.
c:
b
a
s
ic_set
_
a
p
pend_equalities:
use i
s
l_b
a
sic_s
e
t_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
.
c: insert_div_ro
w
s: use is
l
_
b
asic_map_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oolaege
isl_m
a
p
.
c: insert_bounds_on_div: us
e
isl_ba
s
ic_map_var_
o
ff
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoo
l
aege
isl_basic_map_remove_d
i
v
s: use is
l
_b
a
sic_map_v
a
r
_off
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic_map_sw
a
p
_
div: use isl_basi
c
_
m
ap_va
r
_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
e
n
V
e
rdoolaege
isl_map
.
c: basic_m
a
p_init:
us
e
i
sl_basic_map
_
pe
e
k_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_basic_map_get_divs:
use isl_
b
asic
_
m
a
p_var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
erdoolaege
i
sl_dim_m
a
p
.
c:
i
sl_dim
_
map_di
v
:
u
s
e isl_b
a
sic_map_of
f
set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
laege
isl_convex_hull
.
c
:
common_constra
i
nts: use isl_set_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ve
n
Ve
r
doolaege
isl_
b
asi
c
_m
a
p_make_strides_explicit
:
use
i
s
l_
b
a
sic_map_va
r
_o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
e
ge
isl_af
f
_substitut
e
_
equalitie
s
_lif
t
ed: use isl_basic
_
set_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_basic_s
e
t_
p
ositive_orthant: use
i
sl_spac
e
_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_basic
_
{s
e
t,map
}
_print_int
e
rnal: use i
s
l
_
pri
n
ter_prin
t
_ba
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoo
l
aege
isl_
t
ransitive_closure
.
c: empty_path_
i
s_identity: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Ve
r
d
oolaege
i
sl_map
_
s
i
m
plify
.
c:
div_find
_
coalesce
:
reuse is_
o
pposite
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ve
r
doolaege
isl_map_simpl
i
fy
.
c: move up is_opp
o
site
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
space
.
c: glo
b
al_pos
:
re
t
urn n
e
g
a
tive value on error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
o
o
laege
i
sl
_
tab_pip
.
c:
find_c
o
ntext_div:
r
e
serve negat
i
ve
r
e
t
urn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl
_
map_simpl
i
fy
.
c: div_find_coalesce: reserve negative
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
isl_map
.
c: fi
n
d_div:
rese
r
ve negative
r
eturn value
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olae
g
e
isl_tab_pip
.
c: fin
d
_div: reserve negati
v
e return value
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_schedule_
t
ree
.
c: r
e
turn isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
oolaege
isl_ac
c
es
s
_
i
nf
o
.
coschedu
l
ed: ret
u
r
n
isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_out
p
ut
.
c:
p
os2typ
e
: retu
r
n i
s
l_sta
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
sl_af
f
ine_hull
.
c: transform_column
:
ret
u
rn is
l
_
boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
V
erdoolaege
isl_affine_hull
.
c: const
r
uct_co
l
umn:
return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
ool
a
ege
isl_
t
a
b_pip
.
c: ini
t
_loca
l
_region: return isl
_
st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ola
e
ge
isl_seq_preimage: r
e
turn is
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rdoolaege
isl_bernstein
.
c: is_ti
g
ht: retur
n
i
s
l
_
b
o
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verd
o
olaege
isl
_
b
e
r
nstein
.
c
: is_tight: minor
c
o
de
simplification
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verd
o
olae
g
e
isl_bernst
e
i
n
.
c:
add_fo
l
d: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaeg
e
isl_
m
a
p
_simplify
.
c
:
has_multipl
e
_var_equality: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map
_
simplify
.
c
: is_op
p
osite_except: re
t
urn isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
olaege
isl_map_simpl
i
fy
.
c:
i
s
_
paral
l
el_exce
p
t
:
return
isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_map_s
i
mplify
.
c
: low
e
r_bound_is_cst:
r
e
t
u
rn -1
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_
a
st_build_ex
p
r
.
c: a
l
l_negat
i
ve_coeff
i
cien
t
s: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
d
o
olaege
add
_
l
ower_div_constraint: retu
r
n return modified r
e
sul
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdo
o
l
aege
add_upper_div_const
r
aint: ret
u
rn return modifie
d
result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
r
d
oolaege
isl
_
basic_ma
p
_
a
dd_div_
c
onstraint: retu
r
n return
m
odified
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Ve
r
doolaege
isl_basic_m
a
p_add_d
i
v_constr
a
int
s
: return
m
odifie
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
add_{upper
.
l
o
wer}_div_constraint: only pass
in
p
osition
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
remo
v
e now unused isl_basic_{set,map}_a
d
d_div
_
constraints_var
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verd
o
ol
a
eg
e
isl_basi
c
_ma
p
_add
_
di
v
_c
o
nstr
a
ints:
use 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
isl_local_space
.
c
: normalize_div: r
e
turn
m
odified r
e
s
u
lt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
n
o
rmalize_
d
iv_expression: return modi
f
ied res
u
lt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_map_s
i
m
plify
.
c
:
eliminate_var_usin
g
_equality
:
r
etu
r
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdo
o
l
a
e
ge
i
s
l_ine
q
uality_neg
a
te:
r
etu
r
n modified result
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
er
d
oolaege
i
sl_map
.
c: set_ma_divs:
return mo
d
i
f
i
e
d resu
l
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoo
l
aege
isl_basic_map_swap_div
:
r
eturn modi
f
ie
d
res
u
lt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoo
l
aege
isl_output
.
c: print_constraint_c: dr
o
p now redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
Verdoolaege
isl_out
p
ut
.
c: drop print_affine_c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaeg
e
isl_
o
ut
p
u
t
.
c: print_const
r
aint_c
:
use
p
rint_
l
s_affine_c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
is
l
_output
.
c:
p
rint_
b
asic_set_c: use pr
i
nt_ls_part
i
al_affine
_
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
e
rdoolaege
isl_cat: support C output form
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolae
g
e
i
s
l_schedule_band
.
c: has_any:
u
s
e isl_unio
n
_set_every_se
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
dool
a
e
g
e
add isl_union_set_every_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
ol
a
ege
isl_tr
a
ns
i
tive_closure
.
c: add_len
g
th: reuse increment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
aege
isl_transit
i
ve_closure
.
c: mov
e
up inc
r
ement
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoo
l
a
ege
isl_transitive_closure
.
c:
i
ncrement: retu
r
n
isl_
m
ap
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdool
a
ege
isl_transitive_closure
.
c: increment: cle
a
n up space
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl
_
t
r
ans
i
tive_closure
.
c
: map_power:
u
se str
i
cter tes
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoola
e
g
e
isl
_
map_deltas_ma
p
: ext
r
a
c
t out isl_map_check_
e
qual_tuple
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdool
a
ege
isl_schedu
l
e
_
n
o
d
e
.
c: colle
c
t_filter_pref
i
x*: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en
V
e
r
doolaege
i
sl_conv
e
x_hull
.
c:
hash
_
basic_set: retur
n
is
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaeg
e
isl_t
r
ansitive_closu
r
e
.
c: add_length
:
return is
l
_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sve
n
Verdoolaege
isl_outpu
t
.
c: next_is_opposi
t
e
: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_coalesce
.
c: add_subs: r
e
t
u
rn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven
V
er
d
oolaege
is
l
_c
o
nve
x
_hull
.
c: uset_is_bound: ret
u
r
n
isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ver
d
oolaege
is
l
_tran
s
itive_closure
.
c
: check
_
exact
n
ess_ome
g
a: re
t
urn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolaeg
e
i
s
l_transi
t
ive_closure
.
c:
is_ac
y
clic: retur
n
isl
_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaege
i
s
l
_sc
h
edule_band
.
c: has_*: r
e
tu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rdool
a
e
g
e
i
s
l_ast_build_n
e
ed_schedul
e
_map: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
i
s
l
_
morph
.
c: identity_on_par
a
meters: return
isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoola
e
ge
isl_mat_i
s
_scaled
_
identity: return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_range
.
c
:
propagate_
o
n_domain: ret
u
rn
i
s
l_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Ve
r
doolae
g
e
isl
_
p
w
_q
p
olynomial_fold_cove
r
s: return
isl_b
o
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
v
ertices
.
c: can_se
l
ect: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Ver
d
oolaege
isl_vertic
e
s
.
c: is_independent: retu
r
n is
l
_b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ve
r
dool
a
ege
i
s
l_a
s
t_codegen
.
c: after_i
n
_*: return
i
s
l_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_
i
nput
.
c:
tuple_has_expr
:
ret
u
rn isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Ver
d
oolaege
i
sl_sched
u
le
_
node
.
c: locall
y
_covered
_
by_domain: r
e
turn
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n Verdoolaeg
e
isl_t
r
ansitive_closure
.
c: incre
m
ental
_
on_
e
ntire
_
d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
ven Verdoolaege
is
l
_transitive_clo
s
ure
.
c:
h
as
_
spurious_elemen
t
s
:
return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven
V
e
rd
o
olaege
isl_tran
s
itive_closur
e
.
c: e
m
p
ty_pat
h
_is_identity: return
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_con
s
t
raint_i
s
_div_constraint: return
i
sl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n V
e
rdool
a
ege
isl_schedule_no
d
e
.
c: h
a
s
_
ancestors: return isl_b
o
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven V
e
rd
o
olae
g
e
i
s
l_poly_is_cst: return is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
S
v
en Verdoolaege
is
l
_polyn
o
m
i
al
.
c: set_active: r
e
tu
r
n
i
sl_s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sv
e
n
Ver
d
oolaege
is
l
_
poly_is_{neg,}one
:
return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-02
Sven Verdoolaege
isl_qpolynomial_is_{affin
e
,cst}: return
i
sl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Ve
r
doolaege
isl_poly
_
is_{n
e
g
,
}infty: re
t
urn isl_boo
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
S
ven Verdool
a
ege
isl_poly_i
s
_nan: return is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-31
Sven Verdoo
l
aege
i
s
l_poly_is_ze
r
o: return isl_
b
ool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next