Method aggregateVals

ir/type.cpp:809–835

}

StateValue AggregateType::aggregateVals(const vector<StateValue> &vals) const {
  assert(vals.size() + numPaddingsConst() == elements);
  // structs can be empty
  if (elements == 0)
    return { expr::mkUInt(0, 1), expr::mkUInt(0, 1) };

  StateValue v;
  bool first = true;
  unsigned val_idx = 0;
  for (unsigned idx = 0; idx < elements; ++idx) {
    if (children[idx]->bits() == 0) {
      assert(!isPadding(idx));
      val_idx++;
      continue;
    }

    StateValue vv;
    if (isPadding(idx))
      vv = children[idx]->getDummyValue(false);
    else
      vv = vals[val_idx++];
    vv = children[idx]->toBV(std::move(vv));
    v = first ? std::move(vv) : v.concat(vv);
    first = false;
  }
  return v;
}

StateValue AggregateType::extract(const StateValue &val, unsigned index,
                                  bool fromInt) const {