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