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