[clang-repl] [codegen] Reduce the state in TBAA. NFC for static compilation. (#98138)
[llvm-project.git] / polly / lib / External / isl / test_inputs / codegen / cloog / reservoir-lim-lam1.st
blobcf7efee1552d85b0a7597f2fab85cdcd034ad7b2
1 domain: "{ S2[i0, i1] : i0 >= 1 and i0 <= 100 and i1 >= 1 and i1 <= 100; S1[i0, i1] : i0 >= 1 and i0 <= 100 and i1 >= 1 and i1 <= 100 }"
2 child:
3   context: "{ [] }"
4   child:
5     schedule: "[{ S1[i0, i1] -> [(i0 - i1)]; S2[i0, i1] -> [(1 + i0 - i1)] }]"
6     options: "{ separate[i0] }"
7     child:
8       schedule: "[{ S1[i0, i1] -> [(2i1)]; S2[i0, i1] -> [(-1 + 2i1)] }]"
9       options: "{ separate[i0] }"
10       child:
11         sequence:
12         - filter: "{ S1[i0, i1] }"
13         - filter: "{ S2[i0, i1] }"