tests/data_dependent2.scop

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