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 | |
Heejin Ahn | 5f3a045 | 2019-04-13 16:54:39 +0000 | [diff] [blame] | 54 | ForCodeSize = MF.getFunction().hasOptSize(); |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 55 | Subtarget = &MF.getSubtarget<WebAssemblySubtarget>(); |
| 56 | return SelectionDAGISel::runOnMachineFunction(MF); |
| 57 | } |
| 58 | |
Justin Bogner | c6afd4b | 2016-05-13 22:44:57 +0000 | [diff] [blame] | 59 | void Select(SDNode *Node) override; |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 60 | |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 61 | bool SelectInlineAsmMemoryOperand(const SDValue &Op, unsigned ConstraintID, |
| 62 | std::vector<SDValue> &OutOps) override; |
| 63 | |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 64 | // Include the pieces autogenerated from the target description. |
| 65 | #include "WebAssemblyGenDAGISel.inc" |
| 66 | |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 67 | private: |
| 68 | // add select functions here... |
| 69 | }; |
| 70 | } // end anonymous namespace |
| 71 | |
Justin Bogner | c6afd4b | 2016-05-13 22:44:57 +0000 | [diff] [blame] | 72 | void WebAssemblyDAGToDAGISel::Select(SDNode *Node) { |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 73 | // If we have a custom node, we already have selected! |
| 74 | if (Node->isMachineOpcode()) { |
Nicola Zaghen | d34e60c | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 75 | LLVM_DEBUG(errs() << "== "; Node->dump(CurDAG); errs() << "\n"); |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 76 | Node->setNodeId(-1); |
Justin Bogner | c6afd4b | 2016-05-13 22:44:57 +0000 | [diff] [blame] | 77 | return; |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 78 | } |
| 79 | |
Heejin Ahn | a86152d | 2018-06-29 21:19:22 +0000 | [diff] [blame] | 80 | // Few custom selection stuff. If we need WebAssembly-specific selection, |
| 81 | // uncomment this block add corresponding case statements. |
| 82 | /* |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 83 | switch (Node->getOpcode()) { |
| 84 | default: |
| 85 | break; |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 86 | } |
Heejin Ahn | a86152d | 2018-06-29 21:19:22 +0000 | [diff] [blame] | 87 | */ |
JF Bastien | b9073fb | 2015-07-22 21:28:15 +0000 | [diff] [blame] | 88 | |
| 89 | // Select the default instruction. |
Justin Bogner | c6afd4b | 2016-05-13 22:44:57 +0000 | [diff] [blame] | 90 | SelectCode(Node); |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 91 | } |
| 92 | |
Dan Gohman | f19ed56 | 2015-11-13 01:42:29 +0000 | [diff] [blame] | 93 | bool WebAssemblyDAGToDAGISel::SelectInlineAsmMemoryOperand( |
| 94 | const SDValue &Op, unsigned ConstraintID, std::vector<SDValue> &OutOps) { |
| 95 | switch (ConstraintID) { |
| 96 | case InlineAsm::Constraint_i: |
| 97 | case InlineAsm::Constraint_m: |
| 98 | // We just support simple memory operands that just have a single address |
| 99 | // operand and need no special handling. |
| 100 | OutOps.push_back(Op); |
| 101 | return false; |
| 102 | default: |
| 103 | break; |
| 104 | } |
| 105 | |
| 106 | return true; |
| 107 | } |
| 108 | |
Dan Gohman | 10e730a | 2015-06-29 23:51:55 +0000 | [diff] [blame] | 109 | /// This pass converts a legalized DAG into a WebAssembly-specific DAG, ready |
| 110 | /// for instruction scheduling. |
| 111 | FunctionPass *llvm::createWebAssemblyISelDag(WebAssemblyTargetMachine &TM, |
| 112 | CodeGenOpt::Level OptLevel) { |
| 113 | return new WebAssemblyDAGToDAGISel(TM, OptLevel); |
| 114 | } |