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 + 4i)/5) <= 5i - j; S_6[]; S_4[i] : 0 <= i <= 4; S_2[i, j] : 0 <= i <=
   7   4 and j >= i and 5*floor((2 + 4i)/5) <= 5i - j; S_1[i] : 0 <= i <= 4 }", child:
   8   { sequence: [ { filter: "{ S_0[] }" }, { filter: "{ S_3[i, j]; S_4[i]; S_2[i, j];
   9   S_1[i] }", child: { schedule: "L_0[{ S_3[i, j] -> [(i)]; S_4[i] -> [(i)]; S_1[i]
  10   -> [(i)]; S_2[i, j] -> [(i)] }]", child: { sequence: [ { filter: "{ S_1[i] }" },
  11   { filter: "{ S_3[i, j]; S_2[i, j] }", child: { schedule: "L_1[{ S_3[i, j] -> [(j)];
  12   S_2[i, j] -> [(j)] }]", child: { sequence: [ { filter: "{ S_2[i, j] }" }, { filter:
  13   "{ S_3[i, j] }" } ] } } }, { filter: "{ S_4[i] }" } ] } } }, { filter: "{ S_5[];
  14   S_7[]; S_6[] }", child: { set: [ { filter: "{ S_5[] }" }, { filter: "{ S_6[] }"
  15   }, { filter: "{ 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 + 4i)/5) <= 5i - j
  65     }'
  66   body:
  67     type: expression
  68     expr:
  69       type: op
  70       operation: =
  71       arguments:
  72       - type: access
  73         index: '{ S_2[i, j] -> a[] }'
  74         reference: __pet_ref_3
  75         read: 0
  76         write: 1
  77       - type: int
  78         value: 5
  79 - line: 8
  80   domain: '{ S_3[i, j] : 0 <= i <= 4 and j >= i and 5*floor((2 + 4i)/5) <= 5i - j
  81     }'
  82   body:
  83     type: expression
  84     expr:
  85       type: op
  86       operation: =
  87       arguments:
  88       - type: access
  89         index: '{ S_3[i, j] -> j[] }'
  90         reference: __pet_ref_4
  91         read: 0
  92         write: 1
  93       - type: access
  94         index: '{ S_3[i, j] -> [(1 + j)] }'
  95         reference: __pet_ref_5
  96         read: 1
  97         write: 0
  98 - line: 7
  99   domain: '{ S_4[i] : 0 <= i <= 4 }'
 100   body:
 101     type: expression
 102     expr:
 103       type: op
 104       operation: =
 105       arguments:
 106       - type: access
 107         index: '{ S_4[i] -> i[] }'
 108         reference: __pet_ref_6
 109         read: 0
 110         write: 1
 111       - type: access
 112         index: '{ S_4[i] -> [(1 + i)] }'
 113         reference: __pet_ref_7
 114         read: 1
 115         write: 0
 116 - line: -1
 117   domain: '{ S_5[] }'
 118   body:
 119     type: expression
 120     expr:
 121       type: op
 122       operation: kill
 123       arguments:
 124       - type: access
 125         killed: '{ S_5[] -> i[] }'
 126         index: '{ S_5[] -> i[] }'
 127         reference: __pet_ref_8
 128         kill: 1
 129 - line: -1
 130   domain: '{ S_6[] }'
 131   body:
 132     type: expression
 133     expr:
 134       type: op
 135       operation: kill
 136       arguments:
 137       - type: access
 138         killed: '{ S_6[] -> j[] }'
 139         index: '{ S_6[] -> j[] }'
 140         reference: __pet_ref_9
 141         kill: 1
 142 - line: -1
 143   domain: '{ S_7[] }'
 144   body:
 145     type: expression
 146     expr:
 147       type: op
 148       operation: kill
 149       arguments:
 150       - type: access
 151         killed: '{ S_7[] -> a[] }'
 152         index: '{ S_7[] -> a[] }'
 153         reference: __pet_ref_10
 154         kill: 1