Sign in
android
/
toolchain
/
cloog
/
dff798b1728dda06e8421b96df9ad1d67fc6f4b1
/
.
/
cloog-0.18.0
/
isl
/
test_inputs
/
codegen
/
cloog
/
lineality-1-2.in
blob: b7d06d05953625f8acb333c9bc48306ccbb94e58 [
file
] [
log
] [
blame
]
[
M
]
->
{
S2
[
i0
,
i0
]
->
[
i0
,
i0
,
1
]
:
i0
>=
1
and
i0
<=
M
;
S1
[
i0
,
i1
]
->
[
i0
,
i1
,
0
]
:
i0
>=
1
and
i1
>=
1
and
i0
<=
M
and
i1
<=
M
}
[
M
]
->
{
:
M
>=
2
}
[
M
]
->
{
[
i
,
j
,
k
]
->
separate
[
o0
]
}