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: binary
  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: binary
  24       operation: /
  25       arguments:
  26       - type: access
  27         relation: '{ S_0[i] -> [5] }'
  28         index: '{ S_0[i] -> [(5)] }'
  29         reference: __pet_ref_1
  30         read: 1
  31         write: 0
  32       - type: unary
  33         operation: '-'
  34         arguments:
  35         - type: access
  36           relation: '{ S_0[i] -> [2] }'
  37           index: '{ S_0[i] -> [(2)] }'
  38           reference: __pet_ref_2
  39           read: 1
  40           write: 0
  41 - line: 11
  42   domain: '{ S_1[2] }'
  43   schedule: '{ S_1[i] -> [0, i, 1] }'
  44   body:
  45     type: binary
  46     operation: =
  47     arguments:
  48     - type: access
  49       relation: '{ S_1[i] -> a[] }'
  50       index: '{ S_1[i] -> a[] }'
  51       reference: __pet_ref_3
  52       read: 0
  53       write: 1
  54     - type: binary
  55       operation: /
  56       arguments:
  57       - type: unary
  58         operation: '-'
  59         arguments:
  60         - type: access
  61           relation: '{ S_1[i] -> [5] }'
  62           index: '{ S_1[i] -> [(5)] }'
  63           reference: __pet_ref_4
  64           read: 1
  65           write: 0
  66       - type: unary
  67         operation: '-'
  68         arguments:
  69         - type: access
  70           relation: '{ S_1[i] -> [2] }'
  71           index: '{ S_1[i] -> [(2)] }'
  72           reference: __pet_ref_5
  73           read: 1
  74           write: 0
  75 - line: 13
  76   domain: '{ S_2[1] }'
  77   schedule: '{ S_2[i] -> [0, i, 2] }'
  78   body:
  79     type: binary
  80     operation: =
  81     arguments:
  82     - type: access
  83       relation: '{ S_2[i] -> a[] }'
  84       index: '{ S_2[i] -> a[] }'
  85       reference: __pet_ref_6
  86       read: 0
  87       write: 1
  88     - type: binary
  89       operation: '%'
  90       arguments:
  91       - type: access
  92         relation: '{ S_2[i] -> [5] }'
  93         index: '{ S_2[i] -> [(5)] }'
  94         reference: __pet_ref_7
  95         read: 1
  96         write: 0
  97       - type: unary
  98         operation: '-'
  99         arguments:
 100         - type: access
 101           relation: '{ S_2[i] -> [2] }'
 102           index: '{ S_2[i] -> [(2)] }'
 103           reference: __pet_ref_8
 104           read: 1
 105           write: 0
 106 - line: 15
 107   domain: '{ S_3[-1] }'
 108   schedule: '{ S_3[i] -> [0, i, 3] }'
 109   body:
 110     type: binary
 111     operation: =
 112     arguments:
 113     - type: access
 114       relation: '{ S_3[i] -> a[] }'
 115       index: '{ S_3[i] -> a[] }'
 116       reference: __pet_ref_9
 117       read: 0
 118       write: 1
 119     - type: binary
 120       operation: '%'
 121       arguments:
 122       - type: unary
 123         operation: '-'
 124         arguments:
 125         - type: access
 126           relation: '{ S_3[i] -> [5] }'
 127           index: '{ S_3[i] -> [(5)] }'
 128           reference: __pet_ref_10
 129           read: 1
 130           write: 0
 131       - type: unary
 132         operation: '-'
 133         arguments:
 134         - type: access
 135           relation: '{ S_3[i] -> [2] }'
 136           index: '{ S_3[i] -> [(2)] }'
 137           reference: __pet_ref_11
 138           read: 1
 139           write: 0