blob: fec710b39459b2d1cccfe9d80afcec71ab724fae [file] [log] [blame]
Gabor Greif697e94c2008-05-15 10:04:30 +00001//===-- Use.cpp - Implement the Use class ---------------------------------===//
Gabor Greiff6caff662008-05-10 08:32:32 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the algorithm for finding the User of a Use.
11//
12//===----------------------------------------------------------------------===//
13
14#include "llvm/User.h"
15
16namespace llvm {
17
18//===----------------------------------------------------------------------===//
Gabor Greif5ef74042008-05-13 22:51:52 +000019// Use swap Implementation
20//===----------------------------------------------------------------------===//
21
22void Use::swap(Use &RHS) {
Gabor Greif715b9d22008-09-19 15:13:20 +000023 Value *V1(Val);
24 Value *V2(RHS.Val);
Gabor Greif5ef74042008-05-13 22:51:52 +000025 if (V1 != V2) {
26 if (V1) {
27 removeFromList();
28 }
29
30 if (V2) {
31 RHS.removeFromList();
Gabor Greif715b9d22008-09-19 15:13:20 +000032 Val = V2;
Gabor Greif5ef74042008-05-13 22:51:52 +000033 V2->addUse(*this);
34 } else {
Gabor Greif715b9d22008-09-19 15:13:20 +000035 Val = 0;
Gabor Greif5ef74042008-05-13 22:51:52 +000036 }
37
38 if (V1) {
Gabor Greif715b9d22008-09-19 15:13:20 +000039 RHS.Val = V1;
Gabor Greif5ef74042008-05-13 22:51:52 +000040 V1->addUse(RHS);
41 } else {
Gabor Greif715b9d22008-09-19 15:13:20 +000042 RHS.Val = 0;
Gabor Greif5ef74042008-05-13 22:51:52 +000043 }
44 }
45}
46
47//===----------------------------------------------------------------------===//
Gabor Greiff6caff662008-05-10 08:32:32 +000048// Use getImpliedUser Implementation
49//===----------------------------------------------------------------------===//
50
51const Use *Use::getImpliedUser() const {
52 const Use *Current = this;
53
54 while (true) {
Gabor Greif2231c2c2009-01-05 16:05:32 +000055 unsigned Tag = (Current++)->Prev.getInt();
Gabor Greiff6caff662008-05-10 08:32:32 +000056 switch (Tag) {
57 case zeroDigitTag:
58 case oneDigitTag:
59 continue;
60
61 case stopTag: {
62 ++Current;
63 ptrdiff_t Offset = 1;
64 while (true) {
Gabor Greif2231c2c2009-01-05 16:05:32 +000065 unsigned Tag = Current->Prev.getInt();
Gabor Greiff6caff662008-05-10 08:32:32 +000066 switch (Tag) {
67 case zeroDigitTag:
68 case oneDigitTag:
69 ++Current;
70 Offset = (Offset << 1) + Tag;
71 continue;
72 default:
73 return Current + Offset;
74 }
75 }
76 }
77
78 case fullStopTag:
79 return Current;
80 }
81 }
82}
83
84//===----------------------------------------------------------------------===//
85// Use initTags Implementation
86//===----------------------------------------------------------------------===//
87
88Use *Use::initTags(Use * const Start, Use *Stop, ptrdiff_t Done) {
Gabor Greif39c06b32010-07-19 14:48:15 +000089 while (Done < 20) {
Gabor Greiffee4daf2010-07-16 20:35:19 +000090 if (Start == Stop--)
91 return Start;
Gabor Greif39c06b32010-07-19 14:48:15 +000092 static const PrevPtrTag tags[20] = { fullStopTag, oneDigitTag, stopTag,
93 oneDigitTag, oneDigitTag, stopTag,
94 zeroDigitTag, oneDigitTag, oneDigitTag,
95 stopTag, zeroDigitTag, oneDigitTag,
96 zeroDigitTag, oneDigitTag, stopTag,
97 oneDigitTag, oneDigitTag, oneDigitTag,
98 oneDigitTag, stopTag
99 };
Gabor Greiffee4daf2010-07-16 20:35:19 +0000100 Stop->Prev.setFromOpaqueValue(reinterpret_cast<Use**>(tags[Done++]));
101 Stop->Val = 0;
102 }
103
Gabor Greiff6caff662008-05-10 08:32:32 +0000104 ptrdiff_t Count = Done;
105 while (Start != Stop) {
106 --Stop;
Gabor Greif715b9d22008-09-19 15:13:20 +0000107 Stop->Val = 0;
Gabor Greiff6caff662008-05-10 08:32:32 +0000108 if (!Count) {
Gabor Greif29609872010-07-17 20:52:46 +0000109 Stop->Prev.setFromOpaqueValue(reinterpret_cast<Use**>(stopTag));
Gabor Greiff6caff662008-05-10 08:32:32 +0000110 ++Done;
111 Count = Done;
112 } else {
Gabor Greif2231c2c2009-01-05 16:05:32 +0000113 Stop->Prev.setFromOpaqueValue(reinterpret_cast<Use**>(Count & 1));
Gabor Greiff6caff662008-05-10 08:32:32 +0000114 Count >>= 1;
115 ++Done;
116 }
117 }
118
119 return Start;
120}
121
122//===----------------------------------------------------------------------===//
123// Use zap Implementation
124//===----------------------------------------------------------------------===//
125
126void Use::zap(Use *Start, const Use *Stop, bool del) {
127 if (del) {
128 while (Start != Stop) {
129 (--Stop)->~Use();
130 }
131 ::operator delete(Start);
132 return;
133 }
134
135 while (Start != Stop) {
136 (Start++)->set(0);
137 }
138}
139
140//===----------------------------------------------------------------------===//
141// AugmentedUse layout struct
142//===----------------------------------------------------------------------===//
143
Duncan Sands0f5bbb52009-09-06 08:55:57 +0000144struct AugmentedUse : public Use {
Gabor Greif2231c2c2009-01-05 16:05:32 +0000145 PointerIntPair<User*, 1, Tag> ref;
Gabor Greiff6caff662008-05-10 08:32:32 +0000146 AugmentedUse(); // not implemented
147};
148
149
150//===----------------------------------------------------------------------===//
151// Use getUser Implementation
152//===----------------------------------------------------------------------===//
153
154User *Use::getUser() const {
155 const Use *End = getImpliedUser();
Gabor Greif4077dd02009-01-05 17:19:25 +0000156 const PointerIntPair<User*, 1, Tag>& ref(
157 static_cast<const AugmentedUse*>(End - 1)->ref);
Gabor Greif2231c2c2009-01-05 16:05:32 +0000158 User *She = ref.getPointer();
159 return ref.getInt()
Gabor Greif6265ab82009-01-05 16:28:14 +0000160 ? She
161 : (User*)End;
Gabor Greiff6caff662008-05-10 08:32:32 +0000162}
163
164//===----------------------------------------------------------------------===//
165// User allocHungoffUses Implementation
166//===----------------------------------------------------------------------===//
167
168Use *User::allocHungoffUses(unsigned N) const {
Gabor Greif697e94c2008-05-15 10:04:30 +0000169 Use *Begin = static_cast<Use*>(::operator new(sizeof(Use) * N
170 + sizeof(AugmentedUse)
171 - sizeof(Use)));
Gabor Greiff6caff662008-05-10 08:32:32 +0000172 Use *End = Begin + N;
Gabor Greif6265ab82009-01-05 16:28:14 +0000173 PointerIntPair<User*, 1, Tag>& ref(static_cast<AugmentedUse&>(End[-1]).ref);
Gabor Greif2231c2c2009-01-05 16:05:32 +0000174 ref.setPointer(const_cast<User*>(this));
175 ref.setInt(tagOne);
Gabor Greiff6caff662008-05-10 08:32:32 +0000176 return Use::initTags(Begin, End);
177}
178
Gabor Greifc91aa9b2009-03-12 18:34:49 +0000179//===----------------------------------------------------------------------===//
180// User operator new Implementations
181//===----------------------------------------------------------------------===//
182
183void *User::operator new(size_t s, unsigned Us) {
184 void *Storage = ::operator new(s + sizeof(Use) * Us);
185 Use *Start = static_cast<Use*>(Storage);
186 Use *End = Start + Us;
187 User *Obj = reinterpret_cast<User*>(End);
188 Obj->OperandList = Start;
189 Obj->NumOperands = Us;
190 Use::initTags(Start, End);
191 return Obj;
192}
193
194/// Prefixed allocation - just before the first Use, allocate a NULL pointer.
195/// The destructor can detect its presence and readjust the OperandList
196/// for deletition.
197///
198void *User::operator new(size_t s, unsigned Us, bool Prefix) {
199 // currently prefixed allocation only admissible for
200 // unconditional branch instructions
201 if (!Prefix)
202 return operator new(s, Us);
203
204 assert(Us == 1 && "Other than one Use allocated?");
205 typedef PointerIntPair<void*, 2, Use::PrevPtrTag> TaggedPrefix;
206 void *Raw = ::operator new(s + sizeof(TaggedPrefix) + sizeof(Use) * Us);
207 TaggedPrefix *Pre = static_cast<TaggedPrefix*>(Raw);
208 Pre->setFromOpaqueValue(0);
209 void *Storage = Pre + 1; // skip over prefix
210 Use *Start = static_cast<Use*>(Storage);
211 Use *End = Start + Us;
212 User *Obj = reinterpret_cast<User*>(End);
213 Obj->OperandList = Start;
214 Obj->NumOperands = Us;
215 Use::initTags(Start, End);
216 return Obj;
217}
218
219//===----------------------------------------------------------------------===//
220// User operator delete Implementation
221//===----------------------------------------------------------------------===//
222
223void User::operator delete(void *Usr) {
224 User *Start = static_cast<User*>(Usr);
225 Use *Storage = static_cast<Use*>(Usr) - Start->NumOperands;
226 //
227 // look for a variadic User
228 if (Storage == Start->OperandList) {
229 ::operator delete(Storage);
230 return;
231 }
232 //
233 // check for the flag whether the destructor has detected a prefixed
234 // allocation, in which case we remove the flag and delete starting
235 // at OperandList
236 if (reinterpret_cast<intptr_t>(Start->OperandList) & 1) {
237 ::operator delete(reinterpret_cast<char*>(Start->OperandList) - 1);
238 return;
239 }
240 //
241 // in all other cases just delete the nullary User (covers hung-off
242 // uses also
243 ::operator delete(Usr);
244}
245
Gabor Greiff6caff662008-05-10 08:32:32 +0000246} // End llvm namespace