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
2024-04-20
Sven Verdoolaege
isl_test_cpp17-generi
c
.
cc: w
o
rk aro
u
nd std:
:
optional
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-04-07
Sve
n
V
e
r
d
oolaege
isl_tab_b
a
si
c
_map_partial_lexopt: c
o
py in
t
eger divisions
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-04-07
Sven Verdoolaege
i
s
l
_tab
_
p
i
p
.
c: f
i
nd_c
o
nte
x
t_div:
extract out fin
d
_
d
iv_inv
o
lv
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-04-07
S
v
en V
e
rdoolae
g
e
add
i
sl_basic_set_add
_
div_constraints
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-04-07
Sven Verdo
o
laege
add isl_basic_set_ins
e
rt_div
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-30
Sv
e
n Verdool
a
ege
add check for isl_ma
p
_lexmin
_
pw_multi_aff
r
eturni
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verdoolaege
isl
_
test
2
.
cc: has_single_
c
ell_pma: extrac
t
o
ut h
a
s_singl
e
_cell
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven
Verdoola
e
ge
is
l
_tab
_
pip
.
c
: find_contex
t
_div: reuse
is_known_
d
iv_n
o
t_
i
nvo
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verdoolaege
is
l
_
tab
_
pip
.
c: find_context_div: ext
r
act out is_known_d
i
v_no
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sve
n
Verdoolaege
i
s
l_tab_pip
.
c
: fi
n
d_context_d
i
v: use isl_basi
c
_m
a
p_div_expr_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sve
n
Verdoolaege
isl_ta
b
_pip
.
c:
f
i
nd_
c
o
n
t
e
x
t
_div: use is
l
_basic_map_
d
iv
_
is_ma
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verdoolaege
isl_tab_pip
.
c: find_conte
x
t
_
di
v
: us
e
isl_
b
asic_set_dim
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verdoola
e
ge
isl_tab_pip
.
c: bas
i
c_map_p
a
rtia
l
_lexopt_
b
ase_s
o
l
:
remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-30
Sven Verd
o
olaege
i
sl_tab_pip
.
c
:
align_context_divs: use
i
sl_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_
c
ontext_divs
:
improve error ha
n
dling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-30
Sven Ve
r
d
oo
l
ae
g
e
is
l
_
tab_pip
.
c: find_c
o
ntext_div: return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-03-24
Sven Verdo
o
l
aege
d
etect some modulo expre
s
sions wh
e
n extracting a function
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven Ver
d
o
o
laege
isl_aff
.
c
: pw_multi_aff_fro
m
_m
a
p
_ch
e
ck_d
i
v: move div
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
S
ven
V
erdoo
l
aege
i
s
l
_aff
.
c: pw_multi_aff_fro
m
_map_di
v
: return
i
n
tege
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven Ver
d
oolaege
isl_af
f
.
c: extract out pw_multi
_
aff_
f
rom_map_plug
_
in
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sv
e
n Ver
d
oolaege
isl_aff
.
c: pw_multi_aff_from_map_div:
on
l
y
get spa
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-03-10
Sven
Verdoolaege
privately expose isl_basi
c
_map_is_set
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdo
o
laege
detect specif
i
c instance of mod
u
los
in
constrain
t
s
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven
Verdoo
l
aege
s
o
rt constra
i
nts while look
i
ng for pair
o
f opposi
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven
V
erdoolaege
i
s
l
_
map
.
c: find_later_constraint_in
_
pair
:
stop
search
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven
Verdoolaege
isl_basic_m
a
p
_
fin
d
_ou
t
put_upper_d
i
v_constraint:
e
xtract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven
V
erdoolaege
i
sl_basic_m
a
p_f
i
nd_ou
t
put_upp
e
r_div_const
r
ai
n
t: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
S
v
en Verdoolaege
isl_basic_map_find_o
u
tput_upper_div_constraint: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verd
o
ola
e
ge
extract
ou
t
sha
r
ed
is
l
_basic_map_any_di
v
_involv
e
s
_va
r
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoola
e
ge
isl_map
.
c: b
a
s
i
c
_m
a
p
_di
m
_is_b
o
unded: use i
s
l
_
b
a
sic_ma
p
_v
a
r_o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sv
e
n
Ve
r
doolaege
b
a
sic_map_dim_is_bou
n
ded: use i
s
l_b
a
sic_map_dim
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven
V
e
rdo
o
laege
isl_map_
s
implify
.
c: div_fi
n
d_
c
oale
s
ce
:
return isl_size
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoolaege
i
s
l_map_simplify
.
c: di
v
_
find_coalesce: use isl_size
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdo
o
laeg
e
e
xtra
c
t out shared isl_basic_map_div_expr_involves_var
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoola
e
ge
isl_map
.
c: div_involves_vars:
us
e
isl
_
basic_map_var_offse
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdo
o
lae
g
e
isl_map
.
c:
d
iv_invol
v
e
s
_
vars:: use isl_basic_map_di
m
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sven Verdoo
l
aege
i
s
l
_map
.
c: div
_
involves_vars: use isl
_
basic_map_div_is_marke
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-25
Sv
e
n Verd
o
olaege
is
l
_basic_map
_
remove_divs_involving_dims: ext
r
act out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
S
v
en Verdoolaege
is
l
_map
.
c: ex
t
r
a
ct out generic extra
c
t_boun
d
_fro
m
_constraint
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-25
Sven
Verdoolaege
isl_basi
c
_
m
ap_simplify: eliminate integr
a
l integer
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Verdoolaege
isl_m
a
p_
s
impl
i
fy
.
c: e
x
tract out sha
r
ed mark_progre
s
s
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
S
ven Verdoo
l
aeg
e
isl_basic_map_re
m
ove_dupl
i
cate
_
c
o
n
strai
n
ts: do not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-18
Sven Ve
r
dool
a
eg
e
isl_map_simplify
.
c: eliminate
_
selected_unit_divs: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sven Ve
r
doolaege
is
l
_map_simplify
.
c:
eliminate_selec
t
ed_un
i
t_divs: u
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-18
Sven
Verdoolaege
i
sl_map_simplify
.
c: eliminate_
s
elected_unit_
d
ivs: us
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoolaege
elimination usi
n
g
equality constraint does not int
r
oduce
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdoo
l
aege
isl_
b
asic_m
a
p
_n
o
rmalize_cons
t
raints: take i
n
to a
c
count
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Ve
r
doola
e
ge
ex
t
ract
o
ut isl_bas
i
c_map_mod
i
fy_inequality
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
S
ven Verdo
o
laege
isl_map_simplify
.
c
: eli
m
i
nate_var_usin
g
_equality: reuse
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verdo
o
l
aege
isl_basic_map_norm
a
l
ize_
c
onstraints:
extract out
sca
l
e_down_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
S
ven Verdo
o
laege
keep track of
e
ffe
c
t of variable elimi
n
atio
n
o
n
implic
i
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-10
Sven Verd
o
olaege
i
s
l_map_simplify
.
c: elimina
t
e_var_using_equality: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2024-02-03
S
ven Verdo
o
laege
i
sl_map_
c
oa
l
e
sce:
reduc
e
coe
f
ficients of f
u
sed intermediate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sve
n
Verdoolaeg
e
isl_basic_map_reduce_coeff
i
cients: reduce ag
a
in
after
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoola
e
g
e
isl_basic_map_redu
c
e_coe
f
ficients: move dr
o
ppin
g
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolaege
isl_basic_map_reduc
e
_co
e
f
f
icients: pe
r
f
orm sani
t
y chec
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven
Verdoolaege
isl_b
a
s
i
c
_
map_reduc
e
_
c
oefficients: ext
r
act o
u
t red
u
ce_coeff
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Ver
d
oolae
g
e
isl_basic_map_reduce_co
e
ffic
i
ents: i
n
troduce isl_red
u
c
e
_
c
o
e
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-02-03
Sven Verdoolae
g
e
cle
a
r ISL
_
BA
S
IC_MAP_REDUCED_
C
OE
F
FICIENTS when n
e
e
d
ed
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
v
en Verdoolaege
i
sl_aff_remove_u
n
used_divs:
remo
v
e
all un
u
sed local
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoola
e
ge
i
sl_aff_remove_unu
s
ed_divs: reuse
isl_a
f
f_
d
rop_dims
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sve
n
V
erdoolaege
isl_
a
f
f_remove_unused_d
i
v
s
:
use isl_
a
ff_domain_var_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Ve
r
doolaeg
e
isl_aff_domain_o
f
f
s
et: extract o
u
t
is
l
_
a
ff
_
doma
i
n_var_o
f
fset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sv
e
n Verdoola
e
ge
isl_aff_
d
o
main_offset: us
e
i
sl_local_space_
v
ar_offset
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
ven Verdoolaege
proper
l
y
d
ocument isl_local_space_get_active
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
ve
n
Ver
d
oolaege
isl
_
ast_c
o
degen
.
c: ad
d
_domain
:
only take sing
l
e copy
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
S
v
en Verdoolae
g
e
isl_ast_codegen
.
c: add_domain:
fix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven
V
e
rdoolaege
isl_ast_build: stop ke
e
ping t
r
ack of
s
ingl
e
-va
l
ue
d
ness
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
isl_as
t
_codegen
.
c: generate_doma
i
n: constru
c
t
c
all
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2024-01-28
Sven Verdoolaege
add AST gene
r
at
i
on te
s
t case
i
nvol
v
ing expan
s
ion
n
ode
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
Verdool
a
ege
is
l
_a
s
t_buil
d
_
expr
.
c:
e
x
t
ract_m
o
dulo: consider s
i
mp
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sv
e
n Verdoolaege
isl_ast_build_expr
.
c: mod_constraint_i
s
_simpler: extract
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
V
er
d
oolae
g
e
isl
_
ast_build_expr
.
c: repl
a
ce_if_s
i
mpler:
extract ou
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sve
n
Ve
r
do
o
laege
i
s
l_ast_bui
l
d
_e
x
p
r
.
c: is_par
a
llel_
o
r_opposite: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven
V
e
rdoolaege
isl_ast_build
_
expr
.
c: decompose check_parallel_or_
o
pposite
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
v
e
n
V
erdoolaege
isl_
a
st_bu
i
ld_
e
xpr
.
c: mod_constr
a
in
t
_is_simpler: ret
u
rn
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Ver
d
oo
l
a
e
ge
isl_ast_build
_
expr
.
c: chec
k
_paral
l
el
_
or_opposite: extrac
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
Sven Ve
r
doolaege
isl
_
ast_build_expr
.
c: ch
e
c
k_parallel_or_opposit
e
:
e
xtr
a
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
ven Verdoolaege
isl_ast_bui
l
d
_expr
.
c: check_paralle
l
_or_opposite
:
extr
a
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-08-06
S
ven
V
erdoolaege
introd
u
ce is
l
_sta
t
_
non_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
Sven Verdoo
l
aege
isl_coalesc
e
.
c: set_from_
u
pdated_
b
map
:
take sin
g
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verdoolaeg
e
isl_coa
l
esce
.
c
:
a
d
d_wrap:
r
e
turn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-07-21
Sven Verdool
a
ege
isl_sample
.
c: t
a
b_shift_cone: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-21
Sven
Verdoola
e
ge
tes
t
_inputs/code
g
en
/
separate2
.
i
n
:
fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-07-01
Sven Verdoolaege
i
s
l_basic_set_intersect
_
p
arams: extract
o
ut isl_basic_map
_
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-05-13
Sven Verdoolaege
cpp/cpp
.
h
.
t
o
p: mark exce
p
tion::what override
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
Sven Verdool
a
ege
extract-interface: link in li
b
clangSupport wh
e
n avail
a
ble
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-05-09
S
v
en Verdoolaeg
e
extr
a
c
t-
i
nter
f
ace: li
n
k in clangDriver before cla
n
gBasic
Signed-off-by:
Sven Verdoolaege
<sven@cerebras.net>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
isl_pw_qpol
y
nomial_bound: sp
e
ci
a
l case af
f
ine polynomials
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
v
en Verdool
a
e
g
e
i
sl_bound
.
c: unwrap: rename
"
poly" par
a
meter to
"
qp"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sve
n
Verdoolaege
isl_bound
.
c: g
u
arded_poly_
b
ound: extract out unwrap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoo
l
ae
g
e
isl_b
o
un
d
.
c: unwrapped_
g
uarded
_
po
l
y_bou
n
d: ta
k
e
s
t
ruct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven
Verdoolaege
isl_bound
.
c
: compresse
d
_guarded_poly_bo
u
nd: t
a
ke
str
u
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
S
ven Ver
d
oolaege
extrac
t
ou
t
shared i
s
l_qpolynomial_is
a
_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sven Verdoolaege
isl_basic_m
a
p_
f
r
om_qpoly
n
omial: extr
a
ct out isl_q
p
olyn
o
mi
a
l
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-23
Sv
e
n Verdool
a
ege
extr
a
c
t
out s
h
ar
e
d isl_qpolyno
m
ial
_
peek_poly
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
S
v
e
n
Verdoolaege
perform check
e
d C++ bindings tests as
s
oon
a
s C+
+
11
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven
V
e
r
d
o
olaege
r
emove c
h
ec
k
for pre
s
e
nce of c
p
p
.
h
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sven Verdoolaege
always run Python te
s
ts
i
f Python is availabl
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2023-04-15
Sv
e
n Verdoolaege
always build Python
inter
f
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next