LLVM  8.0.1
SCCP.h
Go to the documentation of this file.
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:
34 };
35 
36 } // end namespace llvm
37 
38 #endif // LLVM_TRANSFORMS_IPO_SCCP_H
This class represents lattice values for constants.
Definition: AllocatorList.h:24
A Module instance is used to store all the information related to an LLVM module. ...
Definition: Module.h:65
A CRTP mix-in to automatically provide informational APIs needed for passes.
Definition: PassManager.h:366
Pass to perform interprocedural constant propagation.
Definition: SCCP.h:31
A set of analyses that are preserved following a run of a transformation pass.
Definition: PassManager.h:154
PreservedAnalyses run(Module &M, ModuleAnalysisManager &AM)
Definition: SCCP.cpp:10
A container for analyses that lazily runs them and caches their results.
This header defines various interfaces for pass management in LLVM.