Sign in
cobalt
/
cobalt
/
a3dd835b53c74ec0f3e791c01fbcde33bbf26c6d
/
.
/
src
/
third_party
/
llvm-project
/
polly
/
lib
/
External
/
isl
/
test_inputs
/
codegen
/
single_valued.in
blob: d729942077e2e9cd835052b6cb7d5e79bf1299ff [
file
] [
log
] [
blame
]
# Check that isl recognizes that the inverse schedule is single-valued
# and does not end up in an infinite recursion.
[
t1
]
->
{
S
[
c2
]
->
[
c2
]:
t1
<=
c2
<=
134
and
(
c2
+
t1
)
%
128
=
0
and
c2
>
0
}
[
t1
]
->
{:
t1
>
0
}
[
t1
]
->
{}