LLVM
15.0.0git
include
llvm
Analysis
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.
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
llvm
This is an optimization pass for GlobalISel generic memory operations.
Definition:
AddressRanges.h:17
F
#define F(x, y, z)
Definition:
MD5.cpp:55
llvm::canTrackGlobalVariableInterprocedurally
bool canTrackGlobalVariableInterprocedurally(GlobalVariable *GV)
Determine if the value maintained in the given global variable can be tracked interprocedurally.
Definition:
ValueLatticeUtils.cpp:27
llvm::canTrackArgumentsInterprocedurally
bool canTrackArgumentsInterprocedurally(Function *F)
Determine if the values of the given function's arguments can be tracked interprocedurally.
Definition:
ValueLatticeUtils.cpp:19
llvm::codeview::PublicSymFlags::Function
@ Function
llvm::canTrackReturnsInterprocedurally
bool canTrackReturnsInterprocedurally(Function *F)
Determine if the values of the given function's returns can be tracked interprocedurally.
Definition:
ValueLatticeUtils.cpp:23
Generated on Sat Jun 25 2022 12:49:57 for LLVM by
1.8.17