Sign in
cobalt
/
cobalt
/
3cd5432aaed8f14f27f66ade1b51aa71df939492
/
.
/
third_party
/
llvm-project
/
polly
/
lib
/
External
/
isl
/
test_inputs
/
codegen
/
pldi2012
/
figure7_b.in
blob: 93149176bc4b596cfd0a5b85bcc7dfad57d6f651 [
file
] [
log
] [
blame
]
[
n
]
->
{
s0
[
i
]
->
[
i
,
0
]
:
1
<=
i
<=
100
and
n
>
1
;
s1
[
i
,
j
]
->
[
i
,
j
]
:
1
<=
i
,
j
<=
100
and
n
>
1
;
s2
[
i
,
j
]
->
[
i
,
j
]
:
1
<=
i
,
j
<=
100
}
[
n
]
->
{
:
}
[
n
]
->
{
[
i
,
j
]
->
separate
[
x
]
:
x
>=
2
}