Make MCSymbol::Name be a union of uint64_t and a pointer.

This should hopefully fix the 32-bit bots which were allocating space for a pointer
but needed to be aligned to 64-bits.

Now we allocate enough space for a uint64_t and a pointer and cast to the appropriate storage

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@239428 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Pete Cooper
2015-06-09 19:56:05 +00:00
parent 0e3246a86f
commit 5c8a22f11b
2 changed files with 27 additions and 15 deletions

View File

@@ -120,20 +120,29 @@ protected: // MCContext creates and uniques these.
friend class MCExpr; friend class MCExpr;
friend class MCContext; friend class MCContext;
typedef const StringMapEntry<bool> NameEntryTy; /// \brief The name for a symbol.
MCSymbol(SymbolKind Kind, NameEntryTy *Name, bool isTemporary) /// MCSymbol contains a uint64_t so is probably aligned to 8. On a 32-bit
/// system, the name is a pointer so isn't going to satisfy the 8 byte
/// alignment of uint64_t. Account for that here.
typedef union {
const StringMapEntry<bool> *NameEntry;
uint64_t AlignmentPadding;
} NameEntryStorageTy;
MCSymbol(SymbolKind Kind, const StringMapEntry<bool> *Name, bool isTemporary)
: Value(nullptr), IsTemporary(isTemporary), : Value(nullptr), IsTemporary(isTemporary),
IsRedefinable(false), IsUsed(false), IsRegistered(false), IsRedefinable(false), IsUsed(false), IsRegistered(false),
IsExternal(false), IsPrivateExtern(false), HasName(!!Name), IsExternal(false), IsPrivateExtern(false), HasName(!!Name),
Kind(Kind) { Kind(Kind) {
Offset = 0; Offset = 0;
if (Name) if (Name)
getNameEntryPtr() = Name; getNameEntryPtr().NameEntry = Name;
} }
// Provide custom new/delete as we will only allocate space for a name // Provide custom new/delete as we will only allocate space for a name
// if we need one. // if we need one.
void *operator new(size_t s, NameEntryTy *Name, MCContext &Ctx); void *operator new(size_t s, const StringMapEntry<bool> *Name,
MCContext &Ctx);
private: private:
@@ -160,14 +169,14 @@ private:
} }
/// \brief Get a reference to the name field. Requires that we have a name /// \brief Get a reference to the name field. Requires that we have a name
NameEntryTy *&getNameEntryPtr() { NameEntryStorageTy &getNameEntryPtr() {
assert(HasName && "Name is required"); assert(HasName && "Name is required");
NameEntryTy **Name = reinterpret_cast<NameEntryTy **>(this); NameEntryStorageTy *Name = reinterpret_cast<NameEntryStorageTy *>(this);
return *(Name - 1); return *(Name - 1);
} }
NameEntryTy *const &getNameEntryPtr() const { const NameEntryStorageTy &getNameEntryPtr() const {
assert(HasName && "Name is required"); assert(HasName && "Name is required");
NameEntryTy *const *Name = reinterpret_cast<NameEntryTy *const *>(this); const auto *Name = reinterpret_cast<const NameEntryStorageTy *>(this);
return *(Name - 1); return *(Name - 1);
} }
@@ -177,7 +186,7 @@ public:
if (!HasName) if (!HasName)
return StringRef(); return StringRef();
return getNameEntryPtr()->first(); return getNameEntryPtr().NameEntry->first();
} }
bool isRegistered() const { return IsRegistered; } bool isRegistered() const { return IsRegistered; }

View File

@@ -19,17 +19,20 @@ using namespace llvm;
// Sentinel value for the absolute pseudo section. // Sentinel value for the absolute pseudo section.
MCSection *MCSymbol::AbsolutePseudoSection = reinterpret_cast<MCSection *>(1); MCSection *MCSymbol::AbsolutePseudoSection = reinterpret_cast<MCSection *>(1);
void *MCSymbol::operator new(size_t s, NameEntryTy *Name, MCContext &Ctx) { void *MCSymbol::operator new(size_t s, const StringMapEntry<bool> *Name,
size_t Size = s + (Name ? sizeof(Name) : 0); MCContext &Ctx) {
// We may need more space for a Name to account for alignment. So allocate
// space for the storage type and not the name pointer.
size_t Size = s + (Name ? sizeof(NameEntryStorageTy) : 0);
// For safety, ensure that the alignment of a pointer is enough for an // For safety, ensure that the alignment of a pointer is enough for an
// MCSymbol. This also ensures we don't need padding between the name and // MCSymbol. This also ensures we don't need padding between the name and
// symbol. // symbol.
assert(alignOf<MCSymbol>() <= alignOf<NameEntryTy *>() && assert(alignOf<MCSymbol>() <= alignOf<NameEntryStorageTy>() &&
"Bad alignment of MCSymbol"); "Bad alignment of MCSymbol");
void *Storage = Ctx.allocate(Size, alignOf<NameEntryTy *>()); void *Storage = Ctx.allocate(Size, alignOf<NameEntryStorageTy>());
NameEntryTy **Start = static_cast<NameEntryTy**>(Storage); NameEntryStorageTy *Start = static_cast<NameEntryStorageTy*>(Storage);
NameEntryTy **End = Start + (Name ? 1 : 0); NameEntryStorageTy *End = Start + (Name ? 1 : 0);
return End; return End;
} }