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_bound.c: unwrap: rename "poly" parameter to "qp"
2023-04-23
S
ven Ve
r
doolaege
isl_bound
.
c
:
unwra
p
:
r
e
n
am
e
"p
o
ly" parameter t
o
"qp"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
isl_boun
d
.
c:
guarded_po
l
y_bound: extract out unwra
p
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdo
o
laege
isl_bou
n
d
.
c: u
n
wrapp
e
d_guarded_
p
o
l
y_bound: take struct
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoo
l
a
e
ge
isl_bound
.
c
:
compress
e
d_guarded_po
l
y_b
o
und: t
a
k
e struct
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-23
Sven V
e
rdoo
l
aege
extra
c
t out
s
h
a
red isl_qpoly
n
o
mial_i
s
a_
a
ff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-23
S
v
en Verdoolaege
i
s
l_basic_map
_
from_qpolyno
m
ia
l
:
ex
t
ract
o
ut is
l
_qpolyn
o
mial_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-23
Sven Ve
r
doo
l
aeg
e
extract out sha
r
ed isl_qpolyno
m
ial_peek_
p
oly
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-15
Sv
e
n Verd
o
olaege
perform checked C++ bindings te
s
ts as
s
oon as C++
1
1
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
remove che
c
k
for presence of cpp
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdo
o
laege
alwa
y
s ru
n
Python test
s
if Pyth
o
n is av
a
ilable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-15
Sven
V
er
d
oolaege
always build Pyth
o
n interf
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
add ge
n
e
r
at
e
d interfac
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-15
Sve
n
Verdoola
e
ge
generate i
n
t
e
rfaces
in sourc
e
tree
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-15
Sven
V
erdoolaege
Makefile
.
am: always define CPP_INTERFACES
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoo
l
aege
interf
a
c
e
/isl
d
lname
.
py: cr
e
ate de
s
ti
n
ation director
y
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-15
Sven V
e
rdoolaege
split
o
ff machine depend
e
nt part of Python inter
f
ace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-15
S
v
en
Verdoolaege
a
l
ways bui
l
d Python int
e
r
f
a
c
e if possi
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-15
Sven V
e
rdoolae
g
e
M
akefil
e
.
am:
avo
i
d
a
utom
a
tic variable
$
<
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-15
S
v
en
Verd
o
o
lae
g
e
u
s
e si
n
gle s
p
ace inde
n
tation for
a
ccess
spe
c
i
f
ie
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-15
Sve
n
Ve
r
doolaeg
e
g
e
nerate bindin
g
s int
o
te
m
porary
files first
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-15
Sven
Verdoolaege
b
e less verbos
e
when generating bindings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdoolaeg
e
i
sl 0
.
26
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdoolaege
doc: upd
a
te s
u
ppo
r
ted versi
o
ns of cl
a
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verd
o
olaege
explicitly
cl
e
an up
interface/__pycache__/*
.
pyc
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-26
Sven
Verdoo
l
aege
extract-int
e
rface:
w
hen
linking ag
a
i
nst libclang-cpp
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-26
Sv
e
n Verdoolaege
m4/ax_de
t
ect_
c
lang
.
m4: preser
v
e clan
g
specific
CPPFLAGS
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdo
o
l
aege
isl_tab_pip
.
c: propagat
e
add_ineq co
n
text er
r
or to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-26
Sve
n
Verdoolaege
i
s
l
_tab_pip
.
c
:
find_so
l
ut
i
ons
_
mai
n
:
propagate
a
d
d_eq
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-26
Sven V
e
rd
o
ola
e
ge
i
s
l_
t
a
b
_pip
.
c:
find_i
n
_pos: plug me
m
ory
leak o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-26
Sven Ver
d
oolae
g
e
isl_t
a
b_pip
.
c
: no_sol_in_strict: fix e
r
ror handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-23
Sve
n
Verdoolaege
Merg
e
branch '
m
aint'
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoolae
g
e
isl_basic_map_find_ou
t
put_upper_div_
c
onst
r
ain
t
: allow
.
.
.
commit
|
commitdiff
|
tree
2023-03-16
S
ven Verdoolaege
isl_
m
ap
.
c: is_
p
o
tential
_
div_
c
onstrain
t
: ret
u
rn isl_bool
commit
|
commitdiff
|
tree
2023-03-16
Sven
V
e
rdoola
e
ge
isl_map
.
c:
i
s_pote
n
tial_d
i
v
_c
o
nstr
a
int: refer
to variables
.
.
.
commit
|
commitdiff
|
tree
2023-03-16
Sven V
e
rdool
a
eg
e
isl_map
.
c: is_potential_di
v
_constraint: fix/complete
.
.
.
commit
|
commitdiff
|
tree
2023-03-16
Sven Ver
d
oolaege
isl_map
.
c: di
v
_
i
nvo
l
ve
s
_vars: take vari
a
ble offset
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-16
Sven Ver
d
o
o
la
e
ge
isl_basic_map
_
remove
_
divs_involv
i
ng_dims
:
us
e
isl_basic_map_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-16
Sven Ve
r
do
o
laege
isl_aff
.
c: pw_multi_aff_from_map_div
:
allow nested
.
.
.
commit
|
commitdiff
|
tree
2023-03-04
Sv
e
n Ver
d
oolaege
isl_polynomial
.
c: fix
l
o
c
al_p
o
ly_move_dims d
o
cu
m
e
n
ta
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-04
Sven Verdoolaege
i
sl_qpolynomial_reset_d
o
m
ain_space: fix
m
emo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-03-03
S
ven Ver
d
oolaege
Merge branch '
m
ai
n
t
'
commit
|
commitdiff
|
tree
2023-03-01
Sven Verdoo
l
aege
is
l
_map
_
pr
e
ima
g
e_pw_mul
t
i_aff:
fix plug
g
ing in emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2023-02-26
Sven Verdo
o
la
e
ge
a
dd isl_uni
o
n_pw_qpolynomial_domain_r
e
v
erse
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
S
v
en Verdoola
e
ge
add
i
sl_pw_qpolynomial_domain_reverse
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sven V
e
rdoolaege
a
dd i
s
l
_
qpolynomia
l
_domain_
r
eve
r
se
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdool
a
ege
isl_qpolynomial_move
_
di
m
s:
extract out local_poly_move_dims
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sv
e
n Verdoolaege
extract out shared isl_qpolyn
o
mial_{take,resto
r
e
}
_
l
o
cal
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoo
l
aege
ext
r
a
ct out shared isl_qpoly
n
omi
a
l_get_local
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
S
ven Verdoolaege
extr
a
ct
out shared isl_
q
polynomial
_
{take,rest
o
re}_poly
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
ext
r
act out
s
hared isl_qpolynomial_get_poly
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sv
e
n Verdoolaege
i
s
l_qpolyno
m
ial_as_poly
n
omial_
o
n
_d
o
main: ren
a
me
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdo
o
laege
extract ou
t
shared isl_qpolynom
i
al_{t
a
ke,re
s
tore}_domain_
s
pa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdo
o
la
e
ge
i
s
l_qpolynom
i
al_rese
t
_doma
i
n
_space: special case reset
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sv
e
n
Verdoolaege
i
s
l
_qp
o
lynomi
a
l_move_dims: p
e
r
f
orm
more sanit
y
c
h
ecks
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sv
e
n V
e
rdoo
l
aege
i
s
l_qpolynomial_move_dims: d
r
op n
e
edless er
r
or label
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
is
l
_qpolyno
m
i
a
l
_
move_dim
s
: use
i
sl_
q
p
o
lynomial_doma
i
n_var_
o
ffset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sven Ve
r
doolaege
isl_qpolyn
o
m
ial_move_dims: use
isl_q
p
ol
y
nomial_doma
i
n_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sve
n
Ver
d
oo
l
a
ege
isl_qpolyn
o
mi
a
l_move_dims: u
s
e isl
_
qpolynomial
_
g
e
t
_
c
tx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoola
e
ge
isl_q
p
olynomi
a
l
_mo
v
e_dims: use isl
_
local_move_vars
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
S
v
en Verdo
o
laege
is
l
_space_offset:
r
eturn i
s
l
_
size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
S
ven Verd
o
olaege
isl_output
.
c: definin
g
_equ
a
lity: return isl_size
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sve
n
Verdool
a
ege
isl_b
a
s
ic
_
set_f
a
c
tori
z
er: use
isl_
b
asic_set_va
r
_offs
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verd
o
olaege
is
l
_facto
r
i
zer_
g
ro
u
ps
:
u
se
i
sl_basic_se
t
_
var_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdool
a
e
g
e
isl_basic_map
_
f
r
om_qpolynom
i
al: use isl
_
ba
s
ic_map_from_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
S
v
en Verdoolaege
is
l
_basic_ma
p
_from_
q
po
l
y
nomial: rename loca
l
v
ariable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
isl_local_space_get_local
:
fix m
e
mo
r
y
management annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-12
Sven V
e
r
d
oolaege
interfac
e
: u
p
dat
e
to move of llvm/Su
p
port/Host
.
h to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-12
Sven Verdoolaege
s
cheduler: simplify schedule cons
t
raints w
i
th respec
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-04
Sven Verdoolaege
isl_tab
.
c:
print_tab
_
v
a
r: a
l
so mark f
r
o
zen constr
a
ints
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-04
Sven Verdoolaege
isl_tab_print
_
internal: extrac
t
out print_ta
b
_v
a
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-03
Sv
e
n Verd
o
olaege
a
dd conf
i
g
u
re~ to
.
gitig
n
o
r
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-03
Sven Ver
d
oolaege
m4
/
a
x_compile
r
_vendor
.
m4:
d
etect Portable C Compil
e
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-03
Sven
Verdoolaege
m4/ax_prog
_
cc_for_bui
l
d
.
m4: work
around change in autoco
n
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-01-22
S
ven Verd
o
olaege
isl_*_fi
x
ed_power: further simpl
i
fy intermediate results
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-01-22
S
v
en Ver
d
oolaege
isl_*_fixed_power: extract out shared isl_*_fixed_power_appl
y
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-01-22
Sve
n
Ve
r
doolaege
mov
e
f
ixed power test to isl_t
e
st2
.
c
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-01-22
Sven Verdoolaege
exp
o
rt is
l
_map_fixed_p
o
wer_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-01-21
Sven
V
er
d
oolae
g
e
M
erge
b
ra
n
ch 'maint'
commit
|
commitdiff
|
tree
2023-01-21
Sven Verdoolaege
pyth
o
n int
e
rfa
c
e: convert first argume
n
t of
overloaded
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-01-21
Sven V
e
rdoolae
g
e
python_genera
t
or
:
:print_argument_checks
:
introduce
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-01-21
S
ven Verd
o
o
laege
python_gen
e
ra
t
or::p
r
i
n
t_
a
r
gument_checks: extract ou
t
any
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-01-20
Sven Verdo
o
laeg
e
isl_stream_read_schedule_co
n
str
a
i
nts: exp
l
icit
l
y convert
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-01-20
Sve
n
Verdool
a
ege
isl_str
e
am
_
read_union_access_info:
e
xplicitly conv
e
r
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-01-01
S
ven Verdool
a
eg
e
expor
t
isl_i
d
_to_id
commit
|
commitdiff
|
tree
2023-01-01
S
ven
V
erdoola
e
ge
add i
s
l_
*
_to_*
_
to_str
commit
|
commitdiff
|
tree
2023-01-01
Sve
n
V
erdoolaege
add isl_*_to_*_{pla
i
n_}is_
e
q
u
al
commit
|
commitdiff
|
tree
2023-01-01
Sve
n
Verdo
o
laege
add isl_*_to_*_every
commit
|
commitdiff
|
tree
2023-01-01
Sven Ve
r
d
ool
a
ege
a
d
d isl
_
has
h
_tab
l
e_every
commit
|
commitdiff
|
tree
2023-01-01
Sven Ver
d
oola
e
g
e
inc
l
ude/isl/hmap_templ
.
c: upd
a
t
e
f
o
re
a
c
h
_da
t
a
docu
m
entation
commit
|
commitdiff
|
tree
2023-01-01
Sven Verdool
a
ege
add isl
_
*_to
_
*_read_from_st
r
commit
|
commitdiff
|
tree
2022-12-30
Sven Verdoolaeg
e
export i
s
l
_
as
t
_node_alloc_use
r
as
isl_
a
st_node_u
s
er_from_e
x
p
r
commit
|
commitdiff
|
tree
2022-09-17
S
ven
Verdoolaege
Merge
b
r
anch 'maint'
commit
|
commitdiff
|
tree
2022-09-17
S
v
e
n
Verdoo
l
aege
i
sl_union_*_add_part: properly d
e
tect empty parts in
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-09-17
Sve
n
Verdoo
l
aeg
e
is
l
_union_*_remove_part_entry: free d
a
ta be
f
o
r
e removi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-31
Sven
V
erdoolaege
Merge
b
ranch 'ma
i
nt'
commit
|
commitdiff
|
tree
2022-07-31
Sv
e
n
Verdoo
l
aege
i
s
l_ast_build_aff_i
s
_nonneg:
return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-31
Sven Verdoolaege
isl_ast_
b
u
i
ld_aff_is_nonn
e
g: use
i
sl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-31
Sven
V
erdoolaege
i
s
l_ast
_
build_expr
.
c:
i
s_n
o
n_
n
e
g
_
a
fter_
s
tealing: us
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-31
Sven
Verdo
o
laege
isl
_
ast_build_exp
r
.
c: try_e
x
trac
t
_mod:
return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-31
Sven Verdoolaege
isl_as
t
_build_expr
.
c
: extract_no
n
neg_mod: return
i
sl_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next