test/ScopDetect/base_pointer_load_is_inst_inside_invariant_1___%for.i---%exit.jscop

   1 {
   2    "arrays" : [
   3       {
   4          "name" : "MemRef_A",
   5          "sizes" : [ "*" ],
   6          "type" : "float*"
   7       },
   8       {
   9          "name" : "MemRef_ptr",
  10          "sizes" : [ "*" ],
  11          "type" : "float"
  12       }
  13    ],
  14    "context" : "[n] -> {  : -9223372036854775808 <= n <= 9223372036854775807 }",
  15    "name" : "%for.i---%exit",
  16    "statements" : [
  17       {
  18          "accesses" : [
  19             {
  20                "kind" : "read",
  21                "relation" : "[n] -> { Stmt_S1[i0] -> MemRef_A[0] }"
  22             },
  23             {
  24                "kind" : "write",
  25                "relation" : "[n] -> { Stmt_S1[i0] -> MemRef_ptr[i0+1] }"
  26             }
  27          ],
  28          "domain" : "[n] -> { Stmt_S1[i0] : 0 <= i0 < n }",
  29          "name" : "Stmt_S1",
  30          "schedule" : "[n] -> { Stmt_S1[i0] -> [i0] }"
  31       }
  32    ]
  33 }