tests/forward_substitution3.scop

   1 context: '{  :  }'
   2 arrays:
   3 - context: '{  :  }'
   4   extent: '{ b[] }'
   5   element_type: int
   6   element_size: 4
   7   declared: 1
   8   exposed: 1
   9 - context: '{  :  }'
  10   extent: '{ c[] }'
  11   element_type: int
  12   element_size: 4
  13   declared: 1
  14   exposed: 1
  15 - context: '{  :  }'
  16   extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
  17   element_type: int
  18   element_size: 4
  19 statements:
  20 - line: 5
  21   domain: '{ S_0[] }'
  22   schedule: '{ S_0[] -> [0, 0] }'
  23   body:
  24     type: unary
  25     operation: kill
  26     arguments:
  27     - type: access
  28       relation: '{ S_0[] -> b[] }'
  29       read: 0
  30       write: 0
  31 - line: 5
  32   domain: '{ S_1[] }'
  33   schedule: '{ S_1[] -> [0, 1] }'
  34   body:
  35     type: binary
  36     operation: =
  37     arguments:
  38     - type: access
  39       relation: '{ S_1[] -> b[] }'
  40       read: 0
  41       write: 1
  42     - type: access
  43       relation: '{ S_1[] -> [1] }'
  44       read: 1
  45       write: 0
  46 - line: 6
  47   domain: '{ S_2[] }'
  48   schedule: '{ S_2[] -> [1, 0] }'
  49   body:
  50     type: unary
  51     operation: kill
  52     arguments:
  53     - type: access
  54       relation: '{ S_2[] -> c[] }'
  55       read: 0
  56       write: 0
  57 - line: 6
  58   domain: '{ S_3[] }'
  59   schedule: '{ S_3[] -> [1, 1] }'
  60   body:
  61     type: binary
  62     operation: =
  63     arguments:
  64     - type: access
  65       relation: '{ S_3[] -> c[] }'
  66       read: 0
  67       write: 1
  68     - type: access
  69       relation: '{ S_3[] -> b[] }'
  70       read: 1
  71       write: 0
  72 - line: 7
  73   domain: '{ S_4[] }'
  74   schedule: '{ S_4[] -> [2] }'
  75   body:
  76     type: binary
  77     operation: =
  78     arguments:
  79     - type: access
  80       relation: '{ S_4[] -> b[] }'
  81       read: 0
  82       write: 1
  83     - type: access
  84       relation: '{ S_4[] -> [2] }'
  85       read: 1
  86       write: 0
  87 - line: 8
  88   domain: '{ S_5[] }'
  89   schedule: '{ S_5[] -> [3] }'
  90   body:
  91     type: binary
  92     operation: =
  93     arguments:
  94     - type: access
  95       relation: '{ S_5[] -> a[1] }'
  96       read: 0
  97       write: 1
  98     - type: access
  99       relation: '{ S_5[] -> [5] }'
 100       read: 1
 101       write: 0