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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
{
"arrays" : [
{
"name" : "MemRef_tmp4",
"sizes" : [ "*" ],
"type" : "i32"
},
{
"name" : "MemRef__pn",
"sizes" : [ "*" ],
"type" : "i32"
}
],
"context" : "[tmp5] -> { : -2147483648 <= tmp5 <= 2147483647 }",
"name" : "%for.body344---%if.then.i.i1141.loopexit",
"statements" : [
{
"accesses" : [
{
"kind" : "write",
"relation" : "[tmp5] -> { Stmt_for_body344[-1 + tmp5] -> MemRef__pn[-1 + tmp5] }"
}
],
"domain" : "[tmp5] -> { Stmt_for_body344[i0] : 0 <= i0 < tmp5; Stmt_for_body344[0] : tmp5 <= 0 }",
"name" : "Stmt_for_body344",
"schedule" : "[tmp5] -> { Stmt_for_body344[i0] -> [i0, 0] : i0 < tmp5; Stmt_for_body344[0] -> [0, 0] : tmp5 <= 0 }"
},
{
"accesses" : [
{
"kind" : "read",
"relation" : "[tmp5] -> { Stmt_cond_false[i0] -> MemRef_tmp4[1 + i0] }"
},
{
"kind" : "write",
"relation" : "[tmp5] -> { Stmt_cond_false[i0] -> MemRef__pn[i0] : i0 <= -2 + tmp5; Stmt_cond_false[0] -> MemRef__pn[0] : tmp5 <= 0 }"
}
],
"domain" : "[tmp5] -> { Stmt_cond_false[i0] : 0 <= i0 <= -2 + tmp5; Stmt_cond_false[0] : tmp5 <= 0 }",
"name" : "Stmt_cond_false",
"schedule" : "[tmp5] -> { Stmt_cond_false[i0] -> [i0, 1] : i0 <= -2 + tmp5; Stmt_cond_false[0] -> [0, 1] : tmp5 <= 0 }"
},
{
"accesses" : [
{
"kind" : "read",
"relation" : "[tmp5] -> { Stmt_cond_end[i0] -> MemRef__pn[i0] }"
},
{
"kind" : "write",
"relation" : "[tmp5] -> { Stmt_cond_end[i0] -> MemRef__pn[i0] }"
}
],
"domain" : "[tmp5] -> { Stmt_cond_end[i0] : 0 <= i0 < tmp5; Stmt_cond_end[0] : tmp5 <= 0 }",
"name" : "Stmt_cond_end",
"schedule" : "[tmp5] -> { Stmt_cond_end[i0] -> [i0, 2] : i0 < tmp5; Stmt_cond_end[0] -> [0, 2] : tmp5 <= 0 }"
}
]
}
|
