RvsdgToIpGraphConverter.cpp

Go to the documentation of this file.

/*
 * Copyright 2025 Nico Reißmann <nico.reissmann@gmail.com>
 * See COPYING for terms of redistribution.
 */
 
#include <jlm/llvm/backend/RvsdgToIpGraphConverter.hpp>
#include <jlm/llvm/ir/basic-block.hpp>
#include <jlm/llvm/ir/cfg-structure.hpp>
#include <jlm/llvm/ir/ipgraph-module.hpp>
#include <jlm/llvm/ir/operators/delta.hpp>
#include <jlm/llvm/ir/operators/IntegerOperations.hpp>
#include <jlm/llvm/ir/operators/lambda.hpp>
#include <jlm/llvm/ir/operators/operators.hpp>
#include <jlm/llvm/ir/RvsdgModule.hpp>
#include <jlm/llvm/opt/InvariantValueRedirection.hpp>
#include <jlm/rvsdg/delta.hpp>
#include <jlm/rvsdg/gamma.hpp>
#include <jlm/rvsdg/Phi.hpp>
#include <jlm/rvsdg/traverser.hpp>
#include <jlm/util/Statistics.hpp>
#include <jlm/util/time.hpp>
 
#include <vector>
 
namespace jlm::llvm
{
 
class RvsdgToIpGraphConverter::Context final
{
public:
  explicit Context(InterProceduralGraphModule & ipGraphModule)
      : ControlFlowGraph_(nullptr),
        IPGraphModule_(ipGraphModule),
        LastProcessedBasicBlock(nullptr)
  {}
 
  Context(const Context &) = delete;
 
  Context(Context &&) = delete;
 
  Context &
  operator=(const Context &) = delete;
 
  Context &
  operator=(Context &&) = delete;
 
  [[nodiscard]] InterProceduralGraphModule &
  GetIpGraphModule() const noexcept
  {
    return IPGraphModule_;
  }
 
  void
  InsertVariable(const rvsdg::Output * output, const llvm::Variable * variable)
  {
    JLM_ASSERT(VariableMap_.find(output) == VariableMap_.end());
    JLM_ASSERT(*output->Type() == *variable->Type());
    VariableMap_[output] = variable;
  }
 
  const llvm::Variable *
  GetVariable(const rvsdg::Output * output)
  {
    const auto it = VariableMap_.find(output);
    JLM_ASSERT(it != VariableMap_.end());
    return it->second;
  }
 
  BasicBlock *
  GetLastProcessedBasicBlock() const noexcept
  {
    return LastProcessedBasicBlock;
  }
 
  void
  SetLastProcessedBasicBlock(BasicBlock * lastProcessedBasicBlock) noexcept
  {
    LastProcessedBasicBlock = lastProcessedBasicBlock;
  }
 
  ControlFlowGraph *
  GetControlFlowGraph() const noexcept
  {
    return ControlFlowGraph_;
  }
 
  void
  SetControlFlowGraph(ControlFlowGraph * cfg) noexcept
  {
    ControlFlowGraph_ = cfg;
  }
 
  static std::unique_ptr<Context>
  Create(InterProceduralGraphModule & ipGraphModule)
  {
    return std::make_unique<Context>(ipGraphModule);
  }
 
private:
  ControlFlowGraph * ControlFlowGraph_;
  InterProceduralGraphModule & IPGraphModule_;
  BasicBlock * LastProcessedBasicBlock;
  std::unordered_map<const rvsdg::Output *, const llvm::Variable *> VariableMap_;
};
 
class RvsdgToIpGraphConverter::Statistics final : public util::Statistics
{
public:
  ~Statistics() override = default;
 
  explicit Statistics(const util::FilePath & filename)
      : util::Statistics(Id::RvsdgDestruction, filename)
  {}
 
  void
  Start(const rvsdg::Graph & graph) noexcept
  {
    AddMeasurement(Label::NumRvsdgNodes, rvsdg::nnodes(&graph.GetRootRegion()));
    AddTimer(Label::Timer).start();
  }
 
  void
  End(const InterProceduralGraphModule & im)
  {
    AddMeasurement(Label::NumThreeAddressCodes, llvm::ntacs(im));
    GetTimer(Label::Timer).stop();
  }
 
