Sign in
android
/
toolchain
/
cloog
/
98972d5434ffcb4d11d2c81a46600e9a1cda9110
/
.
/
cloog-0.17.0
/
isl
/
test_inputs
/
devos.pwqp
blob: b4525446904b000fa34d84c4a21d80f2894463d7 [
file
] [
log
] [
blame
]
[
U
]
->
{
[
i0
]
->
((
1
/
3
*
U
+
2
/
3
*
i0
)
-
[(
U
+
2i0
)/
3
])
:
2i0
>=
-
3
-
U
and
2i0
<=
-
U
and
U
>=
0
and
U
<=
10
}
