tests/ternary.scop

   1 start: 47
   2 end: 141
   3 indent: "\t"
   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: 10
  57   domain: '{ S_2[i] : 0 <= i <= 99 }'
  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_2
  67         read: 0
  68         write: 1
  69       - type: op
  70         operation: '?:'
  71         arguments:
  72         - type: access
  73           index: '{ S_2[i] -> j[] }'
  74           reference: __pet_ref_3
  75           read: 1
  76           write: 0
  77         - type: int
  78           value: 40
  79         - type: int
  80           value: 90
  81 - line: 8
  82   domain: '{ S_3[i] : 0 <= i <= 99 }'
  83   body:
  84     type: expression
  85     expr:
  86       type: op
  87       operation: =
  88       arguments:
  89       - type: access
  90         index: '{ S_3[i] -> i[] }'
  91         reference: __pet_ref_4
  92         read: 0
  93         write: 1
  94       - type: access
  95         index: '{ S_3[i] -> [(1 + i)] }'
  96         reference: __pet_ref_5
  97         read: 1
  98         write: 0
  99 - line: -1
 100   domain: '{ S_4[] }'
 101   body:
 102     type: expression
 103     expr:
 104       type: op
 105       operation: kill
 106       arguments:
 107       - type: access
 108         killed: '{ S_4[] -> i[] }'
 109         index: '{ S_4[] -> i[] }'
 110         reference: __pet_ref_6
 111         kill: 1
 112 - line: -1
 113   domain: '{ S_5[] }'
 114   body:
 115     type: expression
 116     expr:
 117       type: op
 118       operation: kill
 119       arguments:
 120       - type: access
 121         killed: '{ S_5[] -> j[] }'
 122         index: '{ S_5[] -> j[] }'
 123         reference: __pet_ref_7
 124         kill: 1
 125 - line: -1
 126   domain: '{ S_6[] }'
 127   body:
 128     type: expression
 129     expr:
 130       type: op
 131       operation: kill
 132       arguments:
 133       - type: access
 134         killed: '{ S_6[] -> a[o0] : 0 <= o0 <= 99 }'
 135         index: '{ S_6[] -> a[] }'
 136         depth: 1
 137         reference: __pet_ref_8
 138         kill: 1