tests/pencil_min.scop

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