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_output.c: can_print_div_expr: use isl_local_div_is_marked_unknown
2018-10-07
Tob
i
as Gro
s
ser
isl_tab_ad
d
_eq: return is
l
_s
t
at
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobi
a
s Gr
o
s
s
er
isl_tab_rollback: r
e
turn isl_stat
commit
|
commitdiff
|
tree
2018-10-07
T
obias Gro
s
ser
isl_tab_nee
d
_undo: use
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
To
b
i
a
s
Gros
s
er
isl_ra
n
ge
.
c
:
has
_
sign
:
use
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobias Gros
s
er
ok_to_merge_coinciden
t
:
u
se isl_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobias Grosser
i
sl_*
_
p
w_plain_is_e
q
u
a
l: us
e
isl_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
To
b
ias Grosser
isl_*_pw_is_zer
o
: use isl
_
bool_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
T
o
bias Gros
s
er
isl_local
.
c
:
isl_local_
d
iv_
i
s_marked_unkn
o
wn
:
us
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
Tobias Grosser
isl_l
o
cal_spa
c
e
_
i
s
_di
v
_equalit
y
: use i
s
l_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-10-07
T
obias Grosser
isl_poly_is_equal: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias G
r
osse
r
isl_mat_has_lin
e
arly_indep
e
ndent_rows:
u
se
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Grosser
i
sl_convex_hull
.
c: uset_
i
s_bo
u
nd:
u
se
i
sl_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobi
a
s Gro
s
ser
isl_trans
i
tive_closur
e
.
c:
i
ncremental_on_
e
ntir
e
_domain
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Grosser
isl_tab
.
c: parallel_c
o
nstraint
s
: use isl_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tob
i
as Gro
s
ser
isl_tab
.
c: conte
x
t_tab_insert_div: use
isl_bool
_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Grosser
i
s
l_vertices
.
c: is
_
indepen
d
en
t
: use i
s
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
To
b
i
a
s
Grosser
isl_point_is_void: use isl_b
o
ol_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Grosser
isl_f
l
ow
.
c: c
o
sche
d
u
led_node: use
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tobias Grosser
isl
_
output
.
c: next_is_opposite: use is
l
_
bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
Tob
i
as Grosser
isl_
v
ec_
i
s_eq
u
al
:
u
s
e isl_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-21
T
obias
Gr
o
sser
isl_vec_is_ze
r
o:
u
s
e isl
_
bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
T
o
bias Gro
s
ser
isl_constra
i
nt_
i
s_eq
u
al
i
t
y
: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobias Grosser
i
s
l
_
c
o
n
s
traint
_
i
s
_
upper_b
o
und: us
e
i
sl_bo
o
l_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobias
G
ro
s
ser
isl_cons
t
rain
t
_is_lo
w
e
r
_bound: use is
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobias Grosser
isl_a
s
t_
b
uild
.
c:
i
sl_
a
s
t_bu
i
ld_
n
eed
_
schedule_
m
ap: us
e
.
.
.
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: use i
s
l_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobi
a
s Gr
o
sser
isl
_
ast_n
o
d
e
_for_is_deg
e
nerate: u
s
e
i
sl_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tob
i
a
s
Grosser
i
s
l_ast_exp
r
_is_equal: u
s
e isl_
b
ool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-20
Tobias Grosser
isl_ast
_
co
d
e
gen
.
c: any
_
s
c
h
eduled_after: use
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-19
Tobias Grosser
isl_s
c
hedule_
n
od
e
_has_p
r
evious_
s
ibling: use isl_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-19
T
o
bias Gro
s
ser
isl_
s
chedule_node_
h
a
s
_parent: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobia
s
Grosser
isl_schedule_tr
e
e_is_subtre
e
_anchored: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias
Grosser
isl_sched
u
le_node_has_children: use
isl_bo
o
l
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
T
o
b
ias Grosser
isl_schedule_tree_plain_is_equal: us
e
isl_b
o
ol_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias
Grosser
isl_schedule_ba
n
d_get_
p
ermu
t
able: use isl_bool_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias Grosse
r
isl_schedule_tree
.
c: domain_less: use i
s
l_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobias G
r
osser
isl_sche
d
ule_node_has
_
n
ext_sibling: use isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tobi
a
s Grosser
isl_schedule_band_me
m
ber_get_coincident: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-18
Tob
i
as Grosser
is
l
_bool_n
o
t:
avoid im
p
licit enum conver
s
ion warni
n
g
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
Tobias
G
ros
s
e
r
isl_
a
ff
_
pla
i
n
_
is_zero: use isl_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
Tobias Gross
e
r
isl_a
f
f_pl
a
in
_
i
s
_cst
:
use is
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
Tobias Grosser
isl_poly_is_o
n
e: use
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-11
Tobias Grosse
r
isl_space_is_map: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Gr
o
s
s
er
isl_aff_
p
lain_is_nan:
us
e
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
T
o
b
i
a
s
Gro
s
s
e
r
i
sl_poly_
i
s
_
n
egone: use i
s
l_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
T
obias Gross
e
r
isl_poly_is_ne
g
i
nfty: use
i
sl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobi
a
s Grosser
isl_poly_is_i
n
fty: u
s
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tob
i
as Gro
s
ser
isl_poly_is_nan: use
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
T
o
bias Grosser
isl_pol
y
_is_zero: use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl_poly_is_cst:
u
s
e isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl_space_range_is_wra
p
pin
g
: use isl
_
bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl
_
space
_
doma
i
n
_is_wrapping:
u
se
isl_bool_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Grosser
isl_sp
a
ce_has_dim_name: use
i
s
l_bool
_
ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tobias Gro
s
s
e
r
isl_spac
e
_has_tuple_name: use
isl_bool_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tob
i
a
s Grosser
isl_sp
a
ce_
i
s_w
r
apping: u
s
e isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
Tob
i
as Grosse
r
isl_space_ha
s
_dim_id:
use isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-10
T
obias Gros
s
er
isl_sp
a
c
e_has_tuple
_
i
d: use isl_
b
ool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-06
Tobias
Grosser
is
l
_
val
_
plain_is_equal: re
t
urn isl_bool
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Grosser
i
s
l
_val_ne: use isl_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Gr
o
ss
e
r
isl_val_abs
_
e
q
:
u
se isl_
b
oo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias
G
rosser
is
l
_val_eq:
use i
s
l_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl
_
val_le: use
i
s
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
obi
a
s
G
r
osser
i
sl_val_gt: use i
s
l_
b
oo
l
_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
b
ias Grosser
isl
_
val_lt:
u
se i
s
l_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gross
e
r
i
sl_v
a
l_is
_
no
n
pos: use isl_
b
ool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobia
s
Grosser
isl_val_is_nonn
e
g
:
use
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s
G
rosser
is
l
_val_is_neg: us
e
is
l
_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Grosser
isl_va
l
_i
s
_pos: use isl_bool_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tob
i
as Grosser
isl_val_is_neg
o
n
e: us
e
i
s
l
_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bia
s
Gr
o
sser
isl_
v
al_is_one: use i
s
l_b
o
ol_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
obias Grosser
isl_v
a
l
_is_zero: use isl_b
o
ol_o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias Grosser
isl_val_is_negin
f
ty: us
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobi
a
s
Grosser
isl_val_is_infty: use isl_bo
o
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
i
sl_val_is_nan: us
e
isl_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosser
isl_val_is_ra
t
:
u
s
e
i
sl_b
o
ol
_
o
k
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
o
bias G
r
os
s
er
isl_v
a
l_is_int: use i
s
l_bool_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
T
obia
s
G
rosse
r
is
l
_val_is_divisible_by
:
use isl_b
o
ol_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Gros
s
er
i
ntroduce isl_boo
l
_ok
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
Tobias Grosse
r
doc: isl_bool_not is d
e
fin
e
d in i
s
l/ctx
.
h
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-09-04
To
b
ias
Grosser
t
es
t
i
sl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Grosser
isl_space_can_uncurry:
i
m
plement with isl_space_range_
i
s_wra
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Grosser
isl_spac
e
_can_curry: imple
m
ent with isl_spac
e
_domain_is
_
w
rapping
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-30
Tobias Gr
o
sser
i
sl_
s
pace_is_wrappi
n
g:
add missing
comment
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
obias
G
rosser
isl_u
n
ion_ma
p
_involve
s
_dims: us
e
isl
_
bo
o
l_no
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
To
b
ias Gro
s
ser
isl_
u
nion_map
.
c:map_
e
x
c
l
udes: use
i
s
l_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
o
b
i
as
G
ross
e
r
isl_union_map
_
is_strict_sub
s
e
t: use isl_bool_not
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
ob
i
as Grosser
sc
h
eduler
.
c
:
graph_has_edg
e
: use is
l
_bool_
n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
T
o
bias Grosse
r
isl_map_i
s
_
s
trict_subset: use isl_bool_
n
ot
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_basic
_
map_
i
s
_
s
t
rict_subset: use isl_bo
o
l
_
n
ot
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Gr
o
s
ser
b
asic_map_follows: use isl_
b
ool_n
o
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
Grosser
isl_set_is_equal: use isl_bool fo
r
loc
a
l var
i
able
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
shared_oute
r
: use is
l
_bool_no
t
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
do
m
a
i
n_follo
w
s_at_de
p
th: use isl_bo
o
l_
n
ot
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
b
a
sic_map_is_emp
t
y_add: use enum vari
a
ble inste
a
d
o
f
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
i
s
_
subset_entry: use
i
sl_bool_f
a
l
se inste
a
d
of
i
n
t
e
g
e
r
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-24
T
obias
Grosser
i
s
l
_
arg
:
use named constant
t
o
i
dentify arg
u
me
n
ts withou
t
.
.
.
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-23
Tobias Grosser
se
t
-st
d
=gnu99 for ima
t
h-32 in CFLA
G
S not
C
PPFLAGS
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
T
o
bias Gross
e
r
inter
f
ace:
export isl_va
l
_po
w
2
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-07
Tobias
G
ros
s
er
introduce isl_val_pow2 as an
a
l
ternative name
for isl_val_2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
2018-08-06
Tobias Grosse
r
d
o
c:
d
r
op duplicate lis
t
i
n
g
of i
s
l
_val
_
2exp
Signed-off-by:
Tobias Grosser
<tobias@grosser.es>
commit
|
commitdiff
|
tree
next