tests/break3.scop

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