include/llvm/Transforms/IPO/SCCP.h

   1 //===- SCCP.h - Sparse Conditional Constant Propagation ---------*- C++ -*-===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8 //
   9 // This pass implements  interprocedural sparse conditional constant
  10 // propagation and merging.
  11 //
  12 // Specifically, this:
  13 //   * Assumes values are constant unless proven otherwise
  14 //   * Assumes BasicBlocks are dead unless proven otherwise
  15 //   * Proves values to be constant, and replaces them with constants
  16 //   * Proves conditional branches to be unconditional
  17 //
  18 //===----------------------------------------------------------------------===//
  19
  20 #ifndef LLVM_TRANSFORMS_IPO_SCCP_H
  21 #define LLVM_TRANSFORMS_IPO_SCCP_H
  22
  23 #include "llvm/IR/PassManager.h"
  24
  25 namespace llvm {
  26
  27 class Module;
  28
  29 /// Pass to perform interprocedural constant propagation.
  30 class IPSCCPPass : public PassInfoMixin<IPSCCPPass> {
  31 public:
  32   PreservedAnalyses run(Module &M, ModuleAnalysisManager &AM);
  33 };
  34
  35 } // end namespace llvm
  36
  37 #endif // LLVM_TRANSFORMS_IPO_SCCP_H