2015-11-06 03:28:16 +08:00
|
|
|
// WebAssemblyMCInstLower.cpp - Convert WebAssembly MachineInstr to an MCInst //
|
|
|
|
//
|
|
|
|
// 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 code to lower WebAssembly MachineInstrs to their
|
|
|
|
/// corresponding MCInst records.
|
|
|
|
///
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "WebAssemblyMCInstLower.h"
|
2015-11-13 01:04:33 +08:00
|
|
|
#include "WebAssemblyMachineFunctionInfo.h"
|
2015-11-06 03:28:16 +08:00
|
|
|
#include "llvm/CodeGen/AsmPrinter.h"
|
2015-11-13 01:04:33 +08:00
|
|
|
#include "llvm/CodeGen/MachineFunction.h"
|
|
|
|
#include "llvm/IR/Constants.h"
|
2015-11-06 03:28:16 +08:00
|
|
|
#include "llvm/MC/MCAsmInfo.h"
|
|
|
|
#include "llvm/MC/MCContext.h"
|
|
|
|
#include "llvm/MC/MCExpr.h"
|
|
|
|
#include "llvm/MC/MCInst.h"
|
|
|
|
#include "llvm/Support/ErrorHandling.h"
|
|
|
|
#include "llvm/Support/raw_ostream.h"
|
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
MCSymbol *
|
|
|
|
WebAssemblyMCInstLower::GetGlobalAddressSymbol(const MachineOperand &MO) const {
|
|
|
|
return Printer.getSymbol(MO.getGlobal());
|
|
|
|
}
|
|
|
|
|
2015-11-30 06:32:02 +08:00
|
|
|
MCSymbol *WebAssemblyMCInstLower::GetExternalSymbolSymbol(
|
|
|
|
const MachineOperand &MO) const {
|
2015-11-26 00:44:29 +08:00
|
|
|
return Printer.GetExternalSymbolSymbol(MO.getSymbolName());
|
|
|
|
}
|
|
|
|
|
2016-01-12 07:38:05 +08:00
|
|
|
MCOperand WebAssemblyMCInstLower::LowerSymbolOperand(MCSymbol *Sym,
|
|
|
|
int64_t Offset,
|
|
|
|
bool IsFunc) const {
|
|
|
|
MCSymbolRefExpr::VariantKind VK =
|
|
|
|
IsFunc ? MCSymbolRefExpr::VK_WebAssembly_FUNCTION
|
|
|
|
: MCSymbolRefExpr::VK_None;
|
|
|
|
const MCExpr *Expr = MCSymbolRefExpr::create(Sym, VK, Ctx);
|
2015-11-06 03:28:16 +08:00
|
|
|
|
2015-12-07 03:33:32 +08:00
|
|
|
if (Offset != 0) {
|
2016-01-12 07:38:05 +08:00
|
|
|
if (IsFunc)
|
|
|
|
report_fatal_error("Function addresses with offsets not supported");
|
2015-12-07 03:33:32 +08:00
|
|
|
Expr =
|
|
|
|
MCBinaryExpr::createAdd(Expr, MCConstantExpr::create(Offset, Ctx), Ctx);
|
|
|
|
}
|
2015-11-06 03:28:16 +08:00
|
|
|
|
|
|
|
return MCOperand::createExpr(Expr);
|
|
|
|
}
|
|
|
|
|
|
|
|
void WebAssemblyMCInstLower::Lower(const MachineInstr *MI,
|
|
|
|
MCInst &OutMI) const {
|
|
|
|
OutMI.setOpcode(MI->getOpcode());
|
|
|
|
|
|
|
|
for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
|
|
|
|
const MachineOperand &MO = MI->getOperand(i);
|
|
|
|
|
|
|
|
MCOperand MCOp;
|
|
|
|
switch (MO.getType()) {
|
|
|
|
default:
|
|
|
|
MI->dump();
|
|
|
|
llvm_unreachable("unknown operand type");
|
[WebAssembly] Make CFG stackification independent of basic-block labels.
This patch changes the way labels are referenced. Instead of referencing the
basic-block label name (eg. .LBB0_0), instructions now just have an immediate
which indicates the depth in the control-flow stack to find a label to jump to.
This makes them much closer to what we expect to have in the binary encoding,
and avoids the problem of basic-block label names not being explicit in the
binary encoding.
Also, it terminates blocks and loops with end_block and end_loop instructions,
rather than basic-block label names, for similar reasons.
This will also fix problems where two constructs appear to have the same label,
because we no longer explicitly use labels, so consumers that need labels will
presumably create their own labels, and presumably they won't reuse labels
when they do.
This patch does make the code a little more awkward to read; as a partial
mitigation, this patch also introduces comments showing where the labels are,
and comments on each branch showing where it's branching to.
llvm-svn: 257505
2016-01-13 03:14:46 +08:00
|
|
|
case MachineOperand::MO_MachineBasicBlock:
|
|
|
|
MI->dump();
|
|
|
|
llvm_unreachable("MachineBasicBlock operand should have been rewritten");
|
2015-11-13 01:04:33 +08:00
|
|
|
case MachineOperand::MO_Register: {
|
2015-11-06 03:28:16 +08:00
|
|
|
// Ignore all implicit register operands.
|
|
|
|
if (MO.isImplicit())
|
|
|
|
continue;
|
2015-11-13 01:04:33 +08:00
|
|
|
const WebAssemblyFunctionInfo &MFI =
|
|
|
|
*MI->getParent()->getParent()->getInfo<WebAssemblyFunctionInfo>();
|
|
|
|
unsigned WAReg = MFI.getWAReg(MO.getReg());
|
|
|
|
MCOp = MCOperand::createReg(WAReg);
|
2015-11-06 03:28:16 +08:00
|
|
|
break;
|
2015-11-13 01:04:33 +08:00
|
|
|
}
|
2015-11-06 03:28:16 +08:00
|
|
|
case MachineOperand::MO_Immediate:
|
|
|
|
MCOp = MCOperand::createImm(MO.getImm());
|
|
|
|
break;
|
2015-11-13 01:04:33 +08:00
|
|
|
case MachineOperand::MO_FPImmediate: {
|
|
|
|
// TODO: MC converts all floating point immediate operands to double.
|
|
|
|
// This is fine for numeric values, but may cause NaNs to change bits.
|
|
|
|
const ConstantFP *Imm = MO.getFPImm();
|
|
|
|
if (Imm->getType()->isFloatTy())
|
|
|
|
MCOp = MCOperand::createFPImm(Imm->getValueAPF().convertToFloat());
|
|
|
|
else if (Imm->getType()->isDoubleTy())
|
|
|
|
MCOp = MCOperand::createFPImm(Imm->getValueAPF().convertToDouble());
|
|
|
|
else
|
|
|
|
llvm_unreachable("unknown floating point immediate type");
|
2015-11-06 03:28:16 +08:00
|
|
|
break;
|
2015-11-13 01:04:33 +08:00
|
|
|
}
|
2015-11-06 03:28:16 +08:00
|
|
|
case MachineOperand::MO_GlobalAddress:
|
2016-01-12 07:38:05 +08:00
|
|
|
assert(MO.getTargetFlags() == 0 &&
|
|
|
|
"WebAssembly does not use target flags on GlobalAddresses");
|
|
|
|
MCOp = LowerSymbolOperand(GetGlobalAddressSymbol(MO), MO.getOffset(),
|
|
|
|
MO.getGlobal()->getValueType()->isFunctionTy());
|
2015-11-06 03:28:16 +08:00
|
|
|
break;
|
2015-11-26 00:44:29 +08:00
|
|
|
case MachineOperand::MO_ExternalSymbol:
|
2016-01-12 07:38:05 +08:00
|
|
|
// The target flag indicates whether this is a symbol for a
|
|
|
|
// variable or a function.
|
|
|
|
assert((MO.getTargetFlags() & -2) == 0 &&
|
|
|
|
"WebAssembly uses only one target flag bit on ExternalSymbols");
|
|
|
|
MCOp = LowerSymbolOperand(GetExternalSymbolSymbol(MO), /*Offset=*/0,
|
|
|
|
MO.getTargetFlags() & 1);
|
2015-11-26 00:44:29 +08:00
|
|
|
break;
|
2015-11-06 03:28:16 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
OutMI.addOperand(MCOp);
|
|
|
|
}
|
|
|
|
}
|