include/llvm/Analysis/ValueLatticeUtils.h

   1 //===-- ValueLatticeUtils.h - Utils for solving lattices --------*- 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 // This file declares common functions useful for performing data-flow analyses
  10 // that propagate values across function boundaries.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #ifndef LLVM_ANALYSIS_VALUELATTICEUTILS_H
  15 #define LLVM_ANALYSIS_VALUELATTICEUTILS_H
  16
  17 namespace llvm {
  18
  19 class Function;
  20 class GlobalVariable;
  21
  22 /// Determine if the values of the given function's arguments can be tracked
  23 /// interprocedurally. The value of an argument can be tracked if the function
  24 /// has local linkage and its address is not taken.
  25 bool canTrackArgumentsInterprocedurally(Function *F);
  26
  27 /// Determine if the values of the given function's returns can be tracked
  28 /// interprocedurally. Return values can be tracked if the function has an
  29 /// exact definition and it doesn't have the "naked" attribute. Naked functions
  30 /// may contain assembly code that returns untrackable values.
  31 bool canTrackReturnsInterprocedurally(Function *F);
  32
  33 /// Determine if the value maintained in the given global variable can be
  34 /// tracked interprocedurally. A value can be tracked if the global variable
  35 /// has local linkage and is only used by non-volatile loads and stores.
  36 bool canTrackGlobalVariableInterprocedurally(GlobalVariable *GV);
  37
  38 } // end namespace llvm
  39
  40 #endif // LLVM_ANALYSIS_VALUELATTICEUTILS_H