tests/inc2.scop

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