Method extract

ir/type.cpp:837–866

}

StateValue AggregateType::extract(const StateValue &val, unsigned index,
                                  bool fromInt) const {
  unsigned total_value = 0, total_np = 0;
  for (unsigned i = 0; i < index; ++i) {
    total_value += children[i]->bits();
    total_np += children[i]->np_bits(fromInt);
  }

  unsigned h_val, l_val, h_np, l_np;
  if (fromInt && little_endian) {
    h_val = total_value + children[index]->bits() - 1;
    l_val = total_value;

    h_np = total_np + children[index]->np_bits(fromInt) - 1;
    l_np = total_np;
  } else {
    unsigned high_val = bits() - total_value;
    h_val = high_val - 1;
    l_val = high_val - children[index]->bits();

    unsigned high_np = np_bits(fromInt) - total_np;
    h_np = high_np - 1;
    l_np = high_np - children[index]->np_bits(fromInt);
  }

  StateValue sv(val.value.extract(h_val, l_val),
                val.non_poison.extract(h_np, l_np));
  return fromInt ? children[index]->fromInt(std::move(sv)) :
                   children[index]->fromBV(std::move(sv));
}

unsigned AggregateType::bits() const {
  if (elements == 0)