2 "name": "do.body => do.end",
5 "name": "Stmt_do_body",
6 "domain": "{ Stmt_do_body[i0] : i0 >= 0 and i0 <= 2147483646 }",
7 "schedule": "{ Stmt_do_body[i0] -> [0, o1, i0, o3, 0] : 64o3 = o1 and o1 <= i0 and o1 >= -63 + i0 }",
10 "relation": "{ Stmt_do_body[i0] -> MemRef_A[0] }"