use isl_aff to represent mapping from virtual iterator to real iterator
[pet.git] / tests / matmul.scop
blob1cbdcb53e9b8ec1da77946614dc9a89a389888f9
1 start: 95
2 end: 277
3 context: '[N, K, M] -> {  : K >= 0 and N >= 0 and N <= 2147483647 and K <= 2147483647
4   and M <= 2147483647 and M >= -2147483648 }'
5 arrays:
6 - context: '[K] -> {  : K >= 0 }'
7   extent: '[N, K, M] -> { A[i0, i1] : i1 >= 0 and i0 >= 0 and i1 <= -1 + K }'
8   element_type: float
9   element_size: 4
10 - context: '[N] -> {  : N >= 0 }'
11   extent: '[N, K, M] -> { B[i0, i1] : i1 >= 0 and i0 >= 0 and i1 <= -1 + N }'
12   element_type: float
13   element_size: 4
14 - context: '[N] -> {  : N >= 0 }'
15   extent: '[N, K, M] -> { C[i0, i1] : i1 >= 0 and i0 >= 0 and i1 <= -1 + N }'
16   element_type: float
17   element_size: 4
18   live_out: 1
19 statements:
20 - line: 9
21   domain: '[N, K, M] -> { S_0[i, j] : j <= -1 + N and j >= 0 and i <= -1 + M and i
22     >= 0 }'
23   schedule: '[N, M] -> { S_0[i, j] -> [0, i, j, 0] }'
24   body:
25     type: binary
26     operation: =
27     arguments:
28     - type: access
29       relation: '[N, K, M] -> { S_0[i, j] -> C[i, j] }'
30       reference: __pet_ref_0
31       read: 0
32       write: 1
33     - type: access
34       relation: '[N, K, M] -> { S_0[i, j] -> [0] }'
35       reference: __pet_ref_1
36       read: 1
37       write: 0
38 - line: 11
39   domain: '[N, K, M] -> { S_1[i, j, k] : k <= -1 + K and k >= 0 and j <= -1 + N and
40     j >= 0 and i <= -1 + M and i >= 0 }'
41   schedule: '[K, N, M] -> { S_1[i, j, k] -> [0, i, j, 1, k] }'
42   body:
43     type: binary
44     operation: +=
45     arguments:
46     - type: access
47       relation: '[N, K, M] -> { S_1[i, j, k] -> C[i, j] }'
48       reference: __pet_ref_2
49       read: 1
50       write: 1
51     - type: binary
52       operation: '*'
53       arguments:
54       - type: access
55         relation: '[N, K, M] -> { S_1[i, j, k] -> A[i, k] }'
56         reference: __pet_ref_3
57         read: 1
58         write: 0
59       - type: access
60         relation: '[N, K, M] -> { S_1[i, j, k] -> B[k, j] }'
61         reference: __pet_ref_4
62         read: 1
63         write: 0