Sign in
android
/
toolchain
/
cloog
/
dff798b1728dda06e8421b96df9ad1d67fc6f4b1
/
.
/
cloog-0.18.0
/
isl
/
test_inputs
/
codegen
/
cloog
/
stride4.in
blob: 436cad3c5a5143d0ddd76e53b0e3e152ecb0f9ec [
file
] [
log
] [
blame
]
[
t
]
->
{
S1
[
i0
,
t
]
->
[
i0
,
t
,
0
]
:
exists
(
e0
=
[(
t
-
i0
)/
16
]:
16e0
=
t
-
i0
and
i0
>=
0
and
i0
<=
99
and
t
>=
0
and
t
<=
15
)
}
[
t
]
->
{
:
}
[
t
]
->
{
[
i
,
j
,
k
]
->
separate
[
o0
]
}