blob: 917db2679c55b01d70c094eaba754999d7cfee33 [file] [log] [blame]
Andrew Scull5e1ddfa2018-08-14 10:06:54 +01001//===- llvm/Use.h - Definition of the Use class -----------------*- C++ -*-===//
2//
Andrew Walbran16937d02019-10-22 13:54:20 +01003// 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
Andrew Scull5e1ddfa2018-08-14 10:06:54 +01006//
7//===----------------------------------------------------------------------===//
8/// \file
9///
10/// This defines the Use class. The Use class represents the operand of an
11/// instruction or some other User instance which refers to a Value. The Use
12/// class keeps the "use list" of the referenced value up to date.
13///
14/// Pointer tagging is used to efficiently find the User corresponding to a Use
15/// without having to store a User pointer in every Use. A User is preceded in
16/// memory by all the Uses corresponding to its operands, and the low bits of
17/// one of the fields (Prev) of the Use class are used to encode offsets to be
18/// able to find that User given a pointer to any Use. For details, see:
19///
20/// http://www.llvm.org/docs/ProgrammersManual.html#UserLayout
21///
22//===----------------------------------------------------------------------===//
23
24#ifndef LLVM_IR_USE_H
25#define LLVM_IR_USE_H
26
27#include "llvm-c/Types.h"
28#include "llvm/ADT/PointerIntPair.h"
29#include "llvm/Support/CBindingWrapping.h"
30#include "llvm/Support/Compiler.h"
31
32namespace llvm {
33
34template <typename> struct simplify_type;
35class User;
36class Value;
37
Andrew Scullcdfcccc2018-10-05 20:58:37 +010038/// A Use represents the edge between a Value definition and its users.
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010039///
40/// This is notionally a two-dimensional linked list. It supports traversing
41/// all of the uses for a particular value definition. It also supports jumping
42/// directly to the used value when we arrive from the User's operands, and
43/// jumping directly to the User when we arrive from the Value's uses.
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010044class Use {
45public:
46 Use(const Use &U) = delete;
47
Andrew Scullcdfcccc2018-10-05 20:58:37 +010048 /// Provide a fast substitute to std::swap<Use>
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010049 /// that also works with less standard-compliant compilers
50 void swap(Use &RHS);
51
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010052private:
53 /// Destructor - Only for zap()
54 ~Use() {
55 if (Val)
56 removeFromList();
57 }
58
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010059 /// Constructor
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020060 Use(User *Parent) : Parent(Parent) {}
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010061
62public:
63 friend class Value;
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020064 friend class User;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010065
66 operator Value *() const { return Val; }
67 Value *get() const { return Val; }
68
Andrew Scullcdfcccc2018-10-05 20:58:37 +010069 /// Returns the User that contains this Use.
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010070 ///
71 /// For an instruction operand, for example, this will return the
72 /// instruction.
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020073 User *getUser() const { return Parent; };
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010074
75 inline void set(Value *Val);
76
77 inline Value *operator=(Value *RHS);
78 inline const Use &operator=(const Use &RHS);
79
80 Value *operator->() { return Val; }
81 const Value *operator->() const { return Val; }
82
83 Use *getNext() const { return Next; }
84
Andrew Scullcdfcccc2018-10-05 20:58:37 +010085 /// Return the operand # of this use in its User.
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010086 unsigned getOperandNo() const;
87
Andrew Scullcdfcccc2018-10-05 20:58:37 +010088 /// Destroys Use operands when the number of operands of
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010089 /// a User changes.
90 static void zap(Use *Start, const Use *Stop, bool del = false);
91
92private:
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010093
94 Value *Val = nullptr;
Andrew Walbran3d2c1972020-04-07 12:24:26 +010095 Use *Next = nullptr;
Olivier Deprezf4ef2d02021-04-20 13:36:24 +020096 Use **Prev = nullptr;
97 User *Parent = nullptr;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010098
99 void addToList(Use **List) {
100 Next = *List;
101 if (Next)
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200102 Next->Prev = &Next;
103 Prev = List;
104 *Prev = this;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100105 }
106
107 void removeFromList() {
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200108 *Prev = Next;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100109 if (Next)
Olivier Deprezf4ef2d02021-04-20 13:36:24 +0200110 Next->Prev = Prev;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100111 }
112};
113
Andrew Scullcdfcccc2018-10-05 20:58:37 +0100114/// Allow clients to treat uses just like values when using
Andrew Scull5e1ddfa2018-08-14 10:06:54 +0100115/// casting operators.
116template <> struct simplify_type<Use> {
117 using SimpleType = Value *;
118
119 static SimpleType getSimplifiedValue(Use &Val) { return Val.get(); }
120};
121template <> struct simplify_type<const Use> {
122 using SimpleType = /*const*/ Value *;
123
124 static SimpleType getSimplifiedValue(const Use &Val) { return Val.get(); }
125};
126
127// Create wrappers for C Binding types (see CBindingWrapping.h).
128DEFINE_SIMPLE_CONVERSION_FUNCTIONS(Use, LLVMUseRef)
129
130} // end namespace llvm
131
132#endif // LLVM_IR_USE_H