mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-25 12:12:47 +01:00
e6f558ca83
of casting the integer '4' to such a pointer. There is no reason to expect '4' to be a portable or reliable pointer of this form. The only reason this ever worked is because the PointerIntPair that this actually gets used with has an artificially *low* presumed alignment that allowed it to work. When the alignment of PointerIntPair is derived from the actual type's alignment, the asserts start firing on this pointer. I'm amazed we never managed to do anything that triggered the alignment sanitizer with it, as this is just flat out UB. If folks dislike this approach to providing a sentinel fragment address, there are a myriad of other alternatives, suggestions welcome. But this one has the distinct advantage of not requiring the friend dance of ilist's sentinel (which I'll point out is *also* in play for MCFragment!) and seems to be using a nicely provided facility in MCFragment to establish just such dummy nodes. This is part of a series of patches to allow LLVM to check for complete pointee types when computing its pointer traits. This is absolutely necessary to get correct (or reproducible) results for things like how many low bits are guaranteed to be zero. llvm-svn: 256552
82 lines
2.8 KiB
C++
82 lines
2.8 KiB
C++
//===- lib/MC/MCSymbol.cpp - MCSymbol implementation ----------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "llvm/MC/MCSymbol.h"
|
|
#include "llvm/MC/MCAsmInfo.h"
|
|
#include "llvm/MC/MCContext.h"
|
|
#include "llvm/MC/MCExpr.h"
|
|
#include "llvm/Support/Debug.h"
|
|
#include "llvm/Support/ErrorHandling.h"
|
|
#include "llvm/Support/raw_ostream.h"
|
|
using namespace llvm;
|
|
|
|
// Only the address of this fragment is ever actually used.
|
|
static MCDummyFragment SentinelFragment(nullptr);
|
|
|
|
// Sentinel value for the absolute pseudo fragment.
|
|
MCFragment *MCSymbol::AbsolutePseudoFragment = &SentinelFragment;
|
|
|
|
void *MCSymbol::operator new(size_t s, const StringMapEntry<bool> *Name,
|
|
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
|
|
// MCSymbol. This also ensures we don't need padding between the name and
|
|
// symbol.
|
|
static_assert((unsigned)AlignOf<MCSymbol>::Alignment <=
|
|
AlignOf<NameEntryStorageTy>::Alignment,
|
|
"Bad alignment of MCSymbol");
|
|
void *Storage = Ctx.allocate(Size, alignOf<NameEntryStorageTy>());
|
|
NameEntryStorageTy *Start = static_cast<NameEntryStorageTy*>(Storage);
|
|
NameEntryStorageTy *End = Start + (Name ? 1 : 0);
|
|
return End;
|
|
}
|
|
|
|
void MCSymbol::setVariableValue(const MCExpr *Value) {
|
|
assert(!IsUsed && "Cannot set a variable that has already been used.");
|
|
assert(Value && "Invalid variable value!");
|
|
assert((SymbolContents == SymContentsUnset ||
|
|
SymbolContents == SymContentsVariable) &&
|
|
"Cannot give common/offset symbol a variable value");
|
|
this->Value = Value;
|
|
SymbolContents = SymContentsVariable;
|
|
setUndefined();
|
|
}
|
|
|
|
void MCSymbol::print(raw_ostream &OS, const MCAsmInfo *MAI) const {
|
|
// The name for this MCSymbol is required to be a valid target name. However,
|
|
// some targets support quoting names with funny characters. If the name
|
|
// contains a funny character, then print it quoted.
|
|
StringRef Name = getName();
|
|
if (!MAI || MAI->isValidUnquotedName(Name)) {
|
|
OS << Name;
|
|
return;
|
|
}
|
|
|
|
if (MAI && !MAI->supportsNameQuoting())
|
|
report_fatal_error("Symbol name with unsupported characters");
|
|
|
|
OS << '"';
|
|
for (char C : Name) {
|
|
if (C == '\n')
|
|
OS << "\\n";
|
|
else if (C == '"')
|
|
OS << "\\\"";
|
|
else
|
|
OS << C;
|
|
}
|
|
OS << '"';
|
|
}
|
|
|
|
#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
|
|
void MCSymbol::dump() const { dbgs() << *this; }
|
|
#endif
|