tests/break3.scop

   1 start: 43
   2 end: 186
   3 context: '{  :  }'
   4 arrays:
   5 - context: '{  :  }'
   6   extent: '{ __pet_test_0[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
   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 <= 99 }'
  13   element_type: int
  14   element_size: 4
  15 statements:
  16 - line: 10
  17   domain: '{ [S_0[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  18   schedule: '{ S_0[i, j] -> [0, i, j, 0] }'
  19   body:
  20     type: binary
  21     operation: =
  22     arguments:
  23     - type: access
  24       relation: '{ S_0[i, j] -> a[i] }'
  25       reference: __pet_ref_1
  26       read: 0
  27       write: 1
  28     - type: access
  29       relation: '{ S_0[i, j] -> [0] }'
  30       reference: __pet_ref_2
  31       read: 1
  32       write: 0
  33   arguments:
  34   - type: access
  35     relation: '{ S_0[i, j] -> __pet_test_0[i, o1] : o1 <= -1 + j and o1 >= 0 }'
  36     reference: __pet_ref_0
  37     read: 1
  38     write: 0
  39 - line: 11
  40   domain: '{ [S_1[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  41   schedule: '{ S_1[i, j] -> [0, i, j, 1, 0] }'
  42   body:
  43     type: binary
  44     operation: =
  45     arguments:
  46     - type: access
  47       relation: '{ S_1[i, j] -> __pet_test_0[i, j] }'
  48       reference: __pet_ref_4
  49       read: 0
  50       write: 1
  51     - type: call
  52       name: f
  53   arguments:
  54   - type: access
  55     relation: '{ S_1[i, j] -> __pet_test_0[i, o1] : o1 <= -1 + j and o1 >= 0 }'
  56     reference: __pet_ref_3
  57     read: 1
  58     write: 0
  59 - line: 13
  60   domain: '{ [S_2[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  61   schedule: '{ S_2[i, j] -> [0, i, j, 2] }'
  62   body:
  63     type: binary
  64     operation: =
  65     arguments:
  66     - type: access
  67       relation: '{ S_2[i, j] -> a[i] }'
  68       reference: __pet_ref_6
  69       read: 0
  70       write: 1
  71     - type: binary
  72       operation: +
  73       arguments:
  74       - type: access
  75         relation: '{ S_2[i, j] -> [i] }'
  76         reference: __pet_ref_7
  77         read: 1
  78         write: 0
  79       - type: access
  80         relation: '{ S_2[i, j] -> [j] }'
  81         reference: __pet_ref_8
  82         read: 1
  83         write: 0
  84   arguments:
  85   - type: access
  86     relation: '{ S_2[i, j] -> __pet_test_0[i, o1] : o1 <= -1 + j and o1 >= 0; S_2[i,
  87       j] -> __pet_test_0[i, j] }'
  88     reference: __pet_ref_5
  89     read: 1
  90     write: 0