Sign in
cobalt
/
cobalt
/
61a8495e1e0485bd40f613004bf29f8a925ab37c
/
.
/
src
/
third_party
/
llvm-project
/
polly
/
lib
/
External
/
isl
/
test_inputs
/
codegen
/
pldi2012
/
figure8_a.in
blob: df6543cce22660224a68300ef38717cf9b6b7f5f [
file
] [
log
] [
blame
]
[
n
]
->
{
s0
[
i
,
j
]
->
[
i
,
j
]
:
exists alpha
,
beta
:
1
<=
i
<=
n
and
i
<=
j
<=
n
and
i
=
1
+
4
alpha
and
j
=
i
+
3
beta
}
[
n
]
->
{
:
}
[
n
]
->
{}