tests/forward_substitution3.scop

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