LLVM  9.0.0svn
ValueLatticeUtils.h
Go to the documentation of this file.
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.
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
This class represents lattice values for constants.
Definition: AllocatorList.h:23
bool canTrackArgumentsInterprocedurally(Function *F)
Determine if the values of the given function's arguments can be tracked interprocedurally.
F(f)
bool canTrackReturnsInterprocedurally(Function *F)
Determine if the values of the given function's returns can be tracked interprocedurally.
bool canTrackGlobalVariableInterprocedurally(GlobalVariable *GV)
Determine if the value maintained in the given global variable can be tracked interprocedurally.