tests/wdp.scop

   1 start: 248
   2 end: 619
   3 context: '[N] -> {  : N >= 8 and N <= 16 }'
   4 arrays:
   5 - context: '{  :  }'
   6   extent: '[N] -> { __pet_test_0[i] : i <= -1 + N and i >= 0 }'
   7   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
   8   element_type: int
   9   element_size: 4
  10   uniquely_defined: 1
  11 - context: '[N] -> {  : N >= 0 }'
  12   extent: '[N] -> { x[i0] : i0 <= -1 + N and i0 >= 0 }'
  13   element_type: int
  14   element_size: 4
  15 - context: '[N] -> {  : N >= -1 and N <= 2147483646 }'
  16   extent: '[N] -> { y[i0] : i0 <= N and i0 >= 0 }'
  17   element_type: int
  18   element_size: 4
  19 - context: '[N] -> {  : N >= -1 and N <= 2147483646 }'
  20   extent: '[N] -> { t[i0] : i0 <= N and i0 >= 0 }'
  21   element_type: int
  22   element_size: 4
  23 - context: '[N] -> {  : N >= -2 and N <= 2147483645 }'
  24   extent: '[N] -> { z[i0] : i0 <= 1 + N and i0 >= 0 }'
  25   element_type: int
  26   element_size: 4
  27 statements:
  28 - line: 19
  29   domain: '[N] -> { S_0[i] : i <= -1 + N and i >= 0 }'
  30   schedule: '[N] -> { S_0[i] -> [0, i] }'
  31   body:
  32     type: binary
  33     operation: =
  34     arguments:
  35     - type: access
  36       relation: '[N] -> { S_0[i] -> x[i] }'
  37       reference: __pet_ref_0
  38       read: 0
  39       write: 1
  40     - type: call
  41       name: _Source_x
  42 - line: 22
  43   domain: '[N] -> { S_1[i] : i <= N and i >= 0 }'
  44   schedule: '[N] -> { S_1[i] -> [1, i] }'
  45   body:
  46     type: call
  47     name: _Source_yt
  48     arguments:
  49     - type: unary
  50       operation: '&'
  51       arguments:
  52       - type: access
  53         relation: '[N] -> { S_1[i] -> y[i] }'
  54         reference: __pet_ref_1
  55         read: 0
  56         write: 1
  57     - type: unary
  58       operation: '&'
  59       arguments:
  60       - type: access
  61         relation: '[N] -> { S_1[i] -> t[i] }'
  62         reference: __pet_ref_2
  63         read: 0
  64         write: 1
  65 - line: 25
  66   domain: '[N] -> { S_2[i] : i <= 1 + N and i >= 0 }'
  67   schedule: '[N] -> { S_2[i] -> [2, i] }'
  68   body:
  69     type: binary
  70     operation: =
  71     arguments:
  72     - type: access
  73       relation: '[N] -> { S_2[i] -> z[i] }'
  74       reference: __pet_ref_3
  75       read: 0
  76       write: 1
  77     - type: call
  78       name: _Source_z
  79 - line: 29
  80   domain: '[N] -> { [S_4[i] -> [0]] : i <= -1 + N and i >= 0 }'
  81   schedule: '[N] -> { S_4[i] -> [3, i, 0] }'
  82   body:
  83     type: binary
  84     operation: =
  85     arguments:
  86     - type: access
  87       relation: '[N] -> { S_4[i] -> x[i] }'
  88       reference: __pet_ref_5
  89       read: 0
  90       write: 1
  91     - type: call
  92       name: F1
  93       arguments:
  94       - type: access
  95         relation: '[N] -> { S_4[i] -> x[i] }'
  96         reference: __pet_ref_6
  97         read: 1
  98         write: 0
  99   arguments:
 100   - type: access
 101     relation: '[N] -> { S_4[i] -> z[i] }'
 102     reference: __pet_ref_4
 103     read: 1
 104     write: 0
 105 - line: 30
 106   domain: '[N] -> { S_5[i] : i <= -1 + N and i >= 0 }'
 107   schedule: '[N] -> { S_5[i] -> [3, i, 1, 0] }'
 108   body:
 109     type: binary
 110     operation: =
 111     arguments:
 112     - type: access
 113       relation: '[N] -> { S_5[i] -> __pet_test_0[i] }'
 114       reference: __pet_ref_7
 115       read: 0
 116       write: 1
 117     - type: binary
 118       operation: '>'
 119       arguments:
 120       - type: binary
 121         operation: '*'
 122         arguments:
 123         - type: access
 124           relation: '[N] -> { S_5[i] -> x[i] }'
 125           reference: __pet_ref_8
 126           read: 1
 127           write: 0
 128         - type: access
 129           relation: '[N] -> { S_5[i] -> x[i] }'
 130           reference: __pet_ref_9
 131           read: 1
 132           write: 0
 133       - type: access
 134         relation: '[N] -> { S_5[i] -> [100] }'
 135         reference: __pet_ref_10
 136         read: 1
 137         write: 0
 138 - line: 31
 139   domain: '[N] -> { [S_6[i] -> [1]] : i <= -1 + N and i >= 0 }'
 140   schedule: '[N] -> { S_6[i] -> [3, i, 1, 1, 0] }'
 141   body:
 142     type: binary
 143     operation: =
 144     arguments:
 145     - type: access
 146       relation: '[N] -> { S_6[i] -> y[1 + i] }'
 147       reference: __pet_ref_12
 148       read: 0
 149       write: 1
 150     - type: call
 151       name: F2
 152       arguments:
 153       - type: access
 154         relation: '[N] -> { S_6[i] -> y[i] }'
 155         reference: __pet_ref_13
 156         read: 1
 157         write: 0
 158   arguments:
 159   - type: access
 160     relation: '[N] -> { S_6[i] -> __pet_test_0[i] }'
 161     reference: __pet_ref_11
 162     read: 1
 163     write: 0
 164 - line: 32
 165   domain: '[N] -> { [S_7[i] -> [1]] : i <= -1 + N and i >= 0 }'
 166   schedule: '[N] -> { S_7[i] -> [3, i, 1, 1, 1] }'
 167   body:
 168     type: binary
 169     operation: =
 170     arguments:
 171     - type: access
 172       relation: '[N] -> { S_7[i] -> t[i] }'
 173       reference: __pet_ref_15
 174       read: 0
 175       write: 1
 176     - type: call
 177       name: F3
 178       arguments:
 179       - type: access
 180         relation: '[N] -> { S_7[i] -> t[i] }'
 181         reference: __pet_ref_16
 182         read: 1
 183         write: 0
 184   arguments:
 185   - type: access
 186     relation: '[N] -> { S_7[i] -> __pet_test_0[i] }'
 187     reference: __pet_ref_14
 188     read: 1
 189     write: 0
 190 - line: 34
 191   domain: '[N] -> { S_8[i] : i <= -1 + N and i >= 0 }'
 192   schedule: '[N] -> { S_8[i] -> [3, i, 2] }'
 193   body:
 194     type: call
 195     name: F4
 196     arguments:
 197     - type: access
 198       relation: '[N] -> { S_8[i] -> y[1 + i] }'
 199       reference: __pet_ref_17
 200       read: 1
 201       write: 0
 202     - type: access
 203       relation: '[N] -> { S_8[i] -> z[i] }'
 204       reference: __pet_ref_18
 205       read: 1
 206       write: 0
 207     - type: unary
 208       operation: '&'
 209       arguments:
 210       - type: access
 211         relation: '[N] -> { S_8[i] -> y[1 + i] }'
 212         reference: __pet_ref_19
 213         read: 0
 214         write: 1
 215     - type: unary
 216       operation: '&'
 217       arguments:
 218       - type: access
 219         relation: '[N] -> { S_8[i] -> z[2 + i] }'
 220         reference: __pet_ref_20
 221         read: 0
 222         write: 1