| //=- 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 "WebAssemblyISelLowering.h" | |
| #include "WebAssemblySubtarget.h" | |
| #include "llvm/CodeGen/Analysis.h" | |
| using namespace llvm; | |
| WebAssemblyFunctionInfo::~WebAssemblyFunctionInfo() = default; // anchor. | |
| void WebAssemblyFunctionInfo::initWARegs() { | |
| assert(WARegs.empty()); | |
| unsigned Reg = UnusedReg; | |
| WARegs.resize(MF.getRegInfo().getNumVirtRegs(), Reg); | |
| } | |
| 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(); | |
| SmallVector<EVT, 4> VTs; | |
| ComputeValueVTs(TLI, DL, Ty, VTs); | |
| for (EVT VT : VTs) { | |
| unsigned NumRegs = TLI.getNumRegisters(F.getContext(), VT); | |
| MVT RegisterVT = TLI.getRegisterType(F.getContext(), VT); | |
| for (unsigned I = 0; I != NumRegs; ++I) | |
| ValueVTs.push_back(RegisterVT); | |
| } | |
| } | |
| void llvm::computeSignatureVTs(const FunctionType *Ty, const Function &F, | |
| const TargetMachine &TM, | |
| SmallVectorImpl<MVT> &Params, | |
| SmallVectorImpl<MVT> &Results) { | |
| computeLegalValueVTs(F, TM, Ty->getReturnType(), Results); | |
| MVT PtrVT = MVT::getIntegerVT(TM.createDataLayout().getPointerSizeInBits()); | |
| if (Results.size() > 1 && | |
| !TM.getSubtarget<WebAssemblySubtarget>(F).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(F, TM, Param, Params); | |
| if (Ty->isVarArg()) | |
| 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::WebAssemblyFunctionInfo &MFI) | |
| : CFGStackified(MFI.isCFGStackified()) {} | |
| void yaml::WebAssemblyFunctionInfo::mappingImpl(yaml::IO &YamlIO) { | |
| MappingTraits<WebAssemblyFunctionInfo>::mapping(YamlIO, *this); | |
| } | |
| void WebAssemblyFunctionInfo::initializeBaseYamlFields( | |
| const yaml::WebAssemblyFunctionInfo &YamlMFI) { | |
| CFGStackified = YamlMFI.CFGStackified; | |
| } |