diff options
author | Gabor Greif <ggreif@gmail.com> | 2009-03-12 18:34:49 +0000 |
---|---|---|
committer | Gabor Greif <ggreif@gmail.com> | 2009-03-12 18:34:49 +0000 |
commit | c91aa9b857add1416d1bad2a9850430e306beafa (patch) | |
tree | 56ae7b4879ea8ce2ca1a5bf58e6ddb0c04b576a0 /llvm/lib/VMCore/Use.cpp | |
parent | 7398059c8453c17b0fef5011f1f5ac82e6ca6019 (diff) | |
download | bcm5719-llvm-c91aa9b857add1416d1bad2a9850430e306beafa.tar.gz bcm5719-llvm-c91aa9b857add1416d1bad2a9850430e306beafa.zip |
Rearrange operands of the BranchInst, to be able to
access each with a fixed negative index from op_end().
This has two important implications:
- getUser() will work faster, because there are less iterations
for the waymarking algorithm to perform. This is important
when running various analyses that want to determine callers
of basic blocks.
- getSuccessor() now runs faster, because the indirection via OperandList
is not necessary: Uses corresponding to the successors are at fixed
offset to "this".
The price we pay is the slightly more complicated logic in the operator
User::delete, as it has to pick up the information whether it has to free
the memory of an original unconditional BranchInst or a BranchInst that
was originally conditional, but has been shortened to unconditional.
I was not able to come up with a nicer solution to this problem. (And
rest assured, I tried *a lot*).
Similar reorderings will follow for InvokeInst and CallInst. After that
some optimizations to pred_iterator and CallSite will fall out naturally.
llvm-svn: 66815
Diffstat (limited to 'llvm/lib/VMCore/Use.cpp')
-rw-r--r-- | llvm/lib/VMCore/Use.cpp | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/llvm/lib/VMCore/Use.cpp b/llvm/lib/VMCore/Use.cpp index 0c566a9cb70..b25415a3d14 100644 --- a/llvm/lib/VMCore/Use.cpp +++ b/llvm/lib/VMCore/Use.cpp @@ -163,4 +163,71 @@ Use *User::allocHungoffUses(unsigned N) const { return Use::initTags(Begin, End); } +//===----------------------------------------------------------------------===// +// User operator new Implementations +//===----------------------------------------------------------------------===// + +void *User::operator new(size_t s, unsigned Us) { + void *Storage = ::operator new(s + sizeof(Use) * Us); + Use *Start = static_cast<Use*>(Storage); + Use *End = Start + Us; + User *Obj = reinterpret_cast<User*>(End); + Obj->OperandList = Start; + Obj->NumOperands = Us; + Use::initTags(Start, End); + return Obj; +} + +/// Prefixed allocation - just before the first Use, allocate a NULL pointer. +/// The destructor can detect its presence and readjust the OperandList +/// for deletition. +/// +void *User::operator new(size_t s, unsigned Us, bool Prefix) { + // currently prefixed allocation only admissible for + // unconditional branch instructions + if (!Prefix) + return operator new(s, Us); + + assert(Us == 1 && "Other than one Use allocated?"); + typedef PointerIntPair<void*, 2, Use::PrevPtrTag> TaggedPrefix; + void *Raw = ::operator new(s + sizeof(TaggedPrefix) + sizeof(Use) * Us); + TaggedPrefix *Pre = static_cast<TaggedPrefix*>(Raw); + Pre->setFromOpaqueValue(0); + void *Storage = Pre + 1; // skip over prefix + Use *Start = static_cast<Use*>(Storage); + Use *End = Start + Us; + User *Obj = reinterpret_cast<User*>(End); + Obj->OperandList = Start; + Obj->NumOperands = Us; + Use::initTags(Start, End); + return Obj; +} + +//===----------------------------------------------------------------------===// +// User operator delete Implementation +//===----------------------------------------------------------------------===// + +void User::operator delete(void *Usr) { + User *Start = static_cast<User*>(Usr); + Use *Storage = static_cast<Use*>(Usr) - Start->NumOperands; + // + // look for a variadic User + if (Storage == Start->OperandList) { + ::operator delete(Storage); + return; + } + // + // check for the flag whether the destructor has detected a prefixed + // allocation, in which case we remove the flag and delete starting + // at OperandList + if (reinterpret_cast<intptr_t>(Start->OperandList) & 1) { + ::operator delete(reinterpret_cast<char*>(Start->OperandList) - 1); + return; + } + // + // in all other cases just delete the nullary User (covers hung-off + // uses also + ::operator delete(Usr); +} + } // End llvm namespace |