1 //- WebAssemblyISelLowering.h - WebAssembly DAG Lowering Interface -*- C++ -*-// 2 // 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 6 // 7 //===----------------------------------------------------------------------===// 8 /// 9 /// \file 10 /// This file defines the interfaces that WebAssembly uses to lower LLVM 11 /// code into a selection DAG. 12 /// 13 //===----------------------------------------------------------------------===// 14 15 #ifndef LLVM_LIB_TARGET_WEBASSEMBLY_WEBASSEMBLYISELLOWERING_H 16 #define LLVM_LIB_TARGET_WEBASSEMBLY_WEBASSEMBLYISELLOWERING_H 17 18 #include "llvm/CodeGen/TargetLowering.h" 19 20 namespace llvm { 21 22 namespace WebAssemblyISD { 23 24 enum NodeType : unsigned { 25 FIRST_NUMBER = ISD::BUILTIN_OP_END, 26 #define HANDLE_NODETYPE(NODE) NODE, 27 #include "WebAssemblyISD.def" 28 #undef HANDLE_NODETYPE 29 }; 30 31 } // end namespace WebAssemblyISD 32 33 class WebAssemblySubtarget; 34 class WebAssemblyTargetMachine; 35 36 class WebAssemblyTargetLowering final : public TargetLowering { 37 public: 38 WebAssemblyTargetLowering(const TargetMachine &TM, 39 const WebAssemblySubtarget &STI); 40 41 private: 42 /// Keep a pointer to the WebAssemblySubtarget around so that we can make the 43 /// right decision when generating code for different targets. 44 const WebAssemblySubtarget *Subtarget; 45 46 AtomicExpansionKind shouldExpandAtomicRMWInIR(AtomicRMWInst *) const override; 47 FastISel *createFastISel(FunctionLoweringInfo &FuncInfo, 48 const TargetLibraryInfo *LibInfo) const override; 49 MVT getScalarShiftAmountTy(const DataLayout &DL, EVT) const override; 50 MachineBasicBlock * 51 EmitInstrWithCustomInserter(MachineInstr &MI, 52 MachineBasicBlock *MBB) const override; 53 const char *getTargetNodeName(unsigned Opcode) const override; 54 std::pair<unsigned, const TargetRegisterClass *> 55 getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI, 56 StringRef Constraint, MVT VT) const override; 57 bool isCheapToSpeculateCttz() const override; 58 bool isCheapToSpeculateCtlz() const override; 59 bool isLegalAddressingMode(const DataLayout &DL, const AddrMode &AM, Type *Ty, 60 unsigned AS, 61 Instruction *I = nullptr) const override; 62 bool allowsMisalignedMemoryAccesses(EVT, unsigned AddrSpace, unsigned Align, 63 MachineMemOperand::Flags Flags, 64 bool *Fast) const override; 65 bool isIntDivCheap(EVT VT, AttributeList Attr) const override; 66 bool isVectorLoadExtDesirable(SDValue ExtVal) const override; 67 EVT getSetCCResultType(const DataLayout &DL, LLVMContext &Context, 68 EVT VT) const override; 69 bool getTgtMemIntrinsic(IntrinsicInfo &Info, const CallInst &I, 70 MachineFunction &MF, 71 unsigned Intrinsic) const override; 72 73 SDValue LowerCall(CallLoweringInfo &CLI, 74 SmallVectorImpl<SDValue> &InVals) const override; 75 bool CanLowerReturn(CallingConv::ID CallConv, MachineFunction &MF, 76 bool isVarArg, 77 const SmallVectorImpl<ISD::OutputArg> &Outs, 78 LLVMContext &Context) const override; 79 SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool isVarArg, 80 const SmallVectorImpl<ISD::OutputArg> &Outs, 81 const SmallVectorImpl<SDValue> &OutVals, const SDLoc &dl, 82 SelectionDAG &DAG) const override; 83 SDValue LowerFormalArguments(SDValue Chain, CallingConv::ID CallConv, 84 bool IsVarArg, 85 const SmallVectorImpl<ISD::InputArg> &Ins, 86 const SDLoc &DL, SelectionDAG &DAG, 87 SmallVectorImpl<SDValue> &InVals) const override; 88 89 void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue> &Results, 90 SelectionDAG &DAG) const override; 91 92 const char *getClearCacheBuiltinName() const override { 93 report_fatal_error("llvm.clear_cache is not supported on wasm"); 94 } 95 96 // Custom lowering hooks. 97 SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override; 98 SDValue LowerFrameIndex(SDValue Op, SelectionDAG &DAG) const; 99 SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const; 100 SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const; 101 SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const; 102 SDValue LowerExternalSymbol(SDValue Op, SelectionDAG &DAG) const; 103 SDValue LowerBR_JT(SDValue Op, SelectionDAG &DAG) const; 104 SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const; 105 SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG) const; 106 SDValue LowerCopyToReg(SDValue Op, SelectionDAG &DAG) const; 107 SDValue LowerIntrinsic(SDValue Op, SelectionDAG &DAG) const; 108 SDValue LowerSIGN_EXTEND_INREG(SDValue Op, SelectionDAG &DAG) const; 109 SDValue LowerBUILD_VECTOR(SDValue Op, SelectionDAG &DAG) const; 110 SDValue LowerVECTOR_SHUFFLE(SDValue Op, SelectionDAG &DAG) const; 111 SDValue LowerAccessVectorElement(SDValue Op, SelectionDAG &DAG) const; 112 SDValue LowerShift(SDValue Op, SelectionDAG &DAG) const; 113 }; 114 115 namespace WebAssembly { 116 FastISel *createFastISel(FunctionLoweringInfo &funcInfo, 117 const TargetLibraryInfo *libInfo); 118 } // end namespace WebAssembly 119 120 } // end namespace llvm 121 122 #endif 123