blob: cae845d99fe58fe3a943b4d38566f3339c7af805 [file] [log] [blame]
Gabor Greifb1dbcd82008-05-15 10:04:30 +00001//===-- Use.cpp - Implement the Use class ---------------------------------===//
Gabor Greifefe65362008-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//===----------------------------------------------------------------------===//
Gabor Greifefe65362008-05-10 08:32:32 +00009
Chandler Carruth0a6057112014-03-04 08:51:00 +000010#include "llvm/IR/Use.h"
Chandler Carruth13f0d302014-03-04 09:19:43 +000011#include "llvm/IR/User.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000012#include "llvm/IR/Value.h"
Douglas Gregor5dc80552012-03-26 14:04:17 +000013#include <new>
Gabor Greifefe65362008-05-10 08:32:32 +000014
15namespace llvm {
16
Gabor Greif94fb68b2008-05-13 22:51:52 +000017void Use::swap(Use &RHS) {
Chandler Carruth775581c2014-03-04 09:00:15 +000018 if (Val == RHS.Val)
19 return;
Gabor Greif94fb68b2008-05-13 22:51:52 +000020
Chandler Carruth775581c2014-03-04 09:00:15 +000021 if (Val)
22 removeFromList();
Gabor Greif94fb68b2008-05-13 22:51:52 +000023
Chandler Carruth775581c2014-03-04 09:00:15 +000024 Value *OldVal = Val;
25 if (RHS.Val) {
26 RHS.removeFromList();
27 Val = RHS.Val;
28 Val->addUse(*this);
29 } else {
Craig Topperec0f0bc2014-04-09 06:08:46 +000030 Val = nullptr;
Chandler Carruth775581c2014-03-04 09:00:15 +000031 }
32
33 if (OldVal) {
34 RHS.Val = OldVal;
35 RHS.Val->addUse(RHS);
36 } else {
Craig Topperec0f0bc2014-04-09 06:08:46 +000037 RHS.Val = nullptr;
Gabor Greif94fb68b2008-05-13 22:51:52 +000038 }
39}
40
Chandler Carruth0a6057112014-03-04 08:51:00 +000041User *Use::getUser() const {
42 const Use *End = getImpliedUser();
Chandler Carruth2bfe24c2014-03-04 08:53:41 +000043 const UserRef *ref = reinterpret_cast<const UserRef *>(End);
44 return ref->getInt() ? ref->getPointer()
45 : reinterpret_cast<User *>(const_cast<Use *>(End));
Gabor Greifefe65362008-05-10 08:32:32 +000046}
47
Chandler Carruth13f0d302014-03-04 09:19:43 +000048unsigned Use::getOperandNo() const {
49 return this - getUser()->op_begin();
50}
51
Alp Toker46d36be2014-04-09 14:47:27 +000052// Sets up the waymarking algorithm's tags for a series of Uses. See the
Chandler Carruth0a6057112014-03-04 08:51:00 +000053// algorithm details here:
54//
Justin Bogner6d2164e2014-08-21 21:09:24 +000055// http://www.llvm.org/docs/ProgrammersManual.html#the-waymarking-algorithm
Chandler Carruth0a6057112014-03-04 08:51:00 +000056//
Chandler Carruth2bfe24c2014-03-04 08:53:41 +000057Use *Use::initTags(Use *const Start, Use *Stop) {
Jay Foad1ed26ac2011-01-16 15:30:52 +000058 ptrdiff_t Done = 0;
Gabor Greifb68f7ae2010-07-19 14:48:15 +000059 while (Done < 20) {
Gabor Greif345ce542010-07-16 20:35:19 +000060 if (Start == Stop--)
61 return Start;
Chandler Carruth2bfe24c2014-03-04 08:53:41 +000062 static const PrevPtrTag tags[20] = {
63 fullStopTag, oneDigitTag, stopTag, oneDigitTag, oneDigitTag,
64 stopTag, zeroDigitTag, oneDigitTag, oneDigitTag, stopTag,
65 zeroDigitTag, oneDigitTag, zeroDigitTag, oneDigitTag, stopTag,
66 oneDigitTag, oneDigitTag, oneDigitTag, oneDigitTag, stopTag};
67 new (Stop) Use(tags[Done++]);
Gabor Greif345ce542010-07-16 20:35:19 +000068 }
69
Gabor Greifefe65362008-05-10 08:32:32 +000070 ptrdiff_t Count = Done;
71 while (Start != Stop) {
72 --Stop;
Gabor Greifefe65362008-05-10 08:32:32 +000073 if (!Count) {
Chandler Carruth2bfe24c2014-03-04 08:53:41 +000074 new (Stop) Use(stopTag);
Gabor Greifefe65362008-05-10 08:32:32 +000075 ++Done;
76 Count = Done;
77 } else {
Chandler Carruth2bfe24c2014-03-04 08:53:41 +000078 new (Stop) Use(PrevPtrTag(Count & 1));
Gabor Greifefe65362008-05-10 08:32:32 +000079 Count >>= 1;
80 ++Done;
81 }
82 }
83
84 return Start;
85}
86
Gabor Greifefe65362008-05-10 08:32:32 +000087void Use::zap(Use *Start, const Use *Stop, bool del) {
Jay Foad1ed26ac2011-01-16 15:30:52 +000088 while (Start != Stop)
89 (--Stop)->~Use();
90 if (del)
Gabor Greifefe65362008-05-10 08:32:32 +000091 ::operator delete(Start);
Gabor Greifefe65362008-05-10 08:32:32 +000092}
93
Chandler Carruth0a6057112014-03-04 08:51:00 +000094const Use *Use::getImpliedUser() const {
95 const Use *Current = this;
Gabor Greifefe65362008-05-10 08:32:32 +000096
Chandler Carruth0a6057112014-03-04 08:51:00 +000097 while (true) {
98 unsigned Tag = (Current++)->Prev.getInt();
99 switch (Tag) {
Chandler Carruth2bfe24c2014-03-04 08:53:41 +0000100 case zeroDigitTag:
101 case oneDigitTag:
102 continue;
Chandler Carruth0a6057112014-03-04 08:51:00 +0000103
Chandler Carruth2bfe24c2014-03-04 08:53:41 +0000104 case stopTag: {
105 ++Current;
106 ptrdiff_t Offset = 1;
107 while (true) {
108 unsigned Tag = Current->Prev.getInt();
109 switch (Tag) {
110 case zeroDigitTag:
111 case oneDigitTag:
112 ++Current;
113 Offset = (Offset << 1) + Tag;
114 continue;
115 default:
116 return Current + Offset;
Chandler Carruth0a6057112014-03-04 08:51:00 +0000117 }
118 }
Chandler Carruth2bfe24c2014-03-04 08:53:41 +0000119 }
Chandler Carruth0a6057112014-03-04 08:51:00 +0000120
Chandler Carruth2bfe24c2014-03-04 08:53:41 +0000121 case fullStopTag:
122 return Current;
Chandler Carruth0a6057112014-03-04 08:51:00 +0000123 }
124 }
Gabor Greifefe65362008-05-10 08:32:32 +0000125}
126
Alexander Kornienkocd52a7a2015-06-23 09:49:53 +0000127} // End llvm namespace