Sign in
cobalt
/
cobalt
/
63c7ad499be49ef959b3b1c5ea3f48491aa033d3
/
.
/
src
/
third_party
/
llvm-project
/
polly
/
lib
/
External
/
isl
/
test_inputs
/
codegen
/
empty.in
blob: 17febea4be65573d229348bb08d5922e032b20af [
file
] [
log
] [
blame
]
# Earlier versions of isl would end up with an empty partial
# executed relation and fail to detect this emptiness.
[
M
]
->
{
S0
[
i
]
->
[
i
,
-
M
]
:
0
<=
i
<=
10
;
S1
[
i
]
->
[
i
,
0
]
:
0
<=
i
<=
10
;
S2
[]
->
[
5
,
0
]
}
[
M
]
->
{
:
M
>=
1
}
{
}