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
25namespace llvm {
26class Function;
27
28/// This pass performs function-level constant propagation and merging.
29class SCCPPass : public PassInfoMixin<SCCPPass> {
30public:
31 PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM);
32};
33
34} // end namespace llvm
35
36#endif // LLVM_TRANSFORMS_SCALAR_SCCP_H
37

source code of llvm/include/llvm/Transforms/Scalar/SCCP.h