- //===- SCCP.cpp - Sparse Conditional Constant Propagation -------*- C++ -*-===// 
- // 
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 
- // See https://llvm.org/LICENSE.txt for license information. 
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 
- // 
- //===----------------------------------------------------------------------===// 
- // 
- // \file 
- // This file implements sparse conditional constant propagation and merging: 
- // 
- // Specifically, this: 
- //   * Assumes values are constant unless proven otherwise 
- //   * Assumes BasicBlocks are dead unless proven otherwise 
- //   * Proves values to be constant, and replaces them with constants 
- //   * Proves conditional branches to be unconditional 
- // 
- //===----------------------------------------------------------------------===// 
-   
- #ifndef LLVM_TRANSFORMS_SCALAR_SCCP_H 
- #define LLVM_TRANSFORMS_SCALAR_SCCP_H 
-   
- #include "llvm/ADT/STLFunctionalExtras.h" 
- #include "llvm/IR/PassManager.h" 
-   
- #include <functional> 
-   
- namespace llvm { 
- class AssumptionCache; 
- class DataLayout; 
- class Function; 
- class Module; 
- class TargetLibraryInfo; 
- class TargetTransformInfo; 
- struct AnalysisResultsForFn; 
-   
- /// This pass performs function-level constant propagation and merging. 
- class SCCPPass : public PassInfoMixin<SCCPPass> { 
- public: 
-   PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM); 
- }; 
-   
- } // end namespace llvm 
-   
- #endif // LLVM_TRANSFORMS_SCALAR_SCCP_H 
-