tests/div_mod.scop

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