summaryrefslogtreecommitdiff
path: root/lib/VMCore
diff options
context:
space:
mode:
authorGabor Greif <ggreif@gmail.com>2008-09-19 15:03:57 +0000
committerGabor Greif <ggreif@gmail.com>2008-09-19 15:03:57 +0000
commit6c2c95d0acd867add034d93d4b909ddd75d61b14 (patch)
treeb167f6bf294bfe2c01fde421dc8ea5a871c3f78e /lib/VMCore
parent210fada2c6bb31198722000e52059e41f6641c3b (diff)
downloadllvm-6c2c95d0acd867add034d93d4b909ddd75d61b14.tar.gz
llvm-6c2c95d0acd867add034d93d4b909ddd75d61b14.tar.bz2
llvm-6c2c95d0acd867add034d93d4b909ddd75d61b14.tar.xz
first shot at removing Use::Val
untested, Use::swap() is definitely not done yet git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@56348 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore')
-rw-r--r--lib/VMCore/Use.cpp43
-rw-r--r--lib/VMCore/Value.cpp4
-rw-r--r--lib/VMCore/getValue.cpp474
3 files changed, 510 insertions, 11 deletions
diff --git a/lib/VMCore/Use.cpp b/lib/VMCore/Use.cpp
index d96a0e57fd..3cdf347427 100644
--- a/lib/VMCore/Use.cpp
+++ b/lib/VMCore/Use.cpp
@@ -20,8 +20,31 @@ namespace llvm {
//===----------------------------------------------------------------------===//
void Use::swap(Use &RHS) {
- Value *V1(Val);
- Value *V2(RHS.Val);
+ ptrdiff_t dist((char*)&RHS - (char*)this);
+
+ if (dist) {
+ Use *valid1(stripTag<tagMaskN>(Next));
+ Use *valid2(stripTag<tagMaskN>(RHS.Next));
+ if (valid1 && valid2) {
+ bool real1(fullStopTagN != extractTag<NextPtrTag, tagMaskN>(Next));
+ bool real2(fullStopTagN != extractTag<NextPtrTag, tagMaskN>(RHS.Next));
+ (char*&)*stripTag<tagMask>(Prev) += dist;
+ (char*&)*stripTag<tagMask>(RHS.Prev) -= dist;
+ if (real1)
+ (char*&)valid1->Next += dist;
+ if (real2)
+ (char*&)valid2->Next -= dist;
+
+ }
+
+ // swap the members
+ std::swap(Next, RHS.Next);
+ Use** Prev1 = transferTag<tagMask>(Prev, stripTag<tagMask>(RHS.Prev));
+ RHS.Prev = transferTag<tagMask>(RHS.Prev, stripTag<tagMask>(Prev));
+ Prev = Prev1;
+ }
+ /* Value *V1(Val1);
+ Value *V2(RHS.Val1);
if (V1 != V2) {
if (V1) {
removeFromList();
@@ -29,19 +52,20 @@ void Use::swap(Use &RHS) {
if (V2) {
RHS.removeFromList();
- Val = V2;
+ Val1 = V2;
V2->addUse(*this);
} else {
- Val = 0;
+ Val1 = 0;
}
if (V1) {
- RHS.Val = V1;
+ RHS.Val1 = V1;
V1->addUse(RHS);
} else {
- RHS.Val = 0;
+ RHS.Val1 = 0;
}
}
+ */
}
//===----------------------------------------------------------------------===//
@@ -52,7 +76,7 @@ const Use *Use::getImpliedUser() const {
const Use *Current = this;
while (true) {
- unsigned Tag = extractTag<PrevPtrTag, fullStopTag>((Current++)->Prev);
+ unsigned Tag = extractTag<PrevPtrTag, tagMask>((Current++)->Prev);
switch (Tag) {
case zeroDigitTag:
case oneDigitTag:
@@ -62,7 +86,7 @@ const Use *Use::getImpliedUser() const {
++Current;
ptrdiff_t Offset = 1;
while (true) {
- unsigned Tag = extractTag<PrevPtrTag, fullStopTag>(Current->Prev);
+ unsigned Tag = extractTag<PrevPtrTag, tagMask>(Current->Prev);
switch (Tag) {
case zeroDigitTag:
case oneDigitTag:
@@ -89,7 +113,8 @@ Use *Use::initTags(Use * const Start, Use *Stop, ptrdiff_t Done) {
ptrdiff_t Count = Done;
while (Start != Stop) {
--Stop;
- Stop->Val = 0;
+ Stop->Val1 = 0;
+ Stop->Next = nilUse(0);
if (!Count) {
Stop->Prev = reinterpret_cast<Use**>(Done == 0 ? fullStopTag : stopTag);
++Done;
diff --git a/lib/VMCore/Value.cpp b/lib/VMCore/Value.cpp
index bc5b7a9f81..a5e0ff397e 100644
--- a/lib/VMCore/Value.cpp
+++ b/lib/VMCore/Value.cpp
@@ -34,7 +34,7 @@ static inline const Type *checkType(const Type *Ty) {
Value::Value(const Type *ty, unsigned scid)
: SubclassID(scid), SubclassData(0), VTy(checkType(ty)),
- UseList(0), Name(0) {
+ UseList(Use::nilUse(this)), Name(0) {
if (isa<CallInst>(this) || isa<InvokeInst>(this))
assert((VTy->isFirstClassType() || VTy == Type::VoidTy ||
isa<OpaqueType>(ty) || VTy->getTypeID() == Type::StructTyID) &&
@@ -298,7 +298,7 @@ void Value::takeName(Value *V) {
//
void Value::uncheckedReplaceAllUsesWith(Value *New) {
while (!use_empty()) {
- Use &U = *UseList;
+ Use &U = *use_begin().U;
// Must handle Constants specially, we cannot call replaceUsesOfWith on a
// constant because they are uniqued.
if (Constant *C = dyn_cast<Constant>(U.getUser())) {
diff --git a/lib/VMCore/getValue.cpp b/lib/VMCore/getValue.cpp
new file mode 100644
index 0000000000..2eae584402
--- /dev/null
+++ b/lib/VMCore/getValue.cpp
@@ -0,0 +1,474 @@
+//===-- Use.cpp - Implement the Use class ---------------------------------===//
+//
+// The LLVM Compiler Infrastructure
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+//
+// This file implements the algorithm for finding the User of a Use.
+//
+//===----------------------------------------------------------------------===//
+
+#include "llvm/User.h"
+// this can later be removed:
+#include <iostream>
+
+namespace llvm {
+
+class Use::UseWaymark {
+
+ friend class Use;
+
+enum { spareBits = 2, requiredSteps = sizeof(Value*) * 8 - spareBits };
+
+/// repaintByCopying -- given a pattern and a
+/// junk tagspace, copy the former's tags into
+/// the latter
+///
+static inline void repaintByCopying(Use *Tagspace, Use *Junk) {
+ for (int I = requiredSteps; I; --I) {
+ Use *Next = stripTag<Use::tagMaskN>(Junk->Next);
+ Junk->Next = transferTag<Use::tagMaskN>(Tagspace->Next, Next);
+ Tagspace = stripTag<Use::tagMaskN>(Tagspace->Next);
+ Junk = Next;
+ }
+
+ assert((extractTag<Use::NextPtrTag, Use::tagMaskN>(Junk->Next) == Use::stopTagN)
+ && "Why repaint by copying if the next is not Stop?");
+}
+
+
+/// repaintByCalculating -- given a pattern and a
+/// junk tagspace, compute tags into the latter
+///
+static inline void repaintByCalculating(unsigned long Tags, Use *Junk) {
+ Tags >>= spareBits;
+
+ for (int I = requiredSteps - 1; I >= 0; --I) {
+ Use::NextPtrTag Tag(Tags & (1 << I) ? Use::oneDigitTagN : Use::zeroDigitTagN);
+ Use *Next = stripTag<Use::tagMaskN>(Junk->Next);
+ Junk->Next = transferTag<Use::tagMaskN>(reinterpret_cast<Use*>(Tag), Next);
+ Junk = Next;
+ }
+
+ assert((extractTag<Use::NextPtrTag, Use::tagMaskN>(Junk->Next) == Use::fullStopTagN)
+ && "Why repaint by calculating if the next is not FullStop?");
+}
+
+/// punchAwayDigits -- ensure that repainted area
+/// begins with a stop
+///
+static inline void punchAwayDigits(Use **Uprev) {
+ Uprev = stripTag<Use::tagMask>(Uprev);
+ // if (PrevU)
+ // assert(&PrevU->Next == Uprev && "U->Prev differs from PrevU?");
+ *Uprev = stripTag<Use::tagMaskN>(*Uprev);
+}
+
+
+/// gatherAndPotentiallyRepaint is invoked for either
+/// - sweeping over (a small amount of) initial junk
+/// - or sweeping over a great amount of junk which
+/// provides enough space to reproduce the bit pattern
+/// of the Value* at its end, in which case it gets
+/// overpainted.
+/// In any case this routine is invoked with U being
+/// pointed at from a Use with a stop tag.
+///
+static inline Value *gatherAndPotentiallyRepaint(Use *U) {
+ int Cushion = requiredSteps;
+
+ Use *Next(U->Next);
+ // __builtin_prefetch(Next);
+ Use::NextPtrTag Tag(extractTag<Use::NextPtrTag, Use::tagMaskN>(Next));
+ Next = stripTag<Use::tagMaskN>(Next);
+
+ // try to pick up exactly requiredSteps digits
+ // from immediately behind the (precondition) stop
+ unsigned long Acc(0);
+ while (1) {
+ if (Cushion <= 0) {
+ assert((Tag == Use::fullStopTagN || Tag == Use::stopTagN)
+ && "More digits?");
+ return reinterpret_cast<Value*>(Acc << spareBits);
+ }
+
+ switch (Tag) {
+ case Use::fullStopTagN:
+ return reinterpret_cast<Value*>(Next);
+ case Use::stopTagN: {
+ goto efficiency;
+ }
+ default:
+ Acc = (Acc << 1) | (Tag & 1);
+ Next = Next->Next;
+ // __builtin_prefetch(Next);
+ --Cushion;
+ Tag = extractTag<Use::NextPtrTag, Use::tagMaskN>(Next);
+ Next = stripTag<Use::tagMaskN>(Next);
+ continue;
+ }
+ break;
+ }
+
+ while (Cushion > 0) {
+ switch (Tag) {
+ case Use::fullStopTagN:
+ return reinterpret_cast<Value*>(Next);
+ case Use::stopTagN: {
+ efficiency:
+ // try to pick up exactly requiredSteps digits
+ int digits = requiredSteps;
+ Acc = 0;
+
+ while (1) {
+ if (!digits)
+ return reinterpret_cast<Value*>(Acc << spareBits);
+
+ Next = Next->Next;
+ // __builtin_prefetch(Next);
+ --Cushion;
+ Tag = extractTag<Use::NextPtrTag, Use::tagMaskN>(Next);
+ Next = stripTag<Use::tagMaskN>(Next);
+ switch (Tag) {
+ case Use::fullStopTagN:
+ if (Cushion <= 0) {
+ punchAwayDigits(U->Prev);
+ repaintByCalculating(reinterpret_cast<unsigned long>(Next), U);
+ }
+ return reinterpret_cast<Value*>(Next);
+ case Use::stopTagN: {
+ if (Cushion <= 0) {
+ U = stripTag<Use::tagMaskN>(U->Next);
+ }
+ goto efficiency;
+ }
+ default:
+ --digits;
+ Acc = (Acc << 1) | (Tag & 1);
+ if (Cushion <= 0) {
+ U = stripTag<Use::tagMaskN>(U->Next);
+ }
+ continue;
+ }
+ break;
+ }
+ }
+ // fall through
+ default:
+ Next = Next->Next;
+ // __builtin_prefetch(Next);
+ --Cushion;
+ Tag = extractTag<Use::NextPtrTag, Use::tagMaskN>(Next);
+ Next = stripTag<Use::tagMaskN>(Next);
+ } // switch
+ } // while
+
+ // Now we know that we have a nice cushion between U and Next. Do the same
+ // thing as above, but don't decrement Cushion any more, instead push U
+ // forward. After the value is found, repaint beginning at U.
+
+ while (1) {
+ switch (Tag) {
+ case Use::fullStopTagN: {
+ punchAwayDigits(U->Prev);
+ repaintByCalculating(reinterpret_cast<unsigned long>(Next), U);
+ return reinterpret_cast<Value*>(Next);
+ }
+ case Use::stopTagN: {
+ // try to pick up exactly requiredSteps digits
+ int digits = requiredSteps;
+ Acc = 0;
+ Use *Tagspace(Next);
+
+ while (1) {
+ if (!digits) {
+ punchAwayDigits(U->Prev);
+ repaintByCopying(Tagspace, U);
+ return reinterpret_cast<Value*>(Acc << spareBits);
+ }
+
+ Next = Next->Next;
+ // __builtin_prefetch(Next);
+ U = stripTag<Use::tagMaskN>(U->Next);
+ Tag = extractTag<Use::NextPtrTag, Use::tagMaskN>(Next);
+ Next = stripTag<Use::tagMaskN>(Next);
+ switch (Tag) {
+ case Use::fullStopTagN: {
+ punchAwayDigits(U->Prev);
+ repaintByCalculating(reinterpret_cast<unsigned long>(Next), U);
+ return reinterpret_cast<Value*>(Next);
+ }
+ case Use::stopTagN: {
+ break;
+ }
+ default:
+ --digits;
+ Acc = (Acc << 1) | (Tag & 1);
+ continue;
+ }
+ break;
+ }
+ }
+ // fall through
+ default:
+ Next = Next->Next;
+ // __builtin_prefetch(Next);
+ U = stripTag<Use::tagMaskN>(U->Next);
+ Tag = extractTag<Use::NextPtrTag, Use::tagMaskN>(Next);
+ Next = stripTag<Use::tagMaskN>(Next);
+ } // switch
+ } // while
+}
+
+
+/// skipPotentiallyGathering is invoked for either
+/// - picking up exactly ToGo digits
+/// - or finding a stop which marks the beginning
+/// of a repaintable area
+///
+static inline Value *skipPotentiallyGathering(Use *U,
+ unsigned long Acc,
+ int ToGo) {
+ while (1) {
+ if (!ToGo)
+ return reinterpret_cast<Value*>(Acc << spareBits);
+
+ Use *Next(U->Next);
+ // __builtin_prefetch(Next);
+ Use::NextPtrTag Tag(extractTag<Use::NextPtrTag, Use::tagMaskN>(Next));
+ Next = stripTag<Use::tagMaskN>(Next);
+ switch (Tag) {
+ case Use::fullStopTagN:
+ return reinterpret_cast<Value*>(Next);
+ case Use::stopTagN:
+ return gatherAndPotentiallyRepaint(Next);
+ default:
+ Acc = (Acc << 1) | (Tag & 1);
+ --ToGo;
+ U = Next;
+ }
+ }
+}
+
+}; // class UseWaymark
+
+Value *Use::getValue() const {
+ // __builtin_prefetch(Next);
+ NextPtrTag Tag(extractTag<NextPtrTag, tagMaskN>(Next));
+ switch (Tag) {
+ case fullStopTagN:
+ return reinterpret_cast<Value*>(stripTag<tagMaskN>(Next));
+ case stopTagN:
+ return UseWaymark::gatherAndPotentiallyRepaint(Next);
+ default:
+ return UseWaymark::skipPotentiallyGathering(stripTag<tagMaskN>(Next),
+ Tag & 1,
+ Use::UseWaymark::requiredSteps - 1);
+ }
+}
+
+static char TagChar(int Tag) {
+ return "s10S"[Tag];
+}
+
+void Use::showWaymarks() const {
+ const Use *me(this);
+ if (NextPtrTag Tag = extractTag<Use::NextPtrTag, Use::tagMaskN>(me)) {
+ me = stripTag<tagMaskN>(me);
+ std::cerr << '(' << TagChar(Tag) << ')';
+ }
+
+ me = me->Next;
+ NextPtrTag TagHere = extractTag<Use::NextPtrTag, Use::tagMaskN>(me);
+ std::cerr << TagChar(TagHere);
+
+ me = stripTag<tagMaskN>(me);
+ if (TagHere == fullStopTagN) {
+ std::cerr << " ---> " << me << std::endl;
+ std::cerr << "1234567890123456789012345678901234567890123456789012345678901234567890" << std::endl;
+ std::cerr << " 1 2 3 4 5 6 7" << std::endl;
+ }
+ else
+ me->showWaymarks();
+}
+
+} // namespace llvm
+
+#if 0
+
+// ################################################################
+// ############################# TESTS ############################
+// ################################################################
+
+using namespace llvm;
+
+namespace T1
+{
+ Use u00;
+}
+
+namespace T2
+{
+ Use u00((Value*)0xCAFEBABCUL);
+ Use u01(u00);
+}
+
+namespace T3
+{
+ template <unsigned NEST>
+ struct UseChain;
+
+ template <>
+ struct UseChain<0> {
+ Use first;
+ UseChain(Value *V) : first(V) {}
+ UseChain(Use &U) : first(U) {}
+ };
+
+ template <unsigned NEST>
+ struct UseChain {
+ Use first;
+ UseChain<NEST - 1> rest;
+ UseChain(Value *V)
+ : first(rest.first)
+ , rest(V) {}
+ UseChain(Use &U)
+ : first(rest.first)
+ , rest(U) {}
+ };
+
+ UseChain<30> uc31((Value*)0xCAFEBABCUL);
+ Use& u31(uc31.first);
+ UseChain<31> uc32((Value*)0xCAFEBABCUL);
+ Use& u32(uc32.first);
+}
+
+namespace T4
+{
+ template <unsigned NEST, unsigned long PAT>
+ struct UseChain;
+
+ template <unsigned long PAT>
+ struct UseChain<0, PAT> {
+ Use first;
+ static const unsigned long Pat = PAT >> 2;
+ UseChain(Value *V) : first(V) {}
+ UseChain(Use &U) : first(U) {}
+ };
+
+ template <unsigned NEST, unsigned long PAT>
+ struct UseChain {
+ Use first;
+ UseChain<NEST - 1, PAT> rest;
+ static const unsigned long Digit = UseChain<NEST - 1, PAT>::Pat & 1;
+ static const Use::NextPtrTag Tag = Digit ? Use::oneDigitTagN : Use::zeroDigitTagN;
+ static const unsigned long Pat = UseChain<NEST - 1, PAT>::Pat >> 1;
+ UseChain(Value *V = reinterpret_cast<Value*>(PAT))
+ : first(*addTag(&rest.first, Tag))
+ , rest(V) {}
+ UseChain(Use &U)
+ : first(*addTag(&rest.first, Tag))
+ , rest(U) {}
+ };
+
+ UseChain<30, 0xCAFEBABCUL> uc31;
+ Use& u31(uc31.first);
+ Use us32(u31);
+
+ UseChain<29, 0xCAFEBABCUL> uc30;
+ Use& u30(uc30.first);
+ Use us31(u30);
+
+ T3::UseChain<3> s3a((Value*)0xCAFEBABCUL);
+ UseChain<30, 0xCAFEBABCUL> uc31s3S(s3a.first);
+ Use& m35(uc31s3S.first);
+
+ T3::UseChain<3> s3b((Value*)0xCAFEBABCUL);
+ UseChain<29, 0xCAFEBABCUL> uc30s3S(s3b.first);
+ Use& m34(uc30s3S.first);
+
+ T3::UseChain<3> s3c((Value*)0xCAFEBABCUL);
+ UseChain<25, 0xCAFEBABCUL> uc25s3S(s3c.first);
+ Use& m30(uc25s3S.first);
+
+ Use ms36(m35);
+ Use ms35(m34);
+ Use ms31(m30);
+ Use ms32(ms31);
+
+ UseChain<24, 0xCAFEBABCUL> uc25;
+ Use& u25(uc25.first);
+ T3::UseChain<10> m11s24dS(u25);
+ Use& m36(m11s24dS.first);
+
+
+ T3::UseChain<10> s10S((Value*)0xCAFEBABCUL);
+ UseChain<20, 0xCAFEBABCUL> d20ss10S(s10S.first);
+ T3::UseChain<20> s20sd20ss10S(d20ss10S.first);
+ Use& m53(s20sd20ss10S.first);
+}
+
+
+int main(){
+ if (NULL != T1::u00.getValue())
+ return 1;
+ if ((Value*)0xCAFEBABCUL != T2::u00.getValue())
+ return 2;
+ if ((Value*)0xCAFEBABCUL != T2::u01.getValue())
+ return 2;
+ if ((Value*)0xCAFEBABCUL != T3::u31.getValue())
+ return 3;
+ if ((Value*)0xCAFEBABCUL != T3::u32.getValue())
+ return 3;
+ if ((Value*)0xCAFEBABCUL != T3::u32.getValue()) // check the mutated value
+ return 3;
+ if ((Value*)0xCAFEBABCUL != T4::u31.getValue())
+ return 4;
+ if ((Value*)0xCAFEBABCUL != T4::u30.getValue())
+ return 4;
+ if ((Value*)0xCAFEBABCUL != T4::us32.getValue())
+ return 4;
+ if ((Value*)0xCAFEBABCUL != T4::us31.getValue())
+ return 4;
+
+ // mixed tests
+ if ((Value*)0xCAFEBABCUL != T4::m35.getValue())
+ return 4;
+ if ((Value*)0xCAFEBABCUL != T4::m34.getValue())
+ return 4;
+ if ((Value*)0xCAFEBABCUL != T4::m30.getValue())
+ return 4;
+ if ((Value*)0xCAFEBABCUL != T4::ms36.getValue())
+ return 4;
+ if ((Value*)0xCAFEBABCUL != T4::ms35.getValue())
+ return 4;
+ if ((Value*)0xCAFEBABCUL != T4::ms35.getValue()) // check the mutated value
+ return 4;
+ if ((Value*)0xCAFEBABCUL != T4::ms32.getValue())
+ return 4;
+ if ((Value*)0xCAFEBABCUL != T4::ms32.getValue())
+ return 4;
+ if ((Value*)0xCAFEBABCUL != T4::ms32.getValue()) // check the mutated value
+ return 4;
+
+ T4::m36.showWaymarks();
+ if ((Value*)0xCAFEBABCUL != T4::m36.getValue())
+ return 4;
+ T4::m36.showWaymarks();
+ if ((Value*)0xCAFEBABCUL != T4::m36.getValue()) // check the mutated value
+ return 4;
+ T4::m36.showWaymarks();
+
+ T4::m53.showWaymarks();
+ if ((Value*)0xCAFEBABCUL != T4::m53.getValue())
+ return 4;
+ T4::m53.showWaymarks();
+ if ((Value*)0xCAFEBABCUL != T4::m53.getValue()) // check the mutated value
+ return 4;
+ T4::m53.showWaymarks();
+}
+
+#endif