| //- WebAssemblyISelDAGToDAG.cpp - A dag to dag inst selector for WebAssembly -// | |
| // | |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. | |
| // See https://llvm.org/LICENSE.txt for license information. | |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception | |
| // | |
| //===----------------------------------------------------------------------===// | |
| /// | |
| /// \file | |
| /// This file defines an instruction selector for the WebAssembly target. | |
| /// | |
| //===----------------------------------------------------------------------===// | |
| #include "MCTargetDesc/WebAssemblyMCTargetDesc.h" | |
| #include "WebAssembly.h" | |
| #include "WebAssemblyTargetMachine.h" | |
| #include "llvm/CodeGen/SelectionDAGISel.h" | |
| #include "llvm/IR/DiagnosticInfo.h" | |
| #include "llvm/IR/Function.h" // To access function attributes. | |
| #include "llvm/IR/IntrinsicsWebAssembly.h" | |
| #include "llvm/Support/Debug.h" | |
| #include "llvm/Support/KnownBits.h" | |
| #include "llvm/Support/MathExtras.h" | |
| #include "llvm/Support/raw_ostream.h" | |
| using namespace llvm; | |
| #define DEBUG_TYPE "wasm-isel" | |
| //===--------------------------------------------------------------------===// | |
| /// WebAssembly-specific code to select WebAssembly machine instructions for | |
| /// SelectionDAG operations. | |
| /// | |
| namespace { | |
| class WebAssemblyDAGToDAGISel final : public SelectionDAGISel { | |
| /// Keep a pointer to the WebAssemblySubtarget around so that we can make the | |
| /// right decision when generating code for different targets. | |
| const WebAssemblySubtarget *Subtarget; | |
| public: | |
| WebAssemblyDAGToDAGISel(WebAssemblyTargetMachine &TM, | |
| CodeGenOpt::Level OptLevel) | |
| : SelectionDAGISel(TM, OptLevel), Subtarget(nullptr) { | |
| } | |
| StringRef getPassName() const override { | |
| return "WebAssembly Instruction Selection"; | |
| } | |
| bool runOnMachineFunction(MachineFunction &MF) override { | |
| LLVM_DEBUG(dbgs() << "********** ISelDAGToDAG **********\n" | |
| "********** Function: " | |
| << MF.getName() << '\n'); | |
| Subtarget = &MF.getSubtarget<WebAssemblySubtarget>(); | |
| // Wasm64 is not fully supported right now (and is not specified) | |
| if (Subtarget->hasAddr64()) | |
| report_fatal_error( | |
| "64-bit WebAssembly (wasm64) is not currently supported"); | |
| return SelectionDAGISel::runOnMachineFunction(MF); | |
| } | |
| void Select(SDNode *Node) override; | |
| bool SelectInlineAsmMemoryOperand(const SDValue &Op, unsigned ConstraintID, | |
| std::vector<SDValue> &OutOps) override; | |
| // Include the pieces autogenerated from the target description. | |
| #include "WebAssemblyGenDAGISel.inc" | |
| private: | |
| // add select functions here... | |
| }; | |
| } // end anonymous namespace | |
| void WebAssemblyDAGToDAGISel::Select(SDNode *Node) { | |
| // If we have a custom node, we already have selected! | |
| if (Node->isMachineOpcode()) { | |
| LLVM_DEBUG(errs() << "== "; Node->dump(CurDAG); errs() << "\n"); | |
| Node->setNodeId(-1); | |
| return; | |
| } | |
| // Few custom selection stuff. | |
| SDLoc DL(Node); | |
| MachineFunction &MF = CurDAG->getMachineFunction(); | |
| switch (Node->getOpcode()) { | |
| case ISD::ATOMIC_FENCE: { | |
| if (!MF.getSubtarget<WebAssemblySubtarget>().hasAtomics()) | |
| break; | |
| uint64_t SyncScopeID = | |
| cast<ConstantSDNode>(Node->getOperand(2).getNode())->getZExtValue(); | |
| MachineSDNode *Fence = nullptr; | |
| switch (SyncScopeID) { | |
| case SyncScope::SingleThread: | |
| // We lower a single-thread fence to a pseudo compiler barrier instruction | |
| // preventing instruction reordering. This will not be emitted in final | |
| // binary. | |
| Fence = CurDAG->getMachineNode(WebAssembly::COMPILER_FENCE, | |
| DL, // debug loc | |
| MVT::Other, // outchain type | |
| Node->getOperand(0) // inchain | |
| ); | |
| break; | |
| case SyncScope::System: | |
| // Currently wasm only supports sequentially consistent atomics, so we | |
| // always set the order to 0 (sequentially consistent). | |
| Fence = CurDAG->getMachineNode( | |
| WebAssembly::ATOMIC_FENCE, | |
| DL, // debug loc | |
| MVT::Other, // outchain type | |
| CurDAG->getTargetConstant(0, DL, MVT::i32), // order | |
| Node->getOperand(0) // inchain | |
| ); | |
| break; | |
| default: | |
| llvm_unreachable("Unknown scope!"); | |
| } | |
| ReplaceNode(Node, Fence); | |
| CurDAG->RemoveDeadNode(Node); | |
| return; | |
| } | |
| case ISD::GlobalTLSAddress: { | |
| const auto *GA = cast<GlobalAddressSDNode>(Node); | |
| if (!MF.getSubtarget<WebAssemblySubtarget>().hasBulkMemory()) | |
| report_fatal_error("cannot use thread-local storage without bulk memory", | |
| false); | |
| // Currently Emscripten does not support dynamic linking with threads. | |
| // Therefore, if we have thread-local storage, only the local-exec model | |
| // is possible. | |
| // TODO: remove this and implement proper TLS models once Emscripten | |
| // supports dynamic linking with threads. | |
| if (GA->getGlobal()->getThreadLocalMode() != | |
| GlobalValue::LocalExecTLSModel && | |
| !Subtarget->getTargetTriple().isOSEmscripten()) { | |
| report_fatal_error("only -ftls-model=local-exec is supported for now on " | |
| "non-Emscripten OSes: variable " + | |
| GA->getGlobal()->getName(), | |
| false); | |
| } | |
| MVT PtrVT = TLI->getPointerTy(CurDAG->getDataLayout()); | |
| assert(PtrVT == MVT::i32 && "only wasm32 is supported for now"); | |
| SDValue TLSBaseSym = CurDAG->getTargetExternalSymbol("__tls_base", PtrVT); | |
| SDValue TLSOffsetSym = CurDAG->getTargetGlobalAddress( | |
| GA->getGlobal(), DL, PtrVT, GA->getOffset(), 0); | |
| MachineSDNode *TLSBase = CurDAG->getMachineNode(WebAssembly::GLOBAL_GET_I32, | |
| DL, MVT::i32, TLSBaseSym); | |
| MachineSDNode *TLSOffset = CurDAG->getMachineNode( | |
| WebAssembly::CONST_I32, DL, MVT::i32, TLSOffsetSym); | |
| MachineSDNode *TLSAddress = | |
| CurDAG->getMachineNode(WebAssembly::ADD_I32, DL, MVT::i32, | |
| SDValue(TLSBase, 0), SDValue(TLSOffset, 0)); | |
| ReplaceNode(Node, TLSAddress); | |
| return; | |
| } | |
| case ISD::INTRINSIC_WO_CHAIN: { | |
| unsigned IntNo = cast<ConstantSDNode>(Node->getOperand(0))->getZExtValue(); | |
| switch (IntNo) { | |
| case Intrinsic::wasm_tls_size: { | |
| MVT PtrVT = TLI->getPointerTy(CurDAG->getDataLayout()); | |
| assert(PtrVT == MVT::i32 && "only wasm32 is supported for now"); | |
| MachineSDNode *TLSSize = CurDAG->getMachineNode( | |
| WebAssembly::GLOBAL_GET_I32, DL, PtrVT, | |
| CurDAG->getTargetExternalSymbol("__tls_size", MVT::i32)); | |
| ReplaceNode(Node, TLSSize); | |
| return; | |
| } | |
| case Intrinsic::wasm_tls_align: { | |
| MVT PtrVT = TLI->getPointerTy(CurDAG->getDataLayout()); | |
| assert(PtrVT == MVT::i32 && "only wasm32 is supported for now"); | |
| MachineSDNode *TLSAlign = CurDAG->getMachineNode( | |
| WebAssembly::GLOBAL_GET_I32, DL, PtrVT, | |
| CurDAG->getTargetExternalSymbol("__tls_align", MVT::i32)); | |
| ReplaceNode(Node, TLSAlign); | |
| return; | |
| } | |
| } | |
| break; | |
| } | |
| case ISD::INTRINSIC_W_CHAIN: { | |
| unsigned IntNo = cast<ConstantSDNode>(Node->getOperand(1))->getZExtValue(); | |
| switch (IntNo) { | |
| case Intrinsic::wasm_tls_base: { | |
| MVT PtrVT = TLI->getPointerTy(CurDAG->getDataLayout()); | |
| assert(PtrVT == MVT::i32 && "only wasm32 is supported for now"); | |
| MachineSDNode *TLSBase = CurDAG->getMachineNode( | |
| WebAssembly::GLOBAL_GET_I32, DL, MVT::i32, MVT::Other, | |
| CurDAG->getTargetExternalSymbol("__tls_base", PtrVT), | |
| Node->getOperand(0)); | |
| ReplaceNode(Node, TLSBase); | |
| return; | |
| } | |
| } | |
| break; | |
| } | |
| default: | |
| break; | |
| } | |
| // Select the default instruction. | |
| SelectCode(Node); | |
| } | |
| bool WebAssemblyDAGToDAGISel::SelectInlineAsmMemoryOperand( | |
| const SDValue &Op, unsigned ConstraintID, std::vector<SDValue> &OutOps) { | |
| switch (ConstraintID) { | |
| case InlineAsm::Constraint_m: | |
| // We just support simple memory operands that just have a single address | |
| // operand and need no special handling. | |
| OutOps.push_back(Op); | |
| return false; | |
| default: | |
| break; | |
| } | |
| return true; | |
| } | |
| /// This pass converts a legalized DAG into a WebAssembly-specific DAG, ready | |
| /// for instruction scheduling. | |
| FunctionPass *llvm::createWebAssemblyISelDag(WebAssemblyTargetMachine &TM, | |
| CodeGenOpt::Level OptLevel) { | |
| return new WebAssemblyDAGToDAGISel(TM, OptLevel); | |
| } |