tests/data_dependent2.scop

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