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