tests/data_dependent2.scop

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