| //=- WebAssemblyMachineFunctionInfo.cpp - WebAssembly Machine Function Info -=// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| /// |
| /// \file |
| /// This file implements WebAssembly-specific per-machine-function |
| /// information. |
| /// |
| //===----------------------------------------------------------------------===// |
| |
| #include "WebAssemblyMachineFunctionInfo.h" |
| #include "MCTargetDesc/WebAssemblyInstPrinter.h" |
| #include "Utils/WebAssemblyTypeUtilities.h" |
| #include "WebAssemblyISelLowering.h" |
| #include "WebAssemblySubtarget.h" |
| #include "llvm/CodeGen/Analysis.h" |
| #include "llvm/CodeGen/WasmEHFuncInfo.h" |
| #include "llvm/Target/TargetMachine.h" |
| using namespace llvm; |
| |
| WebAssemblyFunctionInfo::~WebAssemblyFunctionInfo() = default; // anchor. |
| |
| MachineFunctionInfo *WebAssemblyFunctionInfo::clone( |
| BumpPtrAllocator &Allocator, MachineFunction &DestMF, |
| const DenseMap<MachineBasicBlock *, MachineBasicBlock *> &Src2DstMBB) |
| const { |
| // TODO: Implement cloning for WasmEHFuncInfo. This will have invalid block |
| // references. |
| return DestMF.cloneInfo<WebAssemblyFunctionInfo>(*this); |
| } |
| |
| void WebAssemblyFunctionInfo::initWARegs(MachineRegisterInfo &MRI) { |
| assert(WARegs.empty()); |
| unsigned Reg = UnusedReg; |
| WARegs.resize(MRI.getNumVirtRegs(), Reg); |
| } |
| |
| void llvm::computeLegalValueVTs(const WebAssemblyTargetLowering &TLI, |
| LLVMContext &Ctx, const DataLayout &DL, |
| Type *Ty, SmallVectorImpl<MVT> &ValueVTs) { |
| SmallVector<EVT, 4> VTs; |
| ComputeValueVTs(TLI, DL, Ty, VTs); |
| |
| for (EVT VT : VTs) { |
| unsigned NumRegs = TLI.getNumRegisters(Ctx, VT); |
| MVT RegisterVT = TLI.getRegisterType(Ctx, VT); |
| for (unsigned I = 0; I != NumRegs; ++I) |
| ValueVTs.push_back(RegisterVT); |
| } |
| } |
| |
| void llvm::computeLegalValueVTs(const Function &F, const TargetMachine &TM, |
| Type *Ty, SmallVectorImpl<MVT> &ValueVTs) { |
| const DataLayout &DL(F.getParent()->getDataLayout()); |
| const WebAssemblyTargetLowering &TLI = |
| *TM.getSubtarget<WebAssemblySubtarget>(F).getTargetLowering(); |
| computeLegalValueVTs(TLI, F.getContext(), DL, Ty, ValueVTs); |
| } |
| |
| void llvm::computeSignatureVTs(const FunctionType *Ty, |
| const Function *TargetFunc, |
| const Function &ContextFunc, |
| const TargetMachine &TM, |
| SmallVectorImpl<MVT> &Params, |
| SmallVectorImpl<MVT> &Results) { |
| computeLegalValueVTs(ContextFunc, TM, Ty->getReturnType(), Results); |
| |
| MVT PtrVT = MVT::getIntegerVT(TM.createDataLayout().getPointerSizeInBits()); |
| if (Results.size() > 1 && |
| !TM.getSubtarget<WebAssemblySubtarget>(ContextFunc).hasMultivalue()) { |
| // WebAssembly can't lower returns of multiple values without demoting to |
| // sret unless multivalue is enabled (see |
| // WebAssemblyTargetLowering::CanLowerReturn). So replace multiple return |
| // values with a poitner parameter. |
| Results.clear(); |
| Params.push_back(PtrVT); |
| } |
| |
| for (auto *Param : Ty->params()) |
| computeLegalValueVTs(ContextFunc, TM, Param, Params); |
| if (Ty->isVarArg()) |
| Params.push_back(PtrVT); |
| |
| // For swiftcc, emit additional swiftself and swifterror parameters |
| // if there aren't. These additional parameters are also passed for caller. |
| // They are necessary to match callee and caller signature for indirect |
| // call. |
| |
| if (TargetFunc && TargetFunc->getCallingConv() == CallingConv::Swift) { |
| MVT PtrVT = MVT::getIntegerVT(TM.createDataLayout().getPointerSizeInBits()); |
| bool HasSwiftErrorArg = false; |
| bool HasSwiftSelfArg = false; |
| for (const auto &Arg : TargetFunc->args()) { |
| HasSwiftErrorArg |= Arg.hasAttribute(Attribute::SwiftError); |
| HasSwiftSelfArg |= Arg.hasAttribute(Attribute::SwiftSelf); |
| } |
| if (!HasSwiftErrorArg) |
| Params.push_back(PtrVT); |
| if (!HasSwiftSelfArg) |
| Params.push_back(PtrVT); |
| } |
| } |
| |
| void llvm::valTypesFromMVTs(const ArrayRef<MVT> &In, |
| SmallVectorImpl<wasm::ValType> &Out) { |
| for (MVT Ty : In) |
| Out.push_back(WebAssembly::toValType(Ty)); |
| } |
| |
| std::unique_ptr<wasm::WasmSignature> |
| llvm::signatureFromMVTs(const SmallVectorImpl<MVT> &Results, |
| const SmallVectorImpl<MVT> &Params) { |
| auto Sig = std::make_unique<wasm::WasmSignature>(); |
| valTypesFromMVTs(Results, Sig->Returns); |
| valTypesFromMVTs(Params, Sig->Params); |
| return Sig; |
| } |
| |
| yaml::WebAssemblyFunctionInfo::WebAssemblyFunctionInfo( |
| const llvm::MachineFunction &MF, const llvm::WebAssemblyFunctionInfo &MFI) |
| : CFGStackified(MFI.isCFGStackified()) { |
| for (auto VT : MFI.getParams()) |
| Params.push_back(EVT(VT).getEVTString()); |
| for (auto VT : MFI.getResults()) |
| Results.push_back(EVT(VT).getEVTString()); |
| |
| // MFI.getWasmEHFuncInfo() is non-null only for functions with the |
| // personality function. |
| |
| if (auto *EHInfo = MF.getWasmEHFuncInfo()) { |
| // SrcToUnwindDest can contain stale mappings in case BBs are removed in |
| // optimizations, in case, for example, they are unreachable. We should not |
| // include their info. |
| SmallPtrSet<const MachineBasicBlock *, 16> MBBs; |
| for (const auto &MBB : MF) |
| MBBs.insert(&MBB); |
| for (auto KV : EHInfo->SrcToUnwindDest) { |
| auto *SrcBB = KV.first.get<MachineBasicBlock *>(); |
| auto *DestBB = KV.second.get<MachineBasicBlock *>(); |
| if (MBBs.count(SrcBB) && MBBs.count(DestBB)) |
| SrcToUnwindDest[SrcBB->getNumber()] = DestBB->getNumber(); |
| } |
| } |
| } |
| |
| void yaml::WebAssemblyFunctionInfo::mappingImpl(yaml::IO &YamlIO) { |
| MappingTraits<WebAssemblyFunctionInfo>::mapping(YamlIO, *this); |
| } |
| |
| void WebAssemblyFunctionInfo::initializeBaseYamlFields( |
| MachineFunction &MF, const yaml::WebAssemblyFunctionInfo &YamlMFI) { |
| CFGStackified = YamlMFI.CFGStackified; |
| for (auto VT : YamlMFI.Params) |
| addParam(WebAssembly::parseMVT(VT.Value)); |
| for (auto VT : YamlMFI.Results) |
| addResult(WebAssembly::parseMVT(VT.Value)); |
| |
| // FIXME: WasmEHInfo is defined in the MachineFunction, but serialized |
| // here. Either WasmEHInfo should be moved out of MachineFunction, or the |
| // serialization handling should be moved to MachineFunction. |
| if (WasmEHFuncInfo *WasmEHInfo = MF.getWasmEHFuncInfo()) { |
| for (auto KV : YamlMFI.SrcToUnwindDest) |
| WasmEHInfo->setUnwindDest(MF.getBlockNumbered(KV.first), |
| MF.getBlockNumbered(KV.second)); |
| } |
| } |