  static std::unique_ptr<Statistics>
  Create(const util::FilePath & sourceFile)
  {
    return std::make_unique<Statistics>(sourceFile);
  }
};
 
RvsdgToIpGraphConverter::~RvsdgToIpGraphConverter() = default;
 
RvsdgToIpGraphConverter::RvsdgToIpGraphConverter() = default;
 
InterProceduralGraphNode &
RvsdgToIpGraphConverter::getInterProceduralGraphNode(const rvsdg::Output & output) const
{
  const auto variable = Context_->GetVariable(&output);
  if (const auto functionVariable = dynamic_cast<const FunctionVariable *>(variable))
  {
    return *functionVariable->function();
  }
 
  if (const auto globalValue = dynamic_cast<const GlobalValue *>(variable))
  {
    return *globalValue->node();
  }
 
  throw std::logic_error("Unhandled variable type.");
}
 
std::unique_ptr<DataNodeInit>
RvsdgToIpGraphConverter::CreateInitialization(const rvsdg::DeltaNode & deltaNode)
{
  const auto subregion = deltaNode.subregion();
 
  // add delta dependencies to context
  for (size_t n = 0; n < deltaNode.ninputs(); n++)
  {
    const auto variable = Context_->GetVariable(deltaNode.input(n)->origin());
    Context_->InsertVariable(deltaNode.input(n)->arguments.first(), variable);
  }
 
  if (subregion->numNodes() == 0)
  {
    auto value = Context_->GetVariable(subregion->result(0)->origin());
    return std::make_unique<DataNodeInit>(value);
  }
 
  tacsvector_t tacs;
  for (const auto & node : rvsdg::TopDownTraverser(deltaNode.subregion()))
  {
    JLM_ASSERT(node->noutputs() == 1);
    const auto output = node->output(0);
 
    // collect operand variables
    std::vector<const Variable *> operands;
    for (size_t n = 0; n < node->ninputs(); n++)
      operands.push_back(Context_->GetVariable(node->input(n)->origin()));
 
    // convert node to tac
    auto op = node->GetOperation().copy();
    tacs.push_back(ThreeAddressCode::create(
        std::unique_ptr<rvsdg::SimpleOperation>(
            util::assertedCast<rvsdg::SimpleOperation>(op.release())),
        operands));
    Context_->InsertVariable(output, tacs.back()->result(0));
  }
 
  return std::make_unique<DataNodeInit>(std::move(tacs));
}
 
void
RvsdgToIpGraphConverter::ConvertRegion(rvsdg::Region & region)
{
  const auto entryBlock = BasicBlock::create(*Context_->GetControlFlowGraph());
  Context_->GetLastProcessedBasicBlock()->add_outedge(entryBlock);
  Context_->SetLastProcessedBasicBlock(entryBlock);
 
  for (const auto & node : rvsdg::TopDownTraverser(&region))
    ConvertNode(*node);
 
  const auto exitBlock = BasicBlock::create(*Context_->GetControlFlowGraph());
  Context_->GetLastProcessedBasicBlock()->add_outedge(exitBlock);
  Context_->SetLastProcessedBasicBlock(exitBlock);
}
 
std::unique_ptr<ControlFlowGraph>
RvsdgToIpGraphConverter::CreateControlFlowGraph(const rvsdg::LambdaNode & lambda)
{
  JLM_ASSERT(Context_->GetLastProcessedBasicBlock() == nullptr);
  const auto & lambdaOperation = *util::assertedCast<LlvmLambdaOperation>(&lambda.GetOperation());
 
  auto controlFlowGraph = ControlFlowGraph::create(Context_->GetIpGraphModule());
  const auto entryBlock = BasicBlock::create(*controlFlowGraph);
  controlFlowGraph->exit()->divert_inedges(entryBlock);
  Context_->SetLastProcessedBasicBlock(entryBlock);
  Context_->SetControlFlowGraph(controlFlowGraph.get());
 
  // add function arguments
  for (const auto functionArgument : lambda.GetFunctionArguments())
  {
    auto name = util::strfmt("_a", functionArgument->index(), "_");
    auto argument = Argument::create(
        name,
        functionArgument->Type(),
        lambdaOperation.GetArgumentAttributes(functionArgument->index()));
    const auto variable = controlFlowGraph->entry()->append_argument(std::move(argument));
    Context_->InsertVariable(functionArgument, variable);
  }
 
  // add context variables
  for (const auto & [input, inner] : lambda.GetContextVars())
  {
    const auto variable = Context_->GetVariable(input->origin());
    Context_->InsertVariable(inner, variable);
  }
 
  ConvertRegion(*lambda.subregion());
 
  // add results
  for (const auto result : lambda.GetFunctionResults())
    controlFlowGraph->exit()->append_result(Context_->GetVariable(result->origin()));
 
  Context_->GetLastProcessedBasicBlock()->add_outedge(controlFlowGraph->exit());
  Context_->SetLastProcessedBasicBlock(nullptr);
  Context_->SetControlFlowGraph(nullptr);
 
  straighten(*controlFlowGraph);
  JLM_ASSERT(is_closed(*controlFlowGraph));
  return controlFlowGraph;
}
 
void
RvsdgToIpGraphConverter::ConvertSimpleNode(const rvsdg::SimpleNode & simpleNode)
{
  std::vector<const Variable *> operands;
  for (size_t n = 0; n < simpleNode.ninputs(); n++)
    operands.push_back(Context_->GetVariable(simpleNode.input(n)->origin()));
 
  auto operation = simpleNode.GetOperation().copy();
  Context_->GetLastProcessedBasicBlock()->append_last(ThreeAddressCode::create(
      std::unique_ptr<rvsdg::SimpleOperation>(
          util::assertedCast<rvsdg::SimpleOperation>(operation.release())),
      operands));
 
  for (size_t n = 0; n < simpleNode.noutputs(); n++)
    Context_->InsertVariable(
        simpleNode.output(n),
        Context_->GetLastProcessedBasicBlock()->last()->result(n));
}
 
void
RvsdgToIpGraphConverter::ConvertGammaNode(const rvsdg::GammaNode & gammaNode)
{
  const auto numSubregions = gammaNode.nsubregions();
  const auto predicate = gammaNode.predicate()->origin();
  const auto controlFlowGraph = Context_->GetControlFlowGraph();
 
  const auto entryBlock = BasicBlock::create(*controlFlowGraph);
  const auto exitBlock = BasicBlock::create(*controlFlowGraph);
  Context_->GetLastProcessedBasicBlock()->add_outedge(entryBlock);
 
  // convert gamma regions
  std::vector<ControlFlowGraphNode *> phi_nodes;
  entryBlock->append_last(BranchOperation::create(numSubregions, Context_->GetVariable(predicate)));
  auto entryvars = gammaNode.GetEntryVars();
  for (size_t n = 0; n < gammaNode.nsubregions(); n++)
  {
    const auto subregion = gammaNode.subregion(n);
 
    // add arguments to context
    for (size_t i = 0; i < entryvars.size(); i++)
    {
      auto & entryvar = entryvars[i];
      Context_->InsertVariable(
          entryvar.branchArgument[n],
          Context_->GetVariable(entryvar.input->origin()));
    }
 
    // convert subregion
    const auto regionEntryBlock = BasicBlock::create(*controlFlowGraph);
    entryBlock->add_outedge(regionEntryBlock);
    Context_->SetLastProcessedBasicBlock(regionEntryBlock);
    ConvertRegion(*subregion);
 
    phi_nodes.push_back(Context_->GetLastProcessedBasicBlock());
    Context_->GetLastProcessedBasicBlock()->add_outedge(exitBlock);
  }
 
  // add phi instructions
  for (size_t n = 0; n < gammaNode.noutputs(); n++)
  {
    const auto output = gammaNode.output(n);
 
    bool invariant = true;
    std::vector<std::pair<const Variable *, ControlFlowGraphNode *>> arguments;
    for (size_t r = 0; r < gammaNode.nsubregions(); r++)
    {
      const auto origin = gammaNode.subregion(r)->result(n)->origin();
 
      auto v = Context_->GetVariable(origin);
      arguments.push_back(std::make_pair(v, phi_nodes[r]));
      invariant &= (v == Context_->GetVariable(gammaNode.subregion(0)->result(n)->origin()));
    }
 
    if (invariant)
    {
      // all operands are the same
      Context_->InsertVariable(output, arguments[0].first);
      continue;
    }
 
    // create phi instruction
    exitBlock->append_last(SsaPhiOperation::create(arguments, output->Type()));
    Context_->InsertVariable(output, exitBlock->last()->result(0));
  }
 
  Context_->SetLastProcessedBasicBlock(exitBlock);
}
 
bool
RvsdgToIpGraphConverter::RequiresSsaPhiOperation(const rvsdg::ThetaNode::LoopVar & loopVar)
{
  if (ThetaLoopVarIsInvariant(loopVar))
    return false;
 
  if (loopVar.pre->nusers() == 0)
    return false;
 
  return true;
}
 
void
RvsdgToIpGraphConverter::ConvertThetaNode(const rvsdg::ThetaNode & thetaNode)
{
  const auto subregion = thetaNode.subregion();
  const auto predicate = subregion->result(0)->origin();
 
  auto preEntryBlock = Context_->GetLastProcessedBasicBlock();
  const auto entryBlock = BasicBlock::create(*Context_->GetControlFlowGraph());
  preEntryBlock->add_outedge(entryBlock);
  Context_->SetLastProcessedBasicBlock(entryBlock);
 
  // create SSA phi nodes in entry block and add arguments to context
  std::vector<llvm::ThreeAddressCode *> phis;
  for (const auto & loopVar : thetaNode.GetLoopVars())
  {
    auto variable = Context_->GetVariable(loopVar.input->origin());
    if (RequiresSsaPhiOperation(loopVar))
    {
      auto phi = entryBlock->append_last(SsaPhiOperation::create({}, loopVar.pre->Type()));
      phis.push_back(phi);
      variable = phi->result(0);
    }
    Context_->InsertVariable(loopVar.pre, variable);
  }
 
  ConvertRegion(*subregion);
 
  // add phi operands and results to context
  size_t phiIndex = 0;
  for (const auto & loopVar : thetaNode.GetLoopVars())
  {
    auto resultVariable = Context_->GetVariable(loopVar.post->origin());
    Context_->InsertVariable(loopVar.output, resultVariable);
    if (RequiresSsaPhiOperation(loopVar))
    {
      auto entryVariable = Context_->GetVariable(loopVar.input->origin());
      const auto phi = phis[phiIndex++];
      phi->replace(
          SsaPhiOperation(
              { preEntryBlock, Context_->GetLastProcessedBasicBlock() },
              resultVariable->Type()),
          { entryVariable, resultVariable });
    }
  }
  JLM_ASSERT(phiIndex == phis.size());
 
  Context_->GetLastProcessedBasicBlock()->append_last(
      BranchOperation::create(2, Context_->GetVariable(predicate)));
  const auto exitBlock = BasicBlock::create(*Context_->GetControlFlowGraph());
  Context_->GetLastProcessedBasicBlock()->add_outedge(exitBlock);
  Context_->GetLastProcessedBasicBlock()->add_outedge(entryBlock);
  Context_->SetLastProcessedBasicBlock(exitBlock);
}
 
void
RvsdgToIpGraphConverter::ConvertLambdaNode(const rvsdg::LambdaNode & lambdaNode)
{
  auto & ipGraphModule = Context_->GetIpGraphModule();
  auto & ipGraph = ipGraphModule.ipgraph();
 
  const auto & operation = *util::assertedCast<LlvmLambdaOperation>(&lambdaNode.GetOperation());
  const auto functionNode = FunctionNode::create(
      ipGraph,
      operation.name(),
      operation.Type(),
      operation.linkage(),
      operation.callingConvention(),
      operation.attributes());
  functionNode->add_cfg(CreateControlFlowGraph(lambdaNode));
 
  for (auto [input, _] : lambdaNode.GetContextVars())
  {
    auto & ipGraphNode = getInterProceduralGraphNode(*input->origin());
    functionNode->add_dependency(&ipGraphNode);
  }
 
  const auto variable = ipGraphModule.create_variable(functionNode);
  Context_->InsertVariable(lambdaNode.output(), variable);
}
 
void
RvsdgToIpGraphConverter::ConvertPhiNode(const rvsdg::PhiNode & phiNode)
{
  const auto subregion = phiNode.subregion();
  auto & ipGraphModule = Context_->GetIpGraphModule();
  auto & ipGraph = ipGraphModule.ipgraph();
 
  // add dependencies to context
  for (size_t n = 0; n < phiNode.ninputs(); n++)
  {
    const auto variable = Context_->GetVariable(phiNode.input(n)->origin());
    Context_->InsertVariable(phiNode.input(n)->arguments.first(), variable);
  }
 
  // forward declare all functions and global variables
  for (size_t n = 0; n < subregion->nresults(); n++)
  {
    JLM_ASSERT(subregion->argument(n)->input() == nullptr);
    const auto & origin = *subregion->result(n)->origin();
 
    if (const auto lambdaNode = rvsdg::TryGetOwnerNode<rvsdg::LambdaNode>(origin))
    {
      const auto & lambdaOperation =
          dynamic_cast<LlvmLambdaOperation &>(lambdaNode->GetOperation());
      const auto functionNode = FunctionNode::create(
          ipGraph,
          lambdaOperation.name(),
          lambdaOperation.Type(),
          lambdaOperation.linkage(),
          lambdaOperation.callingConvention(),
          lambdaOperation.attributes());
      Context_->InsertVariable(subregion->argument(n), ipGraphModule.create_variable(functionNode));
    }
    else if (const auto deltaNode = rvsdg::TryGetOwnerNode<rvsdg::DeltaNode>(origin))
    {
      auto op = util::assertedCast<const llvm::DeltaOperation>(&deltaNode->GetOperation());
      const auto dataNode = DataNode::Create(
          ipGraph,
          op->name(),
          op->Type(),
          op->linkage(),
          op->Section(),
          op->constant(),
          op->getAlignment());
      Context_->InsertVariable(subregion->argument(n), ipGraphModule.create_global_value(dataNode));
    }
    else
    {
      JLM_UNREACHABLE(util::strfmt(
                          "Unhandled node type: ",
                          rvsdg::AssertGetOwnerNode<rvsdg::Node>(origin).DebugString())
                          .c_str());
    }
  }
 
  // convert function bodies and global variable initializations
  for (size_t n = 0; n < subregion->nresults(); n++)
  {
    JLM_ASSERT(subregion->argument(n)->input() == nullptr);
    const auto result = subregion->result(n);
    const auto & origin = *result->origin();
 
    if (const auto lambdaNode = rvsdg::TryGetOwnerNode<rvsdg::LambdaNode>(origin))
    {
      const auto variable =
          util::assertedCast<const FunctionVariable>(Context_->GetVariable(subregion->argument(n)));
      variable->function()->add_cfg(CreateControlFlowGraph(*lambdaNode));
      Context_->InsertVariable(lambdaNode->output(), variable);
 
      for (auto [input, _] : lambdaNode->GetContextVars())
      {
        auto & ipGraphNode = getInterProceduralGraphNode(*input->origin());
        variable->function()->add_dependency(&ipGraphNode);
      }
    }
    else if (const auto deltaNode = rvsdg::TryGetOwnerNode<rvsdg::DeltaNode>(origin))
    {
      const auto variable =
          util::assertedCast<const GlobalValue>(Context_->GetVariable(subregion->argument(n)));
      variable->node()->set_initialization(CreateInitialization(*deltaNode));
      Context_->InsertVariable(&deltaNode->output(), variable);
 
      for (auto & [input, _] : deltaNode->GetContextVars())
      {
        auto & ipGraphNode = getInterProceduralGraphNode(*input->origin());
        variable->node()->add_dependency(&ipGraphNode);
      }
    }
    else
    {
      JLM_UNREACHABLE(util::strfmt(
                          "Unhandled node type: ",
                          rvsdg::AssertGetOwnerNode<rvsdg::Node>(origin).DebugString())
                          .c_str());
    }
  }
 
  // add functions and globals to context
  JLM_ASSERT(phiNode.noutputs() == subregion->nresults());
  for (size_t n = 0; n < phiNode.noutputs(); n++)
    Context_->InsertVariable(
        phiNode.output(n),
        Context_->GetVariable(subregion->result(n)->origin()));
}
 
void
RvsdgToIpGraphConverter::ConvertDeltaNode(const rvsdg::DeltaNode & deltaNode)
{
  auto & ipGraphModule = Context_->GetIpGraphModule();
 
  auto op = util::assertedCast<const llvm::DeltaOperation>(&deltaNode.GetOperation());
 
  const auto dataNode = DataNode::Create(
      ipGraphModule.ipgraph(),
      op->name(),
      op->Type(),
      op->linkage(),
      op->Section(),
      op->constant(),
      op->getAlignment());
  dataNode->set_initialization(CreateInitialization(deltaNode));
 
  for (auto & [input, _] : deltaNode.GetContextVars())
  {
    auto & ipGraphNode = getInterProceduralGraphNode(*input->origin());
    dataNode->add_dependency(&ipGraphNode);
  }
 
  const auto variable = ipGraphModule.create_global_value(dataNode);
  Context_->InsertVariable(&deltaNode.output(), variable);
}
 
void
RvsdgToIpGraphConverter::ConvertNode(const rvsdg::Node & node)
{
  if (const auto lambdaNode = dynamic_cast<const rvsdg::LambdaNode *>(&node))
  {
    ConvertLambdaNode(*lambdaNode);
  }
  else if (const auto gammaNode = dynamic_cast<const rvsdg::GammaNode *>(&node))
  {
    ConvertGammaNode(*gammaNode);
  }
  else if (const auto thetaNode = dynamic_cast<const rvsdg::ThetaNode *>(&node))
  {
    ConvertThetaNode(*thetaNode);
  }
  else if (const auto phiNode = dynamic_cast<const rvsdg::PhiNode *>(&node))
  {
    ConvertPhiNode(*phiNode);
  }
  else if (const auto deltaNode = dynamic_cast<const rvsdg::DeltaNode *>(&node))
  {
    ConvertDeltaNode(*deltaNode);
  }
  else if (const auto simpleNode = dynamic_cast<const rvsdg::SimpleNode *>(&node))
  {
    ConvertSimpleNode(*simpleNode);
  }
  else
  {
    JLM_UNREACHABLE(util::strfmt("Unhandled node type: ", node.DebugString()).c_str());
  }
}
 
void
RvsdgToIpGraphConverter::ConvertNodes(const rvsdg::Graph & graph)
{
  for (const auto & node : rvsdg::TopDownTraverser(&graph.GetRootRegion()))
  {
    ConvertNode(*node);
  }
}
 
void
RvsdgToIpGraphConverter::ConvertImports(const rvsdg::Graph & graph)
{
  auto & ipGraphModule = Context_->GetIpGraphModule();
  auto & ipGraph = ipGraphModule.ipgraph();
 
  for (size_t n = 0; n < graph.GetRootRegion().narguments(); n++)
  {
    const auto graphImport = util::assertedCast<LlvmGraphImport>(graph.GetRootRegion().argument(n));
    if (const auto functionType =
            std::dynamic_pointer_cast<const rvsdg::FunctionType>(graphImport->ValueType()))
    {
      const auto functionNode = FunctionNode::create(
          ipGraph,
          graphImport->Name(),
          functionType,
          graphImport->linkage(),
          graphImport->callingConvention(),
          {});
      const auto variable = ipGraphModule.create_variable(functionNode);
      Context_->InsertVariable(graphImport, variable);
    }
    else
    {
      const auto dataNode = DataNode::Create(
          ipGraph,
          graphImport->Name(),
          graphImport->ValueType(),
          graphImport->linkage(),
          "",
          graphImport->isConstant(),
          graphImport->getAlignment());
      const auto variable = ipGraphModule.create_global_value(dataNode);
      Context_->InsertVariable(graphImport, variable);
    }
  }
}
 
std::unique_ptr<InterProceduralGraphModule>
RvsdgToIpGraphConverter::ConvertModule(
    LlvmRvsdgModule & rvsdgModule,
    util::StatisticsCollector & statisticsCollector)
{
  auto statistics = Statistics::Create(rvsdgModule.SourceFileName());
  statistics->Start(rvsdgModule.Rvsdg());
 
  // LLVM expects that we do not create any phi instructions for invariant values
  // through theta and gamma nodes. This leads otherwise to compilation problems (and not just
  // performance issues). For example, a direct call in a nested loop would all in a sudden be
  // considered an indirect call as it would take as its function input the phi instruction, but
  // not the function itself. See the NestedLoopWithCall test in the RvsdgToIpGraphConverterTests
  // suite. We simply avoid this problem by removing all invariant theta/gamma values from the RVSDG
  // using invariant value redirection before converting it to a control flow graph.
  constexpr InvariantValueRedirection::Configuration configuration{
    true,  // enableGammaOutputRedirection
    true,  // enableThetaOutputRedirection
    false, // enableThetaGammaCorrelationRedirection
    false, // enableCallOutputRedirection
    false  // enableLoadMemoryStateRedirection
  };
  InvariantValueRedirection::createAndRun(rvsdgModule, std::move(configuration));
 
  auto ipGraphModule = InterProceduralGraphModule::create(
      rvsdgModule.SourceFileName(),
      rvsdgModule.TargetTriple(),
      rvsdgModule.DataLayout());
 
  Context_ = Context::Create(*ipGraphModule);
  ConvertImports(rvsdgModule.Rvsdg());
  ConvertNodes(rvsdgModule.Rvsdg());
 
  statistics->End(*ipGraphModule);
  statisticsCollector.CollectDemandedStatistics(std::move(statistics));
 
  return ipGraphModule;
}
 
std::unique_ptr<InterProceduralGraphModule>
RvsdgToIpGraphConverter::CreateAndConvertModule(
    LlvmRvsdgModule & rvsdgModule,
    util::StatisticsCollector & statisticsCollector)
{
  RvsdgToIpGraphConverter converter;
  return converter.ConvertModule(rvsdgModule, statisticsCollector);
}
 
}