tests/encapsulate/loop7.scop

   1 start: 40
   2 end: 114
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_0[]; S_5[] }", child: { sequence: [ { filter: "{ S_0[] }"
   6   }, { filter: "{ S_5[] }" } ] } }'
   7 arrays:
   8 - context: '{  :  }'
   9   extent: '{ a[] }'
  10   element_type: int
  11   element_size: 4
  12 - context: '{  :  }'
  13   extent: '{ i[] }'
  14   element_type: int
  15   element_size: 4
  16 statements:
  17 - line: 9
  18   domain: '{ S_0[] }'
  19   schedule: '{ S_0[] -> [0] }'
  20   body:
  21     type: expression
  22     expr:
  23       type: op
  24       operation: =
  25       arguments:
  26       - type: access
  27         index: '{ S_0[] -> i[] }'
  28         reference: __pet_ref_0
  29         read: 0
  30         write: 1
  31       - type: call
  32         name: f
  33 - line: 10
  34   domain: '{ S_5[] }'
  35   schedule: '{ S_5[] -> [1] }'
  36   body:
  37     type: for
  38     declared: 0
  39     variable:
  40       type: access
  41       index: '{ S_5[] -> i[] }'
  42       reference: __pet_ref_1
  43       read: 0
  44       write: 1
  45     initialization:
  46       type: access
  47       index: '{ S_5[] -> i[] }'
  48       reference: __pet_ref_2
  49       read: 1
  50       write: 0
  51     condition:
  52       type: op
  53       operation: <
  54       arguments:
  55       - type: access
  56         index: '{ S_5[] -> i[] }'
  57         reference: __pet_ref_3
  58         read: 1
  59         write: 0
  60       - type: int
  61         value: 10
  62     increment:
  63       type: int
  64       value: 1
  65     body:
  66       type: expression
  67       expr:
  68         type: op
  69         operation: =
  70         arguments:
  71         - type: access
  72           index: '{ S_5[] -> a[] }'
  73           reference: __pet_ref_4
  74           read: 0
  75           write: 1
  76         - type: int
  77           value: 5