xref: /freebsd/contrib/llvm-project/llvm/lib/Target/WebAssembly/WebAssemblyMachineFunctionInfo.cpp (revision fe6060f10f634930ff71b7c50291ddc610da2475)
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