tests/generic_condition2.scop

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