Back to home page

EIC code displayed by LXR

 
 

    


File indexing completed on 2026-05-10 08:44:42

0001 //===- SCCP.cpp - Sparse Conditional Constant Propagation -------*- C++ -*-===//
0002 //
0003 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
0004 // See https://llvm.org/LICENSE.txt for license information.
0005 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
0006 //
0007 //===----------------------------------------------------------------------===//
0008 //
0009 // \file
0010 // This file implements sparse conditional constant propagation and merging:
0011 //
0012 // Specifically, this:
0013 //   * Assumes values are constant unless proven otherwise
0014 //   * Assumes BasicBlocks are dead unless proven otherwise
0015 //   * Proves values to be constant, and replaces them with constants
0016 //   * Proves conditional branches to be unconditional
0017 //
0018 //===----------------------------------------------------------------------===//
0019 
0020 #ifndef LLVM_TRANSFORMS_SCALAR_SCCP_H
0021 #define LLVM_TRANSFORMS_SCALAR_SCCP_H
0022 
0023 #include "llvm/IR/PassManager.h"
0024 
0025 namespace llvm {
0026 class Function;
0027 
0028 /// This pass performs function-level constant propagation and merging.
0029 class SCCPPass : public PassInfoMixin<SCCPPass> {
0030 public:
0031   PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM);
0032 };
0033 
0034 } // end namespace llvm
0035 
0036 #endif // LLVM_TRANSFORMS_SCALAR_SCCP_H