xref: /llvm-project/polly/lib/External/isl/test_inputs/codegen/gemm.st (revision 1de4e381ca058f8afa2c2b47d33f28e7a055eb0b)
1*1de4e381STobias Grosserdomain: "[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*1de4e381STobias Grosserchild:
3*1de4e381STobias Grosser  set:
4*1de4e381STobias Grosser  - filter: "[ni, nj, nk] -> { S_4[i, j, k]; S_2[i, j] }"
5*1de4e381STobias Grosser    child:
6*1de4e381STobias Grosser      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*1de4e381STobias Grosser      permutable: 1
8*1de4e381STobias Grosser      coincident: [ 1, 1, 0 ]
9*1de4e381STobias Grosser      child:
10*1de4e381STobias Grosser        sequence:
11*1de4e381STobias Grosser        - filter: "[ni, nj, nk] -> { S_2[i, j] }"
12*1de4e381STobias Grosser        - filter: "[ni, nj, nk] -> { S_4[i, j, k] }"
13