1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
{
"context" : "[nk] -> { : nk <= 2147483647 and nk >= -2147483648 }",
"name" : "for.cond.1.preheader => polly.merge_new_and_old",
"statements" : [
{
"accesses" : [
{
"kind" : "read",
"relation" : "[nk] -> { Stmt_for_body_3[i0, i1] -> MemRef_A[i1] }"
},
{
"kind" : "read",
"relation" : "[nk] -> { Stmt_for_body_3[i0, i1] -> MemRef_C[i0] }"
},
{
"kind" : "write",
"relation" : "[nk] -> { Stmt_for_body_3[i0, i1] -> MemRef_C[i0] }"
}
],
"domain" : "[nk] -> { Stmt_for_body_3[i0, i1] : i0 >= 0 and i0 <= 1023 and i1 >= 0 and i1 <= -1 + nk and nk >= 1 }",
"name" : "Stmt_for_body_3",
"schedule" : "[nk] -> { Stmt_for_body_3[i0, i1] -> [o0, o1, o2, i1 - 32o1, i0 - 32o0 - 4o2] : 4o2 >= -3 + i0 - 32o0 and 4o2 <= i0 - 32o0 and 32o1 >= -31 + i1 and 32o1 <= i1 and 32o0 <= i0 and 32o0 >= -31 + i0 }"
}
]
}
|
