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
basic_map_dim_is_bounded: use isl_basic_map_dim
2024-02-25
Sv
e
n Verdoolaege
basic_
m
ap_dim_is_boun
d
ed: use
i
sl_basic_map_
d
im
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven
Verdoolae
g
e
isl_map_sim
p
l
ify
.
c:
div_fin
d
_coalesce: return i
s
l_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
is
l
_
m
ap_simplify
.
c
: div_
f
i
nd_coalesce: use isl_size
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Ver
d
o
olae
g
e
extract
o
ut shared
isl_bas
i
c_map_
d
i
v
_e
x
p
r_involves_v
a
r
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
is
l
_map
.
c: div_i
n
volves_vars:
u
s
e
is
l
_basic_ma
p
_var_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sve
n
Verdoo
l
aege
isl_map
.
c: div_in
v
olves_vars:: u
s
e isl_
b
asic_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven
Verdoolaege
isl_map
.
c: div
_
involves
_
vars: use isl_basic_map_
d
iv_i
s
_marke
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven V
e
rdool
a
ege
isl_basic_map
_
remo
v
e_div
s
_involving_di
m
s: extract ou
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sv
e
n Verdoola
e
ge
isl_
m
ap
.
c
: extract out gene
r
ic
ex
t
ra
c
t_boun
d
_
f
rom_constra
i
nt
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaeg
e
isl_basic_map_simplify: elimi
n
ate integral inte
g
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdo
o
l
aeg
e
isl_map_si
m
p
lify
.
c:
extract ou
t
shared m
a
rk_p
r
ogress
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
S
v
en V
e
rdoolaege
isl_basic_map_remove_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: eliminate_s
e
l
ected
_
u
nit_divs: ex
t
r
a
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
S
ven Verdoolaeg
e
is
l
_map_simpli
f
y
.
c: elimina
t
e_selected_uni
t
_divs: us
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sve
n
Verdo
o
l
a
ege
i
sl_m
a
p_simplify
.
c:
e
limina
t
e
_selected_unit_div
s
: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-10
Sve
n
Verdoolaege
elimination using equalit
y
constraint do
e
s not introduce
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoola
e
ge
i
sl_basic
_
map_
n
ormalize_cons
t
r
aints:
t
ake into a
c
c
o
unt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verd
o
olaege
extract
o
ut i
s
l_basic_map_m
o
dif
y
_
inequalit
y
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdo
o
laege
i
sl_map_simplify
.
c: eliminate_var_using_equal
i
ty: reuse
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
isl_bas
i
c_map_no
r
m
a
lize_con
s
trai
n
ts
:
e
x
t
r
a
ct
o
ut scale_down_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolae
g
e
keep t
r
ack of effect o
f
variable elimination on implicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven V
e
r
d
oolaege
i
s
l
_map_simplify
.
c: eliminate_var_using_equality: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-03
Sven Ver
d
o
o
laege
is
l
_map_coalesc
e
:
r
educe coe
f
f
icients of
fused i
n
te
r
mediate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
S
v
en V
e
r
d
oolaege
i
s
l
_ba
s
ic_ma
p
_reduce_c
o
efficients: reduce
a
gai
n
a
f
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sv
e
n Verdoolaeg
e
isl_
b
asic_map_
r
educe_co
e
fficient
s
: move
d
ropping variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdool
a
ege
isl_basic_m
a
p_reduce_coefficien
t
s
: perform sa
n
ity
c
heck
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sve
n
Ve
r
doolaege
i
sl_basi
c
_ma
p
_
r
e
d
u
c
e
_
coeffi
c
ients: extract ou
t
red
u
ce_coeff
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolaege
isl_basi
c
_map_
r
e
duce_coefficien
t
s: i
n
troduce isl_redu
c
e_
c
oef
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdo
o
laege
c
l
ear ISL_BASIC_MAP_REDUC
E
D_COEFFICI
E
NTS when needed
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_aff_remove_unused_divs: re
m
ove all u
n
used local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Ver
d
oo
l
aege
isl_aff_remove
_
un
u
sed_divs: r
e
use isl_aff_drop_dims
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven
V
erdoolaege
i
s
l
_aff_remove_
u
n
use
d
_
div
s
: u
s
e isl_aff_domain_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_aff_domai
n
_offset: extract
o
ut isl
_
aff_domain_var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
ven Verdoolaege
isl_aff_domain_offset:
u
se isl_local_s
p
ace_var_
o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdool
a
ege
properly document isl_local_space_get_activ
e
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
v
e
n
V
erd
o
olaege
i
sl_as
t
_codegen
.
c: ad
d
_domain: onl
y
t
ake single copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Ve
r
doolaege
isl_as
t
_cod
e
gen
.
c: add_domain: fix typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven
V
erdoola
e
g
e
i
s
l_ast_build:
st
o
p
keeping track of si
n
gle-value
d
ness
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verd
o
ola
e
ge
isl_
a
st_cod
e
gen
.
c: generate
_
dom
a
in: construct call
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Ver
d
oolaege
add AST gen
e
r
ation
t
est case invol
v
ing expansion n
o
de
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdool
a
e
ge
i
sl_ast_build_
e
xpr
.
c: ext
r
act_m
o
dulo
:
consider simple
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
V
erdool
a
ege
isl_ast_build_exp
r
.
c
: mod_constraint_is_simpler: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoo
l
aege
isl_ast
_
build_
e
xpr
.
c: replace_if_simpler: ex
t
r
act out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaeg
e
isl_ast_buil
d
_expr
.
c: is_parall
e
l
_or_
o
pposit
e
:
add
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
ven
V
erdoolaege
i
sl_ast_build_e
x
pr
.
c
:
decom
p
ose chec
k
_parallel
_
or_
o
pposi
t
e
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sve
n
Verdool
a
ege
isl_ast_build_expr
.
c: mod_constraint_is_sim
p
l
e
r: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaeg
e
i
s
l_ast_b
u
ild_expr
.
c
: ch
e
ck_
p
a
r
a
llel_o
r
_
oppos
i
te: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolae
g
e
is
l
_
a
st_build_expr
.
c
:
check_parallel
_
o
r
_op
p
o
si
t
e: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
V
erdoolae
g
e
i
s
l_as
t
_build_expr
.
c: che
c
k_paralle
l
_or_opposi
t
e: extr
a
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven V
e
rdoolae
g
e
introduce isl_stat
_
non_
e
r
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 Ver
d
oolaeg
e
i
sl_coa
l
esc
e
.
c: se
t
_
fr
o
m_updated_bma
p
: take si
n
g
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
S
v
e
n Verdool
a
ege
i
s
l_coal
e
sce
.
c: add_wrap: ret
u
r
n isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verdoolaege
isl_sa
m
ple
.
c
:
tab_shift_cone:
f
ix typo in commen
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verd
o
o
l
a
ege
test_inputs/c
o
degen/separate2
.
in:
f
ix typo
in co
m
me
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-01
Sven
Verdoolae
g
e
i
s
l
_
basic
_
s
e
t
_intersect_params: e
x
tr
a
ct ou
t
i
sl_basic_ma
p
_i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-13
Sven
V
e
r
d
oo
l
a
e
ge
cpp/cpp
.
h
.
top
:
mark e
x
c
e
p
tion::
w
h
at override
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven Ve
r
doolaege
extra
c
t-in
t
erf
a
ce: li
n
k in libclan
g
Support whe
n
a
vailab
l
e
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven Verdoolaege
ex
t
rac
t
-interfac
e
: link in clangD
r
iv
e
r before c
l
angBa
s
i
c
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdo
o
laege
isl_pw_qpoly
n
omi
a
l_bou
n
d
:
s
pec
i
al case affine poly
n
om
i
als
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
isl_bound
.
c: unw
r
ap: rename "poly"
p
aram
e
t
er to "qp"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sv
e
n Verdo
o
laege
isl_bo
u
nd
.
c: guarded_poly
_
bo
u
nd: extr
a
ct out unwrap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
isl_bound
.
c: u
n
wrapped_guarde
d
_p
o
l
y
_
bo
u
nd: ta
k
e s
t
r
uc
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
v
en Verdoolaege
isl_bound
.
c: compressed_guarded
_
poly_bound:
tak
e
struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sv
e
n Verd
o
olaege
e
xtract out
shared
i
sl
_
qpolynomial
_
isa_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
is
l
_basic_map_fro
m
_qpolynomial: extract
o
ut isl_qpo
l
yno
m
ial_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Ver
d
o
o
l
a
ege
ex
t
ract o
u
t shared isl_q
p
olynomial_peek_pol
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
per
f
orm c
h
e
c
ke
d
C
++ bin
d
i
n
gs
t
e
sts as
soon as C++1
1
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
Verdo
o
l
aege
remov
e
check for presence of cpp
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sv
e
n Verdool
a
ege
a
lwa
y
s run Pyt
h
on tests if P
y
t
h
on is available
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
always build Python
i
nterface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolae
g
e
add generated int
e
rfaces
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
V
e
r
doolaege
generate interfac
e
s
in source tree
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ve
r
do
o
laege
Makefile
.
am
:
always
d
efine CPP_INT
E
RFACES
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sv
e
n Ver
d
o
o
laege
int
e
rface/is
l
dln
a
me
.
py: cre
a
te destination dire
c
tory
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
v
en Ve
r
d
oola
e
ge
sp
l
i
t
of
f
ma
c
hine
depende
n
t part of P
y
th
o
n interfa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolae
g
e
always build Python interfa
c
e
if poss
i
ble
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ve
r
do
o
laege
Makefile
.
am: avoid automatic variab
l
e
$<
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoola
e
ge
use
single space indentati
o
n for access specifiers
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
gener
a
te
bindings into
temporary f
i
l
e
s fir
s
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
V
erdoolaege
be less verbo
s
e
w
hen generating
bindings
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-14
Sven Verdoolaege
isl_m
a
p
_
c
o
alesce: avoid igno
r
in
g
con
s
traints
r
edunda
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven Ve
r
doolae
g
e
isl
_
tab_make_equa
l
iti
e
s_exp
l
i
c
i
t: support
u
n
d
o
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven Verdo
o
laege
isl_tab
.
c: ren
a
m
e rotate_constraints t
o
ro
t
ate_
c
onstraints_ri
g
ht
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven Verdoolaege
isl_tab
.
c: rotate_co
n
st
r
aints: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-01
S
v
en
V
erdoolaege
isl 0
.
26
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verd
o
olaege
doc: update s
u
pported ver
s
ions of
clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdoolaeg
e
explicitly clean u
p
interface/__pycache__
/
*
.
pyc
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Ver
d
oola
e
g
e
extract-int
e
rfac
e
: when linking against libcl
a
ng-cpp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Ve
r
doolaege
m4/ax_detect_cla
n
g
.
m
4
: preserve clang spe
c
ific CPPFLA
G
S
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sv
e
n
Ver
d
oolaege
i
sl_tab_pip
.
c
:
propagate add_i
n
eq context
error to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdo
o
l
aege
i
s
l_
t
ab_pip
.
c:
f
i
nd_solution
s
_main: prop
a
gate add_eq
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
S
ven Verdoolaege
is
l
_tab_pip
.
c
:
find_in_pos: plug mem
o
ry leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven
V
erdo
o
laege
isl_tab_pip
.
c: n
o
_s
o
l
_
i
n_s
t
rict: fix
e
rro
r
handli
n
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
Sven Verdoolaege
Merge branch '
m
ain
t
'
commit
|
commitdiff
|
tree
2023-03-21
Sven Verdoo
l
aeg
e
fix expor
t
of is
l
_space_
m
ulti_
u
nio
n
_pw_aff to templated
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-21
S
v
e
n Verdo
o
laege
interface/te
m
plat
e
_cpp
.
cc
:
move up from_list_{s
e
t,map
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven
V
e
rdoolae
g
e
isl_basic_map_f
i
n
d
_output_upper
_
div_constraint
:
allow
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven
V
erd
o
olaege
isl_map
.
c: is_pot
e
ntial_div_constraint: re
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
S
ven Verdoolae
g
e
i
s
l
_map
.
c: is
_
potent
i
al_div_constra
i
nt:
refer to va
r
iables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven
Ve
r
doolaege
isl_map
.
c: i
s
_poten
t
ial_d
i
v_constra
i
nt:
fix/complete
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
next