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: div_find_coalesce: return isl_size
2024-02-25
Sve
n
V
erdoolaege
is
l
_ma
p
_simplify
.
c: div_find_coa
l
esc
e
: return is
l
_si
z
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
S
v
en Ver
d
oolaeg
e
isl_
m
ap_simpl
i
fy
.
c: div_find_
c
oal
e
sce
:
use isl_size
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolae
g
e
e
x
t
r
ac
t
out shared i
s
l_basic_map_div_ex
p
r_involves_var
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdo
o
l
a
ege
i
sl_map
.
c: div_involves_v
a
r
s
:
us
e
isl_basic_
m
ap_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoola
e
ge
isl_m
a
p
.
c:
d
iv_involves_vars:
:
u
se isl_basic_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolae
g
e
isl_
m
ap
.
c: div_invo
l
ves_vars: use isl_bas
i
c_map_div_is_marke
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sv
e
n Verdoolaege
isl_ba
s
ic_
m
ap_remove_d
i
vs_involvin
g
_di
m
s: extract o
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
S
v
en Verdoolaege
isl_map
.
c
:
ext
r
act out generi
c
e
x
trac
t
_bound_f
r
om_constr
a
int
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
S
v
en
V
erdool
a
ege
is
l
_basic_map_s
i
m
p
lify: eliminate inte
g
ral integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sv
e
n Verdoolaege
isl_map_simpl
i
fy
.
c: extr
a
c
t out shared mark_progress
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sv
e
n
Verdoolaege
i
sl_basic_map_rem
o
ve_duplicate_c
o
nst
r
a
ints: do not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
S
v
en Verdoolaege
isl_map_simplify
.
c: eliminate_sele
c
ted_unit_d
i
vs:
e
x
tract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolae
g
e
isl_m
a
p_simplify
.
c: elimina
t
e_selected_uni
t
_divs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sven Ve
r
doolaege
i
s
l
_
map_simp
l
if
y
.
c: elimin
a
te_selected_
u
nit_d
i
vs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
elim
i
nation using equality
c
onstra
i
n
t
does
n
ot
introduce
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven
Verd
o
o
l
a
e
ge
i
s
l_basic_
m
ap_nor
m
a
l
ize_constra
i
nts: take into account
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
extra
c
t
o
ut isl_basi
c
_map_modify
_
inequal
i
ty
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolae
g
e
isl_map_simpli
f
y
.
c
: eliminate
_
va
r
_u
s
ing_equality: reuse
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolae
g
e
isl_basic_ma
p
_
normal
i
ze
_
const
r
aints
:
ex
t
ra
c
t out scale
_
do
w
n_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
keep t
r
ack of
e
ffect of variable elimination on imp
l
icit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sve
n
Ve
r
doolae
g
e
isl_map
_
simplify
.
c
: eli
m
ina
t
e_var_u
s
ing
_
equality: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-03
Sven V
e
rdoo
l
aege
isl_ma
p
_co
a
lesce:
reduce coefficients of
fused inter
m
ediate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven V
e
rd
o
olaege
i
s
l_bas
i
c_map_
r
edu
c
e_coefficients: reduce a
g
ain after
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
S
ven Verdool
a
ege
isl_
b
asic_map_reduce_coeffic
i
ents
:
move drop
p
ing
v
ariables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolaege
isl_basi
c
_m
a
p_re
d
uce_coefficien
t
s: perfo
r
m
s
anity check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdool
a
ege
isl_basi
c
_map_reduce_coef
f
ic
i
ents: extract ou
t
r
e
d
uce_coeff
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolaege
isl_basic
_
map
_
reduce_coefficients:
i
n
tro
d
uce isl_reduce_coef
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Ver
d
o
o
l
a
e
g
e
cl
e
ar
I
SL_BASIC_MAP_R
E
DUCED
_
COEFFICIENTS when needed
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Ver
d
oolaege
isl_aff_remove_unused_divs: remove
a
l
l
unu
s
e
d
local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sve
n
V
e
rdoolaege
isl_aff_remove_unused_divs:
reuse
i
s
l_aff_drop_d
i
ms
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
i
sl_aff_r
e
move
_
u
n
u
s
e
d_div
s
:
u
s
e isl_aff_do
m
ain_var_of
f
set
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sve
n
Verdoola
e
g
e
isl_a
f
f_
d
o
m
ain_offset
:
extract out
i
sl_aff_domain_var_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven
V
erdoolaeg
e
isl_aff
_
domain_offset: use
i
s
l
_lo
c
al_space_var_
o
ffset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
properly docum
e
n
t
isl_loc
a
l_spac
e
_get_act
i
ve
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven
Ve
r
doolaege
isl_
a
st_codege
n
.
c:
a
dd_domain: only
t
ake single copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_ast_
c
odegen
.
c: add_dom
a
in
:
fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sve
n
Verdoolaege
isl_ast_build: st
o
p keeping t
r
a
ck
of sin
g
le-value
d
n
ess
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verd
o
olaege
isl
_
a
st_codegen
.
c:
g
ene
r
ate_
d
omain: construct call
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sve
n
Verdoola
e
ge
add
A
S
T generation test cas
e
i
nvolving
e
xpansion node
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven V
e
r
d
o
o
laege
isl_ast_build
_
expr
.
c:
extract_m
o
d
u
lo: consi
d
e
r
simple
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
isl_ast_bui
l
d_expr
.
c: mod_constraint_is_simpler: extra
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sv
e
n Verdoolaege
isl_ast_build_ex
p
r
.
c: replace_if
_
simpler:
e
xtract
o
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Ve
r
doolaege
isl_ast_
b
uild_expr
.
c:
i
s
_pa
r
allel_or_oppos
i
te: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sve
n
Verdoolaege
isl_as
t
_build_expr
.
c: d
e
compose check_paral
l
e
l_or_o
p
posite
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
ven Verdoola
e
ge
isl_
a
st_b
u
ild_e
x
pr
.
c
:
m
o
d_const
r
a
i
nt_is_simpl
e
r: retur
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoo
l
a
ege
isl_a
s
t_buil
d
_ex
p
r
.
c: c
h
e
ck_par
a
l
l
el_or_opposite: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sve
n
V
e
rd
o
o
la
e
ge
isl_
a
st_
b
u
i
ld_expr
.
c: check_parallel_or_opposite: e
x
tract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sv
e
n Verdoolaege
i
s
l_ast_build_expr
.
c: check_para
l
lel_or_oppos
i
te: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
introduce isl_stat_n
o
n_
e
rror_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven
V
erdool
a
ege
isl_coalesce
.
c:
s
et_fr
o
m_updated_bmap: ta
k
e singl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sv
e
n Verdo
o
laege
isl_coalesc
e
.
c: add_wrap: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verdoolaege
isl
_
sam
p
le
.
c: tab_shift_c
o
ne: fix typo in commen
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-21
Sven
V
erdoola
e
ge
test_inputs/codegen/separate2
.
in: fix t
y
po in co
m
m
ent
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-01
Sven
Verdoola
e
ge
i
sl_basic_
s
et_intersect_params: extract out
i
sl_
b
asic_map_in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-13
Sven Verd
o
olaege
cpp/cpp
.
h
.
t
o
p
:
m
a
rk exception::wha
t
o
v
erride
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven Verdoo
l
a
e
ge
ex
t
ract-inte
r
face:
l
i
nk in libcla
n
gSupport
w
hen available
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sv
e
n
V
e
r
doolaege
ext
r
act-i
n
terface: lin
k
in clangDrive
r
before clangB
a
sic
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-23
Sven
V
erdoolaege
is
l
_pw_
q
polynomia
l
_bound:
s
pecial
case
affine
p
olyno
m
ials
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Ver
d
oolaege
isl_bound
.
c:
u
n
w
rap: rename
"
p
oly" p
a
ram
e
ter
t
o "qp"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven
V
erdoola
e
ge
isl_bound
.
c: guarded_poly_bound: extract out unwrap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sve
n
V
e
rdoolaege
isl_b
o
un
d
.
c: unwra
p
ped_gu
a
rded_
p
ol
y
_boun
d
: take struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sv
e
n Ve
r
d
o
olaege
isl
_
b
ou
n
d
.
c: compr
e
ssed_
g
u
a
r
ded_poly_bound: t
a
ke
st
r
uc
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
v
e
n Verd
o
o
l
aege
extract out shared isl_qpol
y
nomial_isa_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoo
l
aege
isl_basic_
m
ap_from_qpolynomial: extract out isl_qpoly
n
omial_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
e
x
t
ract
o
u
t
sha
r
ed isl_qpol
y
no
m
ia
l
_
peek_p
o
ly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
v
en
Verd
o
olaege
perform checked C++ binding
s
tests as soon as
C++11
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
remove check for
presence
o
f
c
pp
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
a
lw
a
ys run Pyth
o
n tests i
f
Py
t
h
on is avai
l
abl
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verd
o
o
lae
g
e
a
lw
a
ys bu
i
ld
Python interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
add gen
e
rated int
e
rfaces
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sve
n
V
erdoolaege
g
enerat
e
int
e
rfaces in sour
c
e tree
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
v
en Verdoolaege
Makefile
.
am:
a
lwa
y
s define CPP_I
N
TERFACES
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ve
r
doola
e
g
e
interf
a
c
e
/
i
sldlname
.
py: creat
e
d
e
stinat
i
on
d
irec
t
o
ry
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdo
o
laege
split off ma
c
hine dependent p
a
rt
of Pytho
n
inter
f
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sv
e
n Verdoolaege
always build P
y
thon
i
nter
f
a
c
e if possible
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
Make
f
il
e
.
am: avoid au
t
omatic var
i
able $<
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoola
e
g
e
use single space ind
e
ntat
i
on for access specifiers
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sve
n
V
erdoolaege
generate bindings into
t
emporary fi
l
e
s first
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdo
o
laege
b
e
less ver
b
ose
when generating bindin
g
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-14
Sven V
e
r
d
oolaege
isl_map
_
coale
s
ce: avoid ignoring
constraints red
u
ndant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sv
e
n Verd
o
o
laege
is
l
_t
a
b
_
make_equalities_explicit:
s
u
ppor
t
und
o
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
S
ven Verdoolaege
isl_tab
.
c:
r
ena
m
e rotate_constraints t
o
rotate_c
o
nstr
a
in
t
s
_right
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-14
Sven Verdo
o
l
a
e
g
e
isl_tab
.
c:
r
otate_con
s
traints: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-01
Sven Verdoo
l
ae
g
e
i
s
l
0
.
26
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
Sv
e
n Verdoolaeg
e
doc: update suppor
t
e
d
versions
of clang
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-01
Sven V
e
r
d
oolaege
explic
i
tly clean up interface/__pycach
e
__/*
.
p
y
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
S
v
en
V
erdoolaege
e
xtract-interface: when
linking ag
a
inst l
i
bclang-cpp
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
S
v
en Verdool
a
ege
m
4
/
ax_detect_clang
.
m4:
p
r
e
ser
v
e clang sp
e
cific CPP
F
L
AGS
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven Verdoolaege
isl_tab_pip
.
c: propa
g
a
t
e add_i
n
e
q context error to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
S
v
en
Verdoolaege
i
s
l_tab_pip
.
c: find_solution
s
_main: propaga
t
e add_eq
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
S
ven Verdoo
l
aege
i
s
l_tab
_
pip
.
c: fi
n
d_
i
n
_
pos: p
l
ug memo
r
y leak on e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-26
Sven
Verdool
a
e
ge
isl_tab_pip
.
c: no
_
sol
_
in_s
t
rict: fix error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-03-23
S
ven V
e
rdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2023-03-21
Sven
Ver
d
oolae
g
e
fix export
of
i
sl
_
space_
m
ulti_union_pw_aff
to templated
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-21
Sven Verdoolaege
inter
f
ace/template_cpp
.
cc: move up fro
m
_li
s
t_{set,ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sve
n
Ver
d
oo
l
aege
isl_basic_
m
ap_find_out
p
ut_upper_div
_
constraint: allo
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
S
v
e
n
Verdoolaege
i
s
l
_
map
.
c: is_po
t
e
ntial_d
i
v_constraint: return
isl_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven V
e
rdoolaege
isl
_
map
.
c
: is_pote
n
t
ial_div_
c
onstraint: ref
e
r to v
a
r
iable
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sven Verdoo
l
aege
i
s
l_map
.
c: is_potential_d
i
v_
c
ons
t
raint: fix/comp
l
ete
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-03-16
Sve
n
Ve
r
dool
a
ege
isl_map
.
c
: div_involves
_
va
r
s: take
variable of
f
set
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next