1 | //===- SCCP.cpp - 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 | // \file |
10 | // This file implements sparse conditional constant 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_SCALAR_SCCP_H |
21 | #define LLVM_TRANSFORMS_SCALAR_SCCP_H |
22 | |
23 | #include "llvm/IR/PassManager.h" |
24 | |
25 | namespace llvm { |
26 | class Function; |
27 | |
28 | /// This pass performs function-level constant propagation and merging. |
29 | class SCCPPass : public PassInfoMixin<SCCPPass> { |
30 | public: |
31 | PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM); |
32 | }; |
33 | |
34 | } // end namespace llvm |
35 | |
36 | #endif // LLVM_TRANSFORMS_SCALAR_SCCP_H |
37 | |