Sign in
llvm
/
polly
/
6335625676574fbfb1ed7dcd0d97bf78c9cd3591
/
.
/
rc4
/
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
]
->
{}