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 0.27
2024-02-25
Sven V
e
rdoolaege
isl_map
.
c: ext
r
ac
t
o
ut g
e
neric
extract_bou
n
d_from_constra
i
n
t
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Ve
r
doolaege
i
s
l_
b
asic_map_simplify: e
l
i
m
inate
i
ntegra
l
integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolae
g
e
isl_map_simplify
.
c
:
extract o
u
t shared mark_progress
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdool
a
ege
i
sl
_
basic_map_remove_dupl
i
c
a
te_
c
o
n
straints: do n
o
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoo
l
aege
isl_map_
s
i
mplify
.
c:
e
liminate_sel
e
cted_uni
t
_
divs:
e
x
tract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sven
Ver
d
oolaege
isl_map_simpl
i
fy
.
c
:
eliminate_select
e
d_unit_di
v
s: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sven Ver
d
oola
e
ge
isl_map_simplify
.
c:
eliminate_
s
electe
d
_unit_divs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
elimination using
equality constrain
t
does
not introduce
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
S
ven
Ve
r
dool
a
ege
i
s
l
_basic_map_norm
a
liz
e
_
constraints:
t
ake into account
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sv
e
n Verdoolaege
ext
r
a
c
t
o
ut isl_
b
asic_map_modif
y
_
inequality
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
isl_map_simplify
.
c: eli
m
inate_var
_
usin
g
_eq
u
ality: reuse
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
i
s
l
_
basic_map_no
r
ma
l
ize_
c
onstraints:
e
xtra
c
t out scale_dow
n
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven
Ve
r
dool
a
e
ge
ke
e
p track of effect of variable eliminat
i
o
n
on implicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven
V
erdoolaege
is
l
_map_s
i
mplify
.
c: eliminate_var
_
using
_
equali
t
y
: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-03
Sv
e
n
V
erdool
a
ege
isl_ma
p
_
coal
e
s
ce: reduce
coeffi
c
ients o
f
fused inte
r
mediate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven
V
erdoolaege
i
s
l_basic_map_reduce_coefficients: reduc
e
again
afte
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sv
e
n
Verdoolaege
isl_ba
s
ic_map
_
reduce
_
co
e
fficient
s
:
m
ov
e
dropp
i
ng vari
a
bles
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Ve
r
doolaege
isl_basic_map_r
e
duce
_
co
e
fficients: perform
s
anity
ch
e
ck
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verd
o
olaege
isl_basi
c
_
map_re
d
uc
e
_
c
o
e
fficien
t
s: extract ou
t
reduce_c
o
effi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sv
e
n Verdoolaeg
e
isl_basic_map_reduce_c
o
efficients
:
introduce i
s
l_
r
educe_coe
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sv
e
n
V
erdoolaege
clear ISL_BA
S
IC_MAP_RE
D
UCED_COEFFI
C
IENT
S
when needed
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
ven Verdool
a
ege
is
l
_
a
ff_remove_unused_divs: remo
v
e
all unuse
d
loc
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven
Verdoola
e
ge
isl_aff_rem
o
ve_unused
_
d
i
vs: reu
s
e
i
s
l
_a
f
f_drop_
d
ims
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdo
o
laege
isl_af
f
_remove_unused_di
v
s
:
use i
s
l_aff_domain_var_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
i
sl_aff_domain_offset: e
x
tr
a
ct out isl_aff_do
m
ai
n
_var_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sve
n
Verdool
a
ege
isl_aff_
d
omain_of
f
set: use isl_local_space_var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
pro
p
er
l
y document isl_local_space_get_
a
ctive
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
ven Verdo
o
l
aege
isl_ast_codegen
.
c: add_domain:
only ta
k
e single copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Ver
d
oo
l
ae
g
e
isl_ast_
c
o
d
egen
.
c
:
add_domain: f
i
x
typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_a
s
t_
b
uild: stop keepi
n
g trac
k
of singl
e
-va
l
uedness
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl
_
ast_codegen
.
c:
generate_domain: construct
c
al
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven
Verdoo
l
aeg
e
add AST
gene
r
ation tes
t
ca
s
e involv
i
n
g
expansion
n
ode
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
ve
n
V
e
rdoolaege
i
sl_
a
st_bu
i
ld_expr
.
c: extract_modulo
:
cons
i
de
r
s
imp
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Ve
r
doolaege
isl
_
ast_b
u
il
d
_expr
.
c: mod_constraint_is_simpler: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
Verdoolaege
isl_
a
st_bu
i
ld_expr
.
c: re
p
lace_
i
f
_
simpl
e
r:
ex
t
r
a
ct out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdo
o
laege
isl_ast_bui
l
d
_
expr
.
c: is_parallel_or_opposit
e
:
add
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sv
e
n Verdoolaege
isl_ast_build_
e
xpr
.
c: deco
m
pose c
h
eck
_
p
ar
a
l
l
e
l
_
or_opp
o
site
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoo
l
a
e
ge
isl_ast_b
u
ild_exp
r
.
c: mod_constrai
n
t_is_simpler: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
v
en Verd
o
olaeg
e
isl_as
t
_build_expr
.
c: check_parallel
_
or_o
p
p
o
site
:
extrac
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
v
en Verdoolaege
isl_a
s
t_build_expr
.
c:
c
heck_parallel_or_opposit
e
: e
x
tract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sv
e
n Verdoo
l
aege
isl_ast_build_expr
.
c: ch
e
ck_parallel_or_op
p
o
site: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sv
e
n Ve
r
doo
l
aege
introduce isl_stat_non_
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
S
ven Verdoolaege
isl_coal
e
s
ce
.
c:
set
_
from_updated_bmap:
take single
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Ver
d
oolaege
isl_coalesce
.
c: ad
d
_wrap: return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven
Verdoolaeg
e
i
sl_
s
ample
.
c: ta
b
_shift_
c
on
e
:
f
ix typo i
n
comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verdool
a
ege
tes
t
_inputs/codegen/
s
eparate2
.
in:
f
i
x typo
in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-01
Sven Verd
o
olaege
isl_basic_set_i
n
ters
e
ct_params: extract out
i
sl_basic_
m
a
p_in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-13
Sven Verdoolaege
cpp/cpp
.
h
.
top: mark exce
p
tion::what override
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven Verdoo
l
a
ege
extract-
i
nterf
a
ce: l
i
nk in libclangSupport when av
a
ilable
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
S
v
e
n
Verdoolaege
extract-i
n
t
e
r
f
ace: lin
k
i
n
c
langDrive
r
before clangBasic
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-23
Sve
n
Ve
r
doo
l
ae
g
e
isl_pw_qpolyn
o
mial_bound: special ca
s
e
a
ffi
n
e po
l
ynomials
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdool
a
ege
isl_bound
.
c: unwrap:
r
ename "p
o
ly"
pa
r
amet
e
r to "
q
p"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
v
en Verdo
o
l
a
ege
is
l
_bound
.
c: guarded_poly_bound: ext
r
a
ct ou
t
u
n
wr
a
p
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sve
n
V
e
rdoolaege
isl_bound
.
c
:
unwrapped_guar
d
e
d_poly_bou
n
d: take struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdo
o
l
a
ege
isl_bound
.
c: compr
e
ss
e
d_guar
d
ed_poly_boun
d
: take struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sv
e
n Verdoolaege
e
x
tract out shared isl
_
q
p
olynomial_isa_af
f
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven
V
erdoo
l
ae
g
e
isl
_
basic_map_from_q
p
olynomia
l
: extract ou
t
isl_qpolyno
m
ial_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven
V
erdoolaege
extract ou
t
shar
e
d
i
s
l_q
p
olynomia
l
_peek_poly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdo
o
l
a
e
ge
perform checked C++ bindings te
s
ts as soon
as C++11
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
Ve
r
doo
l
ae
g
e
r
e
m
o
ve
c
heck for
p
res
e
nce o
f
cpp
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
ve
n
V
er
d
o
olae
g
e
alwa
y
s run Python tests if Python
is available
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sve
n
V
e
rdoo
l
aege
always build Py
t
ho
n
i
nt
e
rface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
v
en Verdool
a
ege
add generated interface
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
genera
t
e
inte
r
faces in source
t
ree
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
Makefil
e
.
a
m: alwa
y
s defi
n
e CPP_INTERFAC
E
S
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ve
r
doolaege
int
e
rface/isldlname
.
py: create
dest
i
nation
d
irectory
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
sp
l
it off
m
a
chine dependent part of Python in
t
erface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verd
o
ola
e
ge
alwa
y
s build Pytho
n
interface if possible
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sv
e
n Verdool
a
ege
Makefi
l
e
.
am: avoid a
u
tomatic variable $<
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
use single
s
pace ind
e
ntation for access spe
c
ifiers
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdool
a
ege
generate bindings into temporary files fi
r
st
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verd
o
olaege
be
l
es
s
verbose
w
hen generati
n
g bindings
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-14
Sven
V
erdoo
l
aege
i
sl
_
map_c
o
alesce: a
v
oid
i
gn
o
ring
c
onstraints redundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
S
ven Verdoolaeg
e
isl_
t
ab_make
_
eq
u
alitie
s
_expl
i
cit: s
u
pp
o
rt
u
nd
o
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
S
v
e
n Ver
d
oolaege
isl_
t
ab
.
c:
r
ename r
o
tate
_
c
o
nstraints to rotate_constraints_r
i
ght
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven Verd
o
o
l
a
e
ge
isl_tab
.
c:
r
otate_constraints: return
i
sl_stat
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-01
Sve
n
Ver
d
oolaege
isl
0
.
2
6
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
S
v
en Ve
r
d
oolaege
d
o
c:
update
suppor
t
ed ver
s
ions of
clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
S
v
en
Verd
o
o
l
aege
explic
i
tly clean u
p
inte
r
face/__pyca
c
he__/*
.
pyc
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven
Verdoola
e
g
e
extract-inte
r
face: when linking against l
i
bclang-cpp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Ver
d
oolae
g
e
m4/ax_d
e
tect_clang
.
m4: preserve clang
spe
c
ific CPPFLAGS
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sve
n
Verdoolaege
isl_tab_pip
.
c
:
prop
a
g
a
te add_ineq context error to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolae
g
e
isl_tab_pip
.
c: find_solut
i
ons_m
a
in: propagate add
_
eq
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven
V
e
r
do
o
l
ae
g
e
isl
_
tab_pip
.
c:
find_
i
n_pos: plug m
e
m
o
ry leak
o
n
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdo
o
laege
is
l
_
t
ab_pip
.
c: no_sol_in_st
r
ict: fix
error ha
n
d
l
ing
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Sven Verdoolaege
M
e
rge branc
h
'm
a
int'
commit
|
commitdiff
|
tree
2023-03-21
Sven Verdoo
l
aege
fix export of isl_
s
pace_mul
t
i_unio
n
_pw_aff to
t
e
m
p
la
t
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-21
Sv
e
n Verdoola
e
ge
interface/
t
emp
l
ate
_
c
p
p
.
cc:
move u
p
from
_
list_{set
,
m
a
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoola
e
g
e
isl_basic_map_find_outp
u
t_upper_div_c
o
n
str
a
int: allow
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
S
ve
n
V
e
r
doolaege
isl_map
.
c
:
i
s_poten
t
ial_
d
iv_c
o
nstraint: return isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoolaege
is
l
_map
.
c: is_potential_
d
iv
_
constraint: refer to variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Ve
r
doolaege
isl_map
.
c
: is
_
potential_
d
iv_
c
onstr
a
int:
fix/complete
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verd
o
olaege
isl_map
.
c
:
div_involves
_
vars: ta
k
e
va
r
iable offse
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-16
Sven Ve
r
doolaege
i
sl_bas
i
c_map_remov
e
_divs
_
involving_di
m
s:
u
se isl_basic_map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoolaege
isl_aff
.
c: pw_multi
_
aff_from_map_div: allow nes
t
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verd
o
olaeg
e
add is
l
_l
o
cal_space_involve
s
_
d
ims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdo
o
laeg
e
add test for c
o
n
v
erting binar
y
relat
i
on involving un
k
nown
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolaege
is
l
_
a
ff
.
c: extract out isl_basic
_
map_find_output_upper_div
_
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolae
g
e
isl_aff
.
c
:
pw_mult
i
_aff_f
r
om
_
map_check_div
:
use isl_basi
c
_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sv
e
n
V
e
rdoola
e
ge
isl_aff
.
c
:
p
w
_
multi_aff_from_map_check_div: use isl_
b
asic_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next