Sign in
llvm
/
polly
/
88a7046a59842a291d191e2bef5052c0a2d9d168
/
.
/
final
/
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
}
{
}