tests/encapsulate/independent5.scop

   1 start: 48
   2 end: 184
   3 indent: "\t"
   4 context: '[n] -> {  : -2147483648 <= n <= 2147483647 }'
   5 schedule: '{ domain: "[n] -> { S_7[i] : 0 <= i < n; S_6[i] : 0 <= i < n; S_8[i] :
   6   0 <= i < n }", child: { schedule: "[n] -> L_0[{ S_7[i] -> [(i)]; S_6[i] -> [(i)];
   7   S_8[i] -> [(i)] }]", child: { sequence: [ { filter: "[n] -> { S_7[i] }" }, { filter:
   8   "[n] -> { S_6[i] }" }, { filter: "[n] -> { S_8[i] }" } ] } } }'
   9 arrays:
  10 - context: '{  :  }'
  11   extent: '[n] -> { j[] }'
  12   element_type: int
  13   element_size: 4
  14   declared: 1
  15 - context: '{  :  }'
  16   extent: '[n] -> { A[i0] : i0 >= 0 }'
  17   element_type: int
  18   element_size: 4
  19 - context: '{  :  }'
  20   extent: '[n] -> { B[i0] : i0 >= 0 }'
  21   element_type: int
  22   element_size: 4
  23 - context: '{  :  }'
  24   extent: '[n] -> { C[i0] : i0 >= 0 }'
  25   element_type: int
  26   element_size: 4
  27 statements:
  28 - line: 6
  29   domain: '[n] -> { S_7[i] : 0 <= i < n }'
  30   body:
  31     type: expression
  32     expr:
  33       type: op
  34       operation: kill
  35       arguments:
  36       - type: access
  37         killed: '[n] -> { S_7[i] -> j[] }'
  38         index: '[n] -> { S_7[i] -> j[] }'
  39         reference: __pet_ref_0
  40         kill: 1
  41 - line: 6
  42   domain: '[n] -> { S_6[i] : 0 <= i < n }'
  43   body:
  44     type: for
  45     declared: 1
  46     variable:
  47       type: access
  48       index: '[n] -> { S_6[i] -> j[] }'
  49       reference: __pet_ref_1
  50       read: 0
  51       write: 1
  52     initialization:
  53       type: access
  54       index: '[n] -> { S_6[i] -> C[(i)] }'
  55       reference: __pet_ref_2
  56       read: 1
  57       write: 0
  58     condition:
  59       type: op
  60       operation: <
  61       arguments:
  62       - type: access
  63         index: '[n] -> { S_6[i] -> j[] }'
  64         reference: __pet_ref_3
  65         read: 1
  66         write: 0
  67       - type: access
  68         index: '[n] -> { S_6[i] -> [(n)] }'
  69         reference: __pet_ref_4
  70         read: 1
  71         write: 0
  72     increment:
  73       type: int
  74       value: 1
  75     body:
  76       type: expression
  77       expr:
  78         type: op
  79         operation: +=
  80         arguments:
  81         - type: access
  82           index: '[n] -> { [S_6[i] -> [i1]] -> B[((i1) : i1 >= 0)] }'
  83           reference: __pet_ref_6
  84           read: 1
  85           write: 1
  86           arguments:
  87           - type: access
  88             index: '[n] -> { S_6[i] -> A[(i)] }'
  89             reference: __pet_ref_5
  90             read: 1
  91             write: 0
  92         - type: access
  93           index: '[n] -> { S_6[i] -> j[] }'
  94           reference: __pet_ref_7
  95           read: 1
  96           write: 0
  97 - line: 6
  98   domain: '[n] -> { S_8[i] : 0 <= i < n }'
  99   body:
 100     type: expression
 101     expr:
 102       type: op
 103       operation: kill
 104       arguments:
 105       - type: access
 106         killed: '[n] -> { S_8[i] -> j[] }'
 107         index: '[n] -> { S_8[i] -> j[] }'
 108         reference: __pet_ref_8
 109         kill: 1
 110 independences:
 111 - filter: '[n] -> { S_6[i] -> S_7[i''] : i'' > i; S_8[i] -> S_7[i''] : i'' > i; S_7[i]
 112     -> S_8[i''] : i'' > i; S_6[i] -> S_6[i''] : i'' > i; S_6[i] -> S_8[i''] : i''
 113     > i; S_8[i] -> S_8[i''] : i'' > i; S_7[i] -> S_6[i''] : i'' > i; S_7[i] -> S_7[i'']
 114     : i'' > i; S_8[i] -> S_6[i''] : i'' > i }'
 115   local: '{ j[] }'