tests/dynamic_condition.scop

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