tests/forward_substitution2.scop

   1 start: 36
   2 end: 92
   3 indent: "\t"
   4 context: '{  :  }'
   5 arrays:
   6 - context: '{  :  }'
   7   extent: '{ N[] }'
   8   element_type: int
   9   element_size: 4
  10 - context: '{  :  }'
  11   extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
  12   element_type: int
  13   element_size: 4
  14 - context: '{  :  }'
  15   extent: '{ c[] }'
  16   element_type: int
  17   element_size: 4
  18 statements:
  19 - line: 5
  20   domain: '{ S_0[] }'
  21   schedule: '{ S_0[] -> [0] }'
  22   body:
  23     type: op
  24     operation: =
  25     arguments:
  26     - type: access
  27       relation: '{ S_0[] -> c[] }'
  28       index: '{ S_0[] -> c[] }'
  29       reference: __pet_ref_0
  30       read: 0
  31       write: 1
  32     - type: access
  33       relation: '{ S_0[] -> N[] }'
  34       index: '{ S_0[] -> N[] }'
  35       reference: __pet_ref_1
  36       read: 1
  37       write: 0
  38 - line: 6
  39   domain: '{ S_1[] }'
  40   schedule: '{ S_1[] -> [1] }'
  41   body:
  42     type: op
  43     operation: =
  44     arguments:
  45     - type: access
  46       relation: '{ S_1[] -> N[] }'
  47       index: '{ S_1[] -> N[] }'
  48       reference: __pet_ref_2
  49       read: 0
  50       write: 1
  51     - type: int
  52       value: 2
  53 - line: 7
  54   domain: '{ S_2[] }'
  55   schedule: '{ S_2[] -> [2] }'
  56   body:
  57     type: op
  58     operation: =
  59     arguments:
  60     - type: access
  61       relation: '{ [S_2[] -> [i0]] -> a[i0] : i0 >= 0 }'
  62       index: '{ [S_2[] -> [i0]] -> a[((i0) : i0 >= 0)] }'
  63       reference: __pet_ref_4
  64       read: 0
  65       write: 1
  66       arguments:
  67       - type: access
  68         relation: '{ S_2[] -> c[] }'
  69         index: '{ S_2[] -> c[] }'
  70         reference: __pet_ref_3
  71         read: 1
  72         write: 0
  73     - type: int
  74       value: 5