tests/forward_substitution1.scop

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