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_map_simplify.c: eliminate_var_using_equality: reuse scale_down_inequality
2024-02-10
S
ven Verdoolaege
is
l
_map_s
i
mplify
.
c:
el
i
min
a
te_var_using_e
q
uality:
reus
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoo
l
aege
isl_basic_map_normalize_con
s
train
t
s: extract out scale_down
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
keep
track of
e
ffect of
v
ariable
e
li
m
ination on impl
i
cit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven V
e
rd
o
olae
g
e
is
l
_map_si
m
p
l
ify
.
c: eliminate_var_using_equalit
y
:
u
se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-03
S
v
en Verd
o
olaege
isl_
m
ap_coalesce: red
u
c
e
coef
f
icients of
f
used in
t
ermediat
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven
V
er
d
oolaege
isl_basic
_
map_red
u
ce_
c
oef
f
icients: reduce again after
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Ve
r
doolae
g
e
isl_basic_map_reduce_
c
oeffi
c
ients:
m
ove
d
r
o
pping variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Ver
d
oolaege
isl_basic
_
map_reduc
e
_co
e
fficients: perform
sanity check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdool
a
ege
i
s
l_basic_m
a
p_redu
c
e_coefficients: extract o
u
t
red
u
ce
_
coeffi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolae
g
e
isl_basic_m
a
p_r
e
du
c
e_coefficients: introduce isl_reduce_coef
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoo
l
aege
clear ISL_
B
ASI
C
_M
A
P_REDUCE
D
_
COEFFICIENTS when
n
eeded
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_aff_remove
_
unused_divs: remove all unus
e
d local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
v
en Verdo
o
l
a
ege
isl_aff_
r
e
m
ove_unu
s
ed_divs: reuse
isl_aff_drop_dims
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
v
e
n Verd
o
olaege
isl_aff_rem
o
ve_unused
_
divs:
u
se isl
_
aff_domai
n
_v
a
r_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sv
e
n Verdoolae
g
e
isl_af
f
_domain_offset: ex
t
ract out isl
_
a
f
f_dom
a
in_var
_
offs
e
t
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_a
f
f
_
do
m
ain_offset: use isl_loc
a
l_space_var_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoo
l
aege
p
roperly d
o
cument isl_lo
c
al_
s
pace_get_active
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sve
n
Verdoolaege
is
l
_ast_codegen
.
c: add_domain: onl
y
take
single copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verd
o
ola
e
g
e
is
l
_ast_codegen
.
c: add_do
m
ain: fix typo in commen
t
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sv
e
n Verdoolaege
isl_ast
_
b
ui
l
d: stop keepi
n
g tr
a
ck of single-valuednes
s
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verd
o
olaege
i
s
l_a
s
t
_
c
o
degen
.
c:
g
enerate_domain: c
o
nstr
u
ct c
a
ll
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verd
o
olaege
add AST ge
n
eration test
case
involvin
g
expans
i
on node
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
isl_ast_build_expr
.
c: extr
a
ct
_
modulo: consi
d
er s
i
mple
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaeg
e
isl
_
ast_build_expr
.
c: mod
_
c
o
n
straint_is_simpl
e
r: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
Verdoolaege
isl_ast_b
u
ild_ex
p
r
.
c: replace_if_simpler: ex
t
ra
c
t out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
v
en Verdoolaege
i
s
l_ast_bu
i
ld_expr
.
c: is_
p
a
rallel_or_opp
o
site: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven V
e
rdoolaege
isl_ast_build_expr
.
c: dec
o
m
p
ose check_paral
l
e
l_
o
r_opposite
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoola
e
ge
isl_ast_build_expr
.
c: mod_con
s
t
raint_i
s
_simp
l
er: ret
u
r
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
isl_ast_b
u
ild_expr
.
c: chec
k
_pa
r
allel_or_
o
pposi
t
e: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolae
g
e
isl_ast_buil
d
_expr
.
c: check_
p
a
r
allel_or_opp
o
site: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
v
en
Verd
o
ola
e
ge
isl_ast_build
_
expr
.
c
: check_parallel_or_opposit
e
: ex
t
ract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Ver
d
oolaege
in
t
roduce isl_s
t
a
t
_no
n
_e
r
ror_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
S
v
e
n
Verdoo
l
aege
isl_coal
e
s
ce
.
c: set_from_upd
a
t
e
d
_
bmap: take single
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Ve
r
doolaege
isl_coalesce
.
c: a
d
d_wrap: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sve
n
V
erdoolaege
isl_sample
.
c: tab_shi
f
t
_
c
o
n
e
: f
i
x
t
y
p
o in
comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-21
Sv
e
n V
e
r
dool
a
ege
test
_
in
p
uts/
c
odegen/separate2
.
in: fix t
y
p
o
in
c
omment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-01
Sven V
e
rdoolaege
isl_basic_set_inters
e
c
t_param
s
: extract out isl_basic
_
map_in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-13
Sven
Verdoolaege
cpp/c
p
p
.
h
.
t
o
p
: mark
ex
c
eption::wh
a
t override
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven
V
erdoolaege
extract-int
e
rface: l
i
nk i
n
libclang
S
upport
w
hen
a
vailable
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven
Verdool
a
ege
extract-interf
a
ce:
l
i
n
k in
c
langDriver befor
e
clangBa
s
ic
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-23
Sven Ve
r
dool
a
e
ge
is
l
_p
w
_qpolyno
m
ial_bound: specia
l
case affine pol
y
nomials
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sve
n
Verdool
a
e
g
e
isl_bound
.
c
: u
n
wrap:
rename "poly" parameter
to "qp"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Ver
d
o
o
la
e
ge
isl_bound
.
c: guarded_poly_bound
:
extr
a
ct
o
ut unwrap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven
Verdo
o
laege
isl_b
o
und
.
c: unwrappe
d
_guarded_p
o
l
y_bound
:
tak
e
struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sv
e
n Verdoolaeg
e
isl_b
o
und
.
c: compr
e
ssed
_
gua
r
ded_
p
oly_bo
u
nd:
t
a
k
e struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sve
n
Verdool
a
eg
e
e
xt
r
act out shared
i
s
l
_
q
p
olynomial_isa_
a
ff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdo
o
l
aege
isl_basic_map_from_qpolynomial
:
extract out isl_qpolynomial_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven
V
erdoolaege
extract out sh
a
red i
s
l_qpolyno
m
ial_p
e
ek_poly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
ven Verdool
a
ege
perform chec
k
ed C++ bind
i
ngs test
s
a
s
so
o
n a
s
C++11
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
V
erd
o
o
laege
remov
e
check for p
r
esence
of
c
pp
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
Verdoolaege
alway
s
run Python tests if Python is available
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
a
lways build Py
t
hon interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven V
e
rdoolaege
add generated interfaces
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
generate
i
nterface
s
in
sourc
e
tr
e
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoola
e
ge
Ma
k
efile
.
a
m
: a
l
ways define
C
PP_IN
T
ERF
A
C
ES
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
V
erdoolaege
interfa
c
e/isldlname
.
py: create destination
director
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdool
a
ege
split off m
a
ch
i
n
e dep
e
ndent
p
art of Python interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ver
d
oolaege
alw
a
ys build Python interface i
f
possible
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
v
e
n
Ve
r
doolaege
Mak
e
f
ile
.
am: avoid
automati
c
variable $<
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sv
e
n V
e
rdoolae
g
e
use si
n
gl
e
spa
c
e indentation for acces
s
s
p
ecifier
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
generate bindings into
temporary file
s
f
i
rs
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
ven Verdoolaege
b
e
l
ess ver
b
ose when ge
n
erating bindings
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-14
Sven Verd
o
olaeg
e
isl_ma
p
_coalesce: avo
i
d ignor
i
n
g cons
t
raints r
e
dundan
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven Verdoolaege
isl_tab
_
m
ake_equaliti
e
s
_expl
i
ci
t
: support undo
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven Ver
d
oolaege
isl_t
a
b
.
c
: rename r
o
tate_co
n
straints
to rotate_constraints_righ
t
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
S
ve
n
Verd
o
olaeg
e
isl_
t
ab
.
c: ro
t
ate_c
o
nstraints: re
t
urn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdool
a
e
ge
isl 0
.
26
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdoolaege
d
oc: upd
a
t
e
s
upported ver
s
ions of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
S
v
en V
e
r
d
oolaege
expl
i
citly
c
le
a
n up
interface/__pycache__/*
.
pyc
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven V
e
rdoolaege
e
x
tr
a
ct-
i
n
t
erface: when linking
against libcla
n
g-cpp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolaege
m4
/
ax_
d
etect_
c
l
ang
.
m4: preserve cla
n
g
specific CPPFLAGS
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven
V
erd
o
olaeg
e
is
l
_tab_pip
.
c: propagate add
_
ineq contex
t
error to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sve
n
Ve
r
doolaege
i
s
l_tab_
p
ip
.
c:
f
ind
_
solutions_ma
i
n
: propagate add
_
e
q
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolaeg
e
isl_tab_
p
ip
.
c: fi
n
d_in_pos:
p
l
u
g memory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolaeg
e
isl_tab_pip
.
c: no_sol_in_strict: fi
x
error hand
l
ing
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Sven
Verd
o
o
l
a
e
ge
Merge br
a
nch 'mai
n
t
'
commit
|
commitdiff
|
tree
2023-03-21
Sven
V
erd
o
olaege
fix export o
f
isl_space_
m
ulti_union_pw_aff to templated
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-21
Sv
e
n V
e
rdool
a
ege
interface/tem
p
late_cpp
.
cc:
move up f
r
om_list_{set,map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Ve
r
doolaeg
e
isl_bas
i
c_map_find_
o
utput_upper_d
i
v_c
o
nstraint:
a
llow
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sve
n
Verdoolaege
isl_map
.
c: is_potential_di
v
_
c
onst
r
aint: return isl_
b
o
o
l
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoolaege
i
s
l_map
.
c: is_potential
_
div
_
constraint:
r
efer to var
i
ab
l
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoolaege
isl_map
.
c: i
s
_potential_div_const
r
a
i
n
t: fix/complete
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoo
l
aege
isl_map
.
c: div_involves_vars: take variable offs
e
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-16
Sv
e
n Verdoolaege
isl
_
basic_ma
p
_
r
emov
e
_
d
ivs_involving_dims
:
use
i
sl_basic_map_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-16
Sven V
e
r
do
o
laege
isl_aff
.
c: pw
_
m
u
lt
i
_aff_fr
o
m_map_div: allow nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolaege
add is
l
_local_space_involv
e
s_dims
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven
V
erdoolaege
add
t
est fo
r
conver
t
ing binary rel
a
tion involvi
n
g unknown
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
S
v
e
n
Ve
r
dool
a
e
ge
isl_a
f
f
.
c: extract
o
ut isl_bas
i
c_map_fi
n
d_output_uppe
r
_di
v
_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
S
ven Verdoolaeg
e
i
s
l_af
f
.
c: pw
_
multi_aff_from_map_check_div:
use isl_basic_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sve
n
Ve
r
doolaege
is
l
_aff
.
c: p
w
_mu
l
ti_aff_from_map_check_d
i
v: use i
s
l_basic_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven
V
erd
o
olaeg
e
i
s
l_aff
.
c: extra
c
t out isl_basic_map
_
inequality_extract_
o
utp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-12
Sven Verdoolaege
isl_af
f
.
c: pw_m
u
lti_aff_fr
o
m_map_di
v
:
m
e
r
g
e t
w
o varia
b
les
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-12
Sven
Ve
r
do
o
la
e
ge
i
s
l_a
f
f
.
c
: pw_
m
u
lti_aff_from_map_div:
u
s
e isl_b
a
sic
_
m
a
p_var_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-04
S
v
en Verdoolaege
isl_pw_*_gist{,_params}: do not pre-compute
hull o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-04
Sven V
e
rdoolaege
a
d
d
i
s
l_
p
w_aff_gis
t
_
p
arams
t
est case
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-04
S
v
en Verd
o
olaeg
e
isl_polynomia
l
.
c: fi
x
local_
p
o
l
y_move_dims documentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-04
Sven
V
erdool
a
e
g
e
i
sl
_
qpolynomial_res
e
t
_
doma
i
n_space: fi
x
me
m
ory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-03
Sven Verdoolaege
Merge branch
'
main
t
'
commit
|
commitdiff
|
tree
2023-03-03
S
ven
Ver
d
oolaege
isl_i
n
put
.
c: re
a
d_map_
t
u
ple: d
o
not take s
e
parate rati
o
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-01
S
ven Verd
o
olaege
is
l
_
m
ap_inte
r
sect_{d
o
main,r
a
n
ge}_
w
rapped_d
o
main: handle
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
next