tests/encapsulate/loop7.scop

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