tests/dynamic_condition.scop

   1 context: '{  :  }'
   2 arrays:
   3 - context: '{  :  }'
   4   extent: '{ j[] }'
   5   element_type: int
   6   element_size: 4
   7 - context: '{  :  }'
   8   extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
   9   element_type: int
  10   element_size: 4
  11 statements:
  12 - line: 9
  13   domain: '{ S_0[i] : i >= 0 and i <= 99 }'
  14   schedule: '{ S_0[i] -> [0, i, 0] }'
  15   body:
  16     type: binary
  17     operation: =
  18     arguments:
  19     - type: access
  20       relation: '{ S_0[i] -> j[] }'
  21       read: 0
  22       write: 1
  23     - type: call
  24       name: f
  25 - line: 12
  26   domain: '{ [S_3[i] -> [j]] : j >= 0 and j <= 1 and i >= 0 and i <= 99 }'
  27   schedule: '{ S_3[i] -> [0, i, 1, 0] }'
  28   body:
  29     type: binary
  30     operation: =
  31     arguments:
  32     - type: access
  33       relation: '{ S_3[i] -> a[i] }'
  34       read: 0
  35       write: 1
  36     - type: access
  37       relation: '{ S_3[i] -> [i] }'
  38       read: 1
  39       write: 0
  40   arguments:
  41   - type: access
  42     relation: '{ S_3[i] -> j[] }'
  43     read: 1
  44     write: 0