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_test_cpp17-generic.cc: work around std::optional::value issue in older macOS
13 days ago
Sven Verdool
a
eg
e
isl_test
_
cpp17-generic
.
cc: work ar
o
und std::optional
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-04-07
Sve
n
V
e
r
doolaege
isl_tab_basic_map_p
a
rtial_l
e
xopt: c
o
py integer
d
ivisions
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-04-07
Sven Ver
d
o
olaege
isl
_
tab_
p
ip
.
c: find_context_
d
iv: extra
c
t
out fi
n
d
_
div_involv
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-04-07
Sven
Verdoolaege
ad
d
isl_basic_
s
et
_
a
d
d_div_const
r
aint
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-04-07
Sven
Verdoolaege
add isl_basic_set_in
s
ert_div
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-30
S
v
en Verdoolaege
a
d
d check fo
r
isl_map
_
lex
m
in_pw_mul
t
i_aff
r
e
turning
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verdoolaege
isl_test2
.
cc
:
has
_
single_cell_
p
ma: extr
a
ct out ha
s
_single_
c
ell
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sv
e
n
V
er
d
oolaege
isl_ta
b
_p
i
p
.
c:
find_
c
ontext_div: reuse is_kno
w
n
_
div_not_in
v
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verdoolaege
isl_tab_pip
.
c: f
i
nd_contex
t
_
div: ex
t
ract
out is_k
n
own_div_no
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven
V
e
rdoolaege
isl_tab_pip
.
c: find_
c
ontext_div: use
i
s
l_basic_map_div_exp
r
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sve
n
Verdoolaege
is
l
_tab
_
pip
.
c: find_cont
e
xt_div: use is
l
_bas
i
c_ma
p
_div
_
is_
m
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verdoolaege
isl_tab_pip
.
c
: find_context
_
div: use isl_basi
c
_se
t
_
d
im
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sv
e
n Verdoolae
g
e
isl_tab_pip
.
c: ba
s
ic_map_partial_l
e
xop
t
_base_so
l
: remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verdoolaege
isl_tab_pip
.
c: align
_
context_divs: use
isl_b
a
sic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verdoolaege
isl_tab_pip
.
c: alig
n
_c
o
ntext_div
s
: improve e
r
ro
r
handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-30
S
ven
Verdoolaege
isl_ta
b
_pip
.
c: find_context_d
i
v: re
t
urn i
s
l
_
size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-24
Sven Verd
o
o
laege
detect som
e
modulo expressions when ex
t
racting a function
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven Verdoo
l
aege
isl_
a
ff
.
c:
pw_multi_aff
_
from_map_check_div: move d
i
v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven
Verdoo
l
aege
i
sl_aff
.
c: p
w
_m
u
lti_
a
ff_
f
rom
_
map_div:
return integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven
Verdoolaege
isl_aff
.
c
: extract out pw_multi_a
f
f_f
r
om_map_plug_in
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
S
v
en
V
erdoolae
g
e
isl_aff
.
c: pw_mult
i
_aff_fro
m
_map_div:
only get space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven V
e
rdool
a
e
g
e
privately expose
is
l
_
b
asic
_
map_is_set
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sve
n
Verdoo
l
aege
d
e
tect sp
e
c
ific instance o
f
m
odulo
s
in co
n
straints
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sve
n
Verdoo
l
ae
g
e
sort c
o
nstraints while lo
o
ki
n
g for pair of
o
p
p
osite
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven V
e
rdool
a
ege
is
l
_map
.
c
: f
i
nd_l
a
te
r
_
constraint_in
_
p
air: stop
search
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven
Verdoolaege
isl_ba
s
ic_ma
p
_find_output_upp
e
r_div_c
o
nstraint: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven
Verdoo
l
aege
isl_b
a
s
i
c_map_find_output
_
upper_di
v
_constr
a
int: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
isl_basic_
m
ap_find_
o
ut
p
u
t
_upper_div_constrain
t
: extr
a
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven
Ve
r
doola
e
ge
extra
c
t out
shar
e
d isl_basic_map_any_div_involves_vars
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolae
g
e
isl_m
a
p
.
c: b
a
sic_m
a
p_di
m
_is_
b
oun
d
ed: use isl_b
a
s
i
c_map_var_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoo
l
aege
bas
i
c
_map_dim_is_b
o
unded: u
s
e isl_b
a
sic
_
ma
p
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Ve
r
doolaege
i
s
l
_
map_
s
implify
.
c: div_find_c
o
alesce: retur
n
isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaeg
e
is
l
_map
_
simplify
.
c
: div_find_
c
o
a
l
e
s
c
e: use isl_size
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Ver
d
oolaege
extract out shared isl_bas
i
c
_
map_d
i
v_expr_in
v
o
lves_vars
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven
V
erd
o
ol
a
ege
isl_map
.
c: div_involve
s
_vars: use isl_ba
s
ic_map_var_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
i
s
l_map
.
c: div_involves_vars:: use isl
_
basic_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
i
s
l
_map
.
c: div_inv
o
lve
s
_vars:
u
se isl_basic_ma
p
_div_is_marke
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
S
ven Verd
o
olaege
isl_basic_map
_
remove_divs_invol
v
ing_dims: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven
V
e
rd
o
olaege
isl_ma
p
.
c: extract out generic ex
t
ract_bound_from_constraint
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolae
g
e
isl_b
a
s
ic_map_simpl
i
fy: elimina
t
e integral
i
n
teger
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
S
ven Verdo
o
laege
isl
_
ma
p
_simp
l
ify
.
c: e
x
t
r
act o
u
t shar
e
d mark_progre
s
s
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
S
v
en Verdoolaege
isl_ba
s
ic_map_remove_duplicate_
c
onstrai
n
ts: do not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven V
e
rdoo
l
aege
isl_
m
a
p
_si
m
plify
.
c:
e
l
iminate_selected_uni
t
_divs: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sve
n
Verdoolaeg
e
isl_map_simplify
.
c: eliminate_
s
elected_unit_divs:
u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolaege
isl
_
map_simp
l
ify
.
c: eliminate
_
sel
e
cted_unit_divs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
el
i
mination us
i
ng e
q
uality constraint does not intro
d
uce
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
S
v
en Verdo
o
l
aege
isl_basic_map_n
o
rmalize_constrain
t
s: take i
n
to account
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
e
xtract o
u
t isl_b
a
sic_m
a
p
_modify_
i
nequali
t
y
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Ve
r
doola
e
ge
isl_map
_
si
m
plify
.
c
:
eliminate_var_using_equ
a
lity: reuse
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven
Verdoolaege
i
s
l
_
b
asic_map_normalize
_
c
o
n
str
a
ints:
e
xtract
out scale_down
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
keep
track
o
f
e
ffect of vari
a
bl
e
elimin
a
tion on
impl
i
cit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Ve
r
d
oolaege
is
l
_m
a
p_simplify
.
c: eliminate_var_using_equalit
y
: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdool
a
ege
i
s
l
_m
a
p_coa
l
esce: reduce coefficients of fused intermediate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
S
v
en Verdoolaege
isl_basi
c
_
map_reduce
_
coefficients:
r
educe ag
a
in after
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sve
n
Verdoolaege
isl_basic_map_reduce_coe
f
fici
e
nts: move dropping variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven
Verdoola
e
ge
isl_basic_map_red
u
ce_coefficients: perform san
i
ty check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolaege
is
l
_ba
s
ic_m
a
p_reduc
e
_co
e
ffic
i
ents: extract out
reduce_
c
oeffi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven V
e
rdoolaege
isl_basic_map_reduc
e
_
coefficients: in
t
roduce i
s
l_reduce_co
e
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolaege
c
lear ISL_BAS
I
C_MAP_REDUCED
_
COEFFICIE
N
TS when needed
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
i
sl_af
f
_remove_unused_d
i
vs: r
e
move
a
ll unused loc
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven
Verd
o
ol
a
ege
i
s
l_aff_remove_
u
nused_divs: reuse
isl_af
f
_drop_dims
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sve
n
Verdool
a
ege
isl_aff_re
m
ove_unused_
d
i
vs: use isl_aff_domain_var_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Ve
r
do
o
l
a
ege
i
sl_aff_domain_off
s
et: extr
a
ct out is
l
_aff_doma
i
n_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Ver
d
oolaege
isl
_
aff_domai
n
_off
s
et: use
isl_l
o
cal_space_var_off
s
et
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
pr
o
perly document isl_local
_
spa
c
e
_
get_active
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven V
e
rdoolaege
isl_a
s
t_cod
e
g
e
n
.
c: add_domain: only tak
e
s
i
n
gle c
o
py
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sv
e
n Verdoo
l
aege
i
sl_ast_codegen
.
c
:
add_doma
i
n
:
f
ix typo i
n
comme
n
t
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdool
a
ege
i
sl_ast_bui
l
d: stop keepin
g
track of single-valu
e
dness
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
i
sl_ast_codegen
.
c
:
g
e
n
erate_domain: construct call
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
ve
n
V
e
rdoolaege
add AST gene
r
ation test case inv
o
lving expansion nod
e
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
i
sl_ast
_
build_e
x
pr
.
c
:
e
xtrac
t
_modulo: consider simple
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
V
er
d
o
o
l
a
ege
isl_ast_bu
i
ld_ex
p
r
.
c: m
o
d_const
r
aint_
i
s_simpler: ext
r
act
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sve
n
Verdoolae
g
e
isl_ast_buil
d
_exp
r
.
c: rep
l
ace_i
f
_simpler: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
Verdoolaege
isl_ast_build_expr
.
c: is_parallel_or_opposite: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoola
e
ge
i
s
l
_
ast_b
u
ild_
e
xpr
.
c: d
e
co
m
pos
e
check_pa
r
allel_or_opp
o
site
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoo
l
aege
i
sl_as
t
_b
u
ild_expr
.
c:
mod_constraint
_
is_
s
impler: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
V
erdoolaege
isl_ast_buil
d
_expr
.
c:
c
he
c
k_
p
ara
l
le
l
_or_opposite:
e
x
tra
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
ven Verdoolaege
i
s
l_ast_b
u
ild_expr
.
c: check_parallel_or_opposite: ex
t
ract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
V
er
d
o
o
laege
isl_ast_build_expr
.
c: c
h
eck_p
a
rallel_or_opposite: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
int
r
o
d
uce is
l
_sta
t
_non_error_b
o
ol
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sve
n
Ver
d
ool
a
e
g
e
i
sl_c
o
alesce
.
c: set_from_up
d
ated_bmap:
take s
i
ngle
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verdoolaege
isl
_
coalesce
.
c
: add
_
w
rap:
return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verd
o
olaege
isl_sa
m
ple
.
c
:
tab
_
shift_cone:
fix typo in c
o
mment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-21
Sven V
e
rdoolaege
t
est_inpu
t
s
/cod
e
gen/
s
eparate
2
.
in: fix typo in
comm
e
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-01
S
v
en Verdoolaege
i
s
l_basi
c
_set_inte
r
sect_para
m
s: ext
r
a
c
t ou
t
isl_basic_map_
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-13
S
v
en Verdoolaege
cpp/cpp
.
h
.
top
:
mark ex
c
eption
:
:
wha
t
override
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sv
e
n
V
erdo
o
lae
g
e
e
xtr
a
ct-inter
f
ace: l
i
nk in libclan
g
Support when av
a
ilable
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven Verd
o
olaege
extract-interface: li
n
k
i
n clangDr
i
ver before clangBa
s
ic
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdo
o
laege
isl_pw_qpolynom
i
al_bound: sp
e
cial c
a
s
e
affine pol
y
n
o
m
ia
l
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
ven
Verdool
a
ege
isl_bound
.
c: un
w
rap: re
n
ame "p
o
ly" paramete
r
to "qp"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verd
o
o
laege
isl
_
bound
.
c:
guarded_
p
oly_bo
u
nd: extract out
u
nwr
a
p
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
v
en Ve
r
d
oolaege
isl_
b
ound
.
c
:
un
w
r
a
p
ped_guarded_poly_bound: take struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sv
e
n V
e
r
doolaege
is
l
_
bo
u
n
d
.
c: com
p
ressed_guarded_
p
oly_bound: t
a
k
e struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sv
e
n
Verdoolaege
ex
t
ract ou
t
shared isl_qp
o
lyno
m
ial_isa_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verd
o
olaege
isl_basic_map_from
_
qpol
y
nomial: ex
t
ra
c
t
out isl_qpolynom
i
al_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoo
l
aege
e
x
tra
c
t ou
t
shar
e
d isl_qpolynomial_pee
k
_
pol
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verd
o
olaege
perform checked C+
+
bindings te
s
ts
as
soon as C++
1
1
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
V
erdo
o
l
aege
remove check f
o
r
p
resen
c
e o
f
cpp
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Ve
r
doolaege
always run P
y
thon tests if
P
ython
is available
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verd
o
o
laege
a
lways
b
uild Python in
t
erface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next