tests/div_mod.scop

   1 start: 30
   2 end: 232
   3 indent: "\t"
   4 context: '{  :  }'
   5 arrays:
   6 - context: '{  :  }'
   7   extent: '{ a[] }'
   8   element_type: int
   9   element_size: 4
  10 statements:
  11 - line: 9
  12   domain: '{ S_0[-2] }'
  13   schedule: '{ S_0[i] -> [0, i, 0] }'
  14   body:
  15     type: expression
  16     expr:
  17       type: op
  18       operation: =
  19       arguments:
  20       - type: access
  21         index: '{ S_0[i] -> a[] }'
  22         reference: __pet_ref_0
  23         read: 0
  24         write: 1
  25       - type: op
  26         operation: /
  27         arguments:
  28         - type: int
  29           value: 5
  30         - type: op
  31           operation: '-'
  32           arguments:
  33           - type: int
  34             value: 2
  35 - line: 11
  36   domain: '{ S_1[2] }'
  37   schedule: '{ S_1[i] -> [0, i, 1] }'
  38   body:
  39     type: expression
  40     expr:
  41       type: op
  42       operation: =
  43       arguments:
  44       - type: access
  45         index: '{ S_1[i] -> a[] }'
  46         reference: __pet_ref_1
  47         read: 0
  48         write: 1
  49       - type: op
  50         operation: /
  51         arguments:
  52         - type: op
  53           operation: '-'
  54           arguments:
  55           - type: int
  56             value: 5
  57         - type: op
  58           operation: '-'
  59           arguments:
  60           - type: int
  61             value: 2
  62 - line: 13
  63   domain: '{ S_2[1] }'
  64   schedule: '{ S_2[i] -> [0, i, 2] }'
  65   body:
  66     type: expression
  67     expr:
  68       type: op
  69       operation: =
  70       arguments:
  71       - type: access
  72         index: '{ S_2[i] -> a[] }'
  73         reference: __pet_ref_2
  74         read: 0
  75         write: 1
  76       - type: op
  77         operation: '%'
  78         arguments:
  79         - type: int
  80           value: 5
  81         - type: op
  82           operation: '-'
  83           arguments:
  84           - type: int
  85             value: 2
  86 - line: 15
  87   domain: '{ S_3[-1] }'
  88   schedule: '{ S_3[i] -> [0, i, 3] }'
  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