tests/decl8.scop

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