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         relation: '{ S_0[] -> i[] }'
  26         index: '{ S_0[] -> i[] }'
  27         reference: __pet_ref_0
  28         read: 0
  29         write: 1
  30       - type: call
  31         name: f
  32 - line: 10
  33   domain: '{ S_5[] }'
  34   schedule: '{ S_5[] -> [1] }'
  35   body:
  36     type: for
  37     declared: 0
  38     variable:
  39       type: access
  40       relation: '{ S_5[] -> i[] }'
  41       index: '{ S_5[] -> i[] }'
  42       reference: __pet_ref_1
  43       read: 0
  44       write: 1
  45     initialization:
  46       type: access
  47       relation: '{ S_5[] -> i[] }'
  48       index: '{ S_5[] -> i[] }'
  49       reference: __pet_ref_2
  50       read: 1
  51       write: 0
  52     condition:
  53       type: op
  54       operation: <
  55       arguments:
  56       - type: access
  57         relation: '{ S_5[] -> i[] }'
  58         index: '{ S_5[] -> i[] }'
  59         reference: __pet_ref_3
  60         read: 1
  61         write: 0
  62       - type: int
  63         value: 10
  64     increment:
  65       type: int
  66       value: 1
  67     body:
  68       type: expression
  69       expr:
  70         type: op
  71         operation: =
  72         arguments:
  73         - type: access
  74           relation: '{ S_5[] -> a[] }'
  75           index: '{ S_5[] -> a[] }'
  76           reference: __pet_ref_4
  77           read: 0
  78           write: 1
  79         - type: int
  80           value: 5