[clang-repl] [codegen] Reduce the state in TBAA. NFC for static compilation. (#98138)
[llvm-project.git] / polly / lib / External / isl / test_inputs / codegen / gemm.st
blob31df19dc3e504032a71247a273206284f097e39f
1 domain: "[ni, nj, nk] -> { S_4[i, j, k] : k <= -1 + nk and k >= 0 and j <= -1 + nj and j >= 0 and i <= -1 + ni and i >= 0; S_2[i, j] : j <= -1 + nj and j >= 0 and i <= -1 + ni and i >= 0 }"
2 child:
3   set:
4   - filter: "[ni, nj, nk] -> { S_4[i, j, k]; S_2[i, j] }"
5     child:
6       schedule: "[ni, nj, nk] -> [{ S_4[i, j, k] -> [(i)]; S_2[i, j] -> [(i)] }, { S_4[i, j, k] -> [(j)]; S_2[i, j] -> [(j)] }, { S_4[i, j, k] -> [(k)]; S_2[i, j] -> [(0)] }]"
7       permutable: 1
8       coincident: [ 1, 1, 0 ]
9       child:
10         sequence:
11         - filter: "[ni, nj, nk] -> { S_2[i, j] }"
12         - filter: "[ni, nj, nk] -> { S_4[i, j, k] }"