tests/loop3.scop

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