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