10b57cec5SDimitry Andric //=- WebAssemblyMachineFunctionInfo.cpp - WebAssembly Machine Function Info -=// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric /// 90b57cec5SDimitry Andric /// \file 100b57cec5SDimitry Andric /// This file implements WebAssembly-specific per-machine-function 110b57cec5SDimitry Andric /// information. 120b57cec5SDimitry Andric /// 130b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 140b57cec5SDimitry Andric 150b57cec5SDimitry Andric #include "WebAssemblyMachineFunctionInfo.h" 16*fe6060f1SDimitry Andric #include "MCTargetDesc/WebAssemblyInstPrinter.h" 17*fe6060f1SDimitry Andric #include "Utils/WebAssemblyTypeUtilities.h" 180b57cec5SDimitry Andric #include "WebAssemblyISelLowering.h" 190b57cec5SDimitry Andric #include "WebAssemblySubtarget.h" 200b57cec5SDimitry Andric #include "llvm/CodeGen/Analysis.h" 21*fe6060f1SDimitry Andric #include "llvm/CodeGen/WasmEHFuncInfo.h" 225ffd83dbSDimitry Andric #include "llvm/Target/TargetMachine.h" 230b57cec5SDimitry Andric using namespace llvm; 240b57cec5SDimitry Andric 250b57cec5SDimitry Andric WebAssemblyFunctionInfo::~WebAssemblyFunctionInfo() = default; // anchor. 260b57cec5SDimitry Andric 275ffd83dbSDimitry Andric void WebAssemblyFunctionInfo::initWARegs(MachineRegisterInfo &MRI) { 280b57cec5SDimitry Andric assert(WARegs.empty()); 290b57cec5SDimitry Andric unsigned Reg = UnusedReg; 305ffd83dbSDimitry Andric WARegs.resize(MRI.getNumVirtRegs(), Reg); 310b57cec5SDimitry Andric } 320b57cec5SDimitry Andric 330b57cec5SDimitry Andric void llvm::computeLegalValueVTs(const Function &F, const TargetMachine &TM, 340b57cec5SDimitry Andric Type *Ty, SmallVectorImpl<MVT> &ValueVTs) { 350b57cec5SDimitry Andric const DataLayout &DL(F.getParent()->getDataLayout()); 360b57cec5SDimitry Andric const WebAssemblyTargetLowering &TLI = 370b57cec5SDimitry Andric *TM.getSubtarget<WebAssemblySubtarget>(F).getTargetLowering(); 380b57cec5SDimitry Andric SmallVector<EVT, 4> VTs; 390b57cec5SDimitry Andric ComputeValueVTs(TLI, DL, Ty, VTs); 400b57cec5SDimitry Andric 410b57cec5SDimitry Andric for (EVT VT : VTs) { 420b57cec5SDimitry Andric unsigned NumRegs = TLI.getNumRegisters(F.getContext(), VT); 430b57cec5SDimitry Andric MVT RegisterVT = TLI.getRegisterType(F.getContext(), VT); 440b57cec5SDimitry Andric for (unsigned I = 0; I != NumRegs; ++I) 450b57cec5SDimitry Andric ValueVTs.push_back(RegisterVT); 460b57cec5SDimitry Andric } 470b57cec5SDimitry Andric } 480b57cec5SDimitry Andric 495ffd83dbSDimitry Andric void llvm::computeSignatureVTs(const FunctionType *Ty, 505ffd83dbSDimitry Andric const Function *TargetFunc, 515ffd83dbSDimitry Andric const Function &ContextFunc, 520b57cec5SDimitry Andric const TargetMachine &TM, 530b57cec5SDimitry Andric SmallVectorImpl<MVT> &Params, 540b57cec5SDimitry Andric SmallVectorImpl<MVT> &Results) { 555ffd83dbSDimitry Andric computeLegalValueVTs(ContextFunc, TM, Ty->getReturnType(), Results); 560b57cec5SDimitry Andric 570b57cec5SDimitry Andric MVT PtrVT = MVT::getIntegerVT(TM.createDataLayout().getPointerSizeInBits()); 588bcb0991SDimitry Andric if (Results.size() > 1 && 595ffd83dbSDimitry Andric !TM.getSubtarget<WebAssemblySubtarget>(ContextFunc).hasMultivalue()) { 608bcb0991SDimitry Andric // WebAssembly can't lower returns of multiple values without demoting to 618bcb0991SDimitry Andric // sret unless multivalue is enabled (see 628bcb0991SDimitry Andric // WebAssemblyTargetLowering::CanLowerReturn). So replace multiple return 638bcb0991SDimitry Andric // values with a poitner parameter. 640b57cec5SDimitry Andric Results.clear(); 650b57cec5SDimitry Andric Params.push_back(PtrVT); 660b57cec5SDimitry Andric } 670b57cec5SDimitry Andric 680b57cec5SDimitry Andric for (auto *Param : Ty->params()) 695ffd83dbSDimitry Andric computeLegalValueVTs(ContextFunc, TM, Param, Params); 700b57cec5SDimitry Andric if (Ty->isVarArg()) 710b57cec5SDimitry Andric Params.push_back(PtrVT); 725ffd83dbSDimitry Andric 735ffd83dbSDimitry Andric // For swiftcc, emit additional swiftself and swifterror parameters 745ffd83dbSDimitry Andric // if there aren't. These additional parameters are also passed for caller. 755ffd83dbSDimitry Andric // They are necessary to match callee and caller signature for indirect 765ffd83dbSDimitry Andric // call. 775ffd83dbSDimitry Andric 785ffd83dbSDimitry Andric if (TargetFunc && TargetFunc->getCallingConv() == CallingConv::Swift) { 795ffd83dbSDimitry Andric MVT PtrVT = MVT::getIntegerVT(TM.createDataLayout().getPointerSizeInBits()); 805ffd83dbSDimitry Andric bool HasSwiftErrorArg = false; 815ffd83dbSDimitry Andric bool HasSwiftSelfArg = false; 825ffd83dbSDimitry Andric for (const auto &Arg : TargetFunc->args()) { 835ffd83dbSDimitry Andric HasSwiftErrorArg |= Arg.hasAttribute(Attribute::SwiftError); 845ffd83dbSDimitry Andric HasSwiftSelfArg |= Arg.hasAttribute(Attribute::SwiftSelf); 855ffd83dbSDimitry Andric } 865ffd83dbSDimitry Andric if (!HasSwiftErrorArg) 875ffd83dbSDimitry Andric Params.push_back(PtrVT); 885ffd83dbSDimitry Andric if (!HasSwiftSelfArg) 895ffd83dbSDimitry Andric Params.push_back(PtrVT); 905ffd83dbSDimitry Andric } 910b57cec5SDimitry Andric } 920b57cec5SDimitry Andric 930b57cec5SDimitry Andric void llvm::valTypesFromMVTs(const ArrayRef<MVT> &In, 940b57cec5SDimitry Andric SmallVectorImpl<wasm::ValType> &Out) { 950b57cec5SDimitry Andric for (MVT Ty : In) 960b57cec5SDimitry Andric Out.push_back(WebAssembly::toValType(Ty)); 970b57cec5SDimitry Andric } 980b57cec5SDimitry Andric 990b57cec5SDimitry Andric std::unique_ptr<wasm::WasmSignature> 1000b57cec5SDimitry Andric llvm::signatureFromMVTs(const SmallVectorImpl<MVT> &Results, 1010b57cec5SDimitry Andric const SmallVectorImpl<MVT> &Params) { 1028bcb0991SDimitry Andric auto Sig = std::make_unique<wasm::WasmSignature>(); 1030b57cec5SDimitry Andric valTypesFromMVTs(Results, Sig->Returns); 1040b57cec5SDimitry Andric valTypesFromMVTs(Params, Sig->Params); 1050b57cec5SDimitry Andric return Sig; 1060b57cec5SDimitry Andric } 1070b57cec5SDimitry Andric 1080b57cec5SDimitry Andric yaml::WebAssemblyFunctionInfo::WebAssemblyFunctionInfo( 1090b57cec5SDimitry Andric const llvm::WebAssemblyFunctionInfo &MFI) 110*fe6060f1SDimitry Andric : CFGStackified(MFI.isCFGStackified()) { 111*fe6060f1SDimitry Andric auto *EHInfo = MFI.getWasmEHFuncInfo(); 112*fe6060f1SDimitry Andric const llvm::MachineFunction &MF = MFI.getMachineFunction(); 113*fe6060f1SDimitry Andric 114*fe6060f1SDimitry Andric for (auto VT : MFI.getParams()) 115*fe6060f1SDimitry Andric Params.push_back(EVT(VT).getEVTString()); 116*fe6060f1SDimitry Andric for (auto VT : MFI.getResults()) 117*fe6060f1SDimitry Andric Results.push_back(EVT(VT).getEVTString()); 118*fe6060f1SDimitry Andric 119*fe6060f1SDimitry Andric // MFI.getWasmEHFuncInfo() is non-null only for functions with the 120*fe6060f1SDimitry Andric // personality function. 121*fe6060f1SDimitry Andric if (EHInfo) { 122*fe6060f1SDimitry Andric // SrcToUnwindDest can contain stale mappings in case BBs are removed in 123*fe6060f1SDimitry Andric // optimizations, in case, for example, they are unreachable. We should not 124*fe6060f1SDimitry Andric // include their info. 125*fe6060f1SDimitry Andric SmallPtrSet<const MachineBasicBlock *, 16> MBBs; 126*fe6060f1SDimitry Andric for (const auto &MBB : MF) 127*fe6060f1SDimitry Andric MBBs.insert(&MBB); 128*fe6060f1SDimitry Andric for (auto KV : EHInfo->SrcToUnwindDest) { 129*fe6060f1SDimitry Andric auto *SrcBB = KV.first.get<MachineBasicBlock *>(); 130*fe6060f1SDimitry Andric auto *DestBB = KV.second.get<MachineBasicBlock *>(); 131*fe6060f1SDimitry Andric if (MBBs.count(SrcBB) && MBBs.count(DestBB)) 132*fe6060f1SDimitry Andric SrcToUnwindDest[SrcBB->getNumber()] = DestBB->getNumber(); 133*fe6060f1SDimitry Andric } 134*fe6060f1SDimitry Andric } 135*fe6060f1SDimitry Andric } 1360b57cec5SDimitry Andric 1370b57cec5SDimitry Andric void yaml::WebAssemblyFunctionInfo::mappingImpl(yaml::IO &YamlIO) { 1380b57cec5SDimitry Andric MappingTraits<WebAssemblyFunctionInfo>::mapping(YamlIO, *this); 1390b57cec5SDimitry Andric } 1400b57cec5SDimitry Andric 1410b57cec5SDimitry Andric void WebAssemblyFunctionInfo::initializeBaseYamlFields( 1420b57cec5SDimitry Andric const yaml::WebAssemblyFunctionInfo &YamlMFI) { 1430b57cec5SDimitry Andric CFGStackified = YamlMFI.CFGStackified; 144*fe6060f1SDimitry Andric for (auto VT : YamlMFI.Params) 145*fe6060f1SDimitry Andric addParam(WebAssembly::parseMVT(VT.Value)); 146*fe6060f1SDimitry Andric for (auto VT : YamlMFI.Results) 147*fe6060f1SDimitry Andric addResult(WebAssembly::parseMVT(VT.Value)); 148*fe6060f1SDimitry Andric if (WasmEHInfo) { 149*fe6060f1SDimitry Andric for (auto KV : YamlMFI.SrcToUnwindDest) 150*fe6060f1SDimitry Andric WasmEHInfo->setUnwindDest(MF.getBlockNumbered(KV.first), 151*fe6060f1SDimitry Andric MF.getBlockNumbered(KV.second)); 152*fe6060f1SDimitry Andric } 1530b57cec5SDimitry Andric } 154