tests/wdp.scop

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