tests/break2.scop

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