tests/pencil_min.scop

   1 start: 88
   2 end: 212
   3 indent: "\t"
   4 context: '[n, m] -> {  : 0 <= n <= 4294967295 and -2147483648 <= m <= 2147483647 }'
   5 schedule: '{ domain: "[n, m] -> { S_3[]; S_1[j] : 0 <= j <= 9 and j < n; S_6[]; S_7[];
   6   S_4[]; S_0[i] : 0 <= i <= 9 and i < m; S_5[]; S_2[] }", child: { sequence: [ { filter:
   7   "[n, m] -> { S_0[i] }", child: { schedule: "[m] -> L_0[{ S_0[i] -> [(i)] }]" } },
   8   { filter: "[n, m] -> { S_1[j] }", child: { schedule: "[n] -> L_1[{ S_1[j] -> [(j)]
   9   }]" } }, { filter: "[n, m] -> { S_3[]; S_6[]; S_7[]; S_4[]; S_5[]; S_2[] }", child:
  10   { set: [ { filter: "{ S_2[] }" }, { filter: "{ S_3[] }" }, { filter: "{ S_4[] }"
  11   }, { filter: "{ S_5[] }" }, { filter: "{ S_6[] }" }, { filter: "{ S_7[] }" } ] }
  12   } ] } }'
  13 arrays:
  14 - context: '{  :  }'
  15   extent: '[n, m] -> { a[i0] : 0 <= i0 <= 19 }'
  16   element_type: int
  17   element_size: 4
  18 - context: '{  :  }'
  19   extent: '[n, m] -> { b[i0] : 0 <= i0 <= 19 }'
  20   element_type: int
  21   element_size: 4
  22 - context: '{  :  }'
  23   extent: '[n, m] -> { i[] }'
  24   element_type: int
  25   element_size: 4
  26 - context: '{  :  }'
  27   extent: '[n, m] -> { j[] }'
  28   element_type: unsigned int
  29   element_size: 4
  30 - context: '{  :  }'
  31   extent: '[n, m] -> { m[] }'
  32   element_type: int
  33   element_size: 4
  34 - context: '{  :  }'
  35   extent: '[n, m] -> { n[] }'
  36   element_type: unsigned int
  37   element_size: 4
  38 statements:
  39 - line: 12
  40   domain: '[n, m] -> { S_0[i] : 0 <= i <= 9 and i < m }'
  41   body:
  42     type: expression
  43     expr:
  44       type: op
  45       operation: =
  46       arguments:
  47       - type: access
  48         index: '[n, m] -> { S_0[i] -> a[(i)] }'
  49         reference: __pet_ref_0
  50         read: 0
  51         write: 1
  52       - type: access
  53         index: '[n, m] -> { S_0[i] -> [(i)] }'
  54         reference: __pet_ref_1
  55         read: 1
  56         write: 0
  57 - line: 15
  58   domain: '[n, m] -> { S_1[j] : 0 <= j <= 9 and j < n }'
  59   body:
  60     type: expression
  61     expr:
  62       type: op
  63       operation: =
  64       arguments:
  65       - type: access
  66         index: '[n, m] -> { S_1[j] -> b[(j)] }'
  67         reference: __pet_ref_2
  68         read: 0
  69         write: 1
  70       - type: access
  71         index: '[n, m] -> { S_1[j] -> [(j)] }'
  72         reference: __pet_ref_3
  73         read: 1
  74         write: 0
  75 - line: -1
  76   domain: '[n, m] -> { S_2[] }'
  77   body:
  78     type: expression
  79     expr:
  80       type: op
  81       operation: kill
  82       arguments:
  83       - type: access
  84         killed: '[n, m] -> { S_2[] -> i[] }'
  85         index: '[n, m] -> { S_2[] -> i[] }'
  86         reference: __pet_ref_4
  87         kill: 1
  88 - line: -1
  89   domain: '[n, m] -> { S_3[] }'
  90   body:
  91     type: expression
  92     expr:
  93       type: op
  94       operation: kill
  95       arguments:
  96       - type: access
  97         killed: '[n, m] -> { S_3[] -> j[] }'
  98         index: '[n, m] -> { S_3[] -> j[] }'
  99         reference: __pet_ref_5
 100         kill: 1
 101 - line: -1
 102   domain: '[n, m] -> { S_4[] }'
 103   body:
 104     type: expression
 105     expr:
 106       type: op
 107       operation: kill
 108       arguments:
 109       - type: access
 110         killed: '[n, m] -> { S_4[] -> m[] }'
 111         index: '[n, m] -> { S_4[] -> m[] }'
 112         reference: __pet_ref_6
 113         kill: 1
 114 - line: -1
 115   domain: '[n, m] -> { S_5[] }'
 116   body:
 117     type: expression
 118     expr:
 119       type: op
 120       operation: kill
 121       arguments:
 122       - type: access
 123         killed: '[n, m] -> { S_5[] -> n[] }'
 124         index: '[n, m] -> { S_5[] -> n[] }'
 125         reference: __pet_ref_7
 126         kill: 1
 127 - line: -1
 128   domain: '[n, m] -> { S_6[] }'
 129   body:
 130     type: expression
 131     expr:
 132       type: op
 133       operation: kill
 134       arguments:
 135       - type: access
 136         killed: '[n, m] -> { S_6[] -> a[o0] : 0 <= o0 <= 19 }'
 137         index: '[n, m] -> { S_6[] -> a[] }'
 138         depth: 1
 139         reference: __pet_ref_8
 140         kill: 1
 141 - line: -1
 142   domain: '[n, m] -> { S_7[] }'
 143   body:
 144     type: expression
 145     expr:
 146       type: op
 147       operation: kill
 148       arguments:
 149       - type: access
 150         killed: '[n, m] -> { S_7[] -> b[o0] : 0 <= o0 <= 19 }'
 151         index: '[n, m] -> { S_7[] -> b[] }'
 152         depth: 1
 153         reference: __pet_ref_9
 154         kill: 1