tests/encapsulate/no_propagate.scop

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