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_*_pw_plain_is_equal: use isl_bool_ok
2018-10-07
Tobias Gross
e
r
isl_*_pw_pl
a
in_is_equal: use
isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobias
G
rosser
isl_*_pw_is_zero: us
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
T
o
bia
s
G
r
osser
isl_local
.
c: i
s
l_local_div_is_mar
k
ed_unkno
w
n:
use
isl_bool_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobias G
r
osser
isl_local_
s
pace_is
_
div_equalit
y
: u
s
e
i
s
l
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
T
obias Gross
e
r
isl_poly_is_equal: use isl_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobi
a
s
Grosser
i
sl
_
mat_has_line
a
rly_independ
e
nt_
r
ows
:
use
isl_bool_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Gros
s
er
isl_convex_
h
ull
.
c: us
e
t
_is_b
o
und:
u
se isl_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias G
r
osser
isl_transitive_closure
.
c: increm
e
ntal_
o
n_entire_domain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias G
r
osser
isl_tab
.
c
:
par
a
ll
e
l
_constraints: use
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Gross
e
r
isl_tab
.
c: conte
x
t_tab_insert_d
i
v: use is
l
_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Grosse
r
isl_vertices
.
c: is_i
n
depe
n
dent: use isl_b
o
ol_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
T
ob
i
as G
r
o
s
ser
isl_point_is_void: use is
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobia
s
G
r
osser
isl
_
f
l
ow
.
c:
cos
c
h
eduled_node:
u
s
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
T
o
b
ias Grosser
is
l
_output
.
c: next_is_o
p
posite: use
i
sl_bo
o
l_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Grosser
is
l
_vec_is_equal: use i
s
l_bo
o
l
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Gr
o
sser
isl_vec_is_zero:
u
se isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobias Grosser
i
s
l
_const
r
aint_is_e
q
uality:
use is
l
_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobias
Gr
o
sser
isl_constraint_i
s
_up
p
er_bound: use isl_bo
o
l_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobias
G
rosser
isl_con
s
traint_is_low
e
r_bound
:
u
se isl_b
o
ol_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobias Grosser
i
sl_
a
st_bui
l
d
.
c: is
l
_ast_build_need_schedu
l
e
_map:
use
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobia
s
Gr
o
sser
i
s
l_ast_node_if
_
has_el
s
e:
u
se
i
s
l_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobi
a
s Grosser
isl_ast_n
o
de_
f
or_is_degenerate: use
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobias Gross
e
r
isl_
a
st_expr_is_equ
a
l:
u
s
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
To
b
ias Grosser
isl_ast_codegen
.
c: a
n
y_scheduled_after
:
u
se
is
l
_bo
o
l_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-19
Tobias Grosser
i
sl_schedule_node_h
a
s_p
r
evious_s
i
bling: use i
s
l_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-19
Tobias Grosser
isl_s
c
hedule_node_ha
s
_
p
a
rent:
u
se
i
sl_
b
ool
_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias Gross
e
r
isl_schedule_tree_is_subt
r
ee_a
n
c
h
ored
:
u
se isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tob
i
as Grosser
isl_schedule_node_has_children
:
use
i
sl_b
o
ol_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobi
a
s Grosser
isl_schedule_tree_pl
a
i
n
_is_equal
:
us
e
isl_bo
o
l_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
T
o
b
i
as Gross
e
r
isl_sc
h
e
d
ule_b
a
nd_get_p
e
r
m
utable: use is
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
To
b
i
as Gro
s
ser
isl_schedule_tree
.
c: domain
_
less: use is
l
_bool_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobia
s
Gr
o
sser
is
l
_schedule_node
_
has_nex
t
_s
i
bling: use
isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias
G
r
oss
e
r
isl_schedule_ban
d
_mem
b
er_get_coin
c
ident: use is
l
_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias Grosser
isl_bo
o
l_not: avoid
implicit enum
c
onversion w
a
r
n
ing
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
Tobias Grosser
isl_aff
_
plain
_
is_zero: use isl_bool
_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
Tobias Gro
s
s
e
r
is
l
_a
f
f
_pl
a
in_is_cst: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
Tobias G
r
osser
isl_poly
_
is_on
e
:
use is
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
Tobias Grosser
isl_space_is_map: use
i
sl_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tob
i
as Grosser
isl_a
f
f_plain
_
is
_
nan: use isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias G
r
o
s
ser
isl_poly_is_negone:
u
se is
l
_bo
o
l_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl_poly
_
is_ne
g
inft
y
: use isl_bool_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
To
b
i
as
Gr
o
sser
is
l
_poly_is_infty
:
u
se isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
T
o
b
i
as
G
rosser
isl_po
l
y_is_na
n
:
use i
s
l_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosse
r
isl_poly_is_
z
ero
:
use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl_pol
y
_
is_cst: us
e
isl_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
T
obias Grosser
isl_space_range_is_wrapping
:
use is
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
T
o
b
ias
Grosser
isl_
s
pace_
d
om
a
in_is
_
wrapping: use isl_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Gros
s
er
isl_space_has
_
dim_name: use isl_boo
l
_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias
G
ro
s
s
e
r
isl_spac
e
_ha
s
_tuple_name: u
s
e isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
T
o
bias Gros
s
e
r
isl_s
p
a
ce_is_wrapping: use isl_bo
o
l_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
i
sl_sp
a
c
e_ha
s
_di
m
_
id:
u
se is
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
T
obias Gros
s
er
isl
_
space_has_tupl
e
_id:
use i
s
l_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-06
Tobia
s
Gr
o
sser
isl_v
a
l_
p
lain_is_equal:
r
eturn
isl_bo
o
l
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Grosse
r
i
sl_val_ne
:
use
i
s
l_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosse
r
isl
_
va
l
_ab
s
_eq: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Grosser
isl_val_eq: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
To
b
i
as Grosser
isl_val_le: use is
l
_
bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_
g
t: use isl_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
osser
isl
_
val_lt: use
i
s
l
_
b
o
o
l_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias G
r
osser
i
s
l
_
va
l
_is_nonpos:
u
se
i
sl_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gros
s
er
isl_val_is
_
n
onneg:
use isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_is_n
e
g: use
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Grosser
isl_
v
al_is_pos: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Grosser
isl_
v
a
l
_
is_negone: us
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
osser
isl_val_is_o
n
e
:
use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
Grosser
isl_
v
al_is_zero
:
u
s
e
i
sl_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gros
s
er
i
s
l_va
l
_is
_
negin
f
ty:
u
se isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_is_infty: us
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s Gros
s
e
r
isl_val_is_nan
:
use isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias
Grosser
isl_val_
i
s_rat: u
s
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_v
a
l_is
_
i
nt
:
use i
s
l_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val
_
is_divisib
l
e_b
y
: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
introduce is
l
_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Gros
s
er
doc: isl_
b
oo
l
_
n
ot is defined in isl/ctx
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
t
e
st isl_b
o
ol_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
T
o
bias
Gro
s
ser
isl
_
space_
c
an_uncurry: impleme
n
t with
isl_s
p
ace_range_is_wra
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Gross
e
r
is
l
_
s
p
ace_can_curry: imp
l
ement with isl_space_d
o
main_is_wrap
p
i
n
g
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobi
a
s Grosser
isl_space_is_wrapping
:
add miss
i
ng comment
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
obias Grosser
i
s
l_union_map_involv
e
s_di
m
s
:
use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobi
a
s Grosser
isl
_
union_map
.
c:ma
p
_exclu
d
es: use i
s
l
_
boo
l
_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_union
_
map_is_stric
t
_subset:
u
se isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
Gro
s
ser
scheduler
.
c:graph_has_ed
g
e
: us
e
isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
G
rosser
isl_map_is
_
str
i
ct_
s
u
b
s
e
t
:
use isl
_
bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias G
r
os
s
er
isl_basic_ma
p
_is
_
strict_subse
t
: use
i
sl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
basic_map_follows: use isl_bool_n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
T
obias Grosser
isl_s
e
t
_is_eq
u
al:
use isl_bool fo
r
local v
a
r
ia
b
le
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
T
o
bias Grosser
s
h
ared_
o
uter: use isl_b
o
ol_
n
ot
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
T
obias
G
ro
s
s
e
r
d
omain_foll
o
ws_at_
d
epth: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias G
r
osser
basic_map_is_empty_add: use enum
v
aria
b
l
e
instead of
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gros
s
er
is_subset_entry: us
e
isl_bool_fals
e
instead of
inte
g
e
r
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tob
i
as Gross
e
r
isl_
a
rg: use named c
o
nsta
n
t to
i
de
n
t
i
fy a
r
guments witho
u
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-23
Tobias Gros
s
er
s
e
t -std=gn
u
99 for ima
t
h
-
32 in CFLAGS not C
P
PF
L
AGS
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias Grosser
interface:
e
xport isl_val_pow2
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias Grosser
introduce isl_v
a
l_pow
2
as an a
l
t
ernative nam
e
for i
s
l_val_2
e
xp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-06
Tobias Grosser
doc:
d
r
op duplica
t
e listing o
f
isl_val_2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-12
Tob
i
as
Grosser
coa
l
esce_af
t
er
_
aligning
_
divs: use isl_bool i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2018-06-12
Tobi
a
s Grosser
Use isl_stat
as retu
r
n valu
e
for isl_val_get_num_isl_i
n
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-06-06
Tobias
G
ro
s
ser
isl
_
c
e
ll_f
o
reach_simple
x
: u
s
e isl_stat instead of int
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
To
b
ias Grosser
isl_
a
st_graft
_
f
r
ee:
retur
n
isl_ast_graft * instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-05-30
To
b
i
a
s
G
rosser
isl
_
reor
d
ering_
f
ree: retu
r
n isl_reorde
r
ing * instead
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next