diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/gemm.st')
| -rw-r--r-- | polly/lib/External/isl/test_inputs/codegen/gemm.st | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/gemm.st b/polly/lib/External/isl/test_inputs/codegen/gemm.st new file mode 100644 index 00000000000..31df19dc3e5 --- /dev/null +++ b/polly/lib/External/isl/test_inputs/codegen/gemm.st @@ -0,0 +1,12 @@ +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 }" +child: + set: + - filter: "[ni, nj, nk] -> { S_4[i, j, k]; S_2[i, j] }" + child: + 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)] }]" + permutable: 1 + coincident: [ 1, 1, 0 ] + child: + sequence: + - filter: "[ni, nj, nk] -> { S_2[i, j] }" + - filter: "[ni, nj, nk] -> { S_4[i, j, k] }" |
