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_basic_map_simplify: eliminate integral integer divisions
2024-02-25
Sven Verdool
a
ege
is
l
_
b
a
sic_map
_
simplify: eliminate integ
r
al integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolae
g
e
isl_map_sim
p
lify
.
c
:
e
x
tract
ou
t
shar
e
d
ma
r
k_progress
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven V
e
rdoolaege
isl_basic_map_remove_duplic
a
te_
c
onstraints: do
n
ot
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sve
n
Verd
o
olaege
isl_map_simplify
.
c: eli
m
ina
t
e_selected_unit_div
s
: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sv
e
n
Verdoolae
g
e
is
l
_map_simplif
y
.
c: eli
m
inate_sel
e
cted_unit_divs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdo
o
laege
isl_map_simplify
.
c: e
l
iminate
_
s
el
e
cted_unit_divs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verd
o
olaege
elimi
n
atio
n
u
s
ing equ
a
l
ity constraint d
o
es
n
ot
i
ntrod
u
ce
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Ver
d
o
o
laege
i
s
l
_bas
i
c
_
map_normali
z
e_constraints:
t
a
k
e into
a
ccou
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
S
v
en
V
e
r
doolaege
ex
t
ract out isl_basic_map_modi
f
y_inequa
l
ity
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven
Verdool
a
ege
isl_ma
p
_
s
im
p
lify
.
c: eliminat
e
_v
a
r_using_e
q
ua
l
i
ty: reuse
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
S
v
en Verdoolaege
i
sl_b
a
sic_map_norma
l
i
z
e_cons
t
raints: extract out s
c
ale_down_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sv
e
n Verdool
a
ege
keep
tra
c
k o
f
effect of v
a
riable el
i
mination on implicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven
V
erdoolaege
i
sl_m
a
p_simplif
y
.
c
: eliminate_
v
ar_u
s
in
g
_equality: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdool
a
ege
is
l
_map_c
o
a
l
esce
:
red
u
c
e
coef
f
icients of
fus
e
d inte
r
mediate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Ve
r
doolae
g
e
isl_ba
s
ic_map
_
redu
c
e_coef
f
icie
n
ts: red
u
ce again after
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sve
n
Verdoolaege
isl_basic_ma
p
_
reduce_c
o
ef
f
icients: move dr
o
pping varia
b
les
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
S
v
e
n V
e
r
doolaeg
e
isl_basic_ma
p
_
r
ed
u
ce_coefficien
t
s:
pe
r
f
orm sanity check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven
V
erdoolaege
isl_basic_map_reduce_coefficients: extract out
red
u
ce_co
e
ffi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Ver
d
o
o
laege
i
sl_ba
s
i
c_map_redu
c
e_
c
oefficients: in
t
r
oduce
i
sl_reduce_
c
o
e
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolaege
clear IS
L
_BASIC_MAP_REDUCE
D
_COEFFI
C
I
ENTS when need
e
d
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Ve
r
d
o
olaege
is
l
_aff_rem
o
ve
_
unu
s
ed_
d
iv
s
: remove
a
ll
u
n
used loc
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_aff_remove_unused
_
divs: re
u
se isl
_
a
ff_drop_dims
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolae
g
e
isl_aff_rem
o
ve_
u
nuse
d
_di
v
s: us
e
isl_aff_domain_var_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaeg
e
isl_aff_domai
n
_of
f
set: ex
t
r
a
ct out isl_aff_dom
a
i
n
_var_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven
Verdoolaege
isl_
a
f
f_domain_offset: us
e
isl_loc
a
l_space_var_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven
V
erd
o
o
laege
properly documen
t
i
sl
_
local_space_get_active
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sve
n
Verdoolae
g
e
isl_ast_co
d
eg
e
n
.
c:
add
_
d
o
main: only t
a
ke single copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
ven Verdoolaege
is
l
_ast_c
o
d
e
gen
.
c: add_d
o
ma
i
n: fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
i
sl_ast_b
u
ild: sto
p
keeping track of
single-valuedness
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_a
s
t_codege
n
.
c:
g
en
e
rate_domain
:
c
o
ns
t
ru
c
t
cal
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sv
e
n Verdoolaege
a
dd AST
g
e
n
er
a
ti
o
n tes
t
case involv
i
ng exp
a
nsion node
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
isl_ast_buil
d
_expr
.
c
:
extract_modulo: conside
r
simpl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven V
e
rdo
o
laege
isl_ast_build
_
expr
.
c: mod_c
o
ns
t
raint_is_simple
r
: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
isl_ast_buil
d
_expr
.
c: replac
e
_if_simpler: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
Verdoolaege
i
sl_
a
st_build_expr
.
c: is_pa
r
all
e
l_or_oppo
s
it
e
: ad
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verd
o
olaeg
e
isl_
a
st_
b
uild_exp
r
.
c: decompose check_paral
l
el_or_opposite
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Ver
d
oolaege
i
s
l_ast_build_
e
xpr
.
c: mod_cons
t
r
aint_is_simpler: re
t
urn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
v
en
V
er
d
oolaege
isl
_
ast_build
_
expr
.
c:
check_parall
e
l_or_opposite:
ex
t
rac
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Ve
r
d
o
olaege
i
sl_ast_b
u
ild_ex
p
r
.
c: ch
e
ck_p
a
rallel_or_
o
pposite: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
V
e
rdo
o
l
aeg
e
i
s
l_ast_
b
ui
l
d
_
e
x
pr
.
c: check_parallel_or_opposi
t
e: e
x
t
r
act
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolae
g
e
in
t
rod
u
ce isl_stat_
n
on_
e
rror_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verdoola
e
ge
isl_coalesce
.
c: set_from_updated_bmap: take single
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven
V
erdo
o
laeg
e
i
sl_coale
s
ce
.
c
:
a
d
d
_wrap: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
S
v
en Verdoolaeg
e
isl_sa
m
p
le
.
c
:
tab_sh
i
ft_cone: f
i
x
t
ypo in
c
omm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-21
Sven
Verdoolaeg
e
test
_
inputs/codegen/se
p
arate2
.
in: fix typo
i
n c
o
mment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-01
Sven Verdoolaege
i
sl_b
a
sic_
s
et_intersect_params: extract
out i
s
l_basic_map_in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-13
Sve
n
Verdoolaeg
e
cpp/cpp
.
h
.
top: m
a
rk exception
:
:
w
h
a
t over
r
i
de
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven Verdo
o
l
a
ege
extrac
t
-interfac
e
: li
n
k in lib
c
langSupp
o
r
t
wh
e
n a
v
ai
l
able
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sv
e
n Verdoolaege
e
x
tr
a
c
t
-
int
e
rfac
e
: link in cla
n
gDriver
b
efore clangBas
i
c
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-23
S
v
en Verd
o
o
laege
isl_pw_qpolynomial_bound: specia
l
c
a
se affine polynomials
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sve
n
Verdoolaege
isl_bound
.
c: unwrap: rename "p
o
ly" para
m
eter to "qp"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Ve
r
doolaege
isl_bound
.
c: gua
r
d
e
d_poly_
b
o
u
nd: extra
c
t out unwrap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sve
n
Verdoo
l
a
e
ge
isl_bound
.
c
:
unwrapped_gua
r
ded
_
po
l
y_bound: take struc
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
v
en Verdoolaege
i
s
l_bound
.
c
:
compressed_gu
a
r
ded_
p
oly_bound
:
take
struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven V
e
rdoola
e
ge
extract out shared isl_
q
polyn
o
m
i
al_isa_af
f
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sve
n
Verdoolae
g
e
i
s
l_
b
as
i
c_
m
a
p
_from_qpolyn
o
mial:
extract out i
s
l_qpolynomial_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sve
n
V
e
r
d
oola
e
ge
ex
t
ract out shared isl_qpolynomi
a
l_peek_po
l
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
p
er
f
or
m
c
h
e
cked C++ bin
d
ings tests as soon as C++11
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
v
en
V
erdoolae
g
e
r
e
move
check for presence of cpp
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
v
en Verdoolae
g
e
always ru
n
P
y
t
h
o
n
t
est
s
if Pyt
h
on is availabl
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
v
en Verdoolaege
always bu
i
ld
Python interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven V
e
r
d
o
olaege
ad
d
g
e
nerated in
t
erfaces
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
ve
n
Verdoolaege
g
e
nerate interfa
c
es in source tre
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
V
erdo
o
laege
Make
f
ile
.
am: always def
i
ne CPP_INTERFACES
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
V
e
rd
o
olaege
in
t
erface/isldlna
m
e
.
py: create
destination direc
t
or
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolae
g
e
split off machine dependent part of Python inte
r
fa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
always build Python interface if possible
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
ve
n
Verdoolaege
Makefile
.
a
m
: avoid automatic
v
ariable $<
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
v
en Verdoola
e
ge
use single space indentati
o
n
f
or acces
s
specif
i
e
rs
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
g
en
e
rat
e
binding
s
into temporary
files
first
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verd
o
olaeg
e
be less verbose when generating
b
indings
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-14
Sven V
e
rdoolaege
isl_map
_
coal
e
sce: avoid ignori
n
g constraints
redundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven Verdoo
l
aege
isl_tab_ma
k
e
_equa
l
ities_ex
p
licit: support undo
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
S
v
en Verdoo
l
a
e
ge
isl_tab
.
c: rename rotate_constraints to rotate_constraints_rig
h
t
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sv
e
n V
e
rd
o
ola
e
g
e
isl_tab
.
c: rotate_constrai
n
t
s
:
return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdool
a
ege
isl 0
.
26
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdoolaege
doc: upd
a
te sup
p
or
t
ed version
s
of
clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
S
ven Verd
o
olaege
ex
p
l
i
ci
t
ly
clean up
interface
/
__pyc
a
che__/*
.
pyc
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Ver
d
o
o
l
aege
extra
c
t-i
n
terface:
w
hen linkin
g
a
g
ainst libcl
a
ng-cpp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verd
o
olaege
m4/ax
_
detect_clang
.
m
4
:
p
reserve clang
specific C
P
PFLAGS
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sv
e
n
V
erdoolaeg
e
isl
_
ta
b
_pip
.
c
: propagate add_ine
q
conte
x
t error t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolaege
isl
_
tab_pip
.
c: find_solutions_m
a
in: propagate ad
d
_eq
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
S
ve
n
Verdoolaege
i
sl_tab_pip
.
c:
f
in
d
_
in_pos
:
plug memory
leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven
V
erdoola
e
ge
isl_t
a
b_
p
ip
.
c: no_sol_i
n
_strict: fix error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2023-03-21
Sven Verdoola
e
g
e
fi
x
e
xpor
t
of isl_spac
e
_multi
_
union_
p
w_aff t
o
templated
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-21
Sv
e
n
Verdoolaege
interface/template_cpp
.
cc:
m
o
v
e
u
p
from_list_{set,m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoolae
g
e
is
l
_basic
_
map_find_out
p
ut_upper_div_constr
a
int
:
allow
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sv
e
n
V
e
rdoolaege
isl
_
m
a
p
.
c: is_pote
n
t
ial_di
v
_co
n
straint: retur
n
i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven
Verdoo
l
aeg
e
isl
_
m
ap
.
c: is_potential_div_co
n
stra
i
nt: refer to variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven
Verdoolaege
i
s
l_map
.
c:
is_
p
otent
i
a
l
_
d
iv
_
co
n
straint:
f
ix/complete
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
S
ven Verdoolaege
is
l
_map
.
c: div_invo
l
ves_vars: take v
a
riable offset
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-16
S
v
en Verdo
o
l
aege
is
l
_bas
i
c_map_r
e
move_di
v
s_invol
v
ing_dims: use isl_basic_map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-16
S
ven V
e
rdoolaege
isl_aff
.
c: pw_multi_aff_from_map_div:
a
llow
ne
s
t
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
S
v
en
V
erdoolaege
add isl_local_space_inv
o
lves_d
i
ms
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolaege
add test for co
n
v
er
t
ing binary relation involv
i
ng unknown
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
Sven V
e
r
d
o
ola
e
ge
isl_aff
.
c: extract
o
ut isl_
b
as
i
c_map_find_outp
u
t_u
p
p
er_div_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolaege
isl_
a
ff
.
c: pw_multi_aff_from_map_
c
heck_div: use i
s
l
_ba
s
ic_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
S
v
e
n Ve
r
doolaege
isl_aff
.
c: pw
_
multi_a
f
f_fro
m
_map_chec
k
_
d
iv: use isl_basic_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolaege
i
s
l_a
f
f
.
c: e
x
tract
out isl_basic
_
map_inequality_extract_
o
utp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next