Method syncDataWithSrc

ir/function.cpp:305–335

}

void Function::syncDataWithSrc(Function &src) {
  auto IS = src.inputs.begin(), ES = src.inputs.end();
  auto IT = inputs.begin(), ET = inputs.end();

  for (; IS != ES && IT != ET; ++IS, ++IT) {
    if (auto in_tgt = dynamic_cast<Input*>(IT->get()))
      in_tgt->copySMTName(*dynamic_cast<Input*>(IS->get()));

    if (!(IS->get()->getType() == IT->get()->getType()).isTrue())
      throw AliveException("Source and target args have different type", false);
  }

  if (IS != ES || IT != ET)
    throw AliveException("Source and target have different number of args",
                         false);

  // copy function decls that are called indirectly
  auto copy_fns = [](const auto &src, auto &dst) {
    for (auto &c : src.getConstants()) {
      auto *gv = dynamic_cast<const GlobalVariable*>(&c);
      if (gv && gv->isArbitrarySize() && !dst.getGlobalVar(gv->getName()))
        dst.addConstant(make_unique<GlobalVariable>(*gv));
    }
  };
  copy_fns(src, *this);
  copy_fns(*this, src);

  for (auto &decl : fn_decls) {
    src.addFnDecl(FnDecl(decl));
  }
}

Function::instr_iterator::
instr_iterator(vector<BasicBlock*>::const_iterator &&BBI,