tests/continue.scop

   1 start: 33
   2 end: 182
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_5[i] : 0 <= i <= 99; S_0[]; S_7[]; S_3[i, j] : (i <= 99
   6   and 0 <= j < i) or (i >= 0 and i < j <= 99); S_8[]; S_6[]; S_2[i, j] : 0 <= i <=
   7   99 and 0 <= j <= 99; S_4[i, j] : 0 <= i <= 99 and 0 <= j <= 99; S_1[i] : 0 <= i
   8   <= 99 }", child: { sequence: [ { filter: "{ S_0[] }" }, { filter: "{ S_5[i]; S_3[i,
   9   j]; S_2[i, j]; S_4[i, j]; S_1[i] }", child: { schedule: "L_0[{ S_3[i, j] -> [(i)];
  10   S_4[i, j] -> [(i)]; S_5[i] -> [(i)]; S_1[i] -> [(i)]; S_2[i, j] -> [(i)] }]", child:
  11   { sequence: [ { filter: "{ S_1[i] }" }, { filter: "{ S_3[i, j]; S_2[i, j]; S_4[i,
  12   j] }", child: { schedule: "L_1[{ S_3[i, j] -> [(j)]; S_4[i, j] -> [(j)]; S_2[i,
  13   j] -> [(j)] }]", child: { sequence: [ { filter: "{ S_2[i, j] }" }, { filter: "{
  14   S_3[i, j] }" }, { filter: "{ S_4[i, j] }" } ] } } }, { filter: "{ S_5[i] }" } ]
  15   } } }, { filter: "{ S_7[]; S_8[]; S_6[] }", child: { set: [ { filter: "{ S_6[] }"
  16   }, { filter: "{ S_7[] }" }, { filter: "{ S_8[] }" } ] } } ] } }'
  17 arrays:
  18 - context: '{  :  }'
  19   extent: '{ a[i0] : 0 <= i0 <= 99 }'
  20   element_type: int
  21   element_size: 4
  22 - context: '{  :  }'
  23   extent: '{ i[] }'
  24   element_type: int
  25   element_size: 4
  26 - context: '{  :  }'
  27   extent: '{ j[] }'
  28   element_type: int
  29   element_size: 4
  30 statements:
  31 - line: 6
  32   domain: '{ S_0[] }'
  33   body:
  34     type: expression
  35     expr:
  36       type: op
  37       operation: =
  38       arguments:
  39       - type: access
  40         index: '{ S_0[] -> i[] }'
  41         reference: __pet_ref_0
  42         read: 0
  43         write: 1
  44       - type: int
  45         value: 0
  46 - line: 7
  47   domain: '{ S_1[i] : 0 <= i <= 99 }'
  48   body:
  49     type: expression
  50     expr:
  51       type: op
  52       operation: =
  53       arguments:
  54       - type: access
  55         index: '{ S_1[i] -> j[] }'
  56         reference: __pet_ref_1
  57         read: 0
  58         write: 1
  59       - type: int
  60         value: 0
  61 - line: 8
  62   domain: '{ S_2[i, j] : 0 <= i <= 99 and 0 <= j <= 99 }'
  63   body:
  64     type: expression
  65     expr:
  66       type: op
  67       operation: =
  68       arguments:
  69       - type: access
  70         index: '{ S_2[i, j] -> a[(i)] }'
  71         reference: __pet_ref_2
  72         read: 0
  73         write: 1
  74       - type: int
  75         value: 0
  76 - line: 11
  77   domain: '{ S_3[i, j] : (i <= 99 and 0 <= j < i) or (i >= 0 and i < j <= 99) }'
  78   body:
  79     type: expression
  80     expr:
  81       type: op
  82       operation: =
  83       arguments:
  84       - type: access
  85         index: '{ S_3[i, j] -> a[(i)] }'
  86         reference: __pet_ref_3
  87         read: 0
  88         write: 1
  89       - type: access
  90         index: '{ S_3[i, j] -> [(i + j)] }'
  91         reference: __pet_ref_4
  92         read: 1
  93         write: 0
  94 - line: 7
  95   domain: '{ S_4[i, j] : 0 <= i <= 99 and 0 <= j <= 99 }'
  96   body:
  97     type: expression
  98     expr:
  99       type: op
 100       operation: =
 101       arguments:
 102       - type: access
 103         index: '{ S_4[i, j] -> j[] }'
 104         reference: __pet_ref_5
 105         read: 0
 106         write: 1
 107       - type: access
 108         index: '{ S_4[i, j] -> [(1 + j)] }'
 109         reference: __pet_ref_6
 110         read: 1
 111         write: 0
 112 - line: 6
 113   domain: '{ S_5[i] : 0 <= i <= 99 }'
 114   body:
 115     type: expression
 116     expr:
 117       type: op
 118       operation: =
 119       arguments:
 120       - type: access
 121         index: '{ S_5[i] -> i[] }'
 122         reference: __pet_ref_7
 123         read: 0
 124         write: 1
 125       - type: access
 126         index: '{ S_5[i] -> [(1 + i)] }'
 127         reference: __pet_ref_8
 128         read: 1
 129         write: 0
 130 - line: -1
 131   domain: '{ S_6[] }'
 132   body:
 133     type: expression
 134     expr:
 135       type: op
 136       operation: kill
 137       arguments:
 138       - type: access
 139         killed: '{ S_6[] -> i[] }'
 140         index: '{ S_6[] -> i[] }'
 141         reference: __pet_ref_9
 142         kill: 1
 143 - line: -1
 144   domain: '{ S_7[] }'
 145   body:
 146     type: expression
 147     expr:
 148       type: op
 149       operation: kill
 150       arguments:
 151       - type: access
 152         killed: '{ S_7[] -> j[] }'
 153         index: '{ S_7[] -> j[] }'
 154         reference: __pet_ref_10
 155         kill: 1
 156 - line: -1
 157   domain: '{ S_8[] }'
 158   body:
 159     type: expression
 160     expr:
 161       type: op
 162       operation: kill
 163       arguments:
 164       - type: access
 165         killed: '{ S_8[] -> a[o0] : 0 <= o0 <= 99 }'
 166         index: '{ S_8[] -> a[] }'
 167         depth: 1
 168         reference: __pet_ref_11
 169         kill: 1