tests/arg.scop

   1 start: 72
   2 end: 166
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[i] : 0 <= i <= 9; S_0[]; S_2[i] : 0 <= i <= 9; S_4[];
   6   S_1[i] : 0 <= i <= 9 }", child: { sequence: [ { filter: "{ S_0[] }" }, { filter:
   7   "{ S_3[i]; S_2[i]; S_1[i] }", child: { schedule: "L_0[{ S_2[i] -> [(i)]; S_3[i]
   8   -> [(i)]; S_1[i] -> [(i)] }]", child: { sequence: [ { filter: "{ S_1[i] }" }, {
   9   filter: "{ S_2[i] }" }, { filter: "{ S_3[i] }" } ] } } }, { filter: "{ S_4[] }"
  10   } ] } }'
  11 arrays:
  12 - context: '{  :  }'
  13   extent: '{ a[] }'
  14   element_type: int
  15   element_size: 4
  16 - context: '{  :  }'
  17   extent: '{ b[i0] : 0 <= i0 <= 10 }'
  18   element_type: int
  19   element_size: 4
  20 - context: '{  :  }'
  21   extent: '{ i[] }'
  22   element_type: int
  23   element_size: 4
  24 statements:
  25 - line: 10
  26   domain: '{ S_0[] }'
  27   body:
  28     type: expression
  29     expr:
  30       type: op
  31       operation: =
  32       arguments:
  33       - type: access
  34         index: '{ S_0[] -> i[] }'
  35         reference: __pet_ref_0
  36         read: 0
  37         write: 1
  38       - type: int
  39         value: 0
  40 - line: 11
  41   domain: '{ S_1[i] : 0 <= i <= 9 }'
  42   body:
  43     type: expression
  44     expr:
  45       type: call
  46       name: f
  47       arguments:
  48       - type: op
  49         operation: '&'
  50         arguments:
  51         - type: access
  52           index: '{ S_1[i] -> a[] }'
  53           reference: __pet_ref_1
  54           read: 1
  55           write: 0
  56       - type: op
  57         operation: '&'
  58         arguments:
  59         - type: access
  60           may_read: '{ S_1[i] -> a[] }'
  61           may_write: '{ S_1[i] -> a[] }'
  62           must_write: '{  }'
  63           index: '{ S_1[i] -> a[] }'
  64           reference: __pet_ref_2
  65           read: 1
  66           write: 1
  67 - line: 12
  68   domain: '{ S_2[i] : 0 <= i <= 9 }'
  69   body:
  70     type: expression
  71     expr:
  72       type: call
  73       name: f
  74       arguments:
  75       - type: op
  76         operation: '&'
  77         arguments:
  78         - type: access
  79           index: '{ S_2[i] -> b[(i)] }'
  80           reference: __pet_ref_3
  81           read: 1
  82           write: 0
  83       - type: op
  84         operation: '&'
  85         arguments:
  86         - type: access
  87           may_read: '{ S_2[i] -> b[1 + i] }'
  88           may_write: '{ S_2[i] -> b[1 + i] }'
  89           must_write: '{  }'
  90           index: '{ S_2[i] -> b[(1 + i)] }'
  91           reference: __pet_ref_4
  92           read: 1
  93           write: 1
  94 - line: 10
  95   domain: '{ S_3[i] : 0 <= i <= 9 }'
  96   body:
  97     type: expression
  98     expr:
  99       type: op
 100       operation: =
 101       arguments:
 102       - type: access
 103         index: '{ S_3[i] -> i[] }'
 104         reference: __pet_ref_5
 105         read: 0
 106         write: 1
 107       - type: access
 108         index: '{ S_3[i] -> [(1 + i)] }'
 109         reference: __pet_ref_6
 110         read: 1
 111         write: 0
 112 - line: -1
 113   domain: '{ S_4[] }'
 114   body:
 115     type: expression
 116     expr:
 117       type: op
 118       operation: kill
 119       arguments:
 120       - type: access
 121         killed: '{ S_4[] -> i[] }'
 122         index: '{ S_4[] -> i[] }'
 123         reference: __pet_ref_7
 124         kill: 1