Sign in
llvm
/
llvm-project
/
polly
/
f24332bc28be896cbd188870fd573e550ab6a50d
/
.
/
lib
/
External
/
isl
/
test_inputs
/
codegen
/
pldi2012
/
figure8_b.in
blob: d375c4d9e39964190fd5c47d6f0b04e960b8fcdb [
file
] [
log
] [
blame
]
[
n
]
->
{
s0
[
i
]
->
[
i
]
:
exists alpha
:
1
<=
i
<=
n
and
i
=
4
alpha
;
s1
[
i
]
->
[
i
]
:
exists alpha
:
1
<=
i
<=
n
and
i
=
4
alpha
+
2
}
[
n
]
->
{
:
}
[
n
]
->
{
[*]
->
separate
[
x
]
:
x
>=
0
}
