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/ADT/STLExtras.h" 24 #include "llvm/Analysis/TargetLibraryInfo.h" 25 #include "llvm/Analysis/TargetTransformInfo.h" 26 #include "llvm/IR/DataLayout.h" 27 #include "llvm/IR/Function.h" 28 #include "llvm/IR/Module.h" 29 #include "llvm/IR/PassManager.h" 30 #include "llvm/Transforms/Utils/PredicateInfo.h" 31 #include "llvm/Transforms/Utils/SCCPSolver.h" 32 33 namespace llvm { 34 35 class PostDominatorTree; 36 37 /// This pass performs function-level constant propagation and merging. 38 class SCCPPass : public PassInfoMixin<SCCPPass> { 39 public: 40 PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM); 41 }; 42 43 bool runIPSCCP(Module &M, const DataLayout &DL, 44 std::function<const TargetLibraryInfo &(Function &)> GetTLI, 45 function_ref<AnalysisResultsForFn(Function &)> getAnalysis); 46 47 bool runFunctionSpecialization( 48 Module &M, const DataLayout &DL, 49 std::function<TargetLibraryInfo &(Function &)> GetTLI, 50 std::function<TargetTransformInfo &(Function &)> GetTTI, 51 std::function<AssumptionCache &(Function &)> GetAC, 52 function_ref<AnalysisResultsForFn(Function &)> GetAnalysis); 53 } // end namespace llvm 54 55 #endif // LLVM_TRANSFORMS_SCALAR_SCCP_H 56