polly/test/DeLICM/confused_order___%for.end103---%for.inc116.jscop.transformed

   1 {
   2    "arrays" : [
   3       {
   4          "name" : "MemRef_C",
   5          "sizes" : [ "*" ],
   6          "type" : "double"
   7       }
   8    ],
   9    "context" : "[cols, rows] -> {  : -2147483648 <= cols <= 2147483647 and -2147483648 <= rows <= 2147483647 }",
  10    "name" : "%for.end103---%for.inc116",
  11    "statements" : [
  12       {
  13          "accesses" : [
  14             {
  15                "kind" : "read",
  16                "relation" : "[cols, rows] -> { Stmt_for_end103[] -> MemRef_a_dot_b_domain_0_lcssa__phi[] }"
  17             },
  18             {
  19                "kind" : "write",
  20                "relation" : "[cols, rows] -> { Stmt_for_end103[] -> MemRef_C[0] }"
  21             },
  22             {
  23                "kind" : "write",
  24                "relation" : "[cols, rows] -> { Stmt_for_end103[] -> MemRef_a_dot_b_domain_0_lcssa[] }"
  25             }
  26          ],
  27          "domain" : "[cols, rows] -> { Stmt_for_end103[] }",
  28          "name" : "Stmt_for_end103",
  29          "schedule" : "[cols, rows] -> { Stmt_for_end103[] -> [0] }"
  30       },
  31       {
  32          "accesses" : [
  33             {
  34                "kind" : "write",
  35                "relation" : "[cols, rows] -> { Stmt_if_then110[] -> MemRef_C[0] }"
  36             },
  37             {
  38                "kind" : "read",
  39                "relation" : "[cols, rows] -> { Stmt_if_then110[] -> MemRef_C[0] }"
  40             }
  41          ],
  42          "domain" : "[cols, rows] -> { Stmt_if_then110[] : cols > 0 and rows > 0 }",
  43          "name" : "Stmt_if_then110",
  44          "schedule" : "[cols, rows] -> { Stmt_if_then110[] -> [1] }"
  45       }
  46    ]
  47 }