123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170 |
- //=- 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));
- }
- }
|