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: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
  13   element_type: int
  14   element_size: 4
  15 - context: '{  :  }'
  16   extent: '{ N[] }'
  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: binary
  25     operation: =
  26     arguments:
  27     - type: access
  28       relation: '{ S_0[] -> N[] }'
  29       reference: __pet_ref_0
  30       read: 0
  31       write: 1
  32     - type: access
  33       relation: '{ S_0[] -> [5] }'
  34       reference: __pet_ref_1
  35       read: 1
  36       write: 0
  37 - line: 12
  38   domain: '{ S_1[i] : i >= 0 and i <= 9 }'
  39   schedule: '{ S_1[i] -> [1, i, 0] }'
  40   body:
  41     type: binary
  42     operation: =
  43     arguments:
  44     - type: access
  45       relation: '{ S_1[i] -> __pet_test_0[i] }'
  46       reference: __pet_ref_2
  47       read: 0
  48       write: 1
  49     - type: binary
  50       operation: <=
  51       arguments:
  52       - type: access
  53         relation: '{ S_1[i] -> N[] }'
  54         reference: __pet_ref_3
  55         read: 1
  56         write: 0
  57       - type: access
  58         relation: '{ S_1[i] -> [4] }'
  59         reference: __pet_ref_4
  60         read: 1
  61         write: 0
  62 - line: 14
  63   domain: '{ [S_2[i, j] -> [1]] : i >= 0 and i <= 9 and j >= 0 and j <= 9 }'
  64   schedule: '{ S_2[i, j] -> [1, i, 1, j, 0] }'
  65   body:
  66     type: binary
  67     operation: =
  68     arguments:
  69     - type: access
  70       relation: '{ S_2[i, j] -> a[j] }'
  71       reference: __pet_ref_6
  72       read: 0
  73       write: 1
  74     - type: binary
  75       operation: +
  76       arguments:
  77       - type: binary
  78         operation: +
  79         arguments:
  80         - type: access
  81           relation: '{ S_2[i, j] -> [5] }'
  82           reference: __pet_ref_7
  83           read: 1
  84           write: 0
  85         - type: access
  86           relation: '{ S_2[i, j] -> [j] }'
  87           reference: __pet_ref_8
  88           read: 1
  89           write: 0
  90       - type: access
  91         relation: '{ S_2[i, j] -> N[] }'
  92         reference: __pet_ref_9
  93         read: 1
  94         write: 0
  95   arguments:
  96   - type: access
  97     relation: '{ S_2[i, j] -> __pet_test_0[i] }'
  98     reference: __pet_ref_5
  99     read: 1
 100     write: 0
 101 - line: 15
 102   domain: '{ [S_3[i, j] -> [1]] : i >= 0 and i <= 9 and j >= 0 and j <= 9 }'
 103   schedule: '{ S_3[i, j] -> [1, i, 1, j, 1] }'
 104   body:
 105     type: binary
 106     operation: =
 107     arguments:
 108     - type: access
 109       relation: '{ S_3[i, j] -> N[] }'
 110       reference: __pet_ref_11
 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     reference: __pet_ref_10
 119     read: 1
 120     write: 0