Method handleMemoryIntrinsicCall

lib/rootdefanalysis/RDAnalyzer.cpp:738–772

}

std::set<RDNode> RDAnalyzer::handleMemoryIntrinsicCall(RDNode &Node,
                                                       CallBase &CB) {
  auto *F = CB.getCalledFunction();
  assert((F && F->isIntrinsic()) && "Unexpected Program State");

  auto IntrinsicID = F->getIntrinsicID();
  assert((IntrinsicID == Intrinsic::memcpy ||
          IntrinsicID == Intrinsic::memcpy_element_unordered_atomic ||
          IntrinsicID == Intrinsic::memset ||
          IntrinsicID != Intrinsic::memset_element_unordered_atomic) &&
         "Unexpected Program State");

  auto Dst = RDTarget::create(*CB.getOperand(0));
  auto &NodeTarget = Node.getTarget();
  if (Dst->includes(NodeTarget)) {
    RDNode Next(Node);
    Next.setTarget(*CB.getOperand(1));

    if (Next.isRootDefinition())
      Next.setIdx(-1);

    return {Next};
  }

  if (NodeTarget.includes(*Dst)) {
    RDNode Next(Node);
    Next.setTarget(*CB.getOperand(1));
    if (Next.isRootDefinition())
      Next.setIdx(-1);

    return {Next, Node};
  }

  return {Node};
}

bool RDAnalyzer::isOutParam(const llvm::CallBase &CB, size_t ArgIdx) const {
  const auto *F = CB.getCalledFunction();