tests/div_mod.scop

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