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"
|
2017-02-25 07:18:00 +08:00
|
|
|
#include "WebAssemblyAsmPrinter.h"
|
2015-11-13 01:04:33 +08:00
|
|
|
#include "WebAssemblyMachineFunctionInfo.h"
|
2017-02-25 07:18:00 +08:00
|
|
|
#include "WebAssemblyRuntimeLibcallSignatures.h"
|
|
|
|
#include "WebAssemblyUtilities.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"
|
2017-02-25 07:18:00 +08:00
|
|
|
#include "llvm/MC/MCSymbolELF.h"
|
|
|
|
#include "llvm/MC/MCSymbolWasm.h"
|
2015-11-06 03:28:16 +08:00
|
|
|
#include "llvm/Support/ErrorHandling.h"
|
|
|
|
#include "llvm/Support/raw_ostream.h"
|
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
MCSymbol *
|
|
|
|
WebAssemblyMCInstLower::GetGlobalAddressSymbol(const MachineOperand &MO) const {
|
2017-02-25 07:18:00 +08:00
|
|
|
const GlobalValue *Global = MO.getGlobal();
|
|
|
|
MCSymbol *Sym = Printer.getSymbol(Global);
|
|
|
|
if (isa<MCSymbolELF>(Sym))
|
|
|
|
return Sym;
|
|
|
|
|
|
|
|
MCSymbolWasm *WasmSym = cast<MCSymbolWasm>(Sym);
|
|
|
|
|
|
|
|
if (const auto *FuncTy = dyn_cast<FunctionType>(Global->getValueType())) {
|
|
|
|
const MachineFunction &MF = *MO.getParent()->getParent()->getParent();
|
|
|
|
const TargetMachine &TM = MF.getTarget();
|
|
|
|
const Function &CurrentFunc = *MF.getFunction();
|
|
|
|
|
|
|
|
SmallVector<unsigned, 4> Returns;
|
|
|
|
SmallVector<unsigned, 4> Params;
|
|
|
|
|
|
|
|
WebAssembly::ValType iPTR =
|
|
|
|
MF.getSubtarget<WebAssemblySubtarget>().hasAddr64() ?
|
|
|
|
WebAssembly::ValType::I64 :
|
|
|
|
WebAssembly::ValType::I32;
|
|
|
|
|
|
|
|
SmallVector<MVT, 4> ResultMVTs;
|
|
|
|
ComputeLegalValueVTs(CurrentFunc, TM, FuncTy->getReturnType(), ResultMVTs);
|
|
|
|
// WebAssembly can't currently handle returning tuples.
|
|
|
|
if (ResultMVTs.size() <= 1)
|
|
|
|
for (MVT ResultMVT : ResultMVTs)
|
|
|
|
Returns.push_back(unsigned(WebAssembly::toValType(ResultMVT)));
|
|
|
|
else
|
|
|
|
Params.push_back(unsigned(iPTR));
|
|
|
|
|
|
|
|
for (Type *Ty : FuncTy->params()) {
|
|
|
|
SmallVector<MVT, 4> ParamMVTs;
|
|
|
|
ComputeLegalValueVTs(CurrentFunc, TM, Ty, ParamMVTs);
|
|
|
|
for (MVT ParamMVT : ParamMVTs)
|
|
|
|
Params.push_back(unsigned(WebAssembly::toValType(ParamMVT)));
|
|
|
|
}
|
|
|
|
|
|
|
|
if (FuncTy->isVarArg())
|
|
|
|
Params.push_back(unsigned(iPTR));
|
|
|
|
|
|
|
|
WasmSym->setReturns(std::move(Returns));
|
|
|
|
WasmSym->setParams(std::move(Params));
|
|
|
|
WasmSym->setIsFunction(true);
|
|
|
|
}
|
|
|
|
|
|
|
|
return WasmSym;
|
2015-11-06 03:28:16 +08:00
|
|
|
}
|
|
|
|
|
2015-11-30 06:32:02 +08:00
|
|
|
MCSymbol *WebAssemblyMCInstLower::GetExternalSymbolSymbol(
|
|
|
|
const MachineOperand &MO) const {
|
2017-02-25 07:18:00 +08:00
|
|
|
const char *Name = MO.getSymbolName();
|
|
|
|
MCSymbol *Sym = Printer.GetExternalSymbolSymbol(Name);
|
|
|
|
if (isa<MCSymbolELF>(Sym))
|
|
|
|
return Sym;
|
|
|
|
|
|
|
|
MCSymbolWasm *WasmSym = cast<MCSymbolWasm>(Sym);
|
|
|
|
const WebAssemblySubtarget &Subtarget = Printer.getSubtarget();
|
|
|
|
|
|
|
|
// __stack_pointer is a global variable; all other external symbols used by
|
|
|
|
// CodeGen are functions.
|
|
|
|
if (strcmp(Name, "__stack_pointer") == 0)
|
|
|
|
return WasmSym;
|
|
|
|
|
|
|
|
SmallVector<unsigned, 4> Returns;
|
|
|
|
SmallVector<unsigned, 4> Params;
|
|
|
|
GetSignature(Subtarget, Name, Returns, Params);
|
|
|
|
|
|
|
|
WasmSym->setReturns(std::move(Returns));
|
|
|
|
WasmSym->setParams(std::move(Params));
|
|
|
|
WasmSym->setIsFunction(true);
|
|
|
|
|
|
|
|
return WasmSym;
|
2015-11-26 00:44:29 +08:00
|
|
|
}
|
|
|
|
|
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;
|
2017-02-25 07:18:00 +08:00
|
|
|
if (!isa<MCSymbolELF>(Sym))
|
|
|
|
cast<MCSymbolWasm>(Sym)->setIsFunction(IsFunc);
|
|
|
|
|
2016-01-12 07:38:05 +08:00
|
|
|
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);
|
|
|
|
}
|
|
|
|
|
2017-02-25 07:18:00 +08:00
|
|
|
// Return the WebAssembly type associated with the given register class.
|
|
|
|
static unsigned getType(const TargetRegisterClass *RC) {
|
|
|
|
if (RC == &WebAssembly::I32RegClass)
|
|
|
|
return unsigned(WebAssembly::ExprType::I32);
|
|
|
|
if (RC == &WebAssembly::I64RegClass)
|
|
|
|
return unsigned(WebAssembly::ExprType::I64);
|
|
|
|
if (RC == &WebAssembly::F32RegClass)
|
|
|
|
return unsigned(WebAssembly::ExprType::F32);
|
|
|
|
if (RC == &WebAssembly::F64RegClass)
|
|
|
|
return unsigned(WebAssembly::ExprType::F64);
|
|
|
|
llvm_unreachable("Unexpected register class");
|
|
|
|
}
|
|
|
|
|
2015-11-06 03:28:16 +08:00
|
|
|
void WebAssemblyMCInstLower::Lower(const MachineInstr *MI,
|
|
|
|
MCInst &OutMI) const {
|
|
|
|
OutMI.setOpcode(MI->getOpcode());
|
|
|
|
|
2017-02-25 07:18:00 +08:00
|
|
|
const MCInstrDesc &Desc = MI->getDesc();
|
2015-11-06 03:28:16 +08:00
|
|
|
for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
|
|
|
|
const MachineOperand &MO = MI->getOperand(i);
|
|
|
|
|
|
|
|
MCOperand MCOp;
|
|
|
|
switch (MO.getType()) {
|
|
|
|
default:
|
2017-01-28 11:23:49 +08:00
|
|
|
MI->print(errs());
|
2015-11-06 03:28:16 +08:00
|
|
|
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:
|
2017-01-28 11:23:49 +08:00
|
|
|
MI->print(errs());
|
[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
|
|
|
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:
|
2017-02-25 07:18:00 +08:00
|
|
|
if (i < Desc.NumOperands) {
|
|
|
|
const MCOperandInfo &Info = Desc.OpInfo[i];
|
|
|
|
if (Info.OperandType == WebAssembly::OPERAND_TYPEINDEX) {
|
|
|
|
MCSymbol *Sym = Printer.createTempSymbol("typeindex");
|
|
|
|
if (!isa<MCSymbolELF>(Sym)) {
|
|
|
|
SmallVector<unsigned, 4> Returns;
|
|
|
|
SmallVector<unsigned, 4> Params;
|
|
|
|
|
|
|
|
const MachineRegisterInfo &MRI =
|
|
|
|
MI->getParent()->getParent()->getRegInfo();
|
|
|
|
for (const MachineOperand &MO : MI->defs())
|
|
|
|
Returns.push_back(getType(MRI.getRegClass(MO.getReg())));
|
|
|
|
for (const MachineOperand &MO : MI->explicit_uses())
|
|
|
|
if (MO.isReg())
|
|
|
|
Params.push_back(getType(MRI.getRegClass(MO.getReg())));
|
|
|
|
|
|
|
|
// call_indirect instructions have a callee operand at the end which
|
|
|
|
// doesn't count as a param.
|
|
|
|
if (WebAssembly::isCallIndirect(*MI))
|
|
|
|
Params.pop_back();
|
|
|
|
|
|
|
|
MCSymbolWasm *WasmSym = cast<MCSymbolWasm>(Sym);
|
|
|
|
WasmSym->setReturns(std::move(Returns));
|
|
|
|
WasmSym->setParams(std::move(Params));
|
|
|
|
WasmSym->setIsFunction(true);
|
|
|
|
|
|
|
|
const MCExpr *Expr =
|
|
|
|
MCSymbolRefExpr::create(WasmSym,
|
|
|
|
MCSymbolRefExpr::VK_WebAssembly_TYPEINDEX,
|
|
|
|
Ctx);
|
|
|
|
MCOp = MCOperand::createExpr(Expr);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2015-11-06 03:28:16 +08:00
|
|
|
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);
|
|
|
|
}
|
|
|
|
}
|