1*0b57cec5SDimitry Andric //===-- WebAssemblyFastISel.cpp - WebAssembly FastISel implementation -----===//
2*0b57cec5SDimitry Andric //
3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0b57cec5SDimitry Andric //
7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
8*0b57cec5SDimitry Andric ///
9*0b57cec5SDimitry Andric /// \file
10*0b57cec5SDimitry Andric /// This file defines the WebAssembly-specific support for the FastISel
11*0b57cec5SDimitry Andric /// class. Some of the target-specific code is generated by tablegen in the file
12*0b57cec5SDimitry Andric /// WebAssemblyGenFastISel.inc, which is #included here.
13*0b57cec5SDimitry Andric ///
14*0b57cec5SDimitry Andric /// TODO: kill flags
15*0b57cec5SDimitry Andric ///
16*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
17*0b57cec5SDimitry Andric 
18*0b57cec5SDimitry Andric #include "MCTargetDesc/WebAssemblyMCTargetDesc.h"
19*0b57cec5SDimitry Andric #include "WebAssembly.h"
20*0b57cec5SDimitry Andric #include "WebAssemblyMachineFunctionInfo.h"
21*0b57cec5SDimitry Andric #include "WebAssemblySubtarget.h"
22*0b57cec5SDimitry Andric #include "WebAssemblyTargetMachine.h"
23*0b57cec5SDimitry Andric #include "llvm/Analysis/BranchProbabilityInfo.h"
24*0b57cec5SDimitry Andric #include "llvm/CodeGen/FastISel.h"
25*0b57cec5SDimitry Andric #include "llvm/CodeGen/FunctionLoweringInfo.h"
26*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineConstantPool.h"
27*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h"
28*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstrBuilder.h"
29*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h"
30*0b57cec5SDimitry Andric #include "llvm/IR/DataLayout.h"
31*0b57cec5SDimitry Andric #include "llvm/IR/DerivedTypes.h"
32*0b57cec5SDimitry Andric #include "llvm/IR/Function.h"
33*0b57cec5SDimitry Andric #include "llvm/IR/GetElementPtrTypeIterator.h"
34*0b57cec5SDimitry Andric #include "llvm/IR/GlobalAlias.h"
35*0b57cec5SDimitry Andric #include "llvm/IR/GlobalVariable.h"
36*0b57cec5SDimitry Andric #include "llvm/IR/Instructions.h"
37*0b57cec5SDimitry Andric #include "llvm/IR/IntrinsicInst.h"
38*0b57cec5SDimitry Andric #include "llvm/IR/Operator.h"
39*0b57cec5SDimitry Andric #include "llvm/IR/PatternMatch.h"
40*0b57cec5SDimitry Andric 
41*0b57cec5SDimitry Andric using namespace llvm;
42*0b57cec5SDimitry Andric using namespace PatternMatch;
43*0b57cec5SDimitry Andric 
44*0b57cec5SDimitry Andric #define DEBUG_TYPE "wasm-fastisel"
45*0b57cec5SDimitry Andric 
46*0b57cec5SDimitry Andric namespace {
47*0b57cec5SDimitry Andric 
48*0b57cec5SDimitry Andric class WebAssemblyFastISel final : public FastISel {
49*0b57cec5SDimitry Andric   // All possible address modes.
50*0b57cec5SDimitry Andric   class Address {
51*0b57cec5SDimitry Andric   public:
52*0b57cec5SDimitry Andric     using BaseKind = enum { RegBase, FrameIndexBase };
53*0b57cec5SDimitry Andric 
54*0b57cec5SDimitry Andric   private:
55*0b57cec5SDimitry Andric     BaseKind Kind = RegBase;
56*0b57cec5SDimitry Andric     union {
57*0b57cec5SDimitry Andric       unsigned Reg;
58*0b57cec5SDimitry Andric       int FI;
59*0b57cec5SDimitry Andric     } Base;
60*0b57cec5SDimitry Andric 
61eaeb601bSDimitry Andric     // Whether the base has been determined yet
62eaeb601bSDimitry Andric     bool IsBaseSet = false;
63eaeb601bSDimitry Andric 
64*0b57cec5SDimitry Andric     int64_t Offset = 0;
65*0b57cec5SDimitry Andric 
66*0b57cec5SDimitry Andric     const GlobalValue *GV = nullptr;
67*0b57cec5SDimitry Andric 
68*0b57cec5SDimitry Andric   public:
69*0b57cec5SDimitry Andric     // Innocuous defaults for our address.
70*0b57cec5SDimitry Andric     Address() { Base.Reg = 0; }
71*0b57cec5SDimitry Andric     void setKind(BaseKind K) {
72*0b57cec5SDimitry Andric       assert(!isSet() && "Can't change kind with non-zero base");
73*0b57cec5SDimitry Andric       Kind = K;
74*0b57cec5SDimitry Andric     }
75*0b57cec5SDimitry Andric     BaseKind getKind() const { return Kind; }
76*0b57cec5SDimitry Andric     bool isRegBase() const { return Kind == RegBase; }
77*0b57cec5SDimitry Andric     bool isFIBase() const { return Kind == FrameIndexBase; }
78*0b57cec5SDimitry Andric     void setReg(unsigned Reg) {
79*0b57cec5SDimitry Andric       assert(isRegBase() && "Invalid base register access!");
80eaeb601bSDimitry Andric       assert(!IsBaseSet && "Base cannot be reset");
81*0b57cec5SDimitry Andric       Base.Reg = Reg;
82eaeb601bSDimitry Andric       IsBaseSet = true;
83*0b57cec5SDimitry Andric     }
84*0b57cec5SDimitry Andric     unsigned getReg() const {
85*0b57cec5SDimitry Andric       assert(isRegBase() && "Invalid base register access!");
86*0b57cec5SDimitry Andric       return Base.Reg;
87*0b57cec5SDimitry Andric     }
88*0b57cec5SDimitry Andric     void setFI(unsigned FI) {
89*0b57cec5SDimitry Andric       assert(isFIBase() && "Invalid base frame index access!");
90eaeb601bSDimitry Andric       assert(!IsBaseSet && "Base cannot be reset");
91*0b57cec5SDimitry Andric       Base.FI = FI;
92eaeb601bSDimitry Andric       IsBaseSet = true;
93*0b57cec5SDimitry Andric     }
94*0b57cec5SDimitry Andric     unsigned getFI() const {
95*0b57cec5SDimitry Andric       assert(isFIBase() && "Invalid base frame index access!");
96*0b57cec5SDimitry Andric       return Base.FI;
97*0b57cec5SDimitry Andric     }
98*0b57cec5SDimitry Andric 
99*0b57cec5SDimitry Andric     void setOffset(int64_t NewOffset) {
100*0b57cec5SDimitry Andric       assert(NewOffset >= 0 && "Offsets must be non-negative");
101*0b57cec5SDimitry Andric       Offset = NewOffset;
102*0b57cec5SDimitry Andric     }
103*0b57cec5SDimitry Andric     int64_t getOffset() const { return Offset; }
104*0b57cec5SDimitry Andric     void setGlobalValue(const GlobalValue *G) { GV = G; }
105*0b57cec5SDimitry Andric     const GlobalValue *getGlobalValue() const { return GV; }
106eaeb601bSDimitry Andric     bool isSet() const { return IsBaseSet; }
107*0b57cec5SDimitry Andric   };
108*0b57cec5SDimitry Andric 
109*0b57cec5SDimitry Andric   /// Keep a pointer to the WebAssemblySubtarget around so that we can make the
110*0b57cec5SDimitry Andric   /// right decision when generating code for different targets.
111*0b57cec5SDimitry Andric   const WebAssemblySubtarget *Subtarget;
112*0b57cec5SDimitry Andric   LLVMContext *Context;
113*0b57cec5SDimitry Andric 
114*0b57cec5SDimitry Andric private:
115*0b57cec5SDimitry Andric   // Utility helper routines
116*0b57cec5SDimitry Andric   MVT::SimpleValueType getSimpleType(Type *Ty) {
117*0b57cec5SDimitry Andric     EVT VT = TLI.getValueType(DL, Ty, /*AllowUnknown=*/true);
118*0b57cec5SDimitry Andric     return VT.isSimple() ? VT.getSimpleVT().SimpleTy
119*0b57cec5SDimitry Andric                          : MVT::INVALID_SIMPLE_VALUE_TYPE;
120*0b57cec5SDimitry Andric   }
121*0b57cec5SDimitry Andric   MVT::SimpleValueType getLegalType(MVT::SimpleValueType VT) {
122*0b57cec5SDimitry Andric     switch (VT) {
123*0b57cec5SDimitry Andric     case MVT::i1:
124*0b57cec5SDimitry Andric     case MVT::i8:
125*0b57cec5SDimitry Andric     case MVT::i16:
126*0b57cec5SDimitry Andric       return MVT::i32;
127*0b57cec5SDimitry Andric     case MVT::i32:
128*0b57cec5SDimitry Andric     case MVT::i64:
129*0b57cec5SDimitry Andric     case MVT::f32:
130*0b57cec5SDimitry Andric     case MVT::f64:
131*0b57cec5SDimitry Andric     case MVT::exnref:
132*0b57cec5SDimitry Andric       return VT;
133*0b57cec5SDimitry Andric     case MVT::f16:
134*0b57cec5SDimitry Andric       return MVT::f32;
135*0b57cec5SDimitry Andric     case MVT::v16i8:
136*0b57cec5SDimitry Andric     case MVT::v8i16:
137*0b57cec5SDimitry Andric     case MVT::v4i32:
138*0b57cec5SDimitry Andric     case MVT::v4f32:
139*0b57cec5SDimitry Andric       if (Subtarget->hasSIMD128())
140*0b57cec5SDimitry Andric         return VT;
141*0b57cec5SDimitry Andric       break;
142*0b57cec5SDimitry Andric     case MVT::v2i64:
143*0b57cec5SDimitry Andric     case MVT::v2f64:
144*0b57cec5SDimitry Andric       if (Subtarget->hasUnimplementedSIMD128())
145*0b57cec5SDimitry Andric         return VT;
146*0b57cec5SDimitry Andric       break;
147*0b57cec5SDimitry Andric     default:
148*0b57cec5SDimitry Andric       break;
149*0b57cec5SDimitry Andric     }
150*0b57cec5SDimitry Andric     return MVT::INVALID_SIMPLE_VALUE_TYPE;
151*0b57cec5SDimitry Andric   }
152*0b57cec5SDimitry Andric   bool computeAddress(const Value *Obj, Address &Addr);
153*0b57cec5SDimitry Andric   void materializeLoadStoreOperands(Address &Addr);
154*0b57cec5SDimitry Andric   void addLoadStoreOperands(const Address &Addr, const MachineInstrBuilder &MIB,
155*0b57cec5SDimitry Andric                             MachineMemOperand *MMO);
156*0b57cec5SDimitry Andric   unsigned maskI1Value(unsigned Reg, const Value *V);
157*0b57cec5SDimitry Andric   unsigned getRegForI1Value(const Value *V, bool &Not);
158*0b57cec5SDimitry Andric   unsigned zeroExtendToI32(unsigned Reg, const Value *V,
159*0b57cec5SDimitry Andric                            MVT::SimpleValueType From);
160*0b57cec5SDimitry Andric   unsigned signExtendToI32(unsigned Reg, const Value *V,
161*0b57cec5SDimitry Andric                            MVT::SimpleValueType From);
162*0b57cec5SDimitry Andric   unsigned zeroExtend(unsigned Reg, const Value *V, MVT::SimpleValueType From,
163*0b57cec5SDimitry Andric                       MVT::SimpleValueType To);
164*0b57cec5SDimitry Andric   unsigned signExtend(unsigned Reg, const Value *V, MVT::SimpleValueType From,
165*0b57cec5SDimitry Andric                       MVT::SimpleValueType To);
166*0b57cec5SDimitry Andric   unsigned getRegForUnsignedValue(const Value *V);
167*0b57cec5SDimitry Andric   unsigned getRegForSignedValue(const Value *V);
168*0b57cec5SDimitry Andric   unsigned getRegForPromotedValue(const Value *V, bool IsSigned);
169*0b57cec5SDimitry Andric   unsigned notValue(unsigned Reg);
170*0b57cec5SDimitry Andric   unsigned copyValue(unsigned Reg);
171*0b57cec5SDimitry Andric 
172*0b57cec5SDimitry Andric   // Backend specific FastISel code.
173*0b57cec5SDimitry Andric   unsigned fastMaterializeAlloca(const AllocaInst *AI) override;
174*0b57cec5SDimitry Andric   unsigned fastMaterializeConstant(const Constant *C) override;
175*0b57cec5SDimitry Andric   bool fastLowerArguments() override;
176*0b57cec5SDimitry Andric 
177*0b57cec5SDimitry Andric   // Selection routines.
178*0b57cec5SDimitry Andric   bool selectCall(const Instruction *I);
179*0b57cec5SDimitry Andric   bool selectSelect(const Instruction *I);
180*0b57cec5SDimitry Andric   bool selectTrunc(const Instruction *I);
181*0b57cec5SDimitry Andric   bool selectZExt(const Instruction *I);
182*0b57cec5SDimitry Andric   bool selectSExt(const Instruction *I);
183*0b57cec5SDimitry Andric   bool selectICmp(const Instruction *I);
184*0b57cec5SDimitry Andric   bool selectFCmp(const Instruction *I);
185*0b57cec5SDimitry Andric   bool selectBitCast(const Instruction *I);
186*0b57cec5SDimitry Andric   bool selectLoad(const Instruction *I);
187*0b57cec5SDimitry Andric   bool selectStore(const Instruction *I);
188*0b57cec5SDimitry Andric   bool selectBr(const Instruction *I);
189*0b57cec5SDimitry Andric   bool selectRet(const Instruction *I);
190*0b57cec5SDimitry Andric   bool selectUnreachable(const Instruction *I);
191*0b57cec5SDimitry Andric 
192*0b57cec5SDimitry Andric public:
193*0b57cec5SDimitry Andric   // Backend specific FastISel code.
194*0b57cec5SDimitry Andric   WebAssemblyFastISel(FunctionLoweringInfo &FuncInfo,
195*0b57cec5SDimitry Andric                       const TargetLibraryInfo *LibInfo)
196*0b57cec5SDimitry Andric       : FastISel(FuncInfo, LibInfo, /*SkipTargetIndependentISel=*/true) {
197*0b57cec5SDimitry Andric     Subtarget = &FuncInfo.MF->getSubtarget<WebAssemblySubtarget>();
198*0b57cec5SDimitry Andric     Context = &FuncInfo.Fn->getContext();
199*0b57cec5SDimitry Andric   }
200*0b57cec5SDimitry Andric 
201*0b57cec5SDimitry Andric   bool fastSelectInstruction(const Instruction *I) override;
202*0b57cec5SDimitry Andric 
203*0b57cec5SDimitry Andric #include "WebAssemblyGenFastISel.inc"
204*0b57cec5SDimitry Andric };
205*0b57cec5SDimitry Andric 
206*0b57cec5SDimitry Andric } // end anonymous namespace
207*0b57cec5SDimitry Andric 
208*0b57cec5SDimitry Andric bool WebAssemblyFastISel::computeAddress(const Value *Obj, Address &Addr) {
209*0b57cec5SDimitry Andric   const User *U = nullptr;
210*0b57cec5SDimitry Andric   unsigned Opcode = Instruction::UserOp1;
211*0b57cec5SDimitry Andric   if (const auto *I = dyn_cast<Instruction>(Obj)) {
212*0b57cec5SDimitry Andric     // Don't walk into other basic blocks unless the object is an alloca from
213*0b57cec5SDimitry Andric     // another block, otherwise it may not have a virtual register assigned.
214*0b57cec5SDimitry Andric     if (FuncInfo.StaticAllocaMap.count(static_cast<const AllocaInst *>(Obj)) ||
215*0b57cec5SDimitry Andric         FuncInfo.MBBMap[I->getParent()] == FuncInfo.MBB) {
216*0b57cec5SDimitry Andric       Opcode = I->getOpcode();
217*0b57cec5SDimitry Andric       U = I;
218*0b57cec5SDimitry Andric     }
219*0b57cec5SDimitry Andric   } else if (const auto *C = dyn_cast<ConstantExpr>(Obj)) {
220*0b57cec5SDimitry Andric     Opcode = C->getOpcode();
221*0b57cec5SDimitry Andric     U = C;
222*0b57cec5SDimitry Andric   }
223*0b57cec5SDimitry Andric 
224*0b57cec5SDimitry Andric   if (auto *Ty = dyn_cast<PointerType>(Obj->getType()))
225*0b57cec5SDimitry Andric     if (Ty->getAddressSpace() > 255)
226*0b57cec5SDimitry Andric       // Fast instruction selection doesn't support the special
227*0b57cec5SDimitry Andric       // address spaces.
228*0b57cec5SDimitry Andric       return false;
229*0b57cec5SDimitry Andric 
230*0b57cec5SDimitry Andric   if (const auto *GV = dyn_cast<GlobalValue>(Obj)) {
231*0b57cec5SDimitry Andric     if (TLI.isPositionIndependent())
232*0b57cec5SDimitry Andric       return false;
233*0b57cec5SDimitry Andric     if (Addr.getGlobalValue())
234*0b57cec5SDimitry Andric       return false;
235*0b57cec5SDimitry Andric     if (GV->isThreadLocal())
236*0b57cec5SDimitry Andric       return false;
237*0b57cec5SDimitry Andric     Addr.setGlobalValue(GV);
238*0b57cec5SDimitry Andric     return true;
239*0b57cec5SDimitry Andric   }
240*0b57cec5SDimitry Andric 
241*0b57cec5SDimitry Andric   switch (Opcode) {
242*0b57cec5SDimitry Andric   default:
243*0b57cec5SDimitry Andric     break;
244*0b57cec5SDimitry Andric   case Instruction::BitCast: {
245*0b57cec5SDimitry Andric     // Look through bitcasts.
246*0b57cec5SDimitry Andric     return computeAddress(U->getOperand(0), Addr);
247*0b57cec5SDimitry Andric   }
248*0b57cec5SDimitry Andric   case Instruction::IntToPtr: {
249*0b57cec5SDimitry Andric     // Look past no-op inttoptrs.
250*0b57cec5SDimitry Andric     if (TLI.getValueType(DL, U->getOperand(0)->getType()) ==
251*0b57cec5SDimitry Andric         TLI.getPointerTy(DL))
252*0b57cec5SDimitry Andric       return computeAddress(U->getOperand(0), Addr);
253*0b57cec5SDimitry Andric     break;
254*0b57cec5SDimitry Andric   }
255*0b57cec5SDimitry Andric   case Instruction::PtrToInt: {
256*0b57cec5SDimitry Andric     // Look past no-op ptrtoints.
257*0b57cec5SDimitry Andric     if (TLI.getValueType(DL, U->getType()) == TLI.getPointerTy(DL))
258*0b57cec5SDimitry Andric       return computeAddress(U->getOperand(0), Addr);
259*0b57cec5SDimitry Andric     break;
260*0b57cec5SDimitry Andric   }
261*0b57cec5SDimitry Andric   case Instruction::GetElementPtr: {
262*0b57cec5SDimitry Andric     Address SavedAddr = Addr;
263*0b57cec5SDimitry Andric     uint64_t TmpOffset = Addr.getOffset();
264*0b57cec5SDimitry Andric     // Non-inbounds geps can wrap; wasm's offsets can't.
265*0b57cec5SDimitry Andric     if (!cast<GEPOperator>(U)->isInBounds())
266*0b57cec5SDimitry Andric       goto unsupported_gep;
267*0b57cec5SDimitry Andric     // Iterate through the GEP folding the constants into offsets where
268*0b57cec5SDimitry Andric     // we can.
269*0b57cec5SDimitry Andric     for (gep_type_iterator GTI = gep_type_begin(U), E = gep_type_end(U);
270*0b57cec5SDimitry Andric          GTI != E; ++GTI) {
271*0b57cec5SDimitry Andric       const Value *Op = GTI.getOperand();
272*0b57cec5SDimitry Andric       if (StructType *STy = GTI.getStructTypeOrNull()) {
273*0b57cec5SDimitry Andric         const StructLayout *SL = DL.getStructLayout(STy);
274*0b57cec5SDimitry Andric         unsigned Idx = cast<ConstantInt>(Op)->getZExtValue();
275*0b57cec5SDimitry Andric         TmpOffset += SL->getElementOffset(Idx);
276*0b57cec5SDimitry Andric       } else {
277*0b57cec5SDimitry Andric         uint64_t S = DL.getTypeAllocSize(GTI.getIndexedType());
278*0b57cec5SDimitry Andric         for (;;) {
279*0b57cec5SDimitry Andric           if (const auto *CI = dyn_cast<ConstantInt>(Op)) {
280*0b57cec5SDimitry Andric             // Constant-offset addressing.
281*0b57cec5SDimitry Andric             TmpOffset += CI->getSExtValue() * S;
282*0b57cec5SDimitry Andric             break;
283*0b57cec5SDimitry Andric           }
284*0b57cec5SDimitry Andric           if (S == 1 && Addr.isRegBase() && Addr.getReg() == 0) {
285*0b57cec5SDimitry Andric             // An unscaled add of a register. Set it as the new base.
286*0b57cec5SDimitry Andric             unsigned Reg = getRegForValue(Op);
287*0b57cec5SDimitry Andric             if (Reg == 0)
288*0b57cec5SDimitry Andric               return false;
289*0b57cec5SDimitry Andric             Addr.setReg(Reg);
290*0b57cec5SDimitry Andric             break;
291*0b57cec5SDimitry Andric           }
292*0b57cec5SDimitry Andric           if (canFoldAddIntoGEP(U, Op)) {
293*0b57cec5SDimitry Andric             // A compatible add with a constant operand. Fold the constant.
294*0b57cec5SDimitry Andric             auto *CI = cast<ConstantInt>(cast<AddOperator>(Op)->getOperand(1));
295*0b57cec5SDimitry Andric             TmpOffset += CI->getSExtValue() * S;
296*0b57cec5SDimitry Andric             // Iterate on the other operand.
297*0b57cec5SDimitry Andric             Op = cast<AddOperator>(Op)->getOperand(0);
298*0b57cec5SDimitry Andric             continue;
299*0b57cec5SDimitry Andric           }
300*0b57cec5SDimitry Andric           // Unsupported
301*0b57cec5SDimitry Andric           goto unsupported_gep;
302*0b57cec5SDimitry Andric         }
303*0b57cec5SDimitry Andric       }
304*0b57cec5SDimitry Andric     }
305*0b57cec5SDimitry Andric     // Don't fold in negative offsets.
306*0b57cec5SDimitry Andric     if (int64_t(TmpOffset) >= 0) {
307*0b57cec5SDimitry Andric       // Try to grab the base operand now.
308*0b57cec5SDimitry Andric       Addr.setOffset(TmpOffset);
309*0b57cec5SDimitry Andric       if (computeAddress(U->getOperand(0), Addr))
310*0b57cec5SDimitry Andric         return true;
311*0b57cec5SDimitry Andric     }
312*0b57cec5SDimitry Andric     // We failed, restore everything and try the other options.
313*0b57cec5SDimitry Andric     Addr = SavedAddr;
314*0b57cec5SDimitry Andric   unsupported_gep:
315*0b57cec5SDimitry Andric     break;
316*0b57cec5SDimitry Andric   }
317*0b57cec5SDimitry Andric   case Instruction::Alloca: {
318*0b57cec5SDimitry Andric     const auto *AI = cast<AllocaInst>(Obj);
319*0b57cec5SDimitry Andric     DenseMap<const AllocaInst *, int>::iterator SI =
320*0b57cec5SDimitry Andric         FuncInfo.StaticAllocaMap.find(AI);
321*0b57cec5SDimitry Andric     if (SI != FuncInfo.StaticAllocaMap.end()) {
322*0b57cec5SDimitry Andric       if (Addr.isSet()) {
323*0b57cec5SDimitry Andric         return false;
324*0b57cec5SDimitry Andric       }
325*0b57cec5SDimitry Andric       Addr.setKind(Address::FrameIndexBase);
326*0b57cec5SDimitry Andric       Addr.setFI(SI->second);
327*0b57cec5SDimitry Andric       return true;
328*0b57cec5SDimitry Andric     }
329*0b57cec5SDimitry Andric     break;
330*0b57cec5SDimitry Andric   }
331*0b57cec5SDimitry Andric   case Instruction::Add: {
332*0b57cec5SDimitry Andric     // Adds of constants are common and easy enough.
333*0b57cec5SDimitry Andric     const Value *LHS = U->getOperand(0);
334*0b57cec5SDimitry Andric     const Value *RHS = U->getOperand(1);
335*0b57cec5SDimitry Andric 
336*0b57cec5SDimitry Andric     if (isa<ConstantInt>(LHS))
337*0b57cec5SDimitry Andric       std::swap(LHS, RHS);
338*0b57cec5SDimitry Andric 
339*0b57cec5SDimitry Andric     if (const auto *CI = dyn_cast<ConstantInt>(RHS)) {
340*0b57cec5SDimitry Andric       uint64_t TmpOffset = Addr.getOffset() + CI->getSExtValue();
341*0b57cec5SDimitry Andric       if (int64_t(TmpOffset) >= 0) {
342*0b57cec5SDimitry Andric         Addr.setOffset(TmpOffset);
343*0b57cec5SDimitry Andric         return computeAddress(LHS, Addr);
344*0b57cec5SDimitry Andric       }
345*0b57cec5SDimitry Andric     }
346*0b57cec5SDimitry Andric 
347*0b57cec5SDimitry Andric     Address Backup = Addr;
348*0b57cec5SDimitry Andric     if (computeAddress(LHS, Addr) && computeAddress(RHS, Addr))
349*0b57cec5SDimitry Andric       return true;
350*0b57cec5SDimitry Andric     Addr = Backup;
351*0b57cec5SDimitry Andric 
352*0b57cec5SDimitry Andric     break;
353*0b57cec5SDimitry Andric   }
354*0b57cec5SDimitry Andric   case Instruction::Sub: {
355*0b57cec5SDimitry Andric     // Subs of constants are common and easy enough.
356*0b57cec5SDimitry Andric     const Value *LHS = U->getOperand(0);
357*0b57cec5SDimitry Andric     const Value *RHS = U->getOperand(1);
358*0b57cec5SDimitry Andric 
359*0b57cec5SDimitry Andric     if (const auto *CI = dyn_cast<ConstantInt>(RHS)) {
360*0b57cec5SDimitry Andric       int64_t TmpOffset = Addr.getOffset() - CI->getSExtValue();
361*0b57cec5SDimitry Andric       if (TmpOffset >= 0) {
362*0b57cec5SDimitry Andric         Addr.setOffset(TmpOffset);
363*0b57cec5SDimitry Andric         return computeAddress(LHS, Addr);
364*0b57cec5SDimitry Andric       }
365*0b57cec5SDimitry Andric     }
366*0b57cec5SDimitry Andric     break;
367*0b57cec5SDimitry Andric   }
368*0b57cec5SDimitry Andric   }
369*0b57cec5SDimitry Andric   if (Addr.isSet()) {
370*0b57cec5SDimitry Andric     return false;
371*0b57cec5SDimitry Andric   }
372*0b57cec5SDimitry Andric   unsigned Reg = getRegForValue(Obj);
373*0b57cec5SDimitry Andric   if (Reg == 0)
374*0b57cec5SDimitry Andric     return false;
375*0b57cec5SDimitry Andric   Addr.setReg(Reg);
376*0b57cec5SDimitry Andric   return Addr.getReg() != 0;
377*0b57cec5SDimitry Andric }
378*0b57cec5SDimitry Andric 
379*0b57cec5SDimitry Andric void WebAssemblyFastISel::materializeLoadStoreOperands(Address &Addr) {
380*0b57cec5SDimitry Andric   if (Addr.isRegBase()) {
381*0b57cec5SDimitry Andric     unsigned Reg = Addr.getReg();
382*0b57cec5SDimitry Andric     if (Reg == 0) {
383*0b57cec5SDimitry Andric       Reg = createResultReg(Subtarget->hasAddr64() ? &WebAssembly::I64RegClass
384*0b57cec5SDimitry Andric                                                    : &WebAssembly::I32RegClass);
385*0b57cec5SDimitry Andric       unsigned Opc = Subtarget->hasAddr64() ? WebAssembly::CONST_I64
386*0b57cec5SDimitry Andric                                             : WebAssembly::CONST_I32;
387*0b57cec5SDimitry Andric       BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(Opc), Reg)
388*0b57cec5SDimitry Andric           .addImm(0);
389*0b57cec5SDimitry Andric       Addr.setReg(Reg);
390*0b57cec5SDimitry Andric     }
391*0b57cec5SDimitry Andric   }
392*0b57cec5SDimitry Andric }
393*0b57cec5SDimitry Andric 
394*0b57cec5SDimitry Andric void WebAssemblyFastISel::addLoadStoreOperands(const Address &Addr,
395*0b57cec5SDimitry Andric                                                const MachineInstrBuilder &MIB,
396*0b57cec5SDimitry Andric                                                MachineMemOperand *MMO) {
397*0b57cec5SDimitry Andric   // Set the alignment operand (this is rewritten in SetP2AlignOperands).
398*0b57cec5SDimitry Andric   // TODO: Disable SetP2AlignOperands for FastISel and just do it here.
399*0b57cec5SDimitry Andric   MIB.addImm(0);
400*0b57cec5SDimitry Andric 
401*0b57cec5SDimitry Andric   if (const GlobalValue *GV = Addr.getGlobalValue())
402*0b57cec5SDimitry Andric     MIB.addGlobalAddress(GV, Addr.getOffset());
403*0b57cec5SDimitry Andric   else
404*0b57cec5SDimitry Andric     MIB.addImm(Addr.getOffset());
405*0b57cec5SDimitry Andric 
406*0b57cec5SDimitry Andric   if (Addr.isRegBase())
407*0b57cec5SDimitry Andric     MIB.addReg(Addr.getReg());
408*0b57cec5SDimitry Andric   else
409*0b57cec5SDimitry Andric     MIB.addFrameIndex(Addr.getFI());
410*0b57cec5SDimitry Andric 
411*0b57cec5SDimitry Andric   MIB.addMemOperand(MMO);
412*0b57cec5SDimitry Andric }
413*0b57cec5SDimitry Andric 
414*0b57cec5SDimitry Andric unsigned WebAssemblyFastISel::maskI1Value(unsigned Reg, const Value *V) {
415*0b57cec5SDimitry Andric   return zeroExtendToI32(Reg, V, MVT::i1);
416*0b57cec5SDimitry Andric }
417*0b57cec5SDimitry Andric 
418*0b57cec5SDimitry Andric unsigned WebAssemblyFastISel::getRegForI1Value(const Value *V, bool &Not) {
419*0b57cec5SDimitry Andric   if (const auto *ICmp = dyn_cast<ICmpInst>(V))
420*0b57cec5SDimitry Andric     if (const ConstantInt *C = dyn_cast<ConstantInt>(ICmp->getOperand(1)))
421*0b57cec5SDimitry Andric       if (ICmp->isEquality() && C->isZero() && C->getType()->isIntegerTy(32)) {
422*0b57cec5SDimitry Andric         Not = ICmp->isTrueWhenEqual();
423*0b57cec5SDimitry Andric         return getRegForValue(ICmp->getOperand(0));
424*0b57cec5SDimitry Andric       }
425*0b57cec5SDimitry Andric 
426*0b57cec5SDimitry Andric   Value *NotV;
427*0b57cec5SDimitry Andric   if (match(V, m_Not(m_Value(NotV))) && V->getType()->isIntegerTy(32)) {
428*0b57cec5SDimitry Andric     Not = true;
429*0b57cec5SDimitry Andric     return getRegForValue(NotV);
430*0b57cec5SDimitry Andric   }
431*0b57cec5SDimitry Andric 
432*0b57cec5SDimitry Andric   Not = false;
433*0b57cec5SDimitry Andric   unsigned Reg = getRegForValue(V);
434*0b57cec5SDimitry Andric   if (Reg == 0)
435*0b57cec5SDimitry Andric     return 0;
436*0b57cec5SDimitry Andric   return maskI1Value(Reg, V);
437*0b57cec5SDimitry Andric }
438*0b57cec5SDimitry Andric 
439*0b57cec5SDimitry Andric unsigned WebAssemblyFastISel::zeroExtendToI32(unsigned Reg, const Value *V,
440*0b57cec5SDimitry Andric                                               MVT::SimpleValueType From) {
441*0b57cec5SDimitry Andric   if (Reg == 0)
442*0b57cec5SDimitry Andric     return 0;
443*0b57cec5SDimitry Andric 
444*0b57cec5SDimitry Andric   switch (From) {
445*0b57cec5SDimitry Andric   case MVT::i1:
446*0b57cec5SDimitry Andric     // If the value is naturally an i1, we don't need to mask it. We only know
447*0b57cec5SDimitry Andric     // if a value is naturally an i1 if it is definitely lowered by FastISel,
448*0b57cec5SDimitry Andric     // not a DAG ISel fallback.
449*0b57cec5SDimitry Andric     if (V != nullptr && isa<Argument>(V) && cast<Argument>(V)->hasZExtAttr())
450*0b57cec5SDimitry Andric       return copyValue(Reg);
451*0b57cec5SDimitry Andric     break;
452*0b57cec5SDimitry Andric   case MVT::i8:
453*0b57cec5SDimitry Andric   case MVT::i16:
454*0b57cec5SDimitry Andric     break;
455*0b57cec5SDimitry Andric   case MVT::i32:
456*0b57cec5SDimitry Andric     return copyValue(Reg);
457*0b57cec5SDimitry Andric   default:
458*0b57cec5SDimitry Andric     return 0;
459*0b57cec5SDimitry Andric   }
460*0b57cec5SDimitry Andric 
461*0b57cec5SDimitry Andric   unsigned Imm = createResultReg(&WebAssembly::I32RegClass);
462*0b57cec5SDimitry Andric   BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc,
463*0b57cec5SDimitry Andric           TII.get(WebAssembly::CONST_I32), Imm)
464*0b57cec5SDimitry Andric       .addImm(~(~uint64_t(0) << MVT(From).getSizeInBits()));
465*0b57cec5SDimitry Andric 
466*0b57cec5SDimitry Andric   unsigned Result = createResultReg(&WebAssembly::I32RegClass);
467*0b57cec5SDimitry Andric   BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc,
468*0b57cec5SDimitry Andric           TII.get(WebAssembly::AND_I32), Result)
469*0b57cec5SDimitry Andric       .addReg(Reg)
470*0b57cec5SDimitry Andric       .addReg(Imm);
471*0b57cec5SDimitry Andric 
472*0b57cec5SDimitry Andric   return Result;
473*0b57cec5SDimitry Andric }
474*0b57cec5SDimitry Andric 
475*0b57cec5SDimitry Andric unsigned WebAssemblyFastISel::signExtendToI32(unsigned Reg, const Value *V,
476*0b57cec5SDimitry Andric                                               MVT::SimpleValueType From) {
477*0b57cec5SDimitry Andric   if (Reg == 0)
478*0b57cec5SDimitry Andric     return 0;
479*0b57cec5SDimitry Andric 
480*0b57cec5SDimitry Andric   switch (From) {
481*0b57cec5SDimitry Andric   case MVT::i1:
482*0b57cec5SDimitry Andric   case MVT::i8:
483*0b57cec5SDimitry Andric   case MVT::i16:
484*0b57cec5SDimitry Andric     break;
485*0b57cec5SDimitry Andric   case MVT::i32:
486*0b57cec5SDimitry Andric     return copyValue(Reg);
487*0b57cec5SDimitry Andric   default:
488*0b57cec5SDimitry Andric     return 0;
489*0b57cec5SDimitry Andric   }
490*0b57cec5SDimitry Andric 
491*0b57cec5SDimitry Andric   unsigned Imm = createResultReg(&WebAssembly::I32RegClass);
492*0b57cec5SDimitry Andric   BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc,
493*0b57cec5SDimitry Andric           TII.get(WebAssembly::CONST_I32), Imm)
494*0b57cec5SDimitry Andric       .addImm(32 - MVT(From).getSizeInBits());
495*0b57cec5SDimitry Andric 
496*0b57cec5SDimitry Andric   unsigned Left = createResultReg(&WebAssembly::I32RegClass);
497*0b57cec5SDimitry Andric   BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc,
498*0b57cec5SDimitry Andric           TII.get(WebAssembly::SHL_I32), Left)
499*0b57cec5SDimitry Andric       .addReg(Reg)
500*0b57cec5SDimitry Andric       .addReg(Imm);
501*0b57cec5SDimitry Andric 
502*0b57cec5SDimitry Andric   unsigned Right = createResultReg(&WebAssembly::I32RegClass);
503*0b57cec5SDimitry Andric   BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc,
504*0b57cec5SDimitry Andric           TII.get(WebAssembly::SHR_S_I32), Right)
505*0b57cec5SDimitry Andric       .addReg(Left)
506*0b57cec5SDimitry Andric       .addReg(Imm);
507*0b57cec5SDimitry Andric 
508*0b57cec5SDimitry Andric   return Right;
509*0b57cec5SDimitry Andric }
510*0b57cec5SDimitry Andric 
511*0b57cec5SDimitry Andric unsigned WebAssemblyFastISel::zeroExtend(unsigned Reg, const Value *V,
512*0b57cec5SDimitry Andric                                          MVT::SimpleValueType From,
513*0b57cec5SDimitry Andric                                          MVT::SimpleValueType To) {
514*0b57cec5SDimitry Andric   if (To == MVT::i64) {
515*0b57cec5SDimitry Andric     if (From == MVT::i64)
516*0b57cec5SDimitry Andric       return copyValue(Reg);
517*0b57cec5SDimitry Andric 
518*0b57cec5SDimitry Andric     Reg = zeroExtendToI32(Reg, V, From);
519*0b57cec5SDimitry Andric 
520*0b57cec5SDimitry Andric     unsigned Result = createResultReg(&WebAssembly::I64RegClass);
521*0b57cec5SDimitry Andric     BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc,
522*0b57cec5SDimitry Andric             TII.get(WebAssembly::I64_EXTEND_U_I32), Result)
523*0b57cec5SDimitry Andric         .addReg(Reg);
524*0b57cec5SDimitry Andric     return Result;
525*0b57cec5SDimitry Andric   }
526*0b57cec5SDimitry Andric 
527*0b57cec5SDimitry Andric   if (To == MVT::i32)
528*0b57cec5SDimitry Andric     return zeroExtendToI32(Reg, V, From);
529*0b57cec5SDimitry Andric 
530*0b57cec5SDimitry Andric   return 0;
531*0b57cec5SDimitry Andric }
532*0b57cec5SDimitry Andric 
533*0b57cec5SDimitry Andric unsigned WebAssemblyFastISel::signExtend(unsigned Reg, const Value *V,
534*0b57cec5SDimitry Andric                                          MVT::SimpleValueType From,
535*0b57cec5SDimitry Andric                                          MVT::SimpleValueType To) {
536*0b57cec5SDimitry Andric   if (To == MVT::i64) {
537*0b57cec5SDimitry Andric     if (From == MVT::i64)
538*0b57cec5SDimitry Andric       return copyValue(Reg);
539*0b57cec5SDimitry Andric 
540*0b57cec5SDimitry Andric     Reg = signExtendToI32(Reg, V, From);
541*0b57cec5SDimitry Andric 
542*0b57cec5SDimitry Andric     unsigned Result = createResultReg(&WebAssembly::I64RegClass);
543*0b57cec5SDimitry Andric     BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc,
544*0b57cec5SDimitry Andric             TII.get(WebAssembly::I64_EXTEND_S_I32), Result)
545*0b57cec5SDimitry Andric         .addReg(Reg);
546*0b57cec5SDimitry Andric     return Result;
547*0b57cec5SDimitry Andric   }
548*0b57cec5SDimitry Andric 
549*0b57cec5SDimitry Andric   if (To == MVT::i32)
550*0b57cec5SDimitry Andric     return signExtendToI32(Reg, V, From);
551*0b57cec5SDimitry Andric 
552*0b57cec5SDimitry Andric   return 0;
553*0b57cec5SDimitry Andric }
554*0b57cec5SDimitry Andric 
555*0b57cec5SDimitry Andric unsigned WebAssemblyFastISel::getRegForUnsignedValue(const Value *V) {
556*0b57cec5SDimitry Andric   MVT::SimpleValueType From = getSimpleType(V->getType());
557*0b57cec5SDimitry Andric   MVT::SimpleValueType To = getLegalType(From);
558*0b57cec5SDimitry Andric   unsigned VReg = getRegForValue(V);
559*0b57cec5SDimitry Andric   if (VReg == 0)
560*0b57cec5SDimitry Andric     return 0;
561*0b57cec5SDimitry Andric   return zeroExtend(VReg, V, From, To);
562*0b57cec5SDimitry Andric }
563*0b57cec5SDimitry Andric 
564*0b57cec5SDimitry Andric unsigned WebAssemblyFastISel::getRegForSignedValue(const Value *V) {
565*0b57cec5SDimitry Andric   MVT::SimpleValueType From = getSimpleType(V->getType());
566*0b57cec5SDimitry Andric   MVT::SimpleValueType To = getLegalType(From);
567*0b57cec5SDimitry Andric   unsigned VReg = getRegForValue(V);
568*0b57cec5SDimitry Andric   if (VReg == 0)
569*0b57cec5SDimitry Andric     return 0;
570*0b57cec5SDimitry Andric   return signExtend(VReg, V, From, To);
571*0b57cec5SDimitry Andric }
572*0b57cec5SDimitry Andric 
573*0b57cec5SDimitry Andric unsigned WebAssemblyFastISel::getRegForPromotedValue(const Value *V,
574*0b57cec5SDimitry Andric                                                      bool IsSigned) {
575*0b57cec5SDimitry Andric   return IsSigned ? getRegForSignedValue(V) : getRegForUnsignedValue(V);
576*0b57cec5SDimitry Andric }
577*0b57cec5SDimitry Andric 
578*0b57cec5SDimitry Andric unsigned WebAssemblyFastISel::notValue(unsigned Reg) {
579*0b57cec5SDimitry Andric   assert(MRI.getRegClass(Reg) == &WebAssembly::I32RegClass);
580*0b57cec5SDimitry Andric 
581*0b57cec5SDimitry Andric   unsigned NotReg = createResultReg(&WebAssembly::I32RegClass);
582*0b57cec5SDimitry Andric   BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc,
583*0b57cec5SDimitry Andric           TII.get(WebAssembly::EQZ_I32), NotReg)
584*0b57cec5SDimitry Andric       .addReg(Reg);
585*0b57cec5SDimitry Andric   return NotReg;
586*0b57cec5SDimitry Andric }
587*0b57cec5SDimitry Andric 
588*0b57cec5SDimitry Andric unsigned WebAssemblyFastISel::copyValue(unsigned Reg) {
589*0b57cec5SDimitry Andric   unsigned ResultReg = createResultReg(MRI.getRegClass(Reg));
590*0b57cec5SDimitry Andric   BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(WebAssembly::COPY),
591*0b57cec5SDimitry Andric           ResultReg)
592*0b57cec5SDimitry Andric       .addReg(Reg);
593*0b57cec5SDimitry Andric   return ResultReg;
594*0b57cec5SDimitry Andric }
595*0b57cec5SDimitry Andric 
596*0b57cec5SDimitry Andric unsigned WebAssemblyFastISel::fastMaterializeAlloca(const AllocaInst *AI) {
597*0b57cec5SDimitry Andric   DenseMap<const AllocaInst *, int>::iterator SI =
598*0b57cec5SDimitry Andric       FuncInfo.StaticAllocaMap.find(AI);
599*0b57cec5SDimitry Andric 
600*0b57cec5SDimitry Andric   if (SI != FuncInfo.StaticAllocaMap.end()) {
601*0b57cec5SDimitry Andric     unsigned ResultReg =
602*0b57cec5SDimitry Andric         createResultReg(Subtarget->hasAddr64() ? &WebAssembly::I64RegClass
603*0b57cec5SDimitry Andric                                                : &WebAssembly::I32RegClass);
604*0b57cec5SDimitry Andric     unsigned Opc =
605*0b57cec5SDimitry Andric         Subtarget->hasAddr64() ? WebAssembly::COPY_I64 : WebAssembly::COPY_I32;
606*0b57cec5SDimitry Andric     BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(Opc), ResultReg)
607*0b57cec5SDimitry Andric         .addFrameIndex(SI->second);
608*0b57cec5SDimitry Andric     return ResultReg;
609*0b57cec5SDimitry Andric   }
610*0b57cec5SDimitry Andric 
611*0b57cec5SDimitry Andric   return 0;
612*0b57cec5SDimitry Andric }
613*0b57cec5SDimitry Andric 
614*0b57cec5SDimitry Andric unsigned WebAssemblyFastISel::fastMaterializeConstant(const Constant *C) {
615*0b57cec5SDimitry Andric   if (const GlobalValue *GV = dyn_cast<GlobalValue>(C)) {
616*0b57cec5SDimitry Andric     if (TLI.isPositionIndependent())
617*0b57cec5SDimitry Andric       return 0;
618*0b57cec5SDimitry Andric     if (GV->isThreadLocal())
619*0b57cec5SDimitry Andric       return 0;
620*0b57cec5SDimitry Andric     unsigned ResultReg =
621*0b57cec5SDimitry Andric         createResultReg(Subtarget->hasAddr64() ? &WebAssembly::I64RegClass
622*0b57cec5SDimitry Andric                                                : &WebAssembly::I32RegClass);
623*0b57cec5SDimitry Andric     unsigned Opc = Subtarget->hasAddr64() ? WebAssembly::CONST_I64
624*0b57cec5SDimitry Andric                                           : WebAssembly::CONST_I32;
625*0b57cec5SDimitry Andric     BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(Opc), ResultReg)
626*0b57cec5SDimitry Andric         .addGlobalAddress(GV);
627*0b57cec5SDimitry Andric     return ResultReg;
628*0b57cec5SDimitry Andric   }
629*0b57cec5SDimitry Andric 
630*0b57cec5SDimitry Andric   // Let target-independent code handle it.
631*0b57cec5SDimitry Andric   return 0;
632*0b57cec5SDimitry Andric }
633*0b57cec5SDimitry Andric 
634*0b57cec5SDimitry Andric bool WebAssemblyFastISel::fastLowerArguments() {
635*0b57cec5SDimitry Andric   if (!FuncInfo.CanLowerReturn)
636*0b57cec5SDimitry Andric     return false;
637*0b57cec5SDimitry Andric 
638*0b57cec5SDimitry Andric   const Function *F = FuncInfo.Fn;
639*0b57cec5SDimitry Andric   if (F->isVarArg())
640*0b57cec5SDimitry Andric     return false;
641*0b57cec5SDimitry Andric 
6425ffd83dbSDimitry Andric   if (FuncInfo.Fn->getCallingConv() == CallingConv::Swift)
6435ffd83dbSDimitry Andric     return false;
6445ffd83dbSDimitry Andric 
645*0b57cec5SDimitry Andric   unsigned I = 0;
646*0b57cec5SDimitry Andric   for (auto const &Arg : F->args()) {
647*0b57cec5SDimitry Andric     const AttributeList &Attrs = F->getAttributes();
648*0b57cec5SDimitry Andric     if (Attrs.hasParamAttribute(I, Attribute::ByVal) ||
649*0b57cec5SDimitry Andric         Attrs.hasParamAttribute(I, Attribute::SwiftSelf) ||
650*0b57cec5SDimitry Andric         Attrs.hasParamAttribute(I, Attribute::SwiftError) ||
651*0b57cec5SDimitry Andric         Attrs.hasParamAttribute(I, Attribute::InAlloca) ||
652*0b57cec5SDimitry Andric         Attrs.hasParamAttribute(I, Attribute::Nest))
653*0b57cec5SDimitry Andric       return false;
654*0b57cec5SDimitry Andric 
655*0b57cec5SDimitry Andric     Type *ArgTy = Arg.getType();
656*0b57cec5SDimitry Andric     if (ArgTy->isStructTy() || ArgTy->isArrayTy())
657*0b57cec5SDimitry Andric       return false;
658*0b57cec5SDimitry Andric     if (!Subtarget->hasSIMD128() && ArgTy->isVectorTy())
659*0b57cec5SDimitry Andric       return false;
660*0b57cec5SDimitry Andric 
661*0b57cec5SDimitry Andric     unsigned Opc;
662*0b57cec5SDimitry Andric     const TargetRegisterClass *RC;
663*0b57cec5SDimitry Andric     switch (getSimpleType(ArgTy)) {
664*0b57cec5SDimitry Andric     case MVT::i1:
665*0b57cec5SDimitry Andric     case MVT::i8:
666*0b57cec5SDimitry Andric     case MVT::i16:
667*0b57cec5SDimitry Andric     case MVT::i32:
668*0b57cec5SDimitry Andric       Opc = WebAssembly::ARGUMENT_i32;
669*0b57cec5SDimitry Andric       RC = &WebAssembly::I32RegClass;
670*0b57cec5SDimitry Andric       break;
671*0b57cec5SDimitry Andric     case MVT::i64:
672*0b57cec5SDimitry Andric       Opc = WebAssembly::ARGUMENT_i64;
673*0b57cec5SDimitry Andric       RC = &WebAssembly::I64RegClass;
674*0b57cec5SDimitry Andric       break;
675*0b57cec5SDimitry Andric     case MVT::f32:
676*0b57cec5SDimitry Andric       Opc = WebAssembly::ARGUMENT_f32;
677*0b57cec5SDimitry Andric       RC = &WebAssembly::F32RegClass;
678*0b57cec5SDimitry Andric       break;
679*0b57cec5SDimitry Andric     case MVT::f64:
680*0b57cec5SDimitry Andric       Opc = WebAssembly::ARGUMENT_f64;
681*0b57cec5SDimitry Andric       RC = &WebAssembly::F64RegClass;
682*0b57cec5SDimitry Andric       break;
683*0b57cec5SDimitry Andric     case MVT::v16i8:
684*0b57cec5SDimitry Andric       Opc = WebAssembly::ARGUMENT_v16i8;
685*0b57cec5SDimitry Andric       RC = &WebAssembly::V128RegClass;
686*0b57cec5SDimitry Andric       break;
687*0b57cec5SDimitry Andric     case MVT::v8i16:
688*0b57cec5SDimitry Andric       Opc = WebAssembly::ARGUMENT_v8i16;
689*0b57cec5SDimitry Andric       RC = &WebAssembly::V128RegClass;
690*0b57cec5SDimitry Andric       break;
691*0b57cec5SDimitry Andric     case MVT::v4i32:
692*0b57cec5SDimitry Andric       Opc = WebAssembly::ARGUMENT_v4i32;
693*0b57cec5SDimitry Andric       RC = &WebAssembly::V128RegClass;
694*0b57cec5SDimitry Andric       break;
695*0b57cec5SDimitry Andric     case MVT::v2i64:
696*0b57cec5SDimitry Andric       Opc = WebAssembly::ARGUMENT_v2i64;
697*0b57cec5SDimitry Andric       RC = &WebAssembly::V128RegClass;
698*0b57cec5SDimitry Andric       break;
699*0b57cec5SDimitry Andric     case MVT::v4f32:
700*0b57cec5SDimitry Andric       Opc = WebAssembly::ARGUMENT_v4f32;
701*0b57cec5SDimitry Andric       RC = &WebAssembly::V128RegClass;
702*0b57cec5SDimitry Andric       break;
703*0b57cec5SDimitry Andric     case MVT::v2f64:
704*0b57cec5SDimitry Andric       Opc = WebAssembly::ARGUMENT_v2f64;
705*0b57cec5SDimitry Andric       RC = &WebAssembly::V128RegClass;
706*0b57cec5SDimitry Andric       break;
707*0b57cec5SDimitry Andric     case MVT::exnref:
708*0b57cec5SDimitry Andric       Opc = WebAssembly::ARGUMENT_exnref;
709*0b57cec5SDimitry Andric       RC = &WebAssembly::EXNREFRegClass;
710*0b57cec5SDimitry Andric       break;
711*0b57cec5SDimitry Andric     default:
712*0b57cec5SDimitry Andric       return false;
713*0b57cec5SDimitry Andric     }
714*0b57cec5SDimitry Andric     unsigned ResultReg = createResultReg(RC);
715*0b57cec5SDimitry Andric     BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(Opc), ResultReg)
716*0b57cec5SDimitry Andric         .addImm(I);
717*0b57cec5SDimitry Andric     updateValueMap(&Arg, ResultReg);
718*0b57cec5SDimitry Andric 
719*0b57cec5SDimitry Andric     ++I;
720*0b57cec5SDimitry Andric   }
721*0b57cec5SDimitry Andric 
722*0b57cec5SDimitry Andric   MRI.addLiveIn(WebAssembly::ARGUMENTS);
723*0b57cec5SDimitry Andric 
724*0b57cec5SDimitry Andric   auto *MFI = MF->getInfo<WebAssemblyFunctionInfo>();
725*0b57cec5SDimitry Andric   for (auto const &Arg : F->args()) {
726*0b57cec5SDimitry Andric     MVT::SimpleValueType ArgTy = getLegalType(getSimpleType(Arg.getType()));
727*0b57cec5SDimitry Andric     if (ArgTy == MVT::INVALID_SIMPLE_VALUE_TYPE) {
728*0b57cec5SDimitry Andric       MFI->clearParamsAndResults();
729*0b57cec5SDimitry Andric       return false;
730*0b57cec5SDimitry Andric     }
731*0b57cec5SDimitry Andric     MFI->addParam(ArgTy);
732*0b57cec5SDimitry Andric   }
733*0b57cec5SDimitry Andric 
734*0b57cec5SDimitry Andric   if (!F->getReturnType()->isVoidTy()) {
735*0b57cec5SDimitry Andric     MVT::SimpleValueType RetTy =
736*0b57cec5SDimitry Andric         getLegalType(getSimpleType(F->getReturnType()));
737*0b57cec5SDimitry Andric     if (RetTy == MVT::INVALID_SIMPLE_VALUE_TYPE) {
738*0b57cec5SDimitry Andric       MFI->clearParamsAndResults();
739*0b57cec5SDimitry Andric       return false;
740*0b57cec5SDimitry Andric     }
741*0b57cec5SDimitry Andric     MFI->addResult(RetTy);
742*0b57cec5SDimitry Andric   }
743*0b57cec5SDimitry Andric 
744*0b57cec5SDimitry Andric   return true;
745*0b57cec5SDimitry Andric }
746*0b57cec5SDimitry Andric 
747*0b57cec5SDimitry Andric bool WebAssemblyFastISel::selectCall(const Instruction *I) {
748*0b57cec5SDimitry Andric   const auto *Call = cast<CallInst>(I);
749*0b57cec5SDimitry Andric 
750*0b57cec5SDimitry Andric   // TODO: Support tail calls in FastISel
751*0b57cec5SDimitry Andric   if (Call->isMustTailCall() || Call->isInlineAsm() ||
752*0b57cec5SDimitry Andric       Call->getFunctionType()->isVarArg())
753*0b57cec5SDimitry Andric     return false;
754*0b57cec5SDimitry Andric 
755*0b57cec5SDimitry Andric   Function *Func = Call->getCalledFunction();
756*0b57cec5SDimitry Andric   if (Func && Func->isIntrinsic())
757*0b57cec5SDimitry Andric     return false;
758*0b57cec5SDimitry Andric 
7595ffd83dbSDimitry Andric   if (Call->getCallingConv() == CallingConv::Swift)
7605ffd83dbSDimitry Andric     return false;
7615ffd83dbSDimitry Andric 
762*0b57cec5SDimitry Andric   bool IsDirect = Func != nullptr;
7635ffd83dbSDimitry Andric   if (!IsDirect && isa<ConstantExpr>(Call->getCalledOperand()))
764*0b57cec5SDimitry Andric     return false;
765*0b57cec5SDimitry Andric 
766*0b57cec5SDimitry Andric   FunctionType *FuncTy = Call->getFunctionType();
7675ffd83dbSDimitry Andric   unsigned Opc = IsDirect ? WebAssembly::CALL : WebAssembly::CALL_INDIRECT;
768*0b57cec5SDimitry Andric   bool IsVoid = FuncTy->getReturnType()->isVoidTy();
769*0b57cec5SDimitry Andric   unsigned ResultReg;
7705ffd83dbSDimitry Andric   if (!IsVoid) {
771*0b57cec5SDimitry Andric     if (!Subtarget->hasSIMD128() && Call->getType()->isVectorTy())
772*0b57cec5SDimitry Andric       return false;
773*0b57cec5SDimitry Andric 
774*0b57cec5SDimitry Andric     MVT::SimpleValueType RetTy = getSimpleType(Call->getType());
775*0b57cec5SDimitry Andric     switch (RetTy) {
776*0b57cec5SDimitry Andric     case MVT::i1:
777*0b57cec5SDimitry Andric     case MVT::i8:
778*0b57cec5SDimitry Andric     case MVT::i16:
779*0b57cec5SDimitry Andric     case MVT::i32:
780*0b57cec5SDimitry Andric       ResultReg = createResultReg(&WebAssembly::I32RegClass);
781*0b57cec5SDimitry Andric       break;
782*0b57cec5SDimitry Andric     case MVT::i64:
783*0b57cec5SDimitry Andric       ResultReg = createResultReg(&WebAssembly::I64RegClass);
784*0b57cec5SDimitry Andric       break;
785*0b57cec5SDimitry Andric     case MVT::f32:
786*0b57cec5SDimitry Andric       ResultReg = createResultReg(&WebAssembly::F32RegClass);
787*0b57cec5SDimitry Andric       break;
788*0b57cec5SDimitry Andric     case MVT::f64:
789*0b57cec5SDimitry Andric       ResultReg = createResultReg(&WebAssembly::F64RegClass);
790*0b57cec5SDimitry Andric       break;
791*0b57cec5SDimitry Andric     case MVT::v16i8:
792*0b57cec5SDimitry Andric       ResultReg = createResultReg(&WebAssembly::V128RegClass);
793*0b57cec5SDimitry Andric       break;
794*0b57cec5SDimitry Andric     case MVT::v8i16:
795*0b57cec5SDimitry Andric       ResultReg = createResultReg(&WebAssembly::V128RegClass);
796*0b57cec5SDimitry Andric       break;
797*0b57cec5SDimitry Andric     case MVT::v4i32:
798*0b57cec5SDimitry Andric       ResultReg = createResultReg(&WebAssembly::V128RegClass);
799*0b57cec5SDimitry Andric       break;
800*0b57cec5SDimitry Andric     case MVT::v2i64:
801*0b57cec5SDimitry Andric       ResultReg = createResultReg(&WebAssembly::V128RegClass);
802*0b57cec5SDimitry Andric       break;
803*0b57cec5SDimitry Andric     case MVT::v4f32:
804*0b57cec5SDimitry Andric       ResultReg = createResultReg(&WebAssembly::V128RegClass);
805*0b57cec5SDimitry Andric       break;
806*0b57cec5SDimitry Andric     case MVT::v2f64:
807*0b57cec5SDimitry Andric       ResultReg = createResultReg(&WebAssembly::V128RegClass);
808*0b57cec5SDimitry Andric       break;
809*0b57cec5SDimitry Andric     case MVT::exnref:
810*0b57cec5SDimitry Andric       ResultReg = createResultReg(&WebAssembly::EXNREFRegClass);
811*0b57cec5SDimitry Andric       break;
812*0b57cec5SDimitry Andric     default:
813*0b57cec5SDimitry Andric       return false;
814*0b57cec5SDimitry Andric     }
815*0b57cec5SDimitry Andric   }
816*0b57cec5SDimitry Andric 
817*0b57cec5SDimitry Andric   SmallVector<unsigned, 8> Args;
818*0b57cec5SDimitry Andric   for (unsigned I = 0, E = Call->getNumArgOperands(); I < E; ++I) {
819*0b57cec5SDimitry Andric     Value *V = Call->getArgOperand(I);
820*0b57cec5SDimitry Andric     MVT::SimpleValueType ArgTy = getSimpleType(V->getType());
821*0b57cec5SDimitry Andric     if (ArgTy == MVT::INVALID_SIMPLE_VALUE_TYPE)
822*0b57cec5SDimitry Andric       return false;
823*0b57cec5SDimitry Andric 
824*0b57cec5SDimitry Andric     const AttributeList &Attrs = Call->getAttributes();
825*0b57cec5SDimitry Andric     if (Attrs.hasParamAttribute(I, Attribute::ByVal) ||
826*0b57cec5SDimitry Andric         Attrs.hasParamAttribute(I, Attribute::SwiftSelf) ||
827*0b57cec5SDimitry Andric         Attrs.hasParamAttribute(I, Attribute::SwiftError) ||
828*0b57cec5SDimitry Andric         Attrs.hasParamAttribute(I, Attribute::InAlloca) ||
829*0b57cec5SDimitry Andric         Attrs.hasParamAttribute(I, Attribute::Nest))
830*0b57cec5SDimitry Andric       return false;
831*0b57cec5SDimitry Andric 
832*0b57cec5SDimitry Andric     unsigned Reg;
833*0b57cec5SDimitry Andric 
834*0b57cec5SDimitry Andric     if (Attrs.hasParamAttribute(I, Attribute::SExt))
835*0b57cec5SDimitry Andric       Reg = getRegForSignedValue(V);
836*0b57cec5SDimitry Andric     else if (Attrs.hasParamAttribute(I, Attribute::ZExt))
837*0b57cec5SDimitry Andric       Reg = getRegForUnsignedValue(V);
838*0b57cec5SDimitry Andric     else
839*0b57cec5SDimitry Andric       Reg = getRegForValue(V);
840*0b57cec5SDimitry Andric 
841*0b57cec5SDimitry Andric     if (Reg == 0)
842*0b57cec5SDimitry Andric       return false;
843*0b57cec5SDimitry Andric 
844*0b57cec5SDimitry Andric     Args.push_back(Reg);
845*0b57cec5SDimitry Andric   }
846*0b57cec5SDimitry Andric 
847*0b57cec5SDimitry Andric   unsigned CalleeReg = 0;
848*0b57cec5SDimitry Andric   if (!IsDirect) {
8495ffd83dbSDimitry Andric     CalleeReg = getRegForValue(Call->getCalledOperand());
850*0b57cec5SDimitry Andric     if (!CalleeReg)
851*0b57cec5SDimitry Andric       return false;
852*0b57cec5SDimitry Andric   }
853*0b57cec5SDimitry Andric 
854*0b57cec5SDimitry Andric   auto MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(Opc));
855*0b57cec5SDimitry Andric 
856*0b57cec5SDimitry Andric   if (!IsVoid)
857*0b57cec5SDimitry Andric     MIB.addReg(ResultReg, RegState::Define);
858*0b57cec5SDimitry Andric 
8595ffd83dbSDimitry Andric   if (IsDirect) {
860*0b57cec5SDimitry Andric     MIB.addGlobalAddress(Func);
8615ffd83dbSDimitry Andric   } else {
8625ffd83dbSDimitry Andric     // Add placeholders for the type index and immediate flags
8635ffd83dbSDimitry Andric     MIB.addImm(0);
8645ffd83dbSDimitry Andric     MIB.addImm(0);
8655ffd83dbSDimitry Andric   }
866*0b57cec5SDimitry Andric 
867*0b57cec5SDimitry Andric   for (unsigned ArgReg : Args)
868*0b57cec5SDimitry Andric     MIB.addReg(ArgReg);
869*0b57cec5SDimitry Andric 
8705ffd83dbSDimitry Andric   if (!IsDirect)
8715ffd83dbSDimitry Andric     MIB.addReg(CalleeReg);
8725ffd83dbSDimitry Andric 
873*0b57cec5SDimitry Andric   if (!IsVoid)
874*0b57cec5SDimitry Andric     updateValueMap(Call, ResultReg);
875*0b57cec5SDimitry Andric   return true;
876*0b57cec5SDimitry Andric }
877*0b57cec5SDimitry Andric 
878*0b57cec5SDimitry Andric bool WebAssemblyFastISel::selectSelect(const Instruction *I) {
879*0b57cec5SDimitry Andric   const auto *Select = cast<SelectInst>(I);
880*0b57cec5SDimitry Andric 
881*0b57cec5SDimitry Andric   bool Not;
882*0b57cec5SDimitry Andric   unsigned CondReg = getRegForI1Value(Select->getCondition(), Not);
883*0b57cec5SDimitry Andric   if (CondReg == 0)
884*0b57cec5SDimitry Andric     return false;
885*0b57cec5SDimitry Andric 
886*0b57cec5SDimitry Andric   unsigned TrueReg = getRegForValue(Select->getTrueValue());
887*0b57cec5SDimitry Andric   if (TrueReg == 0)
888*0b57cec5SDimitry Andric     return false;
889*0b57cec5SDimitry Andric 
890*0b57cec5SDimitry Andric   unsigned FalseReg = getRegForValue(Select->getFalseValue());
891*0b57cec5SDimitry Andric   if (FalseReg == 0)
892*0b57cec5SDimitry Andric     return false;
893*0b57cec5SDimitry Andric 
894*0b57cec5SDimitry Andric   if (Not)
895*0b57cec5SDimitry Andric     std::swap(TrueReg, FalseReg);
896*0b57cec5SDimitry Andric 
897*0b57cec5SDimitry Andric   unsigned Opc;
898*0b57cec5SDimitry Andric   const TargetRegisterClass *RC;
899*0b57cec5SDimitry Andric   switch (getSimpleType(Select->getType())) {
900*0b57cec5SDimitry Andric   case MVT::i1:
901*0b57cec5SDimitry Andric   case MVT::i8:
902*0b57cec5SDimitry Andric   case MVT::i16:
903*0b57cec5SDimitry Andric   case MVT::i32:
904*0b57cec5SDimitry Andric     Opc = WebAssembly::SELECT_I32;
905*0b57cec5SDimitry Andric     RC = &WebAssembly::I32RegClass;
906*0b57cec5SDimitry Andric     break;
907*0b57cec5SDimitry Andric   case MVT::i64:
908*0b57cec5SDimitry Andric     Opc = WebAssembly::SELECT_I64;
909*0b57cec5SDimitry Andric     RC = &WebAssembly::I64RegClass;
910*0b57cec5SDimitry Andric     break;
911*0b57cec5SDimitry Andric   case MVT::f32:
912*0b57cec5SDimitry Andric     Opc = WebAssembly::SELECT_F32;
913*0b57cec5SDimitry Andric     RC = &WebAssembly::F32RegClass;
914*0b57cec5SDimitry Andric     break;
915*0b57cec5SDimitry Andric   case MVT::f64:
916*0b57cec5SDimitry Andric     Opc = WebAssembly::SELECT_F64;
917*0b57cec5SDimitry Andric     RC = &WebAssembly::F64RegClass;
918*0b57cec5SDimitry Andric     break;
919*0b57cec5SDimitry Andric   case MVT::exnref:
920*0b57cec5SDimitry Andric     Opc = WebAssembly::SELECT_EXNREF;
921*0b57cec5SDimitry Andric     RC = &WebAssembly::EXNREFRegClass;
922*0b57cec5SDimitry Andric     break;
923*0b57cec5SDimitry Andric   default:
924*0b57cec5SDimitry Andric     return false;
925*0b57cec5SDimitry Andric   }
926*0b57cec5SDimitry Andric 
927*0b57cec5SDimitry Andric   unsigned ResultReg = createResultReg(RC);
928*0b57cec5SDimitry Andric   BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(Opc), ResultReg)
929*0b57cec5SDimitry Andric       .addReg(TrueReg)
930*0b57cec5SDimitry Andric       .addReg(FalseReg)
931*0b57cec5SDimitry Andric       .addReg(CondReg);
932*0b57cec5SDimitry Andric 
933*0b57cec5SDimitry Andric   updateValueMap(Select, ResultReg);
934*0b57cec5SDimitry Andric   return true;
935*0b57cec5SDimitry Andric }
936*0b57cec5SDimitry Andric 
937*0b57cec5SDimitry Andric bool WebAssemblyFastISel::selectTrunc(const Instruction *I) {
938*0b57cec5SDimitry Andric   const auto *Trunc = cast<TruncInst>(I);
939*0b57cec5SDimitry Andric 
940*0b57cec5SDimitry Andric   unsigned Reg = getRegForValue(Trunc->getOperand(0));
941*0b57cec5SDimitry Andric   if (Reg == 0)
942*0b57cec5SDimitry Andric     return false;
943*0b57cec5SDimitry Andric 
944*0b57cec5SDimitry Andric   if (Trunc->getOperand(0)->getType()->isIntegerTy(64)) {
945*0b57cec5SDimitry Andric     unsigned Result = createResultReg(&WebAssembly::I32RegClass);
946*0b57cec5SDimitry Andric     BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc,
947*0b57cec5SDimitry Andric             TII.get(WebAssembly::I32_WRAP_I64), Result)
948*0b57cec5SDimitry Andric         .addReg(Reg);
949*0b57cec5SDimitry Andric     Reg = Result;
950*0b57cec5SDimitry Andric   }
951*0b57cec5SDimitry Andric 
952*0b57cec5SDimitry Andric   updateValueMap(Trunc, Reg);
953*0b57cec5SDimitry Andric   return true;
954*0b57cec5SDimitry Andric }
955*0b57cec5SDimitry Andric 
956*0b57cec5SDimitry Andric bool WebAssemblyFastISel::selectZExt(const Instruction *I) {
957*0b57cec5SDimitry Andric   const auto *ZExt = cast<ZExtInst>(I);
958*0b57cec5SDimitry Andric 
959*0b57cec5SDimitry Andric   const Value *Op = ZExt->getOperand(0);
960*0b57cec5SDimitry Andric   MVT::SimpleValueType From = getSimpleType(Op->getType());
961*0b57cec5SDimitry Andric   MVT::SimpleValueType To = getLegalType(getSimpleType(ZExt->getType()));
962*0b57cec5SDimitry Andric   unsigned In = getRegForValue(Op);
963*0b57cec5SDimitry Andric   if (In == 0)
964*0b57cec5SDimitry Andric     return false;
965*0b57cec5SDimitry Andric   unsigned Reg = zeroExtend(In, Op, From, To);
966*0b57cec5SDimitry Andric   if (Reg == 0)
967*0b57cec5SDimitry Andric     return false;
968*0b57cec5SDimitry Andric 
969*0b57cec5SDimitry Andric   updateValueMap(ZExt, Reg);
970*0b57cec5SDimitry Andric   return true;
971*0b57cec5SDimitry Andric }
972*0b57cec5SDimitry Andric 
973*0b57cec5SDimitry Andric bool WebAssemblyFastISel::selectSExt(const Instruction *I) {
974*0b57cec5SDimitry Andric   const auto *SExt = cast<SExtInst>(I);
975*0b57cec5SDimitry Andric 
976*0b57cec5SDimitry Andric   const Value *Op = SExt->getOperand(0);
977*0b57cec5SDimitry Andric   MVT::SimpleValueType From = getSimpleType(Op->getType());
978*0b57cec5SDimitry Andric   MVT::SimpleValueType To = getLegalType(getSimpleType(SExt->getType()));
979*0b57cec5SDimitry Andric   unsigned In = getRegForValue(Op);
980*0b57cec5SDimitry Andric   if (In == 0)
981*0b57cec5SDimitry Andric     return false;
982*0b57cec5SDimitry Andric   unsigned Reg = signExtend(In, Op, From, To);
983*0b57cec5SDimitry Andric   if (Reg == 0)
984*0b57cec5SDimitry Andric     return false;
985*0b57cec5SDimitry Andric 
986*0b57cec5SDimitry Andric   updateValueMap(SExt, Reg);
987*0b57cec5SDimitry Andric   return true;
988*0b57cec5SDimitry Andric }
989*0b57cec5SDimitry Andric 
990*0b57cec5SDimitry Andric bool WebAssemblyFastISel::selectICmp(const Instruction *I) {
991*0b57cec5SDimitry Andric   const auto *ICmp = cast<ICmpInst>(I);
992*0b57cec5SDimitry Andric 
993*0b57cec5SDimitry Andric   bool I32 = getSimpleType(ICmp->getOperand(0)->getType()) != MVT::i64;
994*0b57cec5SDimitry Andric   unsigned Opc;
995*0b57cec5SDimitry Andric   bool IsSigned = false;
996*0b57cec5SDimitry Andric   switch (ICmp->getPredicate()) {
997*0b57cec5SDimitry Andric   case ICmpInst::ICMP_EQ:
998*0b57cec5SDimitry Andric     Opc = I32 ? WebAssembly::EQ_I32 : WebAssembly::EQ_I64;
999*0b57cec5SDimitry Andric     break;
1000*0b57cec5SDimitry Andric   case ICmpInst::ICMP_NE:
1001*0b57cec5SDimitry Andric     Opc = I32 ? WebAssembly::NE_I32 : WebAssembly::NE_I64;
1002*0b57cec5SDimitry Andric     break;
1003*0b57cec5SDimitry Andric   case ICmpInst::ICMP_UGT:
1004*0b57cec5SDimitry Andric     Opc = I32 ? WebAssembly::GT_U_I32 : WebAssembly::GT_U_I64;
1005*0b57cec5SDimitry Andric     break;
1006*0b57cec5SDimitry Andric   case ICmpInst::ICMP_UGE:
1007*0b57cec5SDimitry Andric     Opc = I32 ? WebAssembly::GE_U_I32 : WebAssembly::GE_U_I64;
1008*0b57cec5SDimitry Andric     break;
1009*0b57cec5SDimitry Andric   case ICmpInst::ICMP_ULT:
1010*0b57cec5SDimitry Andric     Opc = I32 ? WebAssembly::LT_U_I32 : WebAssembly::LT_U_I64;
1011*0b57cec5SDimitry Andric     break;
1012*0b57cec5SDimitry Andric   case ICmpInst::ICMP_ULE:
1013*0b57cec5SDimitry Andric     Opc = I32 ? WebAssembly::LE_U_I32 : WebAssembly::LE_U_I64;
1014*0b57cec5SDimitry Andric     break;
1015*0b57cec5SDimitry Andric   case ICmpInst::ICMP_SGT:
1016*0b57cec5SDimitry Andric     Opc = I32 ? WebAssembly::GT_S_I32 : WebAssembly::GT_S_I64;
1017*0b57cec5SDimitry Andric     IsSigned = true;
1018*0b57cec5SDimitry Andric     break;
1019*0b57cec5SDimitry Andric   case ICmpInst::ICMP_SGE:
1020*0b57cec5SDimitry Andric     Opc = I32 ? WebAssembly::GE_S_I32 : WebAssembly::GE_S_I64;
1021*0b57cec5SDimitry Andric     IsSigned = true;
1022*0b57cec5SDimitry Andric     break;
1023*0b57cec5SDimitry Andric   case ICmpInst::ICMP_SLT:
1024*0b57cec5SDimitry Andric     Opc = I32 ? WebAssembly::LT_S_I32 : WebAssembly::LT_S_I64;
1025*0b57cec5SDimitry Andric     IsSigned = true;
1026*0b57cec5SDimitry Andric     break;
1027*0b57cec5SDimitry Andric   case ICmpInst::ICMP_SLE:
1028*0b57cec5SDimitry Andric     Opc = I32 ? WebAssembly::LE_S_I32 : WebAssembly::LE_S_I64;
1029*0b57cec5SDimitry Andric     IsSigned = true;
1030*0b57cec5SDimitry Andric     break;
1031*0b57cec5SDimitry Andric   default:
1032*0b57cec5SDimitry Andric     return false;
1033*0b57cec5SDimitry Andric   }
1034*0b57cec5SDimitry Andric 
1035*0b57cec5SDimitry Andric   unsigned LHS = getRegForPromotedValue(ICmp->getOperand(0), IsSigned);
1036*0b57cec5SDimitry Andric   if (LHS == 0)
1037*0b57cec5SDimitry Andric     return false;
1038*0b57cec5SDimitry Andric 
1039*0b57cec5SDimitry Andric   unsigned RHS = getRegForPromotedValue(ICmp->getOperand(1), IsSigned);
1040*0b57cec5SDimitry Andric   if (RHS == 0)
1041*0b57cec5SDimitry Andric     return false;
1042*0b57cec5SDimitry Andric 
1043*0b57cec5SDimitry Andric   unsigned ResultReg = createResultReg(&WebAssembly::I32RegClass);
1044*0b57cec5SDimitry Andric   BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(Opc), ResultReg)
1045*0b57cec5SDimitry Andric       .addReg(LHS)
1046*0b57cec5SDimitry Andric       .addReg(RHS);
1047*0b57cec5SDimitry Andric   updateValueMap(ICmp, ResultReg);
1048*0b57cec5SDimitry Andric   return true;
1049*0b57cec5SDimitry Andric }
1050*0b57cec5SDimitry Andric 
1051*0b57cec5SDimitry Andric bool WebAssemblyFastISel::selectFCmp(const Instruction *I) {
1052*0b57cec5SDimitry Andric   const auto *FCmp = cast<FCmpInst>(I);
1053*0b57cec5SDimitry Andric 
1054*0b57cec5SDimitry Andric   unsigned LHS = getRegForValue(FCmp->getOperand(0));
1055*0b57cec5SDimitry Andric   if (LHS == 0)
1056*0b57cec5SDimitry Andric     return false;
1057*0b57cec5SDimitry Andric 
1058*0b57cec5SDimitry Andric   unsigned RHS = getRegForValue(FCmp->getOperand(1));
1059*0b57cec5SDimitry Andric   if (RHS == 0)
1060*0b57cec5SDimitry Andric     return false;
1061*0b57cec5SDimitry Andric 
1062*0b57cec5SDimitry Andric   bool F32 = getSimpleType(FCmp->getOperand(0)->getType()) != MVT::f64;
1063*0b57cec5SDimitry Andric   unsigned Opc;
1064*0b57cec5SDimitry Andric   bool Not = false;
1065*0b57cec5SDimitry Andric   switch (FCmp->getPredicate()) {
1066*0b57cec5SDimitry Andric   case FCmpInst::FCMP_OEQ:
1067*0b57cec5SDimitry Andric     Opc = F32 ? WebAssembly::EQ_F32 : WebAssembly::EQ_F64;
1068*0b57cec5SDimitry Andric     break;
1069*0b57cec5SDimitry Andric   case FCmpInst::FCMP_UNE:
1070*0b57cec5SDimitry Andric     Opc = F32 ? WebAssembly::NE_F32 : WebAssembly::NE_F64;
1071*0b57cec5SDimitry Andric     break;
1072*0b57cec5SDimitry Andric   case FCmpInst::FCMP_OGT:
1073*0b57cec5SDimitry Andric     Opc = F32 ? WebAssembly::GT_F32 : WebAssembly::GT_F64;
1074*0b57cec5SDimitry Andric     break;
1075*0b57cec5SDimitry Andric   case FCmpInst::FCMP_OGE:
1076*0b57cec5SDimitry Andric     Opc = F32 ? WebAssembly::GE_F32 : WebAssembly::GE_F64;
1077*0b57cec5SDimitry Andric     break;
1078*0b57cec5SDimitry Andric   case FCmpInst::FCMP_OLT:
1079*0b57cec5SDimitry Andric     Opc = F32 ? WebAssembly::LT_F32 : WebAssembly::LT_F64;
1080*0b57cec5SDimitry Andric     break;
1081*0b57cec5SDimitry Andric   case FCmpInst::FCMP_OLE:
1082*0b57cec5SDimitry Andric     Opc = F32 ? WebAssembly::LE_F32 : WebAssembly::LE_F64;
1083*0b57cec5SDimitry Andric     break;
1084*0b57cec5SDimitry Andric   case FCmpInst::FCMP_UGT:
1085*0b57cec5SDimitry Andric     Opc = F32 ? WebAssembly::LE_F32 : WebAssembly::LE_F64;
1086*0b57cec5SDimitry Andric     Not = true;
1087*0b57cec5SDimitry Andric     break;
1088*0b57cec5SDimitry Andric   case FCmpInst::FCMP_UGE:
1089*0b57cec5SDimitry Andric     Opc = F32 ? WebAssembly::LT_F32 : WebAssembly::LT_F64;
1090*0b57cec5SDimitry Andric     Not = true;
1091*0b57cec5SDimitry Andric     break;
1092*0b57cec5SDimitry Andric   case FCmpInst::FCMP_ULT:
1093*0b57cec5SDimitry Andric     Opc = F32 ? WebAssembly::GE_F32 : WebAssembly::GE_F64;
1094*0b57cec5SDimitry Andric     Not = true;
1095*0b57cec5SDimitry Andric     break;
1096*0b57cec5SDimitry Andric   case FCmpInst::FCMP_ULE:
1097*0b57cec5SDimitry Andric     Opc = F32 ? WebAssembly::GT_F32 : WebAssembly::GT_F64;
1098*0b57cec5SDimitry Andric     Not = true;
1099*0b57cec5SDimitry Andric     break;
1100*0b57cec5SDimitry Andric   default:
1101*0b57cec5SDimitry Andric     return false;
1102*0b57cec5SDimitry Andric   }
1103*0b57cec5SDimitry Andric 
1104*0b57cec5SDimitry Andric   unsigned ResultReg = createResultReg(&WebAssembly::I32RegClass);
1105*0b57cec5SDimitry Andric   BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(Opc), ResultReg)
1106*0b57cec5SDimitry Andric       .addReg(LHS)
1107*0b57cec5SDimitry Andric       .addReg(RHS);
1108*0b57cec5SDimitry Andric 
1109*0b57cec5SDimitry Andric   if (Not)
1110*0b57cec5SDimitry Andric     ResultReg = notValue(ResultReg);
1111*0b57cec5SDimitry Andric 
1112*0b57cec5SDimitry Andric   updateValueMap(FCmp, ResultReg);
1113*0b57cec5SDimitry Andric   return true;
1114*0b57cec5SDimitry Andric }
1115*0b57cec5SDimitry Andric 
1116*0b57cec5SDimitry Andric bool WebAssemblyFastISel::selectBitCast(const Instruction *I) {
1117*0b57cec5SDimitry Andric   // Target-independent code can handle this, except it doesn't set the dead
1118*0b57cec5SDimitry Andric   // flag on the ARGUMENTS clobber, so we have to do that manually in order
1119*0b57cec5SDimitry Andric   // to satisfy code that expects this of isBitcast() instructions.
1120*0b57cec5SDimitry Andric   EVT VT = TLI.getValueType(DL, I->getOperand(0)->getType());
1121*0b57cec5SDimitry Andric   EVT RetVT = TLI.getValueType(DL, I->getType());
1122*0b57cec5SDimitry Andric   if (!VT.isSimple() || !RetVT.isSimple())
1123*0b57cec5SDimitry Andric     return false;
1124*0b57cec5SDimitry Andric 
1125*0b57cec5SDimitry Andric   unsigned In = getRegForValue(I->getOperand(0));
1126*0b57cec5SDimitry Andric   if (In == 0)
1127*0b57cec5SDimitry Andric     return false;
1128*0b57cec5SDimitry Andric 
1129*0b57cec5SDimitry Andric   if (VT == RetVT) {
1130*0b57cec5SDimitry Andric     // No-op bitcast.
1131*0b57cec5SDimitry Andric     updateValueMap(I, In);
1132*0b57cec5SDimitry Andric     return true;
1133*0b57cec5SDimitry Andric   }
1134*0b57cec5SDimitry Andric 
11358bcb0991SDimitry Andric   Register Reg = fastEmit_ISD_BITCAST_r(VT.getSimpleVT(), RetVT.getSimpleVT(),
1136*0b57cec5SDimitry Andric                                         In, I->getOperand(0)->hasOneUse());
1137*0b57cec5SDimitry Andric   if (!Reg)
1138*0b57cec5SDimitry Andric     return false;
1139*0b57cec5SDimitry Andric   MachineBasicBlock::iterator Iter = FuncInfo.InsertPt;
1140*0b57cec5SDimitry Andric   --Iter;
1141*0b57cec5SDimitry Andric   assert(Iter->isBitcast());
11428bcb0991SDimitry Andric   Iter->setPhysRegsDeadExcept(ArrayRef<Register>(), TRI);
1143*0b57cec5SDimitry Andric   updateValueMap(I, Reg);
1144*0b57cec5SDimitry Andric   return true;
1145*0b57cec5SDimitry Andric }
1146*0b57cec5SDimitry Andric 
1147*0b57cec5SDimitry Andric bool WebAssemblyFastISel::selectLoad(const Instruction *I) {
1148*0b57cec5SDimitry Andric   const auto *Load = cast<LoadInst>(I);
1149*0b57cec5SDimitry Andric   if (Load->isAtomic())
1150*0b57cec5SDimitry Andric     return false;
1151*0b57cec5SDimitry Andric   if (!Subtarget->hasSIMD128() && Load->getType()->isVectorTy())
1152*0b57cec5SDimitry Andric     return false;
1153*0b57cec5SDimitry Andric 
1154*0b57cec5SDimitry Andric   Address Addr;
1155*0b57cec5SDimitry Andric   if (!computeAddress(Load->getPointerOperand(), Addr))
1156*0b57cec5SDimitry Andric     return false;
1157*0b57cec5SDimitry Andric 
1158*0b57cec5SDimitry Andric   // TODO: Fold a following sign-/zero-extend into the load instruction.
1159*0b57cec5SDimitry Andric 
1160*0b57cec5SDimitry Andric   unsigned Opc;
1161*0b57cec5SDimitry Andric   const TargetRegisterClass *RC;
11625ffd83dbSDimitry Andric   bool A64 = Subtarget->hasAddr64();
1163*0b57cec5SDimitry Andric   switch (getSimpleType(Load->getType())) {
1164*0b57cec5SDimitry Andric   case MVT::i1:
1165*0b57cec5SDimitry Andric   case MVT::i8:
11665ffd83dbSDimitry Andric     Opc = A64 ? WebAssembly::LOAD8_U_I32_A64 : WebAssembly::LOAD8_U_I32_A32;
1167*0b57cec5SDimitry Andric     RC = &WebAssembly::I32RegClass;
1168*0b57cec5SDimitry Andric     break;
1169*0b57cec5SDimitry Andric   case MVT::i16:
11705ffd83dbSDimitry Andric     Opc = A64 ? WebAssembly::LOAD16_U_I32_A64 : WebAssembly::LOAD16_U_I32_A32;
1171*0b57cec5SDimitry Andric     RC = &WebAssembly::I32RegClass;
1172*0b57cec5SDimitry Andric     break;
1173*0b57cec5SDimitry Andric   case MVT::i32:
11745ffd83dbSDimitry Andric     Opc = A64 ? WebAssembly::LOAD_I32_A64 : WebAssembly::LOAD_I32_A32;
1175*0b57cec5SDimitry Andric     RC = &WebAssembly::I32RegClass;
1176*0b57cec5SDimitry Andric     break;
1177*0b57cec5SDimitry Andric   case MVT::i64:
11785ffd83dbSDimitry Andric     Opc = A64 ? WebAssembly::LOAD_I64_A64 : WebAssembly::LOAD_I64_A32;
1179*0b57cec5SDimitry Andric     RC = &WebAssembly::I64RegClass;
1180*0b57cec5SDimitry Andric     break;
1181*0b57cec5SDimitry Andric   case MVT::f32:
11825ffd83dbSDimitry Andric     Opc = A64 ? WebAssembly::LOAD_F32_A64 : WebAssembly::LOAD_F32_A32;
1183*0b57cec5SDimitry Andric     RC = &WebAssembly::F32RegClass;
1184*0b57cec5SDimitry Andric     break;
1185*0b57cec5SDimitry Andric   case MVT::f64:
11865ffd83dbSDimitry Andric     Opc = A64 ? WebAssembly::LOAD_F64_A64 : WebAssembly::LOAD_F64_A32;
1187*0b57cec5SDimitry Andric     RC = &WebAssembly::F64RegClass;
1188*0b57cec5SDimitry Andric     break;
1189*0b57cec5SDimitry Andric   default:
1190*0b57cec5SDimitry Andric     return false;
1191*0b57cec5SDimitry Andric   }
1192*0b57cec5SDimitry Andric 
1193*0b57cec5SDimitry Andric   materializeLoadStoreOperands(Addr);
1194*0b57cec5SDimitry Andric 
1195*0b57cec5SDimitry Andric   unsigned ResultReg = createResultReg(RC);
1196*0b57cec5SDimitry Andric   auto MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(Opc),
1197*0b57cec5SDimitry Andric                      ResultReg);
1198*0b57cec5SDimitry Andric 
1199*0b57cec5SDimitry Andric   addLoadStoreOperands(Addr, MIB, createMachineMemOperandFor(Load));
1200*0b57cec5SDimitry Andric 
1201*0b57cec5SDimitry Andric   updateValueMap(Load, ResultReg);
1202*0b57cec5SDimitry Andric   return true;
1203*0b57cec5SDimitry Andric }
1204*0b57cec5SDimitry Andric 
1205*0b57cec5SDimitry Andric bool WebAssemblyFastISel::selectStore(const Instruction *I) {
1206*0b57cec5SDimitry Andric   const auto *Store = cast<StoreInst>(I);
1207*0b57cec5SDimitry Andric   if (Store->isAtomic())
1208*0b57cec5SDimitry Andric     return false;
1209*0b57cec5SDimitry Andric   if (!Subtarget->hasSIMD128() &&
1210*0b57cec5SDimitry Andric       Store->getValueOperand()->getType()->isVectorTy())
1211*0b57cec5SDimitry Andric     return false;
1212*0b57cec5SDimitry Andric 
1213*0b57cec5SDimitry Andric   Address Addr;
1214*0b57cec5SDimitry Andric   if (!computeAddress(Store->getPointerOperand(), Addr))
1215*0b57cec5SDimitry Andric     return false;
1216*0b57cec5SDimitry Andric 
1217*0b57cec5SDimitry Andric   unsigned Opc;
1218*0b57cec5SDimitry Andric   bool VTIsi1 = false;
12195ffd83dbSDimitry Andric   bool A64 = Subtarget->hasAddr64();
1220*0b57cec5SDimitry Andric   switch (getSimpleType(Store->getValueOperand()->getType())) {
1221*0b57cec5SDimitry Andric   case MVT::i1:
1222*0b57cec5SDimitry Andric     VTIsi1 = true;
1223*0b57cec5SDimitry Andric     LLVM_FALLTHROUGH;
1224*0b57cec5SDimitry Andric   case MVT::i8:
12255ffd83dbSDimitry Andric     Opc = A64 ? WebAssembly::STORE8_I32_A64 : WebAssembly::STORE8_I32_A32;
1226*0b57cec5SDimitry Andric     break;
1227*0b57cec5SDimitry Andric   case MVT::i16:
12285ffd83dbSDimitry Andric     Opc = A64 ? WebAssembly::STORE16_I32_A64 : WebAssembly::STORE16_I32_A32;
1229*0b57cec5SDimitry Andric     break;
1230*0b57cec5SDimitry Andric   case MVT::i32:
12315ffd83dbSDimitry Andric     Opc = A64 ? WebAssembly::STORE_I32_A64 : WebAssembly::STORE_I32_A32;
1232*0b57cec5SDimitry Andric     break;
1233*0b57cec5SDimitry Andric   case MVT::i64:
12345ffd83dbSDimitry Andric     Opc = A64 ? WebAssembly::STORE_I64_A64 : WebAssembly::STORE_I64_A32;
1235*0b57cec5SDimitry Andric     break;
1236*0b57cec5SDimitry Andric   case MVT::f32:
12375ffd83dbSDimitry Andric     Opc = A64 ? WebAssembly::STORE_F32_A64 : WebAssembly::STORE_F32_A32;
1238*0b57cec5SDimitry Andric     break;
1239*0b57cec5SDimitry Andric   case MVT::f64:
12405ffd83dbSDimitry Andric     Opc = A64 ? WebAssembly::STORE_F64_A64 : WebAssembly::STORE_F64_A32;
1241*0b57cec5SDimitry Andric     break;
1242*0b57cec5SDimitry Andric   default:
1243*0b57cec5SDimitry Andric     return false;
1244*0b57cec5SDimitry Andric   }
1245*0b57cec5SDimitry Andric 
1246*0b57cec5SDimitry Andric   materializeLoadStoreOperands(Addr);
1247*0b57cec5SDimitry Andric 
1248*0b57cec5SDimitry Andric   unsigned ValueReg = getRegForValue(Store->getValueOperand());
1249*0b57cec5SDimitry Andric   if (ValueReg == 0)
1250*0b57cec5SDimitry Andric     return false;
1251*0b57cec5SDimitry Andric   if (VTIsi1)
1252*0b57cec5SDimitry Andric     ValueReg = maskI1Value(ValueReg, Store->getValueOperand());
1253*0b57cec5SDimitry Andric 
1254*0b57cec5SDimitry Andric   auto MIB = BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(Opc));
1255*0b57cec5SDimitry Andric 
1256*0b57cec5SDimitry Andric   addLoadStoreOperands(Addr, MIB, createMachineMemOperandFor(Store));
1257*0b57cec5SDimitry Andric 
1258*0b57cec5SDimitry Andric   MIB.addReg(ValueReg);
1259*0b57cec5SDimitry Andric   return true;
1260*0b57cec5SDimitry Andric }
1261*0b57cec5SDimitry Andric 
1262*0b57cec5SDimitry Andric bool WebAssemblyFastISel::selectBr(const Instruction *I) {
1263*0b57cec5SDimitry Andric   const auto *Br = cast<BranchInst>(I);
1264*0b57cec5SDimitry Andric   if (Br->isUnconditional()) {
1265*0b57cec5SDimitry Andric     MachineBasicBlock *MSucc = FuncInfo.MBBMap[Br->getSuccessor(0)];
1266*0b57cec5SDimitry Andric     fastEmitBranch(MSucc, Br->getDebugLoc());
1267*0b57cec5SDimitry Andric     return true;
1268*0b57cec5SDimitry Andric   }
1269*0b57cec5SDimitry Andric 
1270*0b57cec5SDimitry Andric   MachineBasicBlock *TBB = FuncInfo.MBBMap[Br->getSuccessor(0)];
1271*0b57cec5SDimitry Andric   MachineBasicBlock *FBB = FuncInfo.MBBMap[Br->getSuccessor(1)];
1272*0b57cec5SDimitry Andric 
1273*0b57cec5SDimitry Andric   bool Not;
1274*0b57cec5SDimitry Andric   unsigned CondReg = getRegForI1Value(Br->getCondition(), Not);
1275*0b57cec5SDimitry Andric   if (CondReg == 0)
1276*0b57cec5SDimitry Andric     return false;
1277*0b57cec5SDimitry Andric 
1278*0b57cec5SDimitry Andric   unsigned Opc = WebAssembly::BR_IF;
1279*0b57cec5SDimitry Andric   if (Not)
1280*0b57cec5SDimitry Andric     Opc = WebAssembly::BR_UNLESS;
1281*0b57cec5SDimitry Andric 
1282*0b57cec5SDimitry Andric   BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(Opc))
1283*0b57cec5SDimitry Andric       .addMBB(TBB)
1284*0b57cec5SDimitry Andric       .addReg(CondReg);
1285*0b57cec5SDimitry Andric 
1286*0b57cec5SDimitry Andric   finishCondBranch(Br->getParent(), TBB, FBB);
1287*0b57cec5SDimitry Andric   return true;
1288*0b57cec5SDimitry Andric }
1289*0b57cec5SDimitry Andric 
1290*0b57cec5SDimitry Andric bool WebAssemblyFastISel::selectRet(const Instruction *I) {
1291*0b57cec5SDimitry Andric   if (!FuncInfo.CanLowerReturn)
1292*0b57cec5SDimitry Andric     return false;
1293*0b57cec5SDimitry Andric 
1294*0b57cec5SDimitry Andric   const auto *Ret = cast<ReturnInst>(I);
1295*0b57cec5SDimitry Andric 
1296*0b57cec5SDimitry Andric   if (Ret->getNumOperands() == 0) {
1297*0b57cec5SDimitry Andric     BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc,
12988bcb0991SDimitry Andric             TII.get(WebAssembly::RETURN));
1299*0b57cec5SDimitry Andric     return true;
1300*0b57cec5SDimitry Andric   }
1301*0b57cec5SDimitry Andric 
13028bcb0991SDimitry Andric   // TODO: support multiple return in FastISel
13038bcb0991SDimitry Andric   if (Ret->getNumOperands() > 1)
13048bcb0991SDimitry Andric     return false;
13058bcb0991SDimitry Andric 
1306*0b57cec5SDimitry Andric   Value *RV = Ret->getOperand(0);
1307*0b57cec5SDimitry Andric   if (!Subtarget->hasSIMD128() && RV->getType()->isVectorTy())
1308*0b57cec5SDimitry Andric     return false;
1309*0b57cec5SDimitry Andric 
1310*0b57cec5SDimitry Andric   switch (getSimpleType(RV->getType())) {
1311*0b57cec5SDimitry Andric   case MVT::i1:
1312*0b57cec5SDimitry Andric   case MVT::i8:
1313*0b57cec5SDimitry Andric   case MVT::i16:
1314*0b57cec5SDimitry Andric   case MVT::i32:
1315*0b57cec5SDimitry Andric   case MVT::i64:
1316*0b57cec5SDimitry Andric   case MVT::f32:
1317*0b57cec5SDimitry Andric   case MVT::f64:
1318*0b57cec5SDimitry Andric   case MVT::v16i8:
1319*0b57cec5SDimitry Andric   case MVT::v8i16:
1320*0b57cec5SDimitry Andric   case MVT::v4i32:
1321*0b57cec5SDimitry Andric   case MVT::v2i64:
1322*0b57cec5SDimitry Andric   case MVT::v4f32:
1323*0b57cec5SDimitry Andric   case MVT::v2f64:
1324*0b57cec5SDimitry Andric   case MVT::exnref:
1325*0b57cec5SDimitry Andric     break;
1326*0b57cec5SDimitry Andric   default:
1327*0b57cec5SDimitry Andric     return false;
1328*0b57cec5SDimitry Andric   }
1329*0b57cec5SDimitry Andric 
1330*0b57cec5SDimitry Andric   unsigned Reg;
1331*0b57cec5SDimitry Andric   if (FuncInfo.Fn->getAttributes().hasAttribute(0, Attribute::SExt))
1332*0b57cec5SDimitry Andric     Reg = getRegForSignedValue(RV);
1333*0b57cec5SDimitry Andric   else if (FuncInfo.Fn->getAttributes().hasAttribute(0, Attribute::ZExt))
1334*0b57cec5SDimitry Andric     Reg = getRegForUnsignedValue(RV);
1335*0b57cec5SDimitry Andric   else
1336*0b57cec5SDimitry Andric     Reg = getRegForValue(RV);
1337*0b57cec5SDimitry Andric 
1338*0b57cec5SDimitry Andric   if (Reg == 0)
1339*0b57cec5SDimitry Andric     return false;
1340*0b57cec5SDimitry Andric 
13418bcb0991SDimitry Andric   BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc,
13428bcb0991SDimitry Andric           TII.get(WebAssembly::RETURN))
13438bcb0991SDimitry Andric       .addReg(Reg);
1344*0b57cec5SDimitry Andric   return true;
1345*0b57cec5SDimitry Andric }
1346*0b57cec5SDimitry Andric 
1347*0b57cec5SDimitry Andric bool WebAssemblyFastISel::selectUnreachable(const Instruction *I) {
1348*0b57cec5SDimitry Andric   BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc,
1349*0b57cec5SDimitry Andric           TII.get(WebAssembly::UNREACHABLE));
1350*0b57cec5SDimitry Andric   return true;
1351*0b57cec5SDimitry Andric }
1352*0b57cec5SDimitry Andric 
1353*0b57cec5SDimitry Andric bool WebAssemblyFastISel::fastSelectInstruction(const Instruction *I) {
1354*0b57cec5SDimitry Andric   switch (I->getOpcode()) {
1355*0b57cec5SDimitry Andric   case Instruction::Call:
1356*0b57cec5SDimitry Andric     if (selectCall(I))
1357*0b57cec5SDimitry Andric       return true;
1358*0b57cec5SDimitry Andric     break;
1359*0b57cec5SDimitry Andric   case Instruction::Select:
1360*0b57cec5SDimitry Andric     return selectSelect(I);
1361*0b57cec5SDimitry Andric   case Instruction::Trunc:
1362*0b57cec5SDimitry Andric     return selectTrunc(I);
1363*0b57cec5SDimitry Andric   case Instruction::ZExt:
1364*0b57cec5SDimitry Andric     return selectZExt(I);
1365*0b57cec5SDimitry Andric   case Instruction::SExt:
1366*0b57cec5SDimitry Andric     return selectSExt(I);
1367*0b57cec5SDimitry Andric   case Instruction::ICmp:
1368*0b57cec5SDimitry Andric     return selectICmp(I);
1369*0b57cec5SDimitry Andric   case Instruction::FCmp:
1370*0b57cec5SDimitry Andric     return selectFCmp(I);
1371*0b57cec5SDimitry Andric   case Instruction::BitCast:
1372*0b57cec5SDimitry Andric     return selectBitCast(I);
1373*0b57cec5SDimitry Andric   case Instruction::Load:
1374*0b57cec5SDimitry Andric     return selectLoad(I);
1375*0b57cec5SDimitry Andric   case Instruction::Store:
1376*0b57cec5SDimitry Andric     return selectStore(I);
1377*0b57cec5SDimitry Andric   case Instruction::Br:
1378*0b57cec5SDimitry Andric     return selectBr(I);
1379*0b57cec5SDimitry Andric   case Instruction::Ret:
1380*0b57cec5SDimitry Andric     return selectRet(I);
1381*0b57cec5SDimitry Andric   case Instruction::Unreachable:
1382*0b57cec5SDimitry Andric     return selectUnreachable(I);
1383*0b57cec5SDimitry Andric   default:
1384*0b57cec5SDimitry Andric     break;
1385*0b57cec5SDimitry Andric   }
1386*0b57cec5SDimitry Andric 
1387*0b57cec5SDimitry Andric   // Fall back to target-independent instruction selection.
1388*0b57cec5SDimitry Andric   return selectOperator(I, I->getOpcode());
1389*0b57cec5SDimitry Andric }
1390*0b57cec5SDimitry Andric 
1391*0b57cec5SDimitry Andric FastISel *WebAssembly::createFastISel(FunctionLoweringInfo &FuncInfo,
1392*0b57cec5SDimitry Andric                                       const TargetLibraryInfo *LibInfo) {
1393*0b57cec5SDimitry Andric   return new WebAssemblyFastISel(FuncInfo, LibInfo);
1394*0b57cec5SDimitry Andric }
1395