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_remove_duplicate_constraints: do not mark progress on removal
2024-02-18
Sv
e
n Verdool
a
e
g
e
isl_ba
s
ic_map_r
e
move_du
p
licate_constraints:
d
o
not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verd
o
olaege
isl_map_simplify
.
c: eliminate_s
e
lec
t
e
d_unit_divs: ex
t
ra
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sven V
e
rdoolae
g
e
isl_map_simp
l
ify
.
c: eliminate_selected
_
unit_divs: u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sv
e
n Ver
d
oolaeg
e
isl_ma
p
_simplify
.
c
:
elimi
n
a
te_selec
t
e
d
_uni
t
_div
s
:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoola
e
ge
elimination u
s
ing equality constraint does not introduce
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
isl
_
basic_ma
p
_normaliz
e
_constra
i
n
ts: ta
k
e into acc
o
u
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
S
ve
n
Verdoo
l
a
ege
extract
out isl_basic
_
m
a
p
_m
o
dify_inequality
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven
V
erd
o
olaege
isl_map_simplify
.
c
: elim
i
nat
e
_var_using_equa
l
ity: reu
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
S
v
en Ver
d
oolaege
isl_basic_map_n
o
r
m
alize_const
r
aints: extract ou
t
scale_down_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
ke
e
p
t
rack of eff
e
ct of va
r
iable eli
m
ination on impl
i
cit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven
V
er
d
oo
l
aege
isl_
m
ap_simplify
.
c
: elimina
t
e_var_using
_
e
q
ua
l
ity
:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-03
Sven V
e
rdoolaege
isl_m
a
p_coale
s
ce
:
reduce coeffi
c
ients of fused
i
n
termedi
a
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sve
n
Verdoolae
g
e
isl_bas
i
c_map_reduce_coefficie
n
ts: reduce
again
a
fter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolaege
isl_basic_
m
ap_reduce_coefficients: move dropping v
a
r
i
a
bles
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sve
n
Verdo
o
laege
i
s
l_basic
_
map_reduce_
c
o
efficie
n
ts:
perfo
r
m sa
n
ity check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolaege
isl_basic_map_reduce_coefficients: extra
c
t out reduce
_
co
e
ffi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sve
n
Verdoolaege
isl_b
a
sic_
m
ap_re
d
uce_co
e
fficients: intro
d
u
ce isl_
r
educe_coef
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdool
a
ege
c
l
ear I
S
L
_BASIC_MAP
_
REDUCED_COEFF
I
C
IENTS when needed
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Ve
r
doolaege
isl_aff_remove_unu
s
ed_divs: re
m
ove all unused loca
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdo
o
l
a
ege
isl_aff_remove_unused_d
i
vs
:
reuse
i
sl_aff_drop_dims
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
v
en Ver
d
oolaege
i
s
l_aff
_
remo
v
e_unused_divs: use
isl_aff_domain_var_off
s
e
t
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolae
g
e
isl_aff_do
m
ain_o
f
fse
t
: e
x
tract
out isl_aff_domain_v
a
r
_offse
t
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_af
f
_domain_
o
ffset: use
i
sl_local_space_var_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
p
r
operly
d
ocument
i
sl_l
o
c
al
_
space_get_active
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_a
s
t
_
c
o
d
e
gen
.
c: a
d
d_domain: only ta
k
e single
copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Ve
r
d
o
olaege
i
sl_ast_codege
n
.
c
:
add_domain: fi
x
typo in commen
t
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_ast_
b
uild: sto
p
keeping track of s
i
ngle-valu
e
dness
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
ven Verdoolaege
i
sl_ast_codegen
.
c
:
generate_domai
n
: construct call
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
add
AST
ge
n
eration test
case
i
n
volvin
g
expansion node
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
v
e
n Verdoolaege
isl_ast_build_expr
.
c
: extract_modu
l
o: c
o
nsider
si
m
ple
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
Verdoola
e
ge
isl_ast_build_
e
xpr
.
c
:
mod_constra
i
nt
_
is_simpl
e
r: e
x
tract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
ve
n
V
e
rdool
a
ege
isl_ast_build_expr
.
c: replace_if_simpler: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
ven Verd
o
olae
g
e
i
s
l_ast
_
build_expr
.
c: is_pa
r
a
l
lel_or_opposite:
a
d
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
V
erdoolaege
isl_ast_build_expr
.
c
:
d
ecompose check_par
a
l
l
el_or_o
p
posi
t
e
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaeg
e
isl_ast_build_expr
.
c
:
mod_constr
a
int_is_s
i
mple
r
: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
Verdoo
l
aege
isl_as
t
_buil
d
_
expr
.
c: ch
e
ck_paralle
l
_
o
r_opposit
e
:
e
x
t
ract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
ven Verdoolaege
i
sl_ast_build_ex
p
r
.
c: check_paralle
l
_or_opposite: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verd
o
olaege
i
sl_a
s
t_build_exp
r
.
c: check_p
a
rallel_or
_
opposite:
ex
t
r
a
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
ven Verdoolae
g
e
int
r
oduce isl_sta
t
_n
o
n_er
r
or_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 Verdoo
l
a
e
ge
i
sl_coalesce
.
c: set_f
r
om_upd
a
ted_
b
ma
p
: take
s
ingle
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sv
e
n Verdo
o
l
a
ege
isl_
c
oalesc
e
.
c: add_wrap: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
S
v
en Verdoolaege
isl_sample
.
c:
t
a
b_sh
i
ft_cone: fix typo i
n
c
o
mmen
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verd
o
olaege
t
e
st_inputs/codegen/s
e
parate2
.
in: fi
x
typo
in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-01
Sven Verdool
a
ege
isl_
b
asic
_
set_intersect
_
para
m
s
: extract
o
ut isl_
b
asic_ma
p
_in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-13
Sven
V
e
r
doolae
g
e
cpp/cp
p
.
h
.
top: m
a
rk exception::what over
r
ide
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven Verdoo
l
aeg
e
extrac
t
-interface
:
l
i
nk
i
n lib
c
l
an
g
Suppor
t
when avail
a
bl
e
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven Verdool
a
ege
ext
r
act-inter
f
ace: li
n
k i
n
cl
a
ngDrive
r
before
c
langBasic
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-23
S
v
en Verdoola
e
ge
isl_pw_qpolyno
m
ial
_
b
ound:
s
pecia
l
case
a
ffine
p
o
l
yno
m
ials
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven
Verdoola
e
g
e
isl
_
bo
u
nd
.
c: unwrap
:
rename "p
o
ly
"
parame
t
e
r
to
"
q
p"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaeg
e
isl_bound
.
c: guarded_poly_bound: extract out u
n
wrap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven V
e
rd
o
ola
e
ge
isl_bound
.
c: unwrapp
e
d_guarded_poly_
b
ound:
t
ake struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
v
en
Verdoolae
g
e
isl_bound
.
c: compressed_guarded_p
o
ly_bo
u
nd:
t
ake struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
v
en Verdoolaege
extract out shared isl
_
q
polynomial_is
a
_af
f
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven
Verd
o
olaege
isl_basic_m
a
p_from_qpolynomial: ex
t
ract ou
t
isl_qpolynomial_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven
Verdoolaege
ex
t
ra
c
t
out
s
h
a
r
ed isl
_
q
pol
y
nomial_peek_poly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
ven
V
erdool
a
ege
pe
r
form checked C++ bindings tests as soon as
C++11
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
v
e
n
V
e
rdoola
e
g
e
remove ch
e
ck f
o
r
presence of cpp
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
ven V
e
rdool
a
e
g
e
a
l
ways run Python tests if
P
ython i
s
available
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
V
e
rdoolaege
always build
Python i
n
te
r
face
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sv
e
n
Verdoo
l
a
ege
add gener
a
ted interf
a
ces
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
generate interfaces in source
tre
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
Makefile
.
am: a
l
ways
d
efin
e
CPP_INTERFACES
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verd
o
olaeg
e
interf
a
ce/isldlname
.
p
y
: create destination directory
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ve
r
doolaege
spl
i
t off
m
ach
i
n
e depen
d
ent par
t
of Python inte
r
fa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
V
e
r
doolae
g
e
always bu
i
l
d
Python
i
nterface if
poss
i
ble
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
M
a
kefile
.
am: avoid au
t
omatic va
r
i
a
ble $<
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven V
e
rdo
o
laege
use single space indentati
o
n
for acc
e
ss
specifiers
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
Verdoolaege
g
e
nerate bin
d
i
n
gs into temporary file
s
first
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
Ve
r
doolaege
b
e les
s
v
e
rbose wh
e
n
generating
b
i
n
d
in
g
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-14
Sven Verdoolaege
isl_m
a
p_coal
e
s
ce:
avoid i
g
noring constrai
n
ts redundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sve
n
Verdoolaege
i
s
l_ta
b
_make_equalities_explicit:
s
up
p
o
r
t
u
ndo
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sve
n
V
e
rdoolae
g
e
is
l
_t
a
b
.
c: rename rota
t
e_constraints to
rotate_c
o
nstraints_right
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven Ver
d
oola
e
ge
isl_tab
.
c: rot
a
te_c
o
nstr
a
ints: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-01
S
v
en Verdoolaege
isl 0
.
26
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdool
a
ege
doc: upd
a
te supp
o
r
t
e
d
versions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdoolaege
e
x
p
l
i
citl
y
clean
u
p interfac
e
/__pycache_
_
/*
.
pyc
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolaege
extract-interface: when link
i
ng ag
a
inst l
i
bcl
a
ng-cpp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven
Verdoolaege
m4/ax
_
det
e
c
t
_clang
.
m4: pre
s
erve c
l
ang specific CPPF
L
A
G
S
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolaege
i
s
l_tab_pip
.
c:
propaga
t
e add_ineq context erro
r
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolaege
isl_tab_pip
.
c:
f
ind_solutions_main: pr
o
pagate a
d
d
_
eq
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
S
v
e
n
Verdoolaege
is
l
_tab_pip
.
c: find
_
in_p
o
s: plug mem
o
ry leak o
n
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolaeg
e
i
s
l
_
ta
b
_
p
ip
.
c: no_
s
o
l
_in_
s
trict: fix e
r
ror handlin
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Sven Verdoola
e
g
e
M
e
rge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2023-03-21
Sven Verdoo
l
aege
fix export o
f
isl_space_multi_union_pw_aff to te
m
plated
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-21
Sven
Ver
d
oo
l
aege
i
n
t
erf
a
ce/
t
empl
a
te_cpp
.
cc: mo
v
e
u
p
from_l
i
st_{set,map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoolaege
isl_basic
_
ma
p
_f
i
nd_output_upper_di
v
_constraint: allow
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven
V
e
rd
o
olaege
isl
_
map
.
c: is_potential_div_c
o
n
str
a
i
n
t
:
retur
n
isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verd
o
ol
a
ege
is
l
_map
.
c
:
i
s
_
poten
t
ial_div_constraint: refer to vari
a
bles
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoolaege
isl_map
.
c: is_potential_div_cons
t
ra
i
n
t:
f
ix/co
m
plet
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
S
v
en Ve
r
doolaege
i
s
l_map
.
c: div
_
involves
_
vars
:
t
a
ke variable
o
ffs
e
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-16
Sven V
e
r
d
oolaeg
e
isl_basic_m
a
p
_re
m
ove_
d
ivs_involving_dims: use isl
_
basic
_
map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoolae
g
e
isl_aff
.
c: pw_multi_aff_from_
m
ap_div: allow nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolaege
add is
l
_loca
l
_
s
pace_involves_dims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolaege
ad
d
test f
o
r convertin
g
b
inary relation involvi
n
g unk
n
o
w
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
Sven
V
erdoolaege
isl_aff
.
c: ext
r
act
o
ut
i
sl_
b
as
i
c_map_find_
o
utput_u
p
p
e
r_di
v
_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven
V
erdoolae
g
e
isl_
a
ff
.
c
:
pw_multi_a
f
f_from
_
map_check_div: use isl_basi
c
_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolaege
isl_aff
.
c: pw
_
multi_a
f
f_from_map_check_
d
iv: use isl_
b
asic_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolaege
isl
_
af
f
.
c: e
x
tract out isl
_
basic_map_inequality
_
e
xtract_outp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sve
n
Ve
r
doolaege
isl_aff
.
c: pw
_
mu
l
ti_aff_from_map_div: merg
e
two variables
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
Sven
Verdo
o
laege
isl_a
f
f
.
c: pw_multi_aff
_
from_map_div: us
e
isl_basic_map_v
a
r
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
next