Gitiles
Code Review
Sign In
android-review.linaro.org
/
toolchain
/
cloog-current
/
96b53c29d505df70cf7e83e14a131d2608d5804d
/
.
/
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
}