[ForwardOpTree] Allow out-of-quota in examination part of forwardTree.
[polly-mirror.git] / test / Isl / Ast / single_loop_strip_mine___%for.cond---%for.end.jscop
blob7dcf837a115597b1886e64b59ff47e0f0d427cc8
2    "context" : "{  :  }",
3    "name" : "for.cond => for.end",
4    "statements" : [
5       {
6          "accesses" : [
7             {
8                "kind" : "read",
9                "relation" : "{ Stmt_for_body[i0] -> MemRef_B[0] }"
10             },
11             {
12                "kind" : "write",
13                "relation" : "{ Stmt_for_body[i0] -> MemRef_A[i0] }"
14             }
15          ],
16          "domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 1023 }",
17          "name" : "Stmt_for_body",
18          "schedule" : "{ Stmt_for_body[i0] -> [o0, i0] : exists (e0 = [(o0)/4]: 4e0 = o0 and o0 <= i0 and o0 >= -3 + i0 and i0 >= 0 and i0 <= 1023) }"
19       }
20    ]