SROA.h

Go to the documentation of this file.

//===- SROA.h - Scalar Replacement Of Aggregates ----------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
/// \file
/// This file provides the interface for LLVM's Scalar Replacement of
/// Aggregates pass. This pass provides both aggregate splitting and the
/// primary SSA formation used in the compiler.
///
//===----------------------------------------------------------------------===//
 
#ifndef LLVM_TRANSFORMS_SCALAR_SROA_H
#define LLVM_TRANSFORMS_SCALAR_SROA_H
 
#include "llvm/IR/PassManager.h"
 
namespace llvm {
 
class Function;
 
struct SROAOptions {
  enum CFGOption { ModifyCFG, PreserveCFG };
 
  CFGOption CFG;
  bool AggregateToVector;
 
  SROAOptions(CFGOption CFG = PreserveCFG, bool AggregateToVector = false)
      : CFG(CFG), AggregateToVector(AggregateToVector) {}
};
 
class SROAPass : public OptionalPassInfoMixin<SROAPass> {
  const SROAOptions Options;
 
public:
  /// If \p PreserveCFG is set, then the pass is not allowed to modify CFG
  /// in any way, even if it would update CFG analyses.
  /// If \p AggregateToVector is set, then the pass will try to convert
  /// allocas of homogeneous structs into vector allocas.
  LLVM_ABI SROAPass(SROAOptions Options);
 
  /// Run the pass over the function.
  LLVM_ABI PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM);
 
  LLVM_ABI void
  printPipeline(raw_ostream &OS,
                function_ref<StringRef(StringRef)> MapClassName2PassName);
};
 
} // end namespace llvm
 
#endif // LLVM_TRANSFORMS_SCALAR_SROA_H