Sign in
cobalt
/
cobalt
/
63c7ad499be49ef959b3b1c5ea3f48491aa033d3
/
.
/
src
/
third_party
/
llvm-project
/
polly
/
lib
/
External
/
isl
/
test_inputs
/
codegen
/
unroll7.in
blob: 494e5975564bbc3b54cd55d3f39ccc9bb13e7321 [
file
] [
log
] [
blame
]
# Check that some code is generated.
# Older versions of isl would abort on unknown divs.
{
S
[
i
,
j
]
->
[
i
,
j
]:
exists
(
alpha
,
beta
:
j
=
i
+
4alpha
+
3beta
and
0
<=
alpha
<
24
and
0
<=
beta
and
0
<=
i
,
j
<
5
)
}
{
:
}
{
[
i
,
j
]
->
unroll
[
x
]
}