Sign in
cobalt
/
cobalt
/
02dc75a3e28204929da5793da854c523d59e642c
/
.
/
src
/
third_party
/
llvm-project
/
polly
/
lib
/
External
/
isl
/
test_inputs
/
codegen
/
omega
/
guard1-0.in
blob: 52964e2648908593675528dec4a36ead387fdf6f [
file
] [
log
] [
blame
]
[
n
,
m
]
->
{
s0
[
n
,
m
]
->
[
n
,
m
]
:
exists
(
e0
=
[(-
2
-
n
+
m
)/
3
]:
3e0
=
-
2
-
n
+
m
)
}
{
:
}
[
n
,
m
]
->
{
[
i0
,
i1
]
->
atomic
[
o0
]
:
o0
<=
0
;
[
i0
,
i1
]
->
separate
[
o0
]
:
o0
>=
1
}