tests/forward_substitution3.scop

   1 start: 25
   2 end: 97
   3 context: '{  :  }'
   4 arrays:
   5 - context: '{  :  }'
   6   extent: '{ b[] }'
   7   element_type: int
   8   element_size: 4
   9   declared: 1
  10   exposed: 1
  11 - context: '{  :  }'
  12   extent: '{ c[] }'
  13   element_type: int
  14   element_size: 4
  15   declared: 1
  16   exposed: 1
  17 - context: '{  :  }'
  18   extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
  19   element_type: int
  20   element_size: 4
  21 statements:
  22 - line: 5
  23   domain: '{ S_0[] }'
  24   schedule: '{ S_0[] -> [0, 0] }'
  25   body:
  26     type: unary
  27     operation: kill
  28     arguments:
  29     - type: access
  30       relation: '{ S_0[] -> b[] }'
  31       index: '{ S_0[] -> b[] }'
  32       reference: __pet_ref_0
  33       read: 0
  34       write: 0
  35 - line: 5
  36   domain: '{ S_1[] }'
  37   schedule: '{ S_1[] -> [0, 1] }'
  38   body:
  39     type: binary
  40     operation: =
  41     arguments:
  42     - type: access
  43       relation: '{ S_1[] -> b[] }'
  44       index: '{ S_1[] -> b[] }'
  45       reference: __pet_ref_1
  46       read: 0
  47       write: 1
  48     - type: access
  49       relation: '{ S_1[] -> [1] }'
  50       index: '{ S_1[] -> [(1)] }'
  51       reference: __pet_ref_2
  52       read: 1
  53       write: 0
  54 - line: 6
  55   domain: '{ S_2[] }'
  56   schedule: '{ S_2[] -> [1, 0] }'
  57   body:
  58     type: unary
  59     operation: kill
  60     arguments:
  61     - type: access
  62       relation: '{ S_2[] -> c[] }'
  63       index: '{ S_2[] -> c[] }'
  64       reference: __pet_ref_3
  65       read: 0
  66       write: 0
  67 - line: 6
  68   domain: '{ S_3[] }'
  69   schedule: '{ S_3[] -> [1, 1] }'
  70   body:
  71     type: binary
  72     operation: =
  73     arguments:
  74     - type: access
  75       relation: '{ S_3[] -> c[] }'
  76       index: '{ S_3[] -> c[] }'
  77       reference: __pet_ref_4
  78       read: 0
  79       write: 1
  80     - type: access
  81       relation: '{ S_3[] -> b[] }'
  82       index: '{ S_3[] -> b[] }'
  83       reference: __pet_ref_5
  84       read: 1
  85       write: 0
  86 - line: 7
  87   domain: '{ S_4[] }'
  88   schedule: '{ S_4[] -> [2] }'
  89   body:
  90     type: binary
  91     operation: =
  92     arguments:
  93     - type: access
  94       relation: '{ S_4[] -> b[] }'
  95       index: '{ S_4[] -> b[] }'
  96       reference: __pet_ref_6
  97       read: 0
  98       write: 1
  99     - type: access
 100       relation: '{ S_4[] -> [2] }'
 101       index: '{ S_4[] -> [(2)] }'
 102       reference: __pet_ref_7
 103       read: 1
 104       write: 0
 105 - line: 8
 106   domain: '{ S_5[] }'
 107   schedule: '{ S_5[] -> [3] }'
 108   body:
 109     type: binary
 110     operation: =
 111     arguments:
 112     - type: access
 113       relation: '{ S_5[] -> a[1] }'
 114       index: '{ S_5[] -> a[(1)] }'
 115       reference: __pet_ref_8
 116       read: 0
 117       write: 1
 118     - type: access
 119       relation: '{ S_5[] -> [5] }'
 120       index: '{ S_5[] -> [(5)] }'
 121       reference: __pet_ref_9
 122       read: 1
 123       write: 0