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_find_output_upper_div_constraint: extract constraint_pair_has_bound
2024-02-25
Sven Verdoo
l
a
ege
is
l
_basic_map_find_ou
t
put_
u
pp
e
r_div
_
co
n
straint: ex
t
ract
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-25
S
v
en Verdoolae
g
e
is
l
_b
a
sic_map_f
i
nd_outpu
t
_up
p
er_div_constraint: extract
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-25
Sve
n
Verdool
a
ege
isl_map_s
i
mplify
.
c: div_find_
c
oa
l
esce
:
use isl_size
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-25
Sven
V
e
rdoolaege
i
sl_basi
c
_map_remove_divs_in
v
o
lving_dims:
extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-25
Sv
e
n
V
erdoolaege
isl_
m
a
p
.
c
: extract ou
t
generic ex
t
ract_bo
u
nd_f
r
o
m_con
s
traint
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verd
o
o
laege
i
sl_basi
c
_map_simplify:
e
liminate int
e
gral
integer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-18
Sven V
e
rdoolaege
isl_map_simplify
.
c
:
extrac
t
out shared m
a
r
k
_progress
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-18
Sven
V
erdoolaege
isl_basic_m
a
p
_remove_dupl
i
cate_c
o
nstraints: do not
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
elimination us
i
ng
e
qu
a
lity c
o
nstr
a
int
does no
t
introduce
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-10
Sven Ve
r
d
o
olaege
isl
_
bas
i
c_map_normalize_co
n
str
a
ints: take into accou
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-10
Sv
e
n
V
erdoo
l
aege
e
x
tract out isl_basic_map_modify_inequal
i
ty
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-10
Sven Ve
r
doolaege
isl_map_sim
p
lify
.
c
:
e
limin
a
te
_
var_us
i
ng_e
q
u
al
i
t
y: reuse
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-10
Sv
e
n V
e
rdool
a
ege
isl_basic_ma
p
_normaliz
e
_
c
o
nstrai
n
ts: extract out
s
cale
_
do
w
n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-10
Sven Ve
r
do
o
laege
keep track of effect
o
f vari
a
ble elimination on implicit
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-03
Sven V
e
r
d
oolaege
is
l
_map
_
coalesce: reduce coeffic
i
ents of fused
i
ntermediate
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-03
Sv
e
n
Verdo
o
lae
g
e
isl_basic_map
_
reduce_coeffic
i
e
nts: reduce again af
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verd
o
ol
a
ege
isl_basic_map_reduce_coef
f
ic
i
ents:
mov
e
dropp
i
ng variables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-03
Sve
n
V
e
rdoolaege
isl_basic_map_reduce_coefficients:
perfo
r
m sanity check
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-03
S
v
e
n Verd
o
olaege
isl_bas
i
c_map_reduce_coefficients: e
x
tract
o
u
t reduc
e
_coe
f
f
i
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-03
S
ven V
e
rdool
a
ege
isl
_
ba
s
ic
_
m
a
p_reduce_coefficient
s
: introduc
e
isl_reduce_
c
oef
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-02-03
S
v
en Verdoolaege
clear IS
L
_BASIC_MAP_R
E
DUC
E
D_COEFFI
C
IEN
T
S
w
hen needed
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_aff_
r
emove_unused
_
divs: r
e
mo
v
e
a
ll un
u
sed loca
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-01-28
Sven
V
e
rdoolaege
isl_
a
ff_remove_unused_divs: re
u
se isl_aff_d
r
op_
d
im
s
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-01-28
Sven Ver
d
oola
e
ge
is
l
_af
f
_remove_u
n
used_
d
i
v
s: use isl_
a
ff_domain
_
var_offset
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoola
e
ge
is
l
_aff_domain_off
s
et:
extract out isl_aff_domain_
v
ar_offset
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-01-28
Sve
n
Verdoolaege
isl_aff_domain_offset: use isl_lo
c
al_space_var_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-01-28
Sv
e
n
V
erdool
a
ege
prope
r
ly document isl_local_
s
pa
c
e_get_
a
ct
i
ve
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-01-28
S
v
e
n
V
erdoolaeg
e
isl_ast_code
g
en
.
c: add_
d
omain: o
n
ly take sing
l
e cop
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
i
s
l_ast_codegen
.
c: a
d
d
_d
o
main: fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoo
l
aeg
e
i
sl_ast_build: stop keepi
n
g track of s
i
ngle-valuedness
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-01-28
Sven Ve
r
dool
a
ege
isl_a
s
t_codegen
.
c: g
e
nerate_domain: construct call
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2024-01-28
Sven
Verdoolaege
add
A
S
T
ge
n
eration
t
est
c
ase invo
l
vin
g
expansi
o
n node
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-08-06
Sven Ve
r
doolaege
isl_ast_bu
i
l
d_expr
.
c: ex
t
r
a
ct_m
o
dulo: consider simple
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-08-06
S
v
en Verdo
o
lae
g
e
isl_ast_bu
i
l
d
_exp
r
.
c: mod_constraint_i
s
_simple
r
: ext
r
ac
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-08-06
S
ven Verdoola
e
g
e
isl_ast_build_expr
.
c: replace_if_simpler: extrac
t
out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-08-06
Sven Ver
d
oo
l
aege
isl_a
s
t_build_expr
.
c:
is_parallel_or_opposite:
a
dd
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
isl_
a
st_build_exp
r
.
c: decompose check_parall
e
l
_or_opposite
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
:
m
od_constrain
t
_is_simpler: ret
u
r
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-08-06
S
v
e
n
Verdo
o
laege
isl_ast_
b
uild_expr
.
c: chec
k
_parallel_or_opp
o
si
t
e: extr
a
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdo
o
laege
isl
_
ast_build_expr
.
c:
check_parallel_or_opposite: extract
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-08-06
Sv
e
n
V
e
r
d
oolae
g
e
isl_ast_build_e
x
p
r
.
c: chec
k
_para
l
lel_or_op
p
os
i
te: extract
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-07-21
Sven Ve
r
doo
l
aege
i
s
l_coalesce
.
c:
set
_
f
r
om_updated_bmap: take single
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-07-21
Sve
n
Verd
o
olaege
isl_coalesce
.
c
: add_
w
rap: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-05-13
Sven
Verdo
o
laege
cpp
/
cpp
.
h
.
to
p
:
mark e
x
ceptio
n
::what override
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-05-09
Sven
V
e
r
d
oolaege
extra
c
t-i
n
terface: link in libcl
a
ngSupport wh
e
n
a
v
ailable
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-05-09
Sven Verd
o
olaege
extract-
i
n
terf
a
c
e: link
i
n c
l
an
g
Driver before c
l
angBas
i
c
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-04-14
Sven V
e
rd
o
o
l
aege
i
sl_map_coalesce: av
o
id ignoring constraints redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-04-14
S
v
en Ver
d
oolaege
isl_tab
_
make_equalities_explicit: support undo
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-04-14
Sven Verdoolaege
isl_tab
.
c
: rename
r
o
t
ate_constraints to r
o
tate_con
s
train
t
s_
r
i
g
ht
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-04-14
Sven
Verdoolaege
isl_
t
ab
.
c: rot
a
t
e
_constraints: retur
n
is
l
_stat
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-03-21
Sv
e
n Verdo
o
laege
fix e
x
port of
isl_space_multi_
u
nion_pw_aff to templated
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-03-21
Sven Verdool
a
ege
interfa
c
e/
t
emplate_
c
pp
.
cc: move up f
r
om_lis
t
_{se
t
,map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-03-16
Sven
Verdoolaege
isl_basic_ma
p
_find_ou
t
put_upper
_
div_co
n
stra
i
nt
:
allow
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-03-16
Sven V
e
rdoolaege
isl_map
.
c: is_potential_
d
iv_c
o
ns
t
raint: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-03-16
Sven V
e
rd
o
olaege
i
s
l_map
.
c: is_potential_div_constr
a
in
t
: r
e
fer to varia
b
les
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-03-16
S
v
en Verd
o
ola
e
ge
isl_
m
ap
.
c: is_p
o
tential
_
div_constraint: fix/complete
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-03-16
Sve
n
V
erdoo
l
aege
i
sl
_
aff
.
c: pw_multi
_
aff_from_ma
p
_div: allow
n
es
t
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolaege
ad
d
test for converting binary relation involving un
k
n
own
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-03-12
Sven
V
e
rdoolaege
i
s
l
_aff
.
c
: pw_
m
u
l
ti_aff_f
r
om_ma
p
_
div: merge two vari
a
bl
e
s
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-03-12
Sven Ver
d
oolaege
isl
_
aff
.
c:
p
w
_multi_aff_fr
o
m_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_*_gist{,_params}: do
not pre-compute hull of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-03-04
Sve
n
Ve
r
doolae
g
e
add
isl_pw_
a
f
f_gis
t
_params
t
e
s
t case
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-03-03
S
v
en
Verdo
o
l
aege
isl_
i
nput
.
c: read_map_t
u
p
l
e: do n
o
t
take separate rational
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-03-01
Sven Verdoolaege
isl_map_intersect
_
{domain,range}_wrapped_domain: handle
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-03-01
Sven
V
e
r
doolae
g
e
isl_*_cop
y
_tuple_i
d
:
use BA
S
E
i
n
stead
of TYPE to select
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-03-01
Sven
V
e
rdoolaege
isl
_
map_preimage_
p
w
_multi_af
f
: fix plug
g
ing
i
n
emp
t
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-28
Sven
Verdoolaege
i
s
l_map_preim
a
ge
_
pw_multi_aff:
fix plugging in empty
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
S
v
en Verd
o
ol
a
ege
a
d
d exported isl_uni
o
n_map_domain
_
reverse
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sven Verdoolaege
add ex
p
orte
d
isl_map
_
domain_reverse
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
S
v
en Verdoolae
g
e
add exporte
d
i
s
l
_multi_pw_a
f
f_domain_reverse
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sven Verdo
o
laege
a
d
d exported isl_pw_multi_aff_
d
omain_rever
s
e
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sven
V
erdoo
l
aege
add
ex
p
o
r
ted isl_multi_aff_d
o
main_reverse
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sven Verdoolaege
isl_multi_*
_
un_
o
p:
allo
w
spa
c
e modi
f
ication
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
S
ven
V
erdo
o
laege
introduce isl_multi_*_
u
n_op_control
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sven
Ve
r
doolaege
add expo
r
ted isl_p
w
_aff_dom
a
i
n
_reverse
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sven Verdool
a
ege
isl_pw_
*
_un_op
:
allow s
p
ace modificatio
n
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sven V
e
r
doolaege
i
s
l_pw_
*
_un_op: allow
domain modification
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sve
n
Verd
o
olae
g
e
i
n
troduce
i
s
l_pw_*_un
_
op_control
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sven Verdoo
l
aege
add ex
p
o
rted isl_se
t
_wrapp
e
d_re
v
erse
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sven V
e
rdoolaege
isl_basic_m
a
p
_range_reverse
:
extract out
isl
_
ba
s
ic_map_rever
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sve
n
Verd
o
olaege
a
dd exported isl
_
aff_doma
i
n_reverse
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sv
e
n V
e
rdoolaege
ad
d
isl_local_spac
e
_
w
rap
p
ed_reverse
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sven
Verdoolaege
i
s
l_aff_s
e
t_nan: extract
o
u
t
i
sl_aff_{take,resto
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sven Verdoolaeg
e
move reverse te
s
t
s to test2 program
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sven
Verdoolaege
i
s
l_test2
.
cc
:
pri
n
t parsed expected resul
t
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sven Ve
r
dool
a
eg
e
add exported isl
_
space_wrapped_reve
r
se
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sve
n
V
e
r
doola
e
ge
a
d
d isl_space_check
_
i
s_wrapping
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
S
v
en
V
e
r
doolaeg
e
a
d
d
exported i
s
l_spac
e
_
d
omain_reverse
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
S
ven V
e
rdool
a
ege
isl_space_range_r
e
v
ers
e
: extract
out isl_space_reverse_wrapped
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sven Verdoolae
g
e
isl_space_range_rever
s
e
: try and p
r
eserve dimension
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sve
n
Ver
d
oolaege
is
l
_s
p
a
c
e
.
c: co
p
y
_ids:
f
r
ee original identifier
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-14
Sven Verdoola
e
ge
e
xport
isl_*_aff_plain
_
is_
e
qual
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-12
Sven Verdoolae
g
e
i
sl_multi_*_gist: handle explicit
d
omain
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-12
S
v
e
n
Verdoolaege
i
s
l
_
m
ulti_*_domain_intersect: drop redu
n
dant check
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-12
Sven Verdoolaege
isl_
m
ul
t
i_*_dom
a
in_
i
ntersect: only
extract dom
a
in
o
nce
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-12
Sv
e
n V
e
rdoolaege
isl_mul
t
i_
*
_domain_inte
r
sect
:
minor clean
-
up
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-12
Sven Ver
d
oolaege
isl_multi_*_dom
a
in_intersect: extract
o
ut isl_mu
l
ti
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-12
Sven V
e
rdoolae
g
e
is
l
_multi_*_gist
:
c
h
eck d
o
ma
i
n com
p
atibility
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-12
Sven
Verdoolaege
isl_multi_intersec
t
.
c
:
e
xtract out is
l
_multi_*_check_compat
i
.
.
.
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
2023-02-12
Sven Ver
d
oolaege
isl_m
u
lt
i
_*_intersect_domain: always check domain c
o
mpat
i
bility
Signed-off-by: Sven Verdoolaege <
sven@cerebras.net
>
commit
|
commitdiff
|
tree
next