tests/break3.scop

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