tests/tobi2.scop

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