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
extract out shared isl_pw_multi_aff_check_range
2018-08-28
Sven Verd
o
olaege
ext
r
act
out shared
i
sl_pw_m
u
lt
i
_af
f
_che
c
k_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
er
d
oolaege
isl_aff
_
involves
_
dims: ext
r
a
ct out isl_aff_c
h
e
c
k
_
r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
laege
extract out share
d
isl_set_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
er
d
oolaeg
e
extract out share
d
isl
_
basic_set_check_ran
g
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
extract out shared isl_qpolynomia
l
_check_rang
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdo
o
la
e
ge
extr
a
ct out shared isl_
t
erm_che
c
k
_
r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Ver
d
oolaeg
e
extract o
u
t shared isl_mul
t
i_*
_
c
heck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
sl_lo
c
al_c
h
e
ck_pos:
e
xtract
o
ut i
s
l
_local_c
h
eck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoola
e
ge
extrac
t
out shared isl_constraint_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
e
xtr
a
ct out shared
i
s
l
_local_spac
e
_che
c
k
_
range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olae
g
e
extract
out sh
a
red i
s
l_space_chec
k
_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
merge isl*ma
p
_
c
heck
_
range i
m
plementations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
eg
e
isl_bas
i
c_map_plain_get_v
a
l_if_fixed: reuse
i
sl_
m
ap_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
ool
a
ege
is
l
_map_
f
ix
:
reuse isl_map_chec
k
_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
i
s
l_map
_
fix_si: reuse isl_map_
c
h
e
c
k_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
i
s
l
_map_o
p
p
o
se:
r
euse
i
sl_map_ch
e
ck_
r
ange
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
sl_map
.
c: ma
p
_b
o
und_si:
reuse isl_
m
a
p
_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
i
s
l
_map
.
c:
m
ap_bound: reuse
isl_map_chec
k
_ra
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven
V
e
r
doolaege
is
l
_map_f
i
x_val: reu
s
e isl_map_check_r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolae
g
e
i
sl_basi
c
_m
a
p_swap
_
var
s
: reuse isl_basic_m
a
p_
c
heck_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_ba
s
ic_map
_
prei
m
a
ge_v
a
r
s
: reuse isl_basic_map_chec
k
_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl_basic_map_
e
liminat
e
:
r
euse isl_basic_
m
ap_che
c
k_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl_b
a
sic_
m
ap_
t
ransfor
m
_
d
i
ms: reuse i
s
l_basi
c
_m
a
p_check_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ve
n
V
e
r
d
oolaege
isl_basi
c
_map_drop_
c
ore: reuse i
s
l_
b
asic_
m
ap_check_ra
n
ge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
i
sl_basi
c
_map_has_defining_equality: reuse is
l
_
b
a
si
c
_map_che
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
privately ex
p
ose isl_basic_map_chec
k
_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolae
g
e
isl_basic_ma
p
_drop_div:
i
mplement in ter
m
s of isl_basic_ma
p
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdo
o
laege
isl_basic_map_drop: extract
o
ut isl_basic_ma
p
_dro
p
_core
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_basic_map_drop: drop err
o
r la
b
el
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
Verdoolaege
i
sl_
b
as
i
c_map_drop_div: drop removal of constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaeg
e
isl_m
a
p
_simplify
.
c: r
e
move_redunda
n
t_div
s
: d
r
op
div
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ve
r
doola
e
ge
privat
e
ly
e
xport isl_basic
_
map_dro
p
_constraints_involving
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoola
e
ge
is
l
_basic_map_dro
p
_
con
s
traints_involving: move o
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_
b
asic_m
a
p_offset: extract out isl_basic_map_v
a
r_offse
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
isl_basi
c
_map
_
o
f
fset: use isl_basic_map_pe
e
k_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verd
o
olae
g
e
isl_basic_map_of
f
s
e
t: us
e
isl_spa
c
e_o
f
f
set and isl_space_
d
i
m
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
V
erdoolaege
isl_basic_map_co
n
tains_point:
use isl_local_ext
e
nd_
p
o
i
n
t_vec
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoo
l
a
ege
privately export isl_loc
a
l_allo
c
_from_ma
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
expo
s
e
isl
_
local_fr
e
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias Grosser
isl_union_map_in
v
ol
v
e
s_di
m
s:
u
se isl_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
as Grosser
isl_un
i
on
_
map
.
c:map_exclude
s
: use isl_bo
o
l_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
T
o
bias Grosser
isl_u
n
ion_map
_
is_stri
c
t_subset: u
s
e
isl
_
bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
Grosser
scheduler
.
c:gr
a
ph_h
a
s_edge
:
u
se isl_b
o
ol_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobi
a
s
Grosser
isl_map_is_strict
_
s
u
bset: u
s
e isl_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tobias
G
ros
s
er
isl_b
a
sic_map_i
s
_strict_su
b
set
:
use isl_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Tob
i
a
s
Grosser
b
a
sic_map_foll
o
w
s: use
i
sl_bool_n
o
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoolaege
isl_
m
a
p
.
c: add_constraints: use isl_basic_
m
ap_add_co
n
straint
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoola
e
ge
isl_sched
u
le_node_has_p
a
rent
:
reuse is
l
_sc
h
edule_n
o
de_g
e
t_tr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdo
o
lae
g
e
isl_qp
o
lynomial_c
s
t_on_domain: reuse i
s
l_qpoly
n
omi
a
l_zero_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolae
g
e
isl_qpolynom
i
al_
v
a
l_on_domain: reuse
isl_
q
polynomi
a
l_zer
o
_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erd
o
olaeg
e
isl_qpolynomial_ra
t
_cst_on_domain:
r
euse isl_qpolynomial_ze
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
isl_polynom
i
al
.
c: extra
c
t out shar
e
d doma
i
n_type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erd
o
olaege
isl_test
.
c: remove some code
d
u
p
lication
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl
_
basic_set
_
opt: reuse is
l
_
b
asic_set_get_d
i
vs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
d
o
o
laege
isl_t
a
b_
p
i
p
.
c:
implement sp
l
it in terms of sp
l
i
t
_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
erdoolaeg
e
isl_basic_s
e
t_tot
a
l_dim: imple
m
ent in terms of isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaeg
e
isl_con
s
train
t
.
c: use isl_basic_set_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdool
a
ege
isl_constraint
.
c: use isl_basic_map
_
offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
r
d
oolaege
Merge bran
c
h
'
main
t
'
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaege
drop isl_basic_se
t
_ex
t
e
nd
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoolae
g
e
drop i
s
l_basic
_
set_add_eq
u
a
lity d
u
p
li
c
at
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdoo
l
ae
g
e
isl_
b
asic_ma
p
_add
_
eq:
speci
a
l case empty
i
n
p
ut
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdool
a
ege
i
s
l_
b
asic_map_add_{eq,ineq}: onl
y
m
odif
y
s
i
n
gle copy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Ver
d
oolaege
isl_qpolynomial_as_poly
n
o
m
i
a
l_on_d
o
main: use isl_local_
s
pace
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoola
e
g
e
isl_qpolynomia
l
_gist: use i
s
l
_local_sp
a
ce_lift_s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verd
o
ola
e
ge
add
isl
_
local_spac
e
_
l
ift_ba
s
ic_
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdoola
e
ge
isl
_
af
f
_gist: extract
out i
s
l
_
local_space_lift_se
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n
V
e
r
d
o
o
l
a
ege
add isl_set
_
peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdo
o
l
a
ege
is
l
_prin
t
er
_
p
rint_sc
h
edule_tre
e
_mark: use is
l
_schedule_tree_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
e
n
V
erdoolaege
isl_schedule_tree
.
c: i
n
itial_domain_from_children:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
oolaege
isl_sched
u
le
_
tree
.
c:
.
.
.
_e
x
t
end_from_chil
d
ren: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoola
e
ge
isl_
s
chedu
l
e_tree_drop_child: use isl_sc
h
edule_tree
_
n
_
c
h
ildren
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaege
isl_schedule_tree_
u
pdate_anch
o
red: use isl_schedule_tre
e
_n_c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verd
o
olaeg
e
i
sl_s
c
hed
u
l
e
_nod
e
_
has_nex
t
_s
i
bling:
u
s
e
is
l
_
s
chedule_
t
ree_n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_sch
e
dule_tree_n
_
c
h
ildren: explicitly ha
n
dle miss
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobia
s
Grosser
isl_s
e
t_i
s
_
e
qual
:
use i
s
l_
b
ool fo
r
local variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
shared_outer: use isl
_
bool
_
not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
G
r
o
sser
domain_foll
o
ws_at_dept
h
: use isl_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias G
r
osser
basic_map
_
is_empty_add: use enum vari
a
ble inst
e
ad of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gross
e
r
is
_
subset_entry: use isl_boo
l
_false i
n
stead of integer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gros
s
er
is
l
_
arg: use name
d
constant to identi
f
y a
r
g
u
ments wi
t
ho
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
S
v
e
n
V
erdoolaege
isl_val_check_ma
t
ch_domain_
s
pace:
u
pdat
e
do
c
umentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
drop
u
nused isl_basi
c
_s
e
t_swap_div
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ver
d
oolaege
isl_
a
ff
i
ne_hull
.
c: isl_bas
i
c_ma
p
_make_s
t
rides_explic
i
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
S
v
en Verdoolae
g
e
isl_sc
h
edule_node
.
c:
collect_
f
ilter_prefix_update:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
isl_schedule_tree
.
c: p
r
int_
t
ree_band: use i
s
l_b
o
ol
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-23
To
b
ias Grosser
s
et -s
t
d=g
n
u
9
9 for imath-32 in CFLAGS not
C
P
P
F
L
AGS
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_schedule_no
d
e
_
b
and_sink: use isl_boo
l
f
o
r loc
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Ver
d
oolaege
isl_test
.
c:
b
efore_for: use isl_bool for local va
r
iable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_basic_ma
p
_al
i
gn_divs: use i
s
l_b
o
ol
f
or local variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_
t
ransitive_c
l
osure
.
c:
check_exactness_omega: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_transitive_closure
.
c: is_acyclic:
u
se
i
sl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_ast_build_ex
p
r
.
c: isl_ast_build_from_multi_pw_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
isl_sch
e
dule_tree
.
c: sub
t
ree_schedule_exte
n
d_from_childre
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_convex_hul
l
.
c: convex_hull_p
a
ir:
use isl_bool
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oolaeg
e
isl_ast_codegen
.
c: comp
u
te_domains: us
e
isl_bo
o
l
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolae
g
e
isl
_
test
.
c: test_affine_hull
:
use
isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
rdoolaege
i
sl_pw_
q
polynomi
a
l_fold
_
cove
r
s: use isl_
b
ool for lo
c
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
d
oolaege
isl_schedule_node
.
c
: ext
e
nsion
_
fr
o
m_domain: use
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
olaege
isl_sc
h
edule_node
.
c
:
i
s
l_schedule_node
_
group: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next