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-09-01
S
v
en Ve
r
d
o
olae
g
e
isl 0
.
27
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-09-01
Sven Verdoolae
g
e
on
l
y copy g
e
nerat
e
d interfaces to source tree
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-31
S
v
en
Verdoolaege
r
e
gener
a
te documentation
when version changes
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-31
Sven
Verdoolaege
doc/Makefil
e
.
am: simplify v
e
rsion ex
t
raction
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-31
S
v
en
Ve
r
d
oolaege
A
X
_
D
E
TECT
_
GIT_HEAD: use absolute paths
in GIT_HEAD
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-18
S
ven Verdoolaege
isl_aff_as_dom
a
in_exte
n
s
ion: fix use aft
e
r
free
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-10
Sven Verdoolaege
isl_multi
_
union_pw_aff_zero:
u
se appropriate is
l
_dim_
t
ype
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-10
Sve
n
Verdoolaege
isl_ta
b
_set_initia
l
_
ba
s
is
_
with_con
e
: clarify d
o
c
u
mentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-10
Sven Ver
d
oolaege
i
s
l_qpolynom
i
al_var
_
on_
d
omain: drop spurio
u
s spa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-10
Sve
n
Verdo
o
laege
isl_sam
p
le
.
c: sample_bo
u
nded: drop
spurious space in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-10
Sven Ve
r
doolaege
i
s
l
_sample
.
c: isl_tab_samp
l
e
:
drop spurio
u
s space in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-10
Sven Ve
r
doolaege
isl_ta
b
:
fix t
y
po in comm
e
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-10
Sve
n
V
er
d
o
o
l
a
ege
is
l
_
transitive_clo
s
ure
.
c: path_alon
g
_d
e
lta:
f
i
x typo
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-10
Sven Verdoola
e
ge
i
s
l
_convex_h
u
ll
.
c
:
wr
a
p_c
o
nstrain
t
s: f
i
x typo in
comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-10
Sven Verdoola
e
ge
is
l
_
basic_ma
p
_drop_un
r
elated_constr
a
i
n
ts: plug memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-08-04
Sven Ve
r
doolaege
c
h
ec
k
for pr
o
per
s
et spaces wh
e
re
nee
d
ed
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-08-04
S
ve
n
Verdoo
l
aege
isl_multi_union_pw_aff_zer
o
: extr
a
c
t out isl_
s
pace_che
c
k_is_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-07-28
Sv
e
n Verdoolaege
isl_{multi_,
}
union
_
pw_aff_read
_
from_str: accept empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-07-28
Sven Verdoolae
g
e
fix
printin
g
of e
m
p
t
y
p
i
ecewise exp
r
e
ssio
n
s
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-07-28
Sven Verdoola
e
ge
i
sl_pw
_
pr
i
n
t_templ
.
c:
print
_
body_pw_*: use isl_pw
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-07-28
Sven Verdoolaege
link in cl
a
n
gA
P
INote
s
when avai
l
able
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-07-28
Sve
n
Verdoolaege
link in
c
langASTMatchers when av
a
i
l
able
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-07-28
Sven Verdoolaege
m4/ax_d
e
tect
_
c
lang
.
m4:
_
A
X_DETECT_
C
LANG_ADD_CLAN
G
_LIB
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-07-27
Sven Verdoolaege
m
4/ax_d
e
tect_clang
.
m
4
: extract
o
ut _AX
_
DE
T
ECT_
C
LANG_ADD_CLAN
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-07-07
Sven Ver
d
oolaege
inte
r
face: upd
a
te to removal
of SourceM
a
nager::crea
t
eFileID
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-06-22
Sven Verdool
a
e
g
e
c
od
e
ge
n
_test
.
sh
.
in: d
e
t
ermine op
t
ion to produce context
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-06-22
Sven Verdoolaege
codegen
_
test
.
s
h
.
in: u
s
e
si
n
g
le lo
o
p to
i
terate over
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-06-16
Sv
e
n V
e
rdoolaege
d
e
tect more
f
or
m
s of m
o
du
l
o expressions whe
n
extracting
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-06-16
Sven Verdoolaege
isl_map
.
c
: extract ou
t
sh
a
red
e
xtr
a
ct_aff
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-06-16
S
v
en Verdoolaege
isl_map
.
c:
c
onstruct_mod: extract out
wrap_for_p
l
ug_in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-06-08
S
ven Verdoola
e
g
e
e
x
t
ract out
s
hared isl_seq_any_non_zero
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-06-08
Sven Ve
r
doo
l
aege
i
s
l_map
_
simp
l
if
y
.
c: better_div_constraint:
use isl_basic_
m
a
p_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-05-25
Sven
Verdoolaege
add more lexicographic m
i
nimization tests
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-25
S
v
en Verdoola
e
ge
i
sl_
t
ab_basic
_
map_par
t
ial_lexopt
:
detect modulos and
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-25
Sven Verdoolaeg
e
isl_tab
_
b
a
s
ic
_
map
_
p
artial_lexopt*: separate out
inte
r
s
e
ctio
n
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-25
Sven Verdoolaege
isl_tab
_
basic_map_partia
l
_lexopt*: in
t
ersect with domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-25
Sven Verdoolaege
i
s
l_
t
ab_ba
s
i
c
_map_partial_
l
exopt*: drop
r
edun
d
ant ch
e
c
k
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-25
Sven Verdoolaege
s
impl
i
fy constraints b
y
checking for
residues
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-25
Sven Verdoolaege
add is
l
_seq_su
b
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-25
S
v
e
n
Verdo
o
laege
isl_basic_m
a
p_gist: allow existentiall
y
quantified
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-05-25
S
v
en Verdoolaege
isl_basi
c
_
ma
p
_ali
g
n_divs: use isl_b
a
sic_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-05-25
Sven V
e
r
d
oo
l
a
ege
isl_b
a
sic_map_
a
lign_
d
ivs: use number of l
o
c
a
l varia
b
les
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-05-25
Sven Verdool
a
ege
isl_map
.
c: find_d
i
v
: return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-05-25
S
v
en Verdoolaege
i
s
l_basic_ma
p
_plain_unshifted_simp
l
e_hu
l
l:
explicit
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-05-25
Sven Verdoolaege
i
s
l_b
a
sic_map_remove_shifted_constrai
n
ts: a
l
i
g
n with
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-05-25
Sven V
e
r
d
o
olaege
isl_basic_map_remove_shifted_con
s
t
raints: drop
existent
i
als
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-05-25
S
ven
V
erdoolaege
p
r
i
v
a
tel
y
ex
p
ose isl_bas
i
c_map_re
m
ove_unknown_di
v
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-05-25
Sven Verdoolaeg
e
add so
m
e isl_bas
i
c_set_gist test
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-05-25
Sven V
e
rd
o
ol
a
ege
m
ove some gist tests
t
o
i
s
l_test2
.
cc
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-05-25
Sven
V
erdoolaege
isl
_
t
est2
.
c
c
:
test(R (T:
:
*fn)(A1 &,
A
2 &))
:
extra
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-05-25
Sven Verdoolaege
isl_test
2
.
cc: test(
R
(T
:
:*fn
)
(A1 &, A2 &)):
f
ix typo
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-05-25
Sven Verdoolaege
isl_test
.
c: te
s
t_
g
i
s
t: fix check for internal
c
ons
i
s
t
ency
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-05-11
Sven Verdoolae
g
e
isl_tab
_
b
a
sic_m
a
p
_
partial_
l
exopt: detect modulos and
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-11
Sven Verdoolaege
isl_aff
.
c: pw_mu
l
ti
_
af
f
_fr
o
m_map_plug
_
in: extract isl_aff_
a
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-11
Sven Verdoolaege
isl_aff
.
c: pw_multi
_
aff
_
from_ma
p
_plu
g
_in:
s
impli
f
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-11
Sven Verdoolaege
i
s
l_aff
.
c
:
pw_multi_aff_from_map_plu
g
_in: take
s
p
ac
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-11
Sve
n
Verd
o
ola
e
g
e
add check
s
for
i
s
l_map_lexmin_pw_multi_aff
r
eturning
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-11
Sv
e
n
Ver
d
oola
e
ge
extra
c
t o
u
t
i
sl_basic
_
map_
t
ry_fin
d
_an
y
_o
u
tput_div_mod
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-11
Sve
n
V
erdoolaege
move isl_ba
s
ic_map_try_find_output_d
i
v_mo
d
to isl_m
a
p
.
c
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-11
Sv
e
n Verdoolaege
isl
_
aff
.
c: extrac
t
out isl_basic_map_try_find_outpu
t
_di
v
_
m
od
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-11
Sven Ver
d
oolae
g
e
isl_
a
ff
.
c
:
is
l
_bas
i
c_m
a
p_try_find
_
outpu
t
_div: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-05-11
Sven Verdoolaege
isl_tab_pi
p
.
c: basi
c
_map_
p
artial_le
x
opt_pma: us
e
isl_basic
_
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-04-20
S
ven
V
e
rdo
o
laege
isl_test_cpp17-g
e
neric
.
cc: wo
r
k around
s
td::opti
o
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-04-07
Sv
e
n
Verdoo
l
aege
isl_t
a
b_basic_map_partial_l
e
xopt: copy intege
r
di
v
isions
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-04-07
Sven
V
erdoolaege
isl_tab_pip
.
c: find_
c
ontext_div:
ex
t
ract
o
ut
f
i
n
d
_div_involv
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-04-07
Sven
V
erdoolaege
add isl_basic_set_
a
d
d_div_constraints
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-04-07
Sven Verdoolaeg
e
add is
l
_basic_set_ins
e
rt_div
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verdoola
e
ge
a
d
d
check for isl_map_lexmin_pw
_
mul
t
i_
a
ff ret
u
rning
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Ver
d
oola
e
ge
isl_test2
.
cc: has_single_cell
_
pma: ext
r
ac
t
o
ut h
a
s_single
_
cell
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sv
e
n Verdoola
e
g
e
isl
_
tab
_
pip
.
c:
fi
n
d_contex
t
_div
:
reuse is_known_div_not_
i
nvo
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verdoola
e
ge
isl_t
a
b_pip
.
c: find_context_div: e
x
t
ract out i
s
_known
_
div_no
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven
V
erdoolaege
isl_tab_p
i
p
.
c
:
find_co
n
t
e
x
t_
d
iv:
use i
s
l_ba
s
i
c
_
map_div_expr_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sve
n
Ver
d
oolaege
isl_tab_pip
.
c
: find
_
context_div: use
isl_basic_map_
d
iv_is_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
S
ven
V
er
d
oolaege
isl_tab_pip
.
c
: find_context_d
i
v: use is
l
_basic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Ve
r
doolaeg
e
isl
_
t
ab_pip
.
c
:
basic_map_parti
a
l
_
l
e
x
opt_
b
ase_sol: remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Ver
d
oolaege
isl
_
tab_pip
.
c:
align_
c
o
ntext_
d
ivs: use
i
s
l
_
b
asic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-30
Sven
V
erdoolaege
isl_tab_pip
.
c: align_con
t
ext_divs: im
p
ro
v
e error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-30
Sve
n
Verdoolaeg
e
i
sl
_
tab_pip
.
c: find_context_div:
ret
u
rn isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-24
S
v
en Verdoolae
g
e
d
ete
c
t
some modulo
ex
p
ression
s
when extracti
n
g a functi
o
n
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven Verdo
o
laege
isl_aff
.
c: pw_
m
ulti
_
a
f
f_from_
m
a
p
_check_div
:
move di
v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
S
v
en Verdoola
e
ge
isl
_
aff
.
c:
pw
_
multi_aff_
f
rom_map_div: return integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven V
e
rdoolaege
i
s
l_aff
.
c: extract out pw_multi_aff_
f
ro
m
_map_plug_i
n
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
S
v
en
V
erdoola
e
ge
isl_aff
.
c: pw_m
u
l
t
i_aff_from_map_div:
o
nl
y
get
space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven Verdoolaege
privat
e
ly expose isl_b
a
sic
_
map_is_set
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Ver
d
oolaeg
e
detect
s
pecif
i
c
instance o
f
m
o
dul
o
s
in cons
t
r
ai
n
ts
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
S
ven Verdo
o
laege
s
ort constraints while loo
k
ing
for pai
r
of oppos
i
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
S
v
e
n
V
e
rdo
o
laege
i
s
l_map
.
c: fin
d
_later_cons
t
raint_in_pair: stop se
a
rch
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
isl_basic_map_fin
d
_out
p
ut_upper_div_cons
t
r
a
int
:
ex
t
r
act
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdo
o
laege
isl_basic_map_find
_
output_up
p
er_div
_
constraint: ex
t
ract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
S
v
en Ver
d
o
o
laege
isl
_
b
a
sic_map_find_output_uppe
r
_
d
iv_constraint: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Ve
r
doolaege
extract out shared isl
_
basic_ma
p
_any_
d
iv_involves_vars
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
S
ven Verdoolaeg
e
isl_m
a
p
.
c: basic_map_dim_is_bounded: use is
l
_
basic_
m
ap_var_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Ver
d
o
o
laege
basic_m
a
p_dim
_
is_bou
n
ded: use i
s
l_basic_map_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
isl_map_simplify
.
c: div_find_coalesce: re
t
urn isl_
s
ize
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
S
v
en Ve
r
dool
a
ege
is
l
_map_simplify
.
c: div_find_coalesce: use
isl_siz
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sv
e
n V
e
rd
o
olaege
extract out shared
i
sl_basic_map_div_expr
_
inv
o
lves_vars
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Ver
d
ool
a
ege
isl_ma
p
.
c:
div_involves_va
r
s: use
i
s
l
_basi
c
_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
S
v
en Verdoolae
g
e
isl_ma
p
.
c: div_i
n
volves_vars::
u
s
e
is
l
_basic_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sve
n
Verdoolaege
i
s
l_map
.
c: div_
i
n
volves
_
vars:
u
s
e
isl_basi
c
_
m
ap_div_i
s
_marke
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
is
l
_bas
i
c_map_remove_divs_invo
l
ving_di
m
s: extr
a
ct
out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
next