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
20namespace llvm {
21
22class WebAssemblySubtarget;
23
24class WebAssemblyTargetLowering final : public TargetLowering {
25public:
26 WebAssemblyTargetLowering(const TargetMachine &TM,
27 const WebAssemblySubtarget &STI);
28
29 MVT getPointerTy(const DataLayout &DL, uint32_t AS = 0) const override;
30 MVT getPointerMemTy(const DataLayout &DL, uint32_t AS = 0) const override;
31
32private:
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 AtomicExpansionKind
38 shouldExpandAtomicRMWInIR(const AtomicRMWInst *) const override;
39 bool shouldScalarizeBinop(SDValue VecOp) const override;
40 FastISel *
41 createFastISel(FunctionLoweringInfo &FuncInfo,
42 const TargetLibraryInfo *LibInfo,
43 const LibcallLoweringInfo *LibcallLowering) const override;
44 MVT getScalarShiftAmountTy(const DataLayout &DL, EVT) const override;
45 MachineBasicBlock *
46 EmitInstrWithCustomInserter(MachineInstr &MI,
47 MachineBasicBlock *MBB) const override;
48 std::pair<unsigned, const TargetRegisterClass *>
49 getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI,
50 StringRef Constraint, MVT VT) const override;
51 bool isCheapToSpeculateCttz(Type *Ty) const override;
52 bool isCheapToSpeculateCtlz(Type *Ty) const override;
53 bool isLegalAddressingMode(const DataLayout &DL, const AddrMode &AM, Type *Ty,
54 unsigned AS,
55 Instruction *I = nullptr) const override;
56 bool allowsMisalignedMemoryAccesses(EVT, unsigned AddrSpace, Align Alignment,
57 MachineMemOperand::Flags Flags,
58 unsigned *Fast) const override;
59 bool isIntDivCheap(EVT VT, AttributeList Attr) const override;
60 bool isVectorLoadExtDesirable(SDValue ExtVal) const override;
61 bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override;
62 EVT getSetCCResultType(const DataLayout &DL, LLVMContext &Context,
63 EVT VT) const override;
64 void getTgtMemIntrinsic(SmallVectorImpl<IntrinsicInfo> &Infos,
65 const CallBase &I, MachineFunction &MF,
66 unsigned Intrinsic) const override;
67
68 void computeKnownBitsForTargetNode(const SDValue Op, KnownBits &Known,
69 const APInt &DemandedElts,
70 const SelectionDAG &DAG,
71 unsigned Depth) const override;
72
73 TargetLoweringBase::LegalizeTypeAction
74 getPreferredVectorAction(MVT VT) const override;
75 bool isFMAFasterThanFMulAndFAdd(const MachineFunction &MF,
76 EVT VT) const override;
77
78 SDValue LowerCall(CallLoweringInfo &CLI,
79 SmallVectorImpl<SDValue> &InVals) const override;
80 bool CanLowerReturn(CallingConv::ID CallConv, MachineFunction &MF,
81 bool isVarArg,
82 const SmallVectorImpl<ISD::OutputArg> &Outs,
83 LLVMContext &Context, const Type *RetTy) const override;
84 SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool isVarArg,
85 const SmallVectorImpl<ISD::OutputArg> &Outs,
86 const SmallVectorImpl<SDValue> &OutVals, const SDLoc &dl,
87 SelectionDAG &DAG) const override;
88 SDValue LowerFormalArguments(SDValue Chain, CallingConv::ID CallConv,
89 bool IsVarArg,
90 const SmallVectorImpl<ISD::InputArg> &Ins,
91 const SDLoc &DL, SelectionDAG &DAG,
92 SmallVectorImpl<SDValue> &InVals) const override;
93
94 void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue> &Results,
95 SelectionDAG &DAG) const override;
96
97 bool
98 shouldSimplifyDemandedVectorElts(SDValue Op,
99 const TargetLoweringOpt &TLO) const override;
100
101 // Custom lowering hooks.
102 SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
103 SDValue LowerFrameIndex(SDValue Op, SelectionDAG &DAG) const;
104 SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const;
105 SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const;
106 SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const;
107 SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const;
108 SDValue LowerExternalSymbol(SDValue Op, SelectionDAG &DAG) const;
109 SDValue LowerBR_JT(SDValue Op, SelectionDAG &DAG) const;
110 SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const;
111 SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG) const;
112 SDValue LowerCopyToReg(SDValue Op, SelectionDAG &DAG) const;
113 SDValue LowerIntrinsic(SDValue Op, SelectionDAG &DAG) const;
114 SDValue LowerSIGN_EXTEND_INREG(SDValue Op, SelectionDAG &DAG) const;
115 SDValue LowerEXTEND_VECTOR_INREG(SDValue Op, SelectionDAG &DAG) const;
116 SDValue LowerBUILD_VECTOR(SDValue Op, SelectionDAG &DAG) const;
117 SDValue LowerVECTOR_SHUFFLE(SDValue Op, SelectionDAG &DAG) const;
118 SDValue LowerSETCC(SDValue Op, SelectionDAG &DAG) const;
119 SDValue LowerAccessVectorElement(SDValue Op, SelectionDAG &DAG) const;
120 SDValue LowerShift(SDValue Op, SelectionDAG &DAG) const;
121 SDValue LowerFP_TO_INT_SAT(SDValue Op, SelectionDAG &DAG) const;
122 SDValue LowerFMIN(SDValue Op, SelectionDAG &DAG) const;
123 SDValue LowerFMAX(SDValue Op, SelectionDAG &DAG) const;
124 SDValue LowerLoad(SDValue Op, SelectionDAG &DAG) const;
125 SDValue LowerStore(SDValue Op, SelectionDAG &DAG) const;
126 SDValue LowerMUL_LOHI(SDValue Op, SelectionDAG &DAG) const;
127 SDValue Replace128Op(SDNode *N, SelectionDAG &DAG) const;
128 SDValue LowerUADDO(SDValue Op, SelectionDAG &DAG) const;
129
130 // Custom DAG combine hooks
131 SDValue
132 PerformDAGCombine(SDNode *N,
133 TargetLowering::DAGCombinerInfo &DCI) const override;
134};
135
136namespace WebAssembly {
137FastISel *createFastISel(FunctionLoweringInfo &funcInfo,
138 const TargetLibraryInfo *libInfo,
139 const LibcallLoweringInfo *libcallLowering);
140} // end namespace WebAssembly
141
142} // end namespace llvm
143
144#endif
145