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
Verdoolaege
test_i
n
puts/
c
odegen/separ
a
te2
.
in: fix t
y
po in commen
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-01
S
v
en Verdoo
l
aege
isl
_
basic_set_intersect_params: e
x
tract out isl_basi
c
_map_in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-13
Sv
e
n Ver
d
oo
l
aege
c
p
p/cpp
.
h
.
top: mark exc
e
ption::wh
a
t o
v
e
r
ride
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sve
n
Verdool
a
e
ge
extract-interface:
link i
n
libcla
n
g
Suppo
r
t
w
hen available
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sve
n
Ver
d
o
olaege
e
xtra
c
t
-
i
nterface: link in cl
a
ngDri
v
er before c
l
angBa
s
i
c
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-23
Sven
V
erdoolaege
i
sl_
p
w
_qpolyno
m
ial_bound:
s
pecial case aff
i
ne polynomials
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdool
a
ege
isl_bound
.
c: unwrap: ren
a
me "poly" parameter to "qp"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
isl_bou
n
d
.
c:
g
uarded
_
poly_bound: extract out un
w
rap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Ve
r
doolaege
i
sl_bound
.
c:
u
nwrapped_guard
e
d_poly_bound: take st
r
u
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
v
en Verdoo
l
aege
isl_
b
o
und
.
c: compressed
_
guarded_po
l
y
_
bou
n
d: take struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verd
o
olaege
ex
t
ract out shared isl_qpolynomial_
i
sa_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
ven Verdoolaege
is
l
_
b
as
i
c_map
_
from_qpol
y
nomial:
e
xtract out isl_qpolynomial_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
ext
r
act out shared isl_
q
p
o
lynomial_pee
k
_
p
oly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ver
d
o
o
l
aege
perform chec
k
ed C++ bindings
t
ests as soon as
C++11
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
ven Verdoolaege
remo
v
e check for pres
e
nce of cpp
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaeg
e
always run Python tests if Python is avail
a
ble
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
always build Python interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sve
n
Verdoolae
g
e
add gen
e
r
a
ted interfaces
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sve
n
Verdoo
l
aege
gene
r
a
t
e interfaces in sour
c
e tr
e
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sve
n
Verdoolaege
Makefile
.
am: al
w
a
ys define
CP
P
_
INTERFA
C
ES
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sve
n
V
e
rdoolaege
interface
/
isldlname
.
py: crea
t
e destin
a
ti
o
n
d
irectory
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdool
a
e
g
e
split off m
a
chine dep
e
n
den
t
part o
f
Py
t
hon inte
r
fac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaeg
e
al
w
ays bu
i
ld
P
ython interface if po
s
s
ible
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ver
d
oolaege
Ma
k
efi
l
e
.
am: avoid
a
utomatic va
r
iab
l
e $<
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ver
d
oolae
g
e
u
s
e single
s
pace
i
n
dentation for ac
c
ess s
p
ecifie
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sve
n
Verd
o
olaege
gene
r
a
t
e
b
indin
g
s in
t
o tem
p
orary fi
l
es first
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ve
r
dool
a
ege
be less ver
b
ose
w
hen gene
r
atin
g
bindings
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-14
S
ven Verdoolaege
isl_map_c
o
a
l
esc
e
: a
v
oid ign
o
ring c
o
nstraints re
d
undant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven V
e
rdoolaege
isl_tab_
m
ake_equalit
i
es_explicit: supp
o
rt undo
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
S
ve
n
Verdoolaege
isl_
t
ab
.
c: ren
a
m
e
rotate_constrai
n
ts to rotate_
c
on
s
traints
_
right
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven Verd
o
olaege
isl_tab
.
c: rot
a
te_constr
a
ints: r
e
tu
r
n isl_stat
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdoolaege
i
sl 0
.
26
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdoolaege
doc: update
s
up
p
orted vers
i
ons of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
Sven Ver
d
oola
e
g
e
ex
p
l
i
citly cl
e
a
n up interface/_
_
p
yc
a
che
_
_/*
.
p
y
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sve
n
Verdoolaege
extra
c
t-interface:
when linki
n
g ag
a
ins
t
libcla
n
g
-
cpp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verd
o
o
laege
m4/
a
x_detect_clang
.
m
4: preserve c
l
ang spe
c
ific CPPFLAGS
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven
Verdoolaege
i
s
l_tab_pip
.
c: propag
a
te add_ineq co
n
text error
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolaeg
e
isl_tab_pip
.
c: find_solutions_main: pro
p
agat
e
add_eq
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
S
v
en
V
erdoolaege
isl_t
a
b_pip
.
c
:
find_in_pos: plug memory leak
o
n
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolaege
i
s
l
_
t
a
b_pip
.
c: no_sol_in_st
r
ict: fix error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Sven
Verdoolaege
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2023-03-21
Sven Ver
d
oolaege
fi
x
expor
t
of i
s
l_space
_
mu
l
t
i
_u
n
ion_p
w
_aff t
o
templated
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-21
S
v
en Verdo
o
laege
interfac
e
/t
e
mplate_cpp
.
cc: move
up from
_
l
i
st_{set
,
map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sve
n
Verdoo
l
aege
isl_basic_map_find_output_upp
e
r_div_c
o
nstraint: allow
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdool
a
ege
isl_map
.
c: is
_
poten
t
ial
_
div_con
s
traint: retu
r
n
isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sv
e
n
Verdoolaege
isl_map
.
c:
is_p
o
t
ent
i
al_di
v
_constraint: refer to varia
b
les
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven V
e
rdoolaege
isl_map
.
c:
is_potential_div_cons
t
r
a
i
nt:
f
i
x/com
p
lete
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoola
e
ge
i
sl
_
map
.
c:
d
iv_invo
l
ves_vars: take v
a
r
i
able
offset
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoolaege
isl_basic_map_remove_divs_
i
nvolv
i
ng_d
i
ms: use isl_basic_map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-16
Sv
e
n Verdo
o
l
a
ege
isl_
a
ff
.
c: pw_multi_aff_
f
r
o
m_map_di
v
: allow nes
t
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
S
v
en V
e
r
d
ool
a
ege
add i
s
l_local_space_in
v
o
l
v
es_
d
ims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven Ve
r
doolaege
add t
e
st for convert
i
n
g binary relation i
n
volv
i
ng unknown
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
Sve
n
Verdoolaege
isl_aff
.
c: ex
t
ract out isl_basic_map_find_
o
u
t
pu
t
_upper
_
di
v
_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven
Verdoola
e
ge
i
s
l
_aff
.
c: pw_multi_a
f
f_fro
m
_map_c
h
eck_div:
use isl_basic_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolae
g
e
isl_af
f
.
c: pw
_
m
u
lti
_
af
f
_from_
m
ap_check_d
i
v
:
use i
s
l_basic_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verd
o
o
l
a
e
g
e
isl_aff
.
c: extract
out isl
_
basic_map_inequality_extract
_
outp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolaege
i
s
l_aff
.
c: pw_
m
u
l
ti_aff
_
from_map_
d
i
v
:
merge two variabl
e
s
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolaege
isl_aff
.
c: pw_
m
ulti_aff_f
r
om_map_div
:
use
i
sl_basic_map
_
v
a
r
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-04
Sven V
e
r
dool
a
e
ge
isl
_
pw_*
_
gist{
,
_params}:
do
not pre-comp
u
te hull o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-04
Sven V
e
rdoo
l
aege
add isl_pw_aff
_
gis
t
_p
a
ram
s
t
e
s
t case
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-04
Sven V
e
rdoolaege
isl_polynomial
.
c
:
fix
l
oca
l
_
p
oly
_
m
o
ve_di
m
s
d
ocument
a
t
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Sven Verdoolaege
is
l
_qpol
y
nomial_reset_domain_space: fix memory
m
a
nagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Sven Verdoolaege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2023-03-03
Sv
e
n Verdo
o
laege
isl_inp
u
t
.
c: read_map_tuple: d
o
not take separate ra
t
ional
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-01
Sven V
e
rdoolaeg
e
isl
_
map_intersect_{domain
,
range}_wrapped_domain:
h
andl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-01
Sven Ve
r
doolaege
isl_
*
_copy_
t
u
p
le_id: use BASE instead of TYPE to select
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-01
Sve
n
Ve
r
doolaege
i
s
l_ma
p
_preimag
e
_pw_multi_aff: fi
x
plugging in empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-28
Sven Ve
r
doolaege
isl_map
_
pre
i
m
age_pw_mult
i
_
aff: fix p
l
ugging in e
m
pty
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-26
Sven Verdoo
l
aege
ad
d
isl_union_pw_qpolynomial_domain
_
reverse
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
S
v
en Verdoola
e
ge
add isl_pw_
q
poly
n
o
mial_doma
i
n_re
v
erse
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdo
o
lae
g
e
add isl
_
qpolyno
m
ial_domain
_
reve
r
se
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Ve
r
doolaege
isl_qpolynomial_move_dims:
e
xtract
o
ut l
o
cal_p
o
ly_m
o
ve_dims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven
Verdoolaege
extract o
u
t shared isl_
q
p
o
l
y
nomi
a
l_{take,restore}_lo
c
al
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
ext
r
act
out shar
e
d isl_qpolynomial_get_local
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven
Verdoolaege
ex
t
ract out shared is
l
_
q
polynomial_{take,restore}_poly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven
Verdoolae
g
e
e
xtract ou
t
shared isl_qp
o
ly
n
omial_get_poly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Ve
r
do
o
la
e
g
e
isl_qpolyn
o
m
ial
_
as_
p
o
l
y
n
omial_on
_
domain: rename local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven
V
er
d
o
o
laege
extract
out share
d
isl_qpo
l
yn
o
mial_
{
tak
e
,rest
o
re}_domain_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
isl_qpolyn
o
mial_rese
t
_domain_spa
c
e: special case
r
eset
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven V
e
r
doolaege
isl_qpol
y
nomia
l
_move_di
m
s: perform more sanit
y
checks
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Ve
r
doolaege
isl_qpolynomial_
m
ove_dim
s
:
d
r
op
need
l
e
s
s e
r
ror label
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verd
o
o
l
aege
isl_qpolynomia
l
_mov
e
_dims: use
i
s
l_
q
polynom
i
al_domai
n
_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Ver
d
oolaege
isl_qpolynomial_move
_
d
i
ms: use i
s
l
_q
p
olyno
m
ial_doma
i
n_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verdoolaege
isl_q
p
olyn
o
mia
l
_move_dims: use
isl_
q
polynomial_get_ct
x
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
S
v
en
Verdoolaege
isl_
q
poly
n
o
mial_move_dims
:
use isl_local_move
_
vars
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven V
e
rdoolaeg
e
isl_space_offset: return isl_siz
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sv
e
n Ver
d
o
o
laege
isl_output
.
c: defini
n
g
_
equality: return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sv
e
n
Verdoolaege
isl_b
a
sic_set_factorizer: us
e
isl_basic_set_
v
a
r
_offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
S
v
en Ver
d
oo
l
ae
g
e
is
l
_
factorize
r
_
g
roups: use
i
s
l_basic
_
s
et_var_of
f
s
e
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
Sven Verd
o
olaege
is
l
_basic_m
a
p_from_
q
polynom
i
al:
u
s
e isl_basic_ma
p
_from_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
S
v
e
n Ver
d
oola
e
ge
isl_b
a
sic_
m
ap_from_qp
o
lynomial: r
e
name local var
i
a
b
le
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-25
S
ven
V
erdoola
e
ge
isl_lo
c
al
_
space_get_local: fix
memory management
a
nnota
t
io
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-02-14
Sven Verdoolaege
add export
e
d
isl_union
_
map_do
m
a
in_reverse
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-14
Sv
e
n Ve
r
doolaege
add exp
o
rted isl_m
a
p_d
o
main_re
v
e
r
se
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-14
Sven Ve
r
doolaege
a
dd e
x
ported
i
sl_mu
l
ti_pw_aff
_
d
o
m
a
in_reverse
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-14
Sve
n
Verdoola
e
ge
ad
d
exported
isl
_
p
w
_m
u
lt
i
_af
f
_doma
i
n_reverse
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-14
S
ven Verdool
a
ege
add e
x
p
orte
d
isl_mu
l
ti_aff_d
o
main_r
e
verse
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-14
Sve
n
Verdoolaeg
e
isl_multi_*_un
_
op: allow space
modification
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-14
Sve
n
Ve
r
doolaege
introduce isl_mul
t
i_*_u
n
_op_control
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-02-14
Sven Verdoolaege
add expo
r
t
e
d
isl_p
w
_aff_domain_reverse
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
next