tests/div_mod.scop

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