tests/break.scop

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