tests/break3.scop

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