tests/div_mod.scop

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