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_tab_rollback: return isl_stat
2018-10-07
Tob
i
as Grosse
r
i
sl_tab
_
rollback: return isl_s
t
at
commit
|
commitdiff
|
tree
2018-10-07
Tobias
Gross
e
r
i
sl_tab
_
need_undo
:
us
e
isl_bool_
o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-10-07
T
o
bi
a
s Grosser
isl
_
range
.
c: ha
s
_sign: use i
s
l
_
bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-10-07
To
b
ias
Gr
o
s
s
er
o
k_
t
o_m
e
rge_coinc
i
den
t
:
u
s
e
i
s
l_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-10-07
Tob
i
as Gro
s
se
r
isl_*_pw_plain_is_
e
q
ua
l
: use isl_boo
l
_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-10-07
T
o
bias Grosser
i
s
l_*_pw
_
is_zero
:
u
s
e
isl_
b
ool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-10-07
Tobias Gros
s
er
isl_local
.
c
: isl_lo
c
al_div_is_mark
e
d_unkn
o
wn: use
isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-10-07
Tobias Gr
o
sse
r
isl_local_space_is
_
d
i
v_
e
quality: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-10-07
To
b
i
a
s
G
rosser
isl_poly_
i
s_equal: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Grosser
isl_mat
_
has_linearly
_
indepen
d
e
nt_r
o
ws: use isl_
b
ool
_
ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-21
Tobia
s
G
r
o
s
ser
i
s
l_convex_hu
l
l
.
c: uset_
i
s_bound
:
use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-21
T
obias Grosse
r
isl_transitiv
e
_cl
o
sure
.
c: incr
e
mental_on_entire_domain
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Grosser
i
s
l_tab
.
c
: p
a
ralle
l
_constraints: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-21
T
obias Gro
s
ser
isl_
t
a
b
.
c: context_
t
ab_insert_di
v
:
u
se is
l
_b
o
ol_
o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Grosser
isl_vertice
s
.
c:
is_in
d
ependent: use isl
_
bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Grosser
isl_
p
o
i
nt_is_void: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-21
Tobi
a
s
Grosser
i
s
l_flow
.
c: cosched
u
led_node: use isl_bool_o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-21
Tob
i
as Grosser
i
s
l_outp
u
t
.
c: next_is_opposite:
u
se isl
_
bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-21
T
o
bi
a
s Grosser
isl_vec_is_equal: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Gros
s
e
r
isl_vec_
i
s_zero: u
s
e is
l
_boo
l
_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-20
To
b
ias Grosser
i
s
l_constra
i
nt_is_equality:
use isl
_
bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-20
Tobia
s
Grosser
isl_co
n
straint_is_upper_bo
u
nd: use i
s
l_bool_
o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-20
Tob
i
as Gro
s
ser
isl_c
o
nstraint_is
_
lower_bound: use isl
_
bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-20
T
obi
a
s
G
rosser
i
sl_ast_build
.
c: isl_ast_buil
d
_ne
e
d_schedule_map: use
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-20
Tobias Gr
o
sser
isl_ast_node_if_has_el
s
e: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-20
T
o
b
ias
Gr
o
sser
isl
_
a
s
t_n
o
de_for_is_d
e
generate:
u
s
e
isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-20
Tobias Gross
e
r
i
sl_ast_ex
p
r
_
is_equal: use isl_
b
o
ol_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-20
Tobias Gro
s
s
e
r
i
sl_ast_codegen
.
c:
a
ny_scheduled_after:
u
se isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-19
Tobias Grosser
isl_s
c
hedule_
n
ode_has
_
pr
e
v
ious_sib
l
ing: use
isl_boo
l
_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-19
Tobi
a
s Gros
s
er
isl_
s
ch
e
dule_no
d
e
_
h
as_parent: use isl
_
boo
l
_o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-18
Tobias Grosser
isl_s
c
hedule_tree_is_subtree_an
c
h
o
red: use is
l
_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-18
Tobi
a
s Gros
s
er
i
s
l
_schedul
e
_nod
e
_has_children:
use isl_bo
o
l_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-18
Tobias Grosser
is
l
_sc
h
e
dul
e
_tree_plain_is_equal: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-18
T
obias G
r
o
sser
i
sl_sch
e
d
u
le_b
a
nd_g
e
t_permuta
b
l
e:
u
se i
s
l_b
o
ol_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-18
Tobias Grosser
isl_sched
u
le_tr
e
e
.
c: domain_less: use is
l
_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-18
T
o
b
i
as G
r
osser
isl_schedule_node_has_next_sibling: u
s
e isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-18
Tobia
s
Grosser
isl
_
sch
e
dule_
b
and_member_
g
et
_
co
i
nciden
t
:
u
se is
l
_bo
o
l_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-18
To
b
ias Gros
s
er
isl_boo
l
_not:
avoi
d
impl
i
cit enum conversion warning
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-11
T
o
b
ias Grosser
isl_aff_p
l
ain_is_zero:
u
se isl_bool_o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-11
Tobi
a
s
Grosser
isl_aff_p
l
ain_is_cst: use
i
sl
_
bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-11
Tobias Grosser
is
l
_poly_
i
s_one: u
s
e i
s
l_bool
_
ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-11
Tobias
Gr
o
sser
i
s
l_space_is_ma
p
: use
is
l
_bool_
o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Gro
s
s
e
r
i
sl_aff_p
l
ain_is_nan: u
s
e isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Gross
e
r
isl_poly_is_nego
n
e: us
e
isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias G
r
osser
i
s
l
_
p
o
l
y_is_negi
n
f
t
y:
use
isl
_
bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias
G
r
oss
e
r
isl_poly_is_
i
nfty: use isl_bool_
o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
T
o
bia
s
Gros
s
er
isl_poly_i
s
_nan:
use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias
Grosser
isl_
p
oly_
i
s_zero: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobia
s
Gr
o
sser
isl_po
l
y
_is_cst: use is
l
_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosse
r
is
l
_space_ran
g
e_is_wr
a
pp
i
ng: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
T
obias Gr
o
sser
isl
_
spa
c
e
_
domai
n
_is_wr
a
pping: us
e
isl_
b
ool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
T
o
bia
s
Gros
s
er
isl_space_ha
s
_dim_name: u
s
e isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias
G
ros
s
er
i
s
l_
s
pace_ha
s
_tuple_nam
e
: use isl_bo
o
l
_
ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
To
b
ias Grosser
isl
_
spa
c
e_is_wrapping
:
use isl_bool_o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobias
G
ros
s
er
isl_sp
a
ce_has_dim_id: use
i
s
l
_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-10
Tobi
a
s Gro
s
ser
isl
_
sp
a
ce
_
h
as_tuple_id: us
e
isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-06
Tobias
G
r
o
sser
isl
_
val_pla
i
n_is_e
q
ual: return isl_b
o
ol
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Gr
o
sser
isl
_
val_ne: use isl_boo
l
_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gros
s
e
r
is
l
_
v
a
l_abs_eq
:
use
isl_b
o
o
l
_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gross
e
r
isl
_
val_eq: use isl
_
bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Grosser
isl_val_le: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias G
r
oss
e
r
isl_
v
al_
g
t
:
use isl_b
o
ol_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gro
s
ser
isl_va
l
_lt: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
b
ias Gro
s
ser
isl_val_
i
s_nonpos: use isl_
b
ool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Grosser
is
l
_val_is_non
n
e
g
:
use
is
l
_
b
ool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
G
ross
e
r
isl_val_is_neg: us
e
isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
T
o
b
i
a
s
Grosser
isl_
v
al
_
is_pos: use isl
_
b
oo
l
_o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Grosser
isl_val_is_negone:
u
se isl_
b
ool
_
o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
osser
i
sl_val_is_on
e
: use isl_bo
o
l_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias G
r
o
sser
i
sl_val_i
s
_zero:
u
se
i
sl_boo
l
_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Grosser
isl_val
_
is_n
e
ginft
y
: 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_infty: use
i
s
l_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Grosser
isl_
v
al_is_n
a
n
:
use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_i
s
_rat: u
s
e isl_bool_
o
k
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias Grosser
isl_val
_
is_int:
u
se isl_bool
_
ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as
G
r
osser
isl_val_is_di
v
isible_by: use isl_bool_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gr
o
s
ser
i
n
troduce is
l
_
b
o
ol_ok
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
doc
:
is
l
_bool_
n
ot is define
d
in
isl/ctx
.
h
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gro
s
ser
t
e
st isl_bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Grosser
isl_space_can_u
n
c
u
rry: i
m
plement
w
ith isl_space_
r
ange
_
i
s_wra
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-30
To
b
ias Gross
e
r
isl_s
p
ace_can_curry: implemen
t
with isl
_
sp
a
ce_d
o
mai
n
_i
s
_
wrapping
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-30
Tob
i
as Grosser
i
s
l_space_is_wra
p
p
ing: ad
d
mi
s
si
n
g comment
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
To
b
ias Gr
o
sse
r
isl_union_map_involves
_
dims:
u
se isl_bool
_
not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_union
_
map
.
c:map_exclu
d
es: use isl_boo
l
_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
i
s
l_
u
nion_ma
p
_is_st
r
ict_subs
e
t:
u
se isl_bool_no
t
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
To
b
i
a
s Grosse
r
scheduler
.
c
:graph_has_ed
g
e: use isl_bool_no
t
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_map_is_stri
c
t
_sub
s
e
t
:
us
e
i
s
l
_bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias G
r
os
s
e
r
isl_basi
c
_map_is_strict_
s
ubset:
u
se isl_boo
l
_
n
ot
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
b
a
s
i
c_map
_
follows
:
use i
s
l_bool_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tobia
s
Grosser
isl_set_
i
s_equal: use isl_bool
f
or local variable
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias G
r
oss
e
r
shared_outer: us
e
i
sl_bool
_
not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tob
i
as Grosser
d
omai
n
_
foll
o
ws_a
t
_d
e
pth: use
isl_boo
l
_not
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gr
o
sser
basic_map_is_
e
mpty_a
d
d
:
use enum variable instea
d
of
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
T
o
b
ias Grosser
i
s
_
s
ubset_en
t
ry: use isl_bool_fal
s
e instead of
inte
g
er
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-24
Tobi
a
s Gro
s
ser
isl_
a
r
g: use named
constant to identify
a
r
g
uments without
.
.
.
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-23
T
o
bia
s
G
r
osser
set -s
t
d=gn
u
99 for imath-32 in CFLAGS
n
ot CPP
F
LAGS
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-07
Tobias Grosser
interface: export
i
sl_val
_
pow2
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-07
Tobias Grosser
i
nt
r
oduce isl_
v
al
_
pow2
as an alternativ
e
n
am
e
for isl_val_2exp
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-08-06
Tobi
a
s Grosser
doc: drop duplica
t
e li
s
ting of isl_val_
2
exp
Signed-off-by: Tobias Grosser <
tobias@grosser.es
>
commit
|
commitdiff
|
tree
2018-06-12
Tobi
a
s Grosser
coalesce
_
after_al
i
g
ning_divs: use is
l
_bool instead
.
.
.
commit
|
commitdiff
|
tree
next