tests/div_mod.scop

   1 start: 30
   2 end: 232
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[-1]; S_2[1]; S_0[-2]; S_1[2] }", child: { schedule: "L_0[{
   6   S_2[i] -> [(i)]; S_1[i] -> [(i)]; S_3[i] -> [(i)]; S_0[i] -> [(i)] }]", child: {
   7   sequence: [ { filter: "{ S_0[i] }" }, { filter: "{ S_1[i] }" }, { filter: "{ S_2[i]
   8   }" }, { filter: "{ S_3[i] }" } ] } } }'
   9 arrays:
  10 - context: '{  :  }'
  11   extent: '{ a[] }'
  12   element_type: int
  13   element_size: 4
  14 statements:
  15 - line: 9
  16   domain: '{ S_0[-2] }'
  17   body:
  18     type: expression
  19     expr:
  20       type: op
  21       operation: =
  22       arguments:
  23       - type: access
  24         index: '{ S_0[i] -> a[] }'
  25         reference: __pet_ref_0
  26         read: 0
  27         write: 1
  28       - type: op
  29         operation: /
  30         arguments:
  31         - type: int
  32           value: 5
  33         - type: op
  34           operation: '-'
  35           arguments:
  36           - type: int
  37             value: 2
  38 - line: 11
  39   domain: '{ S_1[2] }'
  40   body:
  41     type: expression
  42     expr:
  43       type: op
  44       operation: =
  45       arguments:
  46       - type: access
  47         index: '{ S_1[i] -> a[] }'
  48         reference: __pet_ref_1
  49         read: 0
  50         write: 1
  51       - type: op
  52         operation: /
  53         arguments:
  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: 13
  65   domain: '{ S_2[1] }'
  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: int
  81           value: 5
  82         - type: op
  83           operation: '-'
  84           arguments:
  85           - type: int
  86             value: 2
  87 - line: 15
  88   domain: '{ S_3[-1] }'
  89   body:
  90     type: expression
  91     expr:
  92       type: op
  93       operation: =
  94       arguments:
  95       - type: access
  96         index: '{ S_3[i] -> a[] }'
  97         reference: __pet_ref_3
  98         read: 0
  99         write: 1
 100       - type: op
 101         operation: '%'
 102         arguments:
 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