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 |
41 | |