tests/for_while.scop

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