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
test_inputs/codegen/separate2.in: fix typo in comment
2023-07-21
Sven
V
e
r
do
o
laege
t
e
st_inpu
t
s/codegen/
s
e
pa
r
ate2
.
in: f
i
x
typo
in
c
omme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-01
Sven Verdo
o
laege
isl_
b
asic_set_intersect_params: ex
t
ra
c
t
o
ut i
s
l_ba
s
i
c_map_in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-13
S
ve
n
V
e
rd
o
olaege
cpp/cpp
.
h
.
t
o
p: mark ex
c
e
p
tion::what override
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven
V
erdoolaege
extract-inter
f
ace: link in libclan
g
S
u
p
p
ort when available
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
S
v
en
V
e
r
doola
e
ge
e
x
tract
-
interface: link in clangDriver before
c
langBasic
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-23
Sven Ver
d
ool
a
ege
isl_pw_qpolynomial_b
o
und: special case affine
polyn
o
m
ials
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoola
e
ge
i
s
l_bound
.
c:
u
nwrap: r
e
name
"
poly" parameter to "
q
p"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
isl
_
boun
d
.
c
: guarded_p
o
ly
_
bo
u
n
d: extract
o
u
t
unwrap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
v
e
n Verdoolaege
isl_bound
.
c
:
unwrap
p
e
d_guarded_poly_bou
n
d:
t
a
ke stru
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
v
en Verdoola
e
g
e
isl
_
b
oun
d
.
c
:
compressed_guarded_po
l
y_bound: tak
e
struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
ven
V
erdoolae
g
e
ex
t
r
a
c
t out shar
e
d
isl_qpolyno
m
i
a
l_is
a
_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven
V
erdoolaege
i
s
l_basic_map_from_qpoly
n
o
m
ial: extract
o
ut
i
sl_qpolyno
m
i
al_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdool
a
ege
extra
c
t out s
h
ared isl
_
qpolynomial_pee
k
_
p
o
l
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sv
e
n Ve
r
doolaege
perf
o
rm checked C++ b
i
n
dings te
s
ts
as
s
oon as
C++11
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
ven Ver
d
oolaeg
e
remove check for presence of c
p
p
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
Verdoolae
g
e
a
l
ways run Py
t
hon
tests if
P
yt
h
on is available
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
v
en
V
er
d
oolaege
always build Pyt
h
o
n
i
nterface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoola
e
ge
add ge
n
e
rated interfac
e
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
gene
r
ate inte
r
f
a
c
es in so
u
rce tre
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
Verdoolaege
Ma
k
efile
.
am: alwa
y
s defin
e
CP
P
_INTERFACE
S
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sve
n
V
e
rdoolaege
interfa
c
e/isldlname
.
py
:
create destination direc
t
o
ry
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
V
erdoolae
g
e
sp
l
i
t off machine dependent part
of Python
i
nte
r
face
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven V
e
rdoolaege
always b
u
ild Python interfac
e
if p
o
ssibl
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
v
en Verdoo
l
aege
Makefile
.
am: avoid auto
m
a
t
ic variable
$<
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sve
n
Ver
d
oo
l
aege
use si
n
gle spac
e
indent
a
ti
o
n f
o
r access specifiers
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaeg
e
generate
b
in
d
ings into temporary files first
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven V
e
r
d
oolaege
b
e
les
s
verbose w
h
en generating bindi
n
g
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-14
Sven
V
erdoolaege
i
sl_map
_
c
oalesc
e
: avoid ignoring co
n
s
t
raints red
u
nd
a
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven Verd
o
o
laege
isl
_
tab_make_equalities_ex
p
li
c
it:
s
upport u
n
do
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sve
n
Verdoolaeg
e
isl_tab
.
c: r
e
name r
o
tate
_
constra
i
nt
s
to rota
t
e
_
cons
t
raints_
r
ight
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven
V
erdoo
l
aege
i
sl
_
ta
b
.
c: rota
t
e_constra
i
nt
s
: ret
u
rn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdoolaege
isl 0
.
26
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdoolaege
doc: update su
p
ported ve
r
si
o
ns of c
l
ang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdoolaege
e
xplicitly clean up interfac
e
/
__pycache__/*
.
p
y
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolaege
extract
-
interface: when linking against libclang-cpp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
S
v
en
V
erdoolae
g
e
m4
/
ax_detect_cla
n
g
.
m
4
: preserve
c
lang specific
C
P
PFLAGS
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolaeg
e
i
s
l_ta
b
_pip
.
c: propagate add_ineq context error to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sv
e
n
V
erdo
o
la
e
ge
isl_tab_pip
.
c: find_solution
s
_main: propag
a
t
e
a
dd_eq
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolaege
isl_tab_pip
.
c:
f
ind_in_pos:
plug
m
e
mory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sve
n
Verdoolae
g
e
i
s
l_tab_
p
ip
.
c
:
no_sol_in_strict
:
fix
error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Sv
e
n Verdoolae
g
e
Merg
e
bran
c
h 'main
t
'
commit
|
commitdiff
|
tree
2023-03-21
Sven V
e
r
dool
a
e
ge
fix e
x
port of
i
s
l_space_mu
l
ti_union_pw
_
aff
t
o
t
empla
t
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-21
Sven Ver
d
oolaege
inter
f
ace/template_cpp
.
c
c: m
o
ve u
p
from
_
list_{set,map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
S
ve
n
Verdoolaege
isl_ba
s
ic_map_find_output_up
p
er
_
d
iv_cons
t
raint: all
o
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdool
a
e
ge
isl_ma
p
.
c: is_
p
oten
t
ial
_
div_constrain
t
: return
i
sl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sv
e
n Ver
d
o
o
laege
isl_map
.
c
: is_potential_div_constrain
t
:
refer to va
r
iables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdo
o
la
e
ge
i
s
l_map
.
c: is_p
o
tential_div_const
r
aint: fix/complete
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoolaege
is
l
_
m
ap
.
c: di
v
_i
n
vo
l
ves_vars:
tak
e
variable o
f
fset
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-16
S
ven Verdoolaege
isl_bas
i
c_
m
a
p_remove_div
s
_invo
l
ving_dims
:
use isl_
b
asi
c
_map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-16
Sven
V
erdoo
l
aege
isl_af
f
.
c: pw_multi_aff_from
_
map
_
div: allow nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolaege
add i
s
l_local_space_involves_dims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven
Verdoola
e
ge
add test fo
r
convert
i
ng
b
inary relation involving unkn
o
w
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
S
v
en
V
erdoolaege
i
s
l_aff
.
c: extract ou
t
isl_basic_map_
f
ind_output_upper_div_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven V
e
r
d
oolaeg
e
isl_a
f
f
.
c: pw_mu
l
ti_aff_from_map_check_div
:
use
i
sl_basic_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven Ver
d
oolaege
isl_aff
.
c
:
pw_m
u
lti_aff_from_ma
p
_check_div: use i
s
l
_
bas
i
c_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven Ver
d
oolaege
is
l
_af
f
.
c: e
x
tract out isl_basic
_
m
ap_
i
ne
q
ua
l
i
t
y_extract
_
outp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sv
e
n
Verdoolaege
isl_aff
.
c: pw_mult
i
_a
f
f_f
r
om_ma
p
_
div: merg
e
two variables
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolaege
isl_aff
.
c: pw_multi_aff_f
r
om
_
map_div: use isl_basic_map_var_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-04
Sven Verdo
o
laege
isl_pw_
*
_g
i
st{,_params}:
do not p
r
e-com
p
ute hull of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-04
Sve
n
Verdoolaege
ad
d
isl_pw_a
f
f
_gist
_
par
a
ms test case
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-04
Sven Ver
d
oolaege
isl_poly
n
omial
.
c: f
i
x lo
c
al_po
l
y_move_dims doc
u
mentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Sven Verdoolaege
isl_qpo
l
ynomial_reset_domain_spac
e
: fix memor
y
m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Sven
V
erdoolaege
Me
r
ge
b
r
anch 'main
t
'
commit
|
commitdiff
|
tree
2023-03-03
Sven Verdoo
l
aege
isl_input
.
c:
r
e
a
d_map_tuple: do
not t
a
ke separate
r
a
tional
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-01
Sv
e
n Verdoolaege
isl_map_in
t
ersect_{d
o
mai
n
,range}_wrapped_domai
n
: handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-01
S
ven Verdoolaege
isl
_
*
_copy_tuple_id: use BAS
E
inst
e
ad of
T
YPE
t
o select
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-01
S
ven Verdoolaeg
e
i
s
l
_map_prei
m
a
g
e_pw_multi_aff: fix pl
u
gging i
n
empt
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-28
Sven Verdool
a
ege
isl_ma
p
_
p
re
i
m
a
ge_
p
w
_
multi_aff:
f
ix pl
u
gging in empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-26
Sven Verdoolaege
a
dd
i
sl_union_pw_qpolynomi
a
l_do
m
ain_rev
e
rse
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
S
ven Verdool
a
ege
add isl_pw_qpolynomial_domain_reverse
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
ad
d
isl_qp
o
lynomia
l
_dom
a
in_reverse
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
isl_qpo
l
yno
m
ial_mo
v
e_d
i
ms: e
x
t
r
a
ct out lo
c
al_p
o
l
y_m
o
ve_dims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven V
e
rdoolaege
e
xt
r
act
o
u
t
s
hared isl_qpolynomial_{t
a
ke,rest
o
re}_local
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sve
n
Verdoolaeg
e
extr
a
ct o
u
t sha
r
ed
i
s
l_qpolynomial_get_
l
o
c
al
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven
V
erdoolaege
ex
t
ract ou
t
s
hared i
s
l_qpol
y
nomial_{ta
k
e
,restor
e
}_poly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sv
e
n Verdoola
e
ge
extract out shared
isl_qpo
l
ynomia
l
_
g
et_poly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
isl_qpolynomial_
a
s
_
polyn
o
mial_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 Verd
o
olaege
extract ou
t
shar
e
d isl_qpoly
n
omi
a
l_{take,restore}_domain_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven
V
erdo
o
laege
isl_
q
pol
y
nomial_reset_domai
n
_
spa
c
e
:
specia
l
c
a
se reset
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sve
n
Verdool
a
e
g
e
isl_qpolynom
i
a
l_mo
v
e
_
dims: p
e
r
fo
r
m m
o
re sanity chec
k
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
isl_qpolynomial_
m
ove_
d
ims: d
r
op needless error label
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Ver
d
oo
l
aege
is
l
_qpolynomial_
m
ove_dims: u
s
e isl
_
qp
o
lynomial_domain_va
r
_
o
f
f
s
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven V
e
r
dool
a
ege
is
l
_qpolynomial_move_dims: use isl_
q
poly
n
o
mial_domain_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
isl_qpolynomial_m
o
ve_dims: use isl_qpo
l
ynomial_get_ctx
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sve
n
Ve
r
d
oolaege
isl_
q
polynomi
a
l_
m
ove_dims:
u
se isl_local
_
move
_
vars
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
isl_space_offset: return isl_siz
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
i
s
l_ou
t
put
.
c: defini
n
g_eq
u
a
l
i
ty: r
e
tu
r
n isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sv
e
n
V
e
r
doolaege
isl_bas
i
c_set_factorizer:
use isl_basic_
s
et_var_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sve
n
Verdoolaege
i
sl_fac
t
o
r
izer_gr
o
u
ps:
u
se isl_basic_set_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven
V
erdool
a
e
ge
i
s
l
_
b
as
i
c_
m
ap_from_
q
polynom
i
al: use isl_basic_
m
ap_from_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolae
g
e
isl_basic_
m
ap_fro
m
_qp
o
lynomial:
r
ename local variable
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Ver
d
oo
l
aege
isl_local_spac
e
_
g
et_loc
a
l
:
f
ix
memory
m
a
nagement annotatio
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-14
Sve
n
V
e
r
doolaege
add
exporte
d
i
sl_un
i
on_map_domain_r
e
ver
s
e
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-14
Sven
V
erdoolaege
a
d
d expo
r
t
ed isl_map_d
o
m
a
in_rev
e
r
s
e
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-14
Sven Verdoolae
g
e
a
dd exp
o
r
t
e
d isl_multi_pw_aff_d
o
main
_
rev
e
rse
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-14
Sven Ver
d
oolae
g
e
a
d
d export
e
d isl_pw_m
u
lti_a
f
f_domai
n
_reve
r
se
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-14
Sven Ver
d
o
olaege
ad
d
exported
i
sl
_
multi_aff_
d
o
m
ain_
r
everse
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-14
S
v
en Verd
o
olae
g
e
isl_multi_*
_
un_op: a
l
low s
p
ace modification
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-14
Sven Verd
o
ol
a
ege
introdu
c
e isl_multi
_
*_un_op_cont
r
ol
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-14
S
v
en Verdoolaege
add e
x
ported i
s
l_pw_aff_domain_reverse
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
next