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.c: basic_map_dim_is_bounded: use isl_basic_map_var_offset
2024-02-25
Sven Verdoolaege
i
s
l
_map
.
c: basic_map_dim
_
i
s
_bounded:
use isl_basic_m
a
p_var_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Ver
d
oolaege
ba
s
ic_map_dim_is_bounded: use i
s
l
_
bas
i
c_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven V
e
r
doolaege
isl_ma
p
_si
m
plify
.
c:
d
iv
_
f
i
nd_coale
s
c
e
: return isl_s
i
z
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven
Verdoolaege
isl_map_simplify
.
c: div_find_coalesce
:
use
i
sl_size
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaeg
e
e
x
t
ract out
s
hared isl_basic_map_div_expr_inv
o
l
v
es_vars
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verd
o
o
l
aege
isl_
m
a
p
.
c:
d
i
v_involves_vars: use isl
_
ba
s
ic_map_var_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
isl_map
.
c: div_involves_var
s
::
use isl
_
basic
_
map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sv
e
n Verdo
o
laege
isl_map
.
c
:
div_involves_vars:
u
s
e
isl_basic_map_div_is
_
m
arke
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
S
v
en Verdoolaege
is
l
_basi
c
_map_r
e
mo
v
e_divs_involvi
n
g_di
m
s:
e
xtract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
S
ven Ver
d
oolaege
isl_ma
p
.
c: ex
t
ract o
u
t
generic extr
a
ct_bound_from_co
n
str
a
int
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolae
g
e
is
l
_basic
_
map_simp
l
ify
:
eliminate integral
integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdool
a
ege
isl_map_simplify
.
c: extract o
u
t sh
a
red mark_p
r
ogr
e
ss
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven V
e
rdoolaege
isl_basic_map_rem
o
ve
_
d
u
plicate_constraints: do not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolaege
isl_map_simplify
.
c: el
i
minate_selecte
d
_
u
nit_divs
:
ext
r
act
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
S
v
en Verdool
a
e
g
e
isl_map_
s
implify
.
c
: eliminate_selec
t
e
d_
u
nit_divs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
S
ven Verdoolaege
isl_map
_
simplif
y
.
c: eliminate_selected_
u
nit_di
v
s
:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-10
Sven Ve
r
doola
e
ge
elimination using equality con
s
traint does not introduce
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdool
a
ege
i
sl_basic
_
map_normalize_
c
o
n
straints: take into accou
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven
V
erdoolaege
extract out isl_basic_map_modi
f
y_inequalit
y
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
S
ven Verdoolaege
isl_map_simplify
.
c
:
el
i
m
inate_va
r
_using_equal
i
ty: reuse
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
i
s
l_basic_map_normalize_constraints:
extract out scale_
d
ow
n
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoola
e
g
e
keep tra
c
k
o
f
e
ffect
of
variab
l
e elimin
a
tion on im
p
lic
i
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
S
v
en Verdoo
l
ae
g
e
isl
_
ma
p
_
simplif
y
.
c: eli
m
inate_v
a
r_usi
n
g
_equali
t
y
:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolaege
isl_map_coalesce: reduce c
o
efficients of
fused intermediate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoola
e
ge
isl_basic_map_reduce
_
c
oefficients: r
e
duce agai
n
a
fter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolaege
isl_basic_map_reduce_
c
oefficients: move d
r
o
p
ping variab
l
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
S
v
en Verdoo
l
aege
isl_ba
s
i
c
_ma
p
_reduce_c
o
effi
c
ients: perform san
i
ty check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdo
o
laege
i
s
l
_basic_
m
ap_re
d
uce_coeffici
e
nts: extract out reduce_c
o
effi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Ver
d
oo
l
aege
isl_basic_map
_
reduce
_
co
e
ffic
i
ents: intr
o
duce isl_
r
e
duce_coef
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sve
n
Verdoolaeg
e
c
lea
r
ISL_BASI
C
_
M
A
P
_
R
EDUCED_COEFFICIENTS when needed
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven
V
er
d
oolae
g
e
isl
_
aff_remove_unused_di
v
s: re
m
ove all unused local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_af
f
_remove_unused_divs: reuse isl_
a
f
f
_drop_dims
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven V
e
r
doolaege
isl_aff_remove_unused
_
d
i
vs: use
isl_a
f
f_d
o
main_v
a
r_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
ven Verdoolaeg
e
isl_aff_domain_offset: extract out isl_aff_
d
omai
n
_var_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
v
en Verdoolae
g
e
isl_aff_domain_of
f
set: use isl
_
local_
s
pace
_
var_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdo
o
laege
pr
o
perly
d
ocum
e
nt
is
l
_local_space_get_act
i
ve
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
v
en Verd
o
olaeg
e
isl_ast_codegen
.
c: add_domain:
o
nly take single copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verd
o
olaege
isl
_
ast_codegen
.
c
: add_domain: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoo
l
aege
isl_ast_build: stop keeping
t
r
ack
of single-val
u
edness
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl
_
ast_codegen
.
c: generate_
d
o
main: construct
c
a
l
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
ven Ver
d
oolaege
add AS
T
g
eneration tes
t
case
inv
o
lving
expansion node
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verd
o
olaege
isl_ast_
b
u
ild_e
x
pr
.
c: extract_modulo: c
o
n
sider simp
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
isl_ast_build_expr
.
c
: mod_constraint_is_simple
r
: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sv
e
n
Verdoolaege
isl_ast_bu
i
ld
_
expr
.
c: replace_if_
s
impler: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sv
e
n
V
e
rdoola
e
ge
isl_ast_build_expr
.
c: is
_
parallel_or_opp
o
si
t
e
:
a
d
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Ver
d
oolaeg
e
isl_
a
st_build_expr
.
c: decompo
s
e
check_parallel_or_opposite
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sve
n
Ve
r
doolaege
i
s
l_ast_
b
uild_expr
.
c
: mod_constraint_is
_
simpl
e
r: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Ver
d
oolaege
isl_a
s
t_build_
e
xpr
.
c: check_parallel
_
or_op
p
osi
t
e: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
V
erdoolaege
i
s
l_as
t
_build_expr
.
c
:
c
h
eck
_
parall
e
l_or_opposi
t
e: ext
r
ac
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
Verdoolaege
isl_as
t
_
build
_
exp
r
.
c: c
h
eck_parallel_or_opposite:
e
x
trac
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Ver
d
oolaege
introd
u
ce isl
_
stat_
n
on_error_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 Ve
r
doolaege
isl_coalesce
.
c
:
s
e
t
_
from_u
p
dat
e
d_bmap: take sing
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verdoolaege
isl_coale
s
ce
.
c: add_wrap: retur
n
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verdoolaege
i
sl_sample
.
c: tab_shift_cone:
fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verdoolaege
te
s
t
_inputs/codegen/
s
e
p
arate2
.
in: fix ty
p
o
i
n
comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-01
Sven Verdoolaege
isl_basi
c
_set_inte
r
s
ect_p
a
rams: extract ou
t
isl_basic_map_in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-13
Sven Ver
d
ool
a
ege
cpp/cp
p
.
h
.
top: m
a
rk exception::what override
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven Verdoolaege
extract-
i
nterface: link in libclangSupport when availab
l
e
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sve
n
V
e
r
d
oolaeg
e
extract-interface:
link i
n
clangD
r
iver
b
e
f
or
e
clangBasic
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-23
Sven
V
erdo
o
laege
isl_pw_qpol
y
nomial_bound
:
speci
a
l case affi
n
e
p
olynomials
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdool
a
ege
isl_bound
.
c:
u
nwrap
:
rename
"
po
l
y
"
p
a
rameter
to "qp
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
ven V
e
rdoo
l
aege
isl_bound
.
c: guard
e
d_poly_
b
ound: extr
a
ct out unwrap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
isl_b
o
u
n
d
.
c: un
w
r
a
pped_guarded
_
poly_bound: take struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven V
e
rdool
a
ege
i
sl_bound
.
c:
c
om
p
re
s
sed_gu
a
rd
e
d_poly_b
o
und: take struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
extr
a
ct
out shared isl_q
p
o
lynomial
_
isa_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
isl_basi
c
_
map_fro
m
_qpolynomial: extrac
t
out isl_qpo
l
ynomial_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdo
o
laeg
e
e
x
trac
t
out shared i
s
l
_
qpol
y
nomial_peek_poly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
ven Verdoolaege
p
e
rfo
r
m
check
e
d C++
b
inding
s
tests as soon as C++11
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
v
en Verdoolaege
remove check for pre
s
ence of cpp
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sv
e
n
Verdoolaege
a
l
ways run
Py
t
ho
n
tests if Python is a
v
ailab
l
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaeg
e
a
lway
s
build Py
t
h
o
n interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
ad
d
generated int
e
rf
a
ces
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ve
r
d
o
olaege
generate
i
n
te
r
face
s
i
n
s
ource
tree
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
V
e
rdoolaege
Makefile
.
am:
a
lways de
f
ine
C
PP
_
I
NTERFACES
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
i
nterface/isl
d
lname
.
p
y:
creat
e
de
s
tina
t
ion direct
o
r
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
ve
n
Verdoolaege
spl
i
t of
f
machin
e
dependent part of Python interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
a
l
ways build
Pyt
h
on int
e
rface if possible
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven V
e
rdoolaege
Makefile
.
am: avoid automatic variable $<
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdo
o
laege
use
s
ing
l
e s
p
ac
e
inde
n
tation for acces
s
specifiers
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verd
o
olaege
gener
a
te bindings i
n
to temporary files
f
irst
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven V
e
rdoolaege
be le
s
s verbose w
h
e
n
ge
n
erating bindings
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-14
Sven Ve
r
d
o
olaeg
e
isl_map_co
a
lesce: avoid ignor
i
ng
constraint
s
redundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
S
ven Ver
d
o
o
laege
isl_tab_make_equa
l
ities_e
x
plicit: suppor
t
un
d
o
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven V
e
rdoolaege
isl_tab
.
c: r
e
na
m
e r
o
ta
t
e_constrai
n
t
s
to
r
ota
t
e_c
o
nstr
a
ints_righ
t
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sve
n
Verdoola
e
ge
i
s
l_ta
b
.
c: rotat
e
_constraints: retu
r
n isl_stat
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-01
Sven Ve
r
d
o
olaeg
e
isl 0
.
26
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
Sven Ve
r
doolaege
d
oc:
u
pda
t
e
supported versio
n
s
of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
S
ven Ver
d
oolaege
explicitly clean up int
e
r
f
ace/__pycache__/*
.
p
y
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdo
o
laege
extract-inte
r
face: w
h
en lin
k
ing
against
li
b
c
l
ang-cpp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolae
g
e
m4/ax_detect_c
l
a
n
g
.
m4: pr
e
serve cla
n
g
s
pecific CPPFLAG
S
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
S
v
en Verdoo
l
aege
isl_tab_pip
.
c: prop
a
gate add_ineq cont
e
xt err
o
r to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoola
e
ge
isl_tab_pip
.
c: find_s
o
lutions_main: propagate
a
d
d_eq
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
S
ven Verdoolae
g
e
isl_tab_pip
.
c
: find_i
n
_p
o
s
:
plug memory leak on er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoola
e
ge
isl_tab_pi
p
.
c: n
o
_sol_in_s
t
ri
c
t:
fix error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Sven Verdoolaege
Merge
bran
c
h 'maint
'
commit
|
commitdiff
|
tree
2023-03-21
Sven
V
erdoola
e
g
e
fix expor
t
of isl_space_multi_union_pw_aff to templated
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-21
Sven Verdo
o
laege
interface/temp
l
a
t
e_c
p
p
.
cc: m
o
ve up from_
l
is
t
_{set,map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoolaege
isl_basic
_
map_find_output_
u
ppe
r
_
div_c
o
nstraint: a
l
low
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verd
o
o
l
aege
is
l
_map
.
c: is_potential_d
i
v
_
constra
i
nt: return
i
s
l_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven V
e
rd
o
olaege
isl_
m
a
p
.
c: is_potential_
d
iv_
c
onstraint:
refer
to variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
next