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