tests/forward_substitution2.scop

   1 context: '{  :  }'
   2 arrays:
   3 - context: '{  :  }'
   4   extent: '{ N[] }'
   5   element_type: int
   6   element_size: 4
   7 - context: '{  :  }'
   8   extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
   9   element_type: int
  10   element_size: 4
  11 - context: '{  :  }'
  12   extent: '{ c[] }'
  13   element_type: int
  14   element_size: 4
  15 statements:
  16 - line: 5
  17   domain: '{ S_0[] }'
  18   schedule: '{ S_0[] -> [0] }'
  19   body:
  20     type: binary
  21     operation: =
  22     arguments:
  23     - type: access
  24       relation: '{ S_0[] -> c[] }'
  25       read: 0
  26       write: 1
  27     - type: access
  28       relation: '{ S_0[] -> N[] }'
  29       read: 1
  30       write: 0
  31 - line: 6
  32   domain: '{ S_1[] }'
  33   schedule: '{ S_1[] -> [1] }'
  34   body:
  35     type: binary
  36     operation: =
  37     arguments:
  38     - type: access
  39       relation: '{ S_1[] -> N[] }'
  40       read: 0
  41       write: 1
  42     - type: access
  43       relation: '{ S_1[] -> [2] }'
  44       read: 1
  45       write: 0
  46 - line: 7
  47   domain: '{ S_2[] }'
  48   schedule: '{ S_2[] -> [2] }'
  49   body:
  50     type: binary
  51     operation: =
  52     arguments:
  53     - type: access
  54       relation: '{ [S_2[] -> [i0]] -> a[i0] : i0 >= 0 }'
  55       read: 0
  56       write: 1
  57       arguments:
  58       - type: access
  59         relation: '{ S_2[] -> c[] }'
  60         read: 1
  61         write: 0
  62     - type: access
  63       relation: '{ S_2[] -> [5] }'
  64       read: 1
  65       write: 0