Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 1 | //- WebAssemblyISelDAGToDAG.cpp - A dag to dag inst selector for WebAssembly -// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | /// |
| 9 | /// \file |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 10 | /// This file defines an instruction selector for the WebAssembly target. |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 11 | /// |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 14 | #include "MCTargetDesc/WebAssemblyMCTargetDesc.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 15 | #include "WebAssembly.h" |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 16 | #include "WebAssemblyTargetMachine.h" |
| 17 | #include "llvm/CodeGen/SelectionDAGISel.h" |
| 18 | #include "llvm/IR/Function.h" // To access function attributes. |
| 19 | #include "llvm/Support/Debug.h" |
Craig Topper | 053cf4d | 2017-04-28 08:15:33 +0000 | [diff] [blame] | 20 | #include "llvm/Support/KnownBits.h" |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 21 | #include "llvm/Support/MathExtras.h" |
| 22 | #include "llvm/Support/raw_ostream.h" |
| 23 | using namespace llvm; |
| 24 | |
| 25 | #define DEBUG_TYPE "wasm-isel" |
| 26 | |
| 27 | //===--------------------------------------------------------------------===// |
| 28 | /// WebAssembly-specific code to select WebAssembly machine instructions for |
| 29 | /// SelectionDAG operations. |
| 30 | /// |
| 31 | namespace { |
| 32 | class WebAssemblyDAGToDAGISel final : public SelectionDAGISel { |
| 33 | /// Keep a pointer to the WebAssemblySubtarget around so that we can make the |
| 34 | /// right decision when generating code for different targets. |
| 35 | const WebAssemblySubtarget *Subtarget; |
| 36 | |
| 37 | bool ForCodeSize; |
| 38 | |
| 39 | public: |
Heejin Ahn | 18c56a0 | 2019-02-04 19:13:39 +0000 | [diff] [blame^] | 40 | WebAssemblyDAGToDAGISel(WebAssemblyTargetMachine &TM, |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 41 | CodeGenOpt::Level OptLevel) |
Heejin Ahn | 18c56a0 | 2019-02-04 19:13:39 +0000 | [diff] [blame^] | 42 | : SelectionDAGISel(TM, OptLevel), Subtarget(nullptr), ForCodeSize(false) { |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 43 | } |
| 44 | |
Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 45 | StringRef getPassName() const override { |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 46 | return "WebAssembly Instruction Selection"; |
| 47 | } |
| 48 | |
| 49 | bool runOnMachineFunction(MachineFunction &MF) override { |
Heejin Ahn | 569f090 | 2019-01-09 23:05:21 +0000 | [diff] [blame] | 50 | LLVM_DEBUG(dbgs() << "********** ISelDAGToDAG **********\n" |
| 51 | "********** Function: " |
| 52 | << MF.getName() << '\n'); |
| 53 | |
David Blaikie | 2110924 | 2017-12-15 23:52:06 +0000 | [diff] [blame] | 54 | ForCodeSize = MF.getFunction().hasFnAttribute(Attribute::OptimizeForSize) || |
| 55 | MF.getFunction().hasFnAttribute(Attribute::MinSize); |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 56 | Subtarget = &MF.getSubtarget<WebAssemblySubtarget>(); |
| 57 | return SelectionDAGISel::runOnMachineFunction(MF); |
| 58 | } |
| 59 | |
Justin Bogner | c6afd4b | 2016-05-13 22:44:57 +0000 | [diff] [blame] | 60 | void Select(SDNode *Node) override; |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 61 | |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 62 | bool SelectInlineAsmMemoryOperand(const SDValue &Op, unsigned ConstraintID, |
| 63 | std::vector<SDValue> &OutOps) override; |
| 64 | |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 65 | // Include the pieces autogenerated from the target description. |
| 66 | #include "WebAssemblyGenDAGISel.inc" |
| 67 | |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 68 | private: |
| 69 | // add select functions here... |
| 70 | }; |
| 71 | } // end anonymous namespace |
| 72 | |
Justin Bogner | c6afd4b | 2016-05-13 22:44:57 +0000 | [diff] [blame] | 73 | void WebAssemblyDAGToDAGISel::Select(SDNode *Node) { |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 74 | // If we have a custom node, we already have selected! |
| 75 | if (Node->isMachineOpcode()) { |
Nicola Zaghen | d34e60c | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 76 | LLVM_DEBUG(errs() << "== "; Node->dump(CurDAG); errs() << "\n"); |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 77 | Node->setNodeId(-1); |
Justin Bogner | c6afd4b | 2016-05-13 22:44:57 +0000 | [diff] [blame] | 78 | return; |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 79 | } |
| 80 | |
Heejin Ahn | a86152d | 2018-06-29 21:19:22 +0000 | [diff] [blame] | 81 | // Few custom selection stuff. If we need WebAssembly-specific selection, |
| 82 | // uncomment this block add corresponding case statements. |
| 83 | /* |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 84 | switch (Node->getOpcode()) { |
| 85 | default: |
| 86 | break; |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 87 | } |
Heejin Ahn | a86152d | 2018-06-29 21:19:22 +0000 | [diff] [blame] | 88 | */ |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 89 | |
| 90 | // Select the default instruction. |
Justin Bogner | c6afd4b | 2016-05-13 22:44:57 +0000 | [diff] [blame] | 91 | SelectCode(Node); |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 92 | } |
| 93 | |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 94 | bool WebAssemblyDAGToDAGISel::SelectInlineAsmMemoryOperand( |
| 95 | const SDValue &Op, unsigned ConstraintID, std::vector<SDValue> &OutOps) { |
| 96 | switch (ConstraintID) { |
| 97 | case InlineAsm::Constraint_i: |
| 98 | case InlineAsm::Constraint_m: |
| 99 | // We just support simple memory operands that just have a single address |
| 100 | // operand and need no special handling. |
| 101 | OutOps.push_back(Op); |
| 102 | return false; |
| 103 | default: |
| 104 | break; |
| 105 | } |
| 106 | |
| 107 | return true; |
| 108 | } |
| 109 | |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 110 | /// This pass converts a legalized DAG into a WebAssembly-specific DAG, ready |
| 111 | /// for instruction scheduling. |
| 112 | FunctionPass *llvm::createWebAssemblyISelDag(WebAssemblyTargetMachine &TM, |
| 113 | CodeGenOpt::Level OptLevel) { |
| 114 | return new WebAssemblyDAGToDAGISel(TM, OptLevel); |
| 115 | } |