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 Verdoolaege
isl_tes
t
_c
p
p17
-
generic
.
cc: wo
r
k arou
n
d std::optional
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-04-07
Sve
n
Verdoolaeg
e
isl_tab_basic_map_partial_lexopt: copy i
n
teg
e
r divis
i
o
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-04-07
S
ven
Verdo
o
laege
is
l
_tab_pip
.
c
: find_context_div: ext
r
act out fi
n
d_div_in
v
o
l
v
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-04-07
Sv
e
n Ve
r
doolaege
add isl_basic_set_add_div_constraints
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-04-07
Sv
e
n
V
e
r
doolaege
add isl_basic_set_inser
t
_
d
i
v
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-30
Sven Ver
d
o
o
laege
a
dd check f
o
r i
s
l_map_lexmin_pw_m
u
lti_aff re
t
urning
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven V
e
rdool
a
e
ge
isl_test2
.
cc: h
a
s_
s
ingle_cell_p
m
a: extract ou
t
h
a
s
_
s
ingle_cell
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven V
e
rdoolaege
i
s
l_tab_pip
.
c: fi
n
d_context_div
:
reuse
is_known_
d
iv
_
no
t
_
i
nvo
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verdo
o
laege
isl
_
tab_p
i
p
.
c:
find_context
_
div: ext
r
act out is
_
kno
w
n_div_no
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sv
e
n Ver
d
o
o
laeg
e
isl_tab_pip
.
c: find
_
co
n
text_div: use
isl_basic_map_div_expr_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
S
ven Verdoolaege
i
sl_tab_pip
.
c:
fin
d
_context_div: use
isl_basic_map_div_
i
s_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verdoolaege
isl_
t
ab_
p
ip
.
c
: find_contex
t
_div: use isl_basi
c
_se
t
_dim
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
S
v
en Verdoolaege
isl_tab_pip
.
c
:
basic
_
map_
p
artial_lexopt_base_
s
ol: remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sv
e
n Verdool
a
ege
isl_tab_pip
.
c: a
l
ign_context
_
divs: use isl_basic_set_d
i
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-30
Sven Ver
d
oolaege
isl_tab_pip
.
c
: align_cont
e
x
t
_divs: impr
o
ve error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-30
S
v
en Verdoolaege
isl_tab_pi
p
.
c: find_context
_
div: return isl_si
z
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-24
Sve
n
V
e
rdoolae
g
e
det
e
ct s
o
me modulo expressions when extra
c
ting a function
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sv
e
n
V
erdool
a
e
g
e
isl
_
aff
.
c: pw_mu
l
ti_aff_from_map_check_div: move
div
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven Verdoolaege
i
s
l_af
f
.
c
: pw_mult
i
_a
f
f
_
f
r
o
m
_map_div: r
e
tur
n
int
e
ger
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven Verdoolaege
isl_aff
.
c: extract ou
t
pw_
m
ulti
_
aff_from_map_plug_in
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven V
e
rdool
a
ege
isl_aff
.
c: pw_
m
u
l
ti_aff_from_ma
p
_div: onl
y
get sp
a
ce
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven
Verdoolaege
pri
v
ately expose i
s
l_
b
asic_m
a
p
_is_set
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Ver
d
oo
l
aege
detect spe
c
ific instance of modulos in co
n
straints
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verd
o
ola
e
ge
s
ort constraints while
loo
k
ing for pai
r
of oppos
i
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
i
s
l_map
.
c: find_
l
ater_constraint_in_pair: stop search
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoo
l
aege
isl_basic_map_find_outpu
t
_u
p
per_di
v
_
constraint: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Ver
d
oolaege
isl_basic_map_fi
n
d_output_
u
pper_div_constr
a
int: extr
a
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
S
v
e
n Verdoolaege
isl_
b
asic_m
a
p_
f
ind_ou
t
put_upper_
d
iv_co
n
stra
i
nt:
e
xt
r
a
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sv
e
n Verdoolaege
extract
o
ut shar
e
d i
s
l_basic_
m
ap_any_di
v
_involv
e
s_var
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoo
l
aeg
e
i
sl_
m
a
p
.
c: bas
i
c_map_di
m
_is_
b
ounded:
u
se isl_basic_map
_
var_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sv
e
n
V
erdoolaege
basi
c
_map_dim_is_bounded
:
use
i
sl_basic_m
a
p_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
S
v
en Verd
o
o
laege
isl_map_simpli
f
y
.
c
:
di
v
_find_coa
l
esce: retu
r
n isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
S
ven Verdoolaeg
e
isl_map_simplify
.
c: div_find_coalesce: use is
l
_si
z
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sve
n
Verdoolaege
extract
o
u
t
shared
i
sl_basic_map_div_expr
_
in
v
ol
v
es_vars
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sve
n
Ve
r
doolaeg
e
i
sl
_
map
.
c: div_
i
nvolves_var
s
: use isl_basic_map
_
va
r
_offset
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven
Verdoola
e
g
e
isl_map
.
c
:
div
_
involves_va
r
s:: use
i
s
l_b
a
sic
_
m
a
p
_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
isl_map
.
c: div_involves_vars:
u
se isl_
b
a
s
ic
_
ma
p
_div_is_m
a
rke
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
isl_basic_map_re
m
o
ve
_
div
s
_
inv
o
lvin
g
_dims: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
isl_map
.
c: extract out generic extract_bound_from
_
constraint
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdo
o
l
a
ege
isl_ba
s
ic_map_simplify: eliminate integral integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolaege
i
s
l_map_simplify
.
c: extract out
shared mark_p
r
ogress
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verd
o
ol
a
ege
isl_basic
_
map_remove_d
u
plica
t
e_c
o
n
strai
n
ts: do not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolaege
i
s
l
_
map_si
m
plify
.
c
: elimin
a
te_
s
elected_unit_divs: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolaege
isl_map_simp
l
ify
.
c: el
i
mi
n
ate
_
selec
t
ed_unit_divs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolaege
i
sl_map_simplify
.
c: eliminate_select
e
d_unit_divs: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoo
l
aege
eli
m
i
nation using equality constraint does
not introduce
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven
Verd
o
o
l
aege
isl_basic_map_norm
a
lize_const
r
aints: ta
k
e into account
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Ve
r
doolaege
extract out isl_basic_map_m
o
dify_inequali
t
y
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
S
v
en Verd
o
ol
a
ege
isl_
m
a
p_simplify
.
c: eliminate_var_using_equ
a
l
i
ty: reus
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven
Verdoo
l
aege
i
s
l
_
b
asi
c
_
map_n
o
rmaliz
e
_
c
ons
t
raint
s
: extract o
u
t scale
_
down_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaeg
e
keep track of
effe
c
t o
f
var
i
abl
e
elimination on implicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
is
l
_map_simplify
.
c: elim
i
nate_var_
u
sing_equal
i
ty: u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-03
S
ven Verdoo
l
aege
i
s
l
_
map_coalesc
e
: reduce coefficients of fused intermediat
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
S
v
en Verdoolaege
i
sl
_
basic_ma
p
_reduce_coefficients: reduce again a
f
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolaege
isl
_
basic_map_red
u
c
e
_coefficients: move droppin
g
va
r
iables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verd
o
olae
g
e
isl_basic
_
map_
r
educ
e
_
coefficien
t
s: pe
r
form sanit
y
check
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Ver
d
ool
a
eg
e
isl_basic_map_reduce_c
o
efficients: extract out r
e
d
uce_coeff
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Ver
d
oolaege
isl_basic_
m
ap_redu
c
e_coefficien
t
s: introduce isl_redu
c
e_coef
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolaege
cl
e
a
r
ISL_B
A
SIC_MA
P
_REDUCE
D
_COEFFICIENTS
w
h
en needed
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sve
n
Ve
r
doo
l
aege
isl_a
f
f_re
m
ove_unused
_
d
i
v
s: re
m
ove
all u
n
used lo
c
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdool
a
ege
isl_a
f
f_rem
o
ve_unused_divs: reuse isl_aff_drop_dims
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_aff
_
remove_u
n
us
e
d_di
v
s: use isl_aff_domain_var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
v
en Verdo
o
laege
i
s
l
_
a
ff
_
domain_of
f
set
:
ex
t
ract out isl
_
aff_d
o
main_var
_
offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdool
a
eg
e
isl_aff_doma
i
n
_offset: use
isl_local
_
s
p
a
c
e
_
va
r
_o
f
fs
e
t
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven
Verdoolaege
p
r
operl
y
d
ocum
e
nt is
l
_
l
ocal_space
_
g
e
t_
a
ctive
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven V
e
rdoolaege
isl_ast_codeg
e
n
.
c: add_domain:
o
nl
y
t
a
ke s
i
ngle copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaeg
e
isl_ast_co
d
egen
.
c: add_domain: fix ty
p
o
in
comm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verd
o
o
l
aege
isl_ast_bu
i
ld: stop kee
p
i
ng track of
s
ing
l
e-valuedness
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
v
en Verdoolaege
isl_ast_codegen
.
c: gene
r
ate_domain:
c
o
nst
r
uct c
a
ll
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven
Ver
d
oolaege
a
d
d AST generati
o
n
test c
a
se i
n
volving expa
n
sion node
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
isl_
a
st_b
u
ild_expr
.
c: extract_
m
odulo:
c
onsider simple
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
V
erdoolaege
isl_ast_
b
uild_exp
r
.
c: mod_const
r
a
int_
i
s_simpl
e
r: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sv
e
n
Verdoolaege
i
s
l_ast_b
u
ild_expr
.
c: re
p
lace_if
_
s
i
mple
r
: extract
o
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoola
e
ge
is
l
_ast_b
u
ild_expr
.
c
:
is_paral
l
el_or_o
p
posite: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
ven
Verdoolaege
i
s
l_ast_bu
i
l
d
_
exp
r
.
c
: decom
p
ose check
_
par
a
llel_
o
r_o
p
posite
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sve
n
Ver
d
oola
e
ge
isl_as
t
_
buil
d
_expr
.
c: m
o
d_constrain
t
_is
_
simpler: return
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoolaege
i
s
l_ast_build_expr
.
c: chec
k
_parallel_or_opposite:
extr
a
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Ver
d
o
olaege
i
sl_ast
_
build_expr
.
c: ch
e
ck_parallel
_
or_opposit
e
:
e
xtract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Verdoo
l
a
ege
isl_ast_bui
l
d_expr
.
c: check_paralle
l
_
o
r_opposit
e
: extra
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
v
en Verdoolaege
i
ntroduce
isl_stat_non_error_
b
oo
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
ve
n
Verdoolaege
isl_
c
oales
c
e
.
c: set_from_updated_bma
p
: ta
k
e single
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verdoolaege
isl_coalesce
.
c: add_w
r
ap: retu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven
Verdoolaege
isl_s
a
m
ple
.
c: tab_sh
i
ft_co
n
e: fix typo
in c
o
mment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verd
o
olaege
test_inpu
t
s
/
c
o
degen/separate2
.
in: fix typo in commen
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-01
Sven Verdoolaege
isl_b
a
si
c
_set_intersect_params:
e
xtrac
t
ou
t
isl
_
ba
s
ic_
m
ap_in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-13
Sven Verdoolaege
c
pp/cpp
.
h
.
t
op:
mark except
i
on::what over
r
ide
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven Verdoolae
g
e
ext
r
act-interface:
link in libclan
g
Support when availab
l
e
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sv
e
n Verdoo
l
aege
extract-interfac
e
: link
i
n clangDriver befo
r
e clangBasi
c
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-23
Sve
n
Verdoolae
g
e
isl_pw_qpo
l
y
n
om
i
a
l
_bound: s
p
ecial c
a
se a
f
fine polynomial
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoo
l
aege
isl_bound
.
c: un
w
rap: rename "po
l
y" par
a
mete
r
to "
q
p
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sve
n
Verdool
a
ege
isl_bound
.
c: guarded_poly_bo
u
nd:
e
xtract out unwrap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaeg
e
isl_bound
.
c
:
unw
r
apped_guard
e
d_pol
y
_bound:
t
ake struct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaeg
e
isl
_
bound
.
c:
c
ompre
s
sed_gua
r
d
e
d
_poly_bound: ta
k
e struc
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
v
en Verdoolaege
extr
a
ct
o
ut s
h
ared isl_qpol
y
nomial_is
a
_
aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sve
n
Ve
r
doolaeg
e
isl_bas
i
c
_
map_from_qpolynomial:
extract
o
ut isl
_
qpolynomial_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
v
e
n Verd
o
olae
g
e
extract out
s
h
ared isl_
q
polynomial_peek_poly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
ven Ver
d
oolaege
perfor
m
check
e
d C
+
+ b
i
n
d
i
ngs te
s
ts as soon as C++11
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolae
g
e
remove
check f
o
r
p
r
esence of
c
pp
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaeg
e
always run
P
y
thon
t
e
st
s
if Python is available
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sve
n
Verdoolaege
always b
u
il
d
Python i
n
terface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next