forked from OSchip/llvm-project
335 lines
11 KiB
C++
335 lines
11 KiB
C++
//===-- WebAssemblyAsmPrinter.cpp - WebAssembly LLVM assembly writer ------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
///
|
|
/// \file
|
|
/// \brief This file contains a printer that converts from our internal
|
|
/// representation of machine-dependent LLVM code to the WebAssembly assembly
|
|
/// language.
|
|
///
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "WebAssembly.h"
|
|
#include "WebAssemblyMachineFunctionInfo.h"
|
|
#include "WebAssemblyRegisterInfo.h"
|
|
#include "WebAssemblySubtarget.h"
|
|
#include "InstPrinter/WebAssemblyInstPrinter.h"
|
|
#include "MCTargetDesc/WebAssemblyMCTargetDesc.h"
|
|
|
|
#include "llvm/ADT/SmallString.h"
|
|
#include "llvm/CodeGen/AsmPrinter.h"
|
|
#include "llvm/CodeGen/MachineConstantPool.h"
|
|
#include "llvm/CodeGen/MachineInstr.h"
|
|
#include "llvm/IR/DataLayout.h"
|
|
#include "llvm/IR/DebugInfo.h"
|
|
#include "llvm/MC/MCStreamer.h"
|
|
#include "llvm/MC/MCSymbol.h"
|
|
#include "llvm/Support/Debug.h"
|
|
#include "llvm/Support/TargetRegistry.h"
|
|
#include "llvm/Support/raw_ostream.h"
|
|
|
|
using namespace llvm;
|
|
|
|
#define DEBUG_TYPE "asm-printer"
|
|
|
|
namespace {
|
|
|
|
class WebAssemblyAsmPrinter final : public AsmPrinter {
|
|
const WebAssemblyInstrInfo *TII;
|
|
|
|
public:
|
|
WebAssemblyAsmPrinter(TargetMachine &TM, std::unique_ptr<MCStreamer> Streamer)
|
|
: AsmPrinter(TM, std::move(Streamer)), TII(nullptr) {}
|
|
|
|
private:
|
|
const char *getPassName() const override {
|
|
return "WebAssembly Assembly Printer";
|
|
}
|
|
|
|
//===------------------------------------------------------------------===//
|
|
// MachineFunctionPass Implementation.
|
|
//===------------------------------------------------------------------===//
|
|
|
|
void getAnalysisUsage(AnalysisUsage &AU) const override {
|
|
AsmPrinter::getAnalysisUsage(AU);
|
|
}
|
|
|
|
bool runOnMachineFunction(MachineFunction &MF) override {
|
|
const auto &Subtarget = MF.getSubtarget<WebAssemblySubtarget>();
|
|
TII = Subtarget.getInstrInfo();
|
|
return AsmPrinter::runOnMachineFunction(MF);
|
|
}
|
|
|
|
//===------------------------------------------------------------------===//
|
|
// AsmPrinter Implementation.
|
|
//===------------------------------------------------------------------===//
|
|
|
|
void EmitGlobalVariable(const GlobalVariable *GV) override;
|
|
|
|
void EmitJumpTableInfo() override;
|
|
void EmitConstantPool() override;
|
|
void EmitFunctionEntryLabel() override;
|
|
void EmitFunctionBodyStart() override;
|
|
void EmitFunctionBodyEnd() override;
|
|
|
|
void EmitInstruction(const MachineInstr *MI) override;
|
|
|
|
static std::string toString(const APFloat &APF);
|
|
const char *toString(Type *Ty) const;
|
|
};
|
|
|
|
} // end anonymous namespace
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// Helpers.
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Untyped, lower-case version of the opcode's name matching the names
|
|
// WebAssembly opcodes are expected to have. The tablegen names are uppercase
|
|
// and suffixed with their type (after an underscore).
|
|
static SmallString<32> OpcodeName(const WebAssemblyInstrInfo *TII,
|
|
const MachineInstr *MI) {
|
|
std::string N(StringRef(TII->getName(MI->getOpcode())).lower());
|
|
std::string::size_type End = N.rfind('_');
|
|
End = std::string::npos == End ? N.length() : End;
|
|
return SmallString<32>(&N[0], &N[End]);
|
|
}
|
|
|
|
static std::string toSymbol(StringRef S) { return ("$" + S).str(); }
|
|
|
|
std::string WebAssemblyAsmPrinter::toString(const APFloat &FP) {
|
|
static const size_t BufBytes = 128;
|
|
char buf[BufBytes];
|
|
if (FP.isNaN())
|
|
assert((FP.bitwiseIsEqual(APFloat::getQNaN(FP.getSemantics())) ||
|
|
FP.bitwiseIsEqual(
|
|
APFloat::getQNaN(FP.getSemantics(), /*Negative=*/true))) &&
|
|
"convertToHexString handles neither SNaN nor NaN payloads");
|
|
// Use C99's hexadecimal floating-point representation.
|
|
auto Written = FP.convertToHexString(
|
|
buf, /*hexDigits=*/0, /*upperCase=*/false, APFloat::rmNearestTiesToEven);
|
|
(void)Written;
|
|
assert(Written != 0);
|
|
assert(Written < BufBytes);
|
|
return buf;
|
|
}
|
|
|
|
const char *WebAssemblyAsmPrinter::toString(Type *Ty) const {
|
|
switch (Ty->getTypeID()) {
|
|
default:
|
|
break;
|
|
// Treat all pointers as the underlying integer into linear memory.
|
|
case Type::PointerTyID:
|
|
switch (getPointerSize()) {
|
|
case 4:
|
|
return "i32";
|
|
case 8:
|
|
return "i64";
|
|
default:
|
|
llvm_unreachable("unsupported pointer size");
|
|
}
|
|
break;
|
|
case Type::FloatTyID:
|
|
return "f32";
|
|
case Type::DoubleTyID:
|
|
return "f64";
|
|
case Type::IntegerTyID:
|
|
switch (Ty->getIntegerBitWidth()) {
|
|
case 8:
|
|
return "i8";
|
|
case 16:
|
|
return "i16";
|
|
case 32:
|
|
return "i32";
|
|
case 64:
|
|
return "i64";
|
|
default:
|
|
break;
|
|
}
|
|
}
|
|
DEBUG(dbgs() << "Invalid type "; Ty->print(dbgs()); dbgs() << '\n');
|
|
llvm_unreachable("invalid type");
|
|
return "<invalid>";
|
|
}
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// WebAssemblyAsmPrinter Implementation.
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
void WebAssemblyAsmPrinter::EmitGlobalVariable(const GlobalVariable *GV) {
|
|
SmallString<128> Str;
|
|
raw_svector_ostream OS(Str);
|
|
StringRef Name = GV->getName();
|
|
DEBUG(dbgs() << "Global " << Name << '\n');
|
|
|
|
if (!GV->hasInitializer()) {
|
|
DEBUG(dbgs() << " Skipping declaration.\n");
|
|
return;
|
|
}
|
|
|
|
// Check to see if this is a special global used by LLVM.
|
|
static const char *Ignored[] = {"llvm.used", "llvm.metadata"};
|
|
for (const char *I : Ignored)
|
|
if (Name == I)
|
|
return;
|
|
// FIXME: Handle the following globals.
|
|
static const char *Unhandled[] = {"llvm.global_ctors", "llvm.global_dtors"};
|
|
for (const char *U : Unhandled)
|
|
if (Name == U)
|
|
report_fatal_error("Unhandled global");
|
|
if (Name.startswith("llvm."))
|
|
report_fatal_error("Unknown LLVM-internal global");
|
|
|
|
if (GV->isThreadLocal())
|
|
report_fatal_error("TLS isn't yet supported by WebAssembly");
|
|
|
|
const DataLayout &DL = getDataLayout();
|
|
const Constant *Init = GV->getInitializer();
|
|
if (isa<UndefValue>(Init))
|
|
Init = Constant::getNullValue(Init->getType());
|
|
unsigned Align = DL.getPrefTypeAlignment(Init->getType());
|
|
|
|
switch (GV->getLinkage()) {
|
|
case GlobalValue::InternalLinkage:
|
|
case GlobalValue::PrivateLinkage:
|
|
break;
|
|
case GlobalValue::AppendingLinkage:
|
|
case GlobalValue::LinkOnceAnyLinkage:
|
|
case GlobalValue::LinkOnceODRLinkage:
|
|
case GlobalValue::WeakAnyLinkage:
|
|
case GlobalValue::WeakODRLinkage:
|
|
case GlobalValue::ExternalLinkage:
|
|
case GlobalValue::CommonLinkage:
|
|
report_fatal_error("Linkage types other than internal and private aren't "
|
|
"supported by WebAssembly yet");
|
|
default:
|
|
llvm_unreachable("Unknown linkage type");
|
|
return;
|
|
}
|
|
|
|
OS << "(global " << toSymbol(Name) << ' ' << toString(Init->getType()) << ' ';
|
|
if (const auto *C = dyn_cast<ConstantInt>(Init)) {
|
|
assert(C->getBitWidth() <= 64 && "Printing wider types unimplemented");
|
|
OS << C->getZExtValue();
|
|
} else if (const auto *C = dyn_cast<ConstantFP>(Init)) {
|
|
OS << toString(C->getValueAPF());
|
|
} else {
|
|
assert(false && "Only integer and floating-point constants are supported");
|
|
}
|
|
OS << ") ;; align " << Align;
|
|
OutStreamer->EmitRawText(OS.str());
|
|
}
|
|
|
|
void WebAssemblyAsmPrinter::EmitConstantPool() {
|
|
assert(MF->getConstantPool()->getConstants().empty() &&
|
|
"WebAssembly disables constant pools");
|
|
}
|
|
|
|
void WebAssemblyAsmPrinter::EmitJumpTableInfo() {
|
|
// Nothing to do; jump tables are incorporated into the instruction stream.
|
|
}
|
|
|
|
void WebAssemblyAsmPrinter::EmitFunctionEntryLabel() {
|
|
SmallString<128> Str;
|
|
raw_svector_ostream OS(Str);
|
|
|
|
CurrentFnSym->redefineIfPossible();
|
|
|
|
// The function label could have already been emitted if two symbols end up
|
|
// conflicting due to asm renaming. Detect this and emit an error.
|
|
if (CurrentFnSym->isVariable())
|
|
report_fatal_error("'" + Twine(CurrentFnSym->getName()) +
|
|
"' is a protected alias");
|
|
if (CurrentFnSym->isDefined())
|
|
report_fatal_error("'" + Twine(CurrentFnSym->getName()) +
|
|
"' label emitted multiple times to assembly file");
|
|
|
|
OS << "(func " << toSymbol(CurrentFnSym->getName());
|
|
OutStreamer->EmitRawText(OS.str());
|
|
}
|
|
|
|
void WebAssemblyAsmPrinter::EmitFunctionBodyStart() {
|
|
SmallString<128> Str;
|
|
raw_svector_ostream OS(Str);
|
|
const Function *F = MF->getFunction();
|
|
Type *Rt = F->getReturnType();
|
|
if (!Rt->isVoidTy() || !F->arg_empty()) {
|
|
for (const Argument &A : F->args())
|
|
OS << " (param " << toString(A.getType()) << ')';
|
|
if (!Rt->isVoidTy())
|
|
OS << " (result " << toString(Rt) << ')';
|
|
OutStreamer->EmitRawText(OS.str());
|
|
}
|
|
}
|
|
|
|
void WebAssemblyAsmPrinter::EmitFunctionBodyEnd() {
|
|
SmallString<128> Str;
|
|
raw_svector_ostream OS(Str);
|
|
OS << ") ;; end func " << toSymbol(CurrentFnSym->getName());
|
|
OutStreamer->EmitRawText(OS.str());
|
|
}
|
|
|
|
void WebAssemblyAsmPrinter::EmitInstruction(const MachineInstr *MI) {
|
|
DEBUG(dbgs() << "EmitInstruction: " << *MI << '\n');
|
|
SmallString<128> Str;
|
|
raw_svector_ostream OS(Str);
|
|
|
|
unsigned NumDefs = MI->getDesc().getNumDefs();
|
|
assert(NumDefs <= 1 &&
|
|
"Instructions with multiple result values not implemented");
|
|
|
|
OS << '\t';
|
|
|
|
if (NumDefs != 0) {
|
|
const MachineOperand &MO = MI->getOperand(0);
|
|
unsigned Reg = MO.getReg();
|
|
OS << "(set_local @" << TargetRegisterInfo::virtReg2Index(Reg) << ' ';
|
|
}
|
|
|
|
if (MI->getOpcode() == WebAssembly::COPY) {
|
|
OS << '@' << TargetRegisterInfo::virtReg2Index(MI->getOperand(1).getReg());
|
|
} else {
|
|
OS << '(' << OpcodeName(TII, MI);
|
|
for (const MachineOperand &MO : MI->uses())
|
|
switch (MO.getType()) {
|
|
default:
|
|
llvm_unreachable("unexpected machine operand type");
|
|
case MachineOperand::MO_Register: {
|
|
if (MO.isImplicit())
|
|
continue;
|
|
unsigned Reg = MO.getReg();
|
|
OS << " @" << TargetRegisterInfo::virtReg2Index(Reg);
|
|
} break;
|
|
case MachineOperand::MO_Immediate: {
|
|
OS << ' ' << MO.getImm();
|
|
} break;
|
|
case MachineOperand::MO_FPImmediate: {
|
|
OS << ' ' << toString(MO.getFPImm()->getValueAPF());
|
|
} break;
|
|
case MachineOperand::MO_GlobalAddress: {
|
|
OS << ' ' << toSymbol(MO.getGlobal()->getName());
|
|
} break;
|
|
case MachineOperand::MO_MachineBasicBlock: {
|
|
OS << ' ' << toSymbol(MO.getMBB()->getSymbol()->getName());
|
|
} break;
|
|
}
|
|
OS << ')';
|
|
}
|
|
|
|
if (NumDefs != 0)
|
|
OS << ')';
|
|
|
|
OutStreamer->EmitRawText(OS.str());
|
|
}
|
|
|
|
// Force static initialization.
|
|
extern "C" void LLVMInitializeWebAssemblyAsmPrinter() {
|
|
RegisterAsmPrinter<WebAssemblyAsmPrinter> X(TheWebAssemblyTarget32);
|
|
RegisterAsmPrinter<WebAssemblyAsmPrinter> Y(TheWebAssemblyTarget64);
|
|
}
|