xref: /freebsd-src/contrib/llvm-project/llvm/lib/Target/WebAssembly/WebAssemblyExplicitLocals.cpp (revision 5ffd83dbcc34f10e07f6d3e968ae6365869615f4)
10b57cec5SDimitry Andric //===-- WebAssemblyExplicitLocals.cpp - Make Locals Explicit --------------===//
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 converts any remaining registers into WebAssembly locals.
110b57cec5SDimitry Andric ///
120b57cec5SDimitry Andric /// After register stackification and register coloring, convert non-stackified
130b57cec5SDimitry Andric /// registers into locals, inserting explicit local.get and local.set
140b57cec5SDimitry Andric /// instructions.
150b57cec5SDimitry Andric ///
160b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
170b57cec5SDimitry Andric 
180b57cec5SDimitry Andric #include "MCTargetDesc/WebAssemblyMCTargetDesc.h"
190b57cec5SDimitry Andric #include "WebAssembly.h"
20480093f4SDimitry Andric #include "WebAssemblyDebugValueManager.h"
210b57cec5SDimitry Andric #include "WebAssemblyMachineFunctionInfo.h"
220b57cec5SDimitry Andric #include "WebAssemblySubtarget.h"
230b57cec5SDimitry Andric #include "WebAssemblyUtilities.h"
240b57cec5SDimitry Andric #include "llvm/CodeGen/MachineBlockFrequencyInfo.h"
250b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstrBuilder.h"
260b57cec5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h"
270b57cec5SDimitry Andric #include "llvm/CodeGen/Passes.h"
280b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
290b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
300b57cec5SDimitry Andric using namespace llvm;
310b57cec5SDimitry Andric 
320b57cec5SDimitry Andric #define DEBUG_TYPE "wasm-explicit-locals"
330b57cec5SDimitry Andric 
340b57cec5SDimitry Andric namespace {
350b57cec5SDimitry Andric class WebAssemblyExplicitLocals final : public MachineFunctionPass {
360b57cec5SDimitry Andric   StringRef getPassName() const override {
370b57cec5SDimitry Andric     return "WebAssembly Explicit Locals";
380b57cec5SDimitry Andric   }
390b57cec5SDimitry Andric 
400b57cec5SDimitry Andric   void getAnalysisUsage(AnalysisUsage &AU) const override {
410b57cec5SDimitry Andric     AU.setPreservesCFG();
420b57cec5SDimitry Andric     AU.addPreserved<MachineBlockFrequencyInfo>();
430b57cec5SDimitry Andric     MachineFunctionPass::getAnalysisUsage(AU);
440b57cec5SDimitry Andric   }
450b57cec5SDimitry Andric 
460b57cec5SDimitry Andric   bool runOnMachineFunction(MachineFunction &MF) override;
470b57cec5SDimitry Andric 
480b57cec5SDimitry Andric public:
490b57cec5SDimitry Andric   static char ID; // Pass identification, replacement for typeid
500b57cec5SDimitry Andric   WebAssemblyExplicitLocals() : MachineFunctionPass(ID) {}
510b57cec5SDimitry Andric };
520b57cec5SDimitry Andric } // end anonymous namespace
530b57cec5SDimitry Andric 
540b57cec5SDimitry Andric char WebAssemblyExplicitLocals::ID = 0;
550b57cec5SDimitry Andric INITIALIZE_PASS(WebAssemblyExplicitLocals, DEBUG_TYPE,
560b57cec5SDimitry Andric                 "Convert registers to WebAssembly locals", false, false)
570b57cec5SDimitry Andric 
580b57cec5SDimitry Andric FunctionPass *llvm::createWebAssemblyExplicitLocals() {
590b57cec5SDimitry Andric   return new WebAssemblyExplicitLocals();
600b57cec5SDimitry Andric }
610b57cec5SDimitry Andric 
62*5ffd83dbSDimitry Andric static void checkFrameBase(WebAssemblyFunctionInfo &MFI, unsigned Local,
63*5ffd83dbSDimitry Andric                            unsigned Reg) {
64*5ffd83dbSDimitry Andric   // Mark a local for the frame base vreg.
65*5ffd83dbSDimitry Andric   if (MFI.isFrameBaseVirtual() && Reg == MFI.getFrameBaseVreg()) {
66*5ffd83dbSDimitry Andric     LLVM_DEBUG({
67*5ffd83dbSDimitry Andric       dbgs() << "Allocating local " << Local << "for VReg "
68*5ffd83dbSDimitry Andric              << Register::virtReg2Index(Reg) << '\n';
69*5ffd83dbSDimitry Andric     });
70*5ffd83dbSDimitry Andric     MFI.setFrameBaseLocal(Local);
71*5ffd83dbSDimitry Andric   }
72*5ffd83dbSDimitry Andric }
73*5ffd83dbSDimitry Andric 
740b57cec5SDimitry Andric /// Return a local id number for the given register, assigning it a new one
750b57cec5SDimitry Andric /// if it doesn't yet have one.
760b57cec5SDimitry Andric static unsigned getLocalId(DenseMap<unsigned, unsigned> &Reg2Local,
77*5ffd83dbSDimitry Andric                            WebAssemblyFunctionInfo &MFI, unsigned &CurLocal,
78*5ffd83dbSDimitry Andric                            unsigned Reg) {
790b57cec5SDimitry Andric   auto P = Reg2Local.insert(std::make_pair(Reg, CurLocal));
80*5ffd83dbSDimitry Andric   if (P.second) {
81*5ffd83dbSDimitry Andric     checkFrameBase(MFI, CurLocal, Reg);
820b57cec5SDimitry Andric     ++CurLocal;
83*5ffd83dbSDimitry Andric   }
840b57cec5SDimitry Andric   return P.first->second;
850b57cec5SDimitry Andric }
860b57cec5SDimitry Andric 
870b57cec5SDimitry Andric /// Get the appropriate drop opcode for the given register class.
880b57cec5SDimitry Andric static unsigned getDropOpcode(const TargetRegisterClass *RC) {
890b57cec5SDimitry Andric   if (RC == &WebAssembly::I32RegClass)
900b57cec5SDimitry Andric     return WebAssembly::DROP_I32;
910b57cec5SDimitry Andric   if (RC == &WebAssembly::I64RegClass)
920b57cec5SDimitry Andric     return WebAssembly::DROP_I64;
930b57cec5SDimitry Andric   if (RC == &WebAssembly::F32RegClass)
940b57cec5SDimitry Andric     return WebAssembly::DROP_F32;
950b57cec5SDimitry Andric   if (RC == &WebAssembly::F64RegClass)
960b57cec5SDimitry Andric     return WebAssembly::DROP_F64;
970b57cec5SDimitry Andric   if (RC == &WebAssembly::V128RegClass)
980b57cec5SDimitry Andric     return WebAssembly::DROP_V128;
990b57cec5SDimitry Andric   if (RC == &WebAssembly::EXNREFRegClass)
1000b57cec5SDimitry Andric     return WebAssembly::DROP_EXNREF;
1010b57cec5SDimitry Andric   llvm_unreachable("Unexpected register class");
1020b57cec5SDimitry Andric }
1030b57cec5SDimitry Andric 
1040b57cec5SDimitry Andric /// Get the appropriate local.get opcode for the given register class.
1050b57cec5SDimitry Andric static unsigned getLocalGetOpcode(const TargetRegisterClass *RC) {
1060b57cec5SDimitry Andric   if (RC == &WebAssembly::I32RegClass)
1070b57cec5SDimitry Andric     return WebAssembly::LOCAL_GET_I32;
1080b57cec5SDimitry Andric   if (RC == &WebAssembly::I64RegClass)
1090b57cec5SDimitry Andric     return WebAssembly::LOCAL_GET_I64;
1100b57cec5SDimitry Andric   if (RC == &WebAssembly::F32RegClass)
1110b57cec5SDimitry Andric     return WebAssembly::LOCAL_GET_F32;
1120b57cec5SDimitry Andric   if (RC == &WebAssembly::F64RegClass)
1130b57cec5SDimitry Andric     return WebAssembly::LOCAL_GET_F64;
1140b57cec5SDimitry Andric   if (RC == &WebAssembly::V128RegClass)
1150b57cec5SDimitry Andric     return WebAssembly::LOCAL_GET_V128;
1160b57cec5SDimitry Andric   if (RC == &WebAssembly::EXNREFRegClass)
1170b57cec5SDimitry Andric     return WebAssembly::LOCAL_GET_EXNREF;
1180b57cec5SDimitry Andric   llvm_unreachable("Unexpected register class");
1190b57cec5SDimitry Andric }
1200b57cec5SDimitry Andric 
1210b57cec5SDimitry Andric /// Get the appropriate local.set opcode for the given register class.
1220b57cec5SDimitry Andric static unsigned getLocalSetOpcode(const TargetRegisterClass *RC) {
1230b57cec5SDimitry Andric   if (RC == &WebAssembly::I32RegClass)
1240b57cec5SDimitry Andric     return WebAssembly::LOCAL_SET_I32;
1250b57cec5SDimitry Andric   if (RC == &WebAssembly::I64RegClass)
1260b57cec5SDimitry Andric     return WebAssembly::LOCAL_SET_I64;
1270b57cec5SDimitry Andric   if (RC == &WebAssembly::F32RegClass)
1280b57cec5SDimitry Andric     return WebAssembly::LOCAL_SET_F32;
1290b57cec5SDimitry Andric   if (RC == &WebAssembly::F64RegClass)
1300b57cec5SDimitry Andric     return WebAssembly::LOCAL_SET_F64;
1310b57cec5SDimitry Andric   if (RC == &WebAssembly::V128RegClass)
1320b57cec5SDimitry Andric     return WebAssembly::LOCAL_SET_V128;
1330b57cec5SDimitry Andric   if (RC == &WebAssembly::EXNREFRegClass)
1340b57cec5SDimitry Andric     return WebAssembly::LOCAL_SET_EXNREF;
1350b57cec5SDimitry Andric   llvm_unreachable("Unexpected register class");
1360b57cec5SDimitry Andric }
1370b57cec5SDimitry Andric 
1380b57cec5SDimitry Andric /// Get the appropriate local.tee opcode for the given register class.
1390b57cec5SDimitry Andric static unsigned getLocalTeeOpcode(const TargetRegisterClass *RC) {
1400b57cec5SDimitry Andric   if (RC == &WebAssembly::I32RegClass)
1410b57cec5SDimitry Andric     return WebAssembly::LOCAL_TEE_I32;
1420b57cec5SDimitry Andric   if (RC == &WebAssembly::I64RegClass)
1430b57cec5SDimitry Andric     return WebAssembly::LOCAL_TEE_I64;
1440b57cec5SDimitry Andric   if (RC == &WebAssembly::F32RegClass)
1450b57cec5SDimitry Andric     return WebAssembly::LOCAL_TEE_F32;
1460b57cec5SDimitry Andric   if (RC == &WebAssembly::F64RegClass)
1470b57cec5SDimitry Andric     return WebAssembly::LOCAL_TEE_F64;
1480b57cec5SDimitry Andric   if (RC == &WebAssembly::V128RegClass)
1490b57cec5SDimitry Andric     return WebAssembly::LOCAL_TEE_V128;
1500b57cec5SDimitry Andric   if (RC == &WebAssembly::EXNREFRegClass)
1510b57cec5SDimitry Andric     return WebAssembly::LOCAL_TEE_EXNREF;
1520b57cec5SDimitry Andric   llvm_unreachable("Unexpected register class");
1530b57cec5SDimitry Andric }
1540b57cec5SDimitry Andric 
1550b57cec5SDimitry Andric /// Get the type associated with the given register class.
1560b57cec5SDimitry Andric static MVT typeForRegClass(const TargetRegisterClass *RC) {
1570b57cec5SDimitry Andric   if (RC == &WebAssembly::I32RegClass)
1580b57cec5SDimitry Andric     return MVT::i32;
1590b57cec5SDimitry Andric   if (RC == &WebAssembly::I64RegClass)
1600b57cec5SDimitry Andric     return MVT::i64;
1610b57cec5SDimitry Andric   if (RC == &WebAssembly::F32RegClass)
1620b57cec5SDimitry Andric     return MVT::f32;
1630b57cec5SDimitry Andric   if (RC == &WebAssembly::F64RegClass)
1640b57cec5SDimitry Andric     return MVT::f64;
1650b57cec5SDimitry Andric   if (RC == &WebAssembly::V128RegClass)
1660b57cec5SDimitry Andric     return MVT::v16i8;
1670b57cec5SDimitry Andric   if (RC == &WebAssembly::EXNREFRegClass)
1680b57cec5SDimitry Andric     return MVT::exnref;
1690b57cec5SDimitry Andric   llvm_unreachable("unrecognized register class");
1700b57cec5SDimitry Andric }
1710b57cec5SDimitry Andric 
1720b57cec5SDimitry Andric /// Given a MachineOperand of a stackified vreg, return the instruction at the
1730b57cec5SDimitry Andric /// start of the expression tree.
1740b57cec5SDimitry Andric static MachineInstr *findStartOfTree(MachineOperand &MO,
1750b57cec5SDimitry Andric                                      MachineRegisterInfo &MRI,
176*5ffd83dbSDimitry Andric                                      const WebAssemblyFunctionInfo &MFI) {
1778bcb0991SDimitry Andric   Register Reg = MO.getReg();
1780b57cec5SDimitry Andric   assert(MFI.isVRegStackified(Reg));
1790b57cec5SDimitry Andric   MachineInstr *Def = MRI.getVRegDef(Reg);
1800b57cec5SDimitry Andric 
181*5ffd83dbSDimitry Andric   // If this instruction has any non-stackified defs, it is the start
182*5ffd83dbSDimitry Andric   for (auto DefReg : Def->defs()) {
183*5ffd83dbSDimitry Andric     if (!MFI.isVRegStackified(DefReg.getReg())) {
184*5ffd83dbSDimitry Andric       return Def;
185*5ffd83dbSDimitry Andric     }
186*5ffd83dbSDimitry Andric   }
187*5ffd83dbSDimitry Andric 
1880b57cec5SDimitry Andric   // Find the first stackified use and proceed from there.
1890b57cec5SDimitry Andric   for (MachineOperand &DefMO : Def->explicit_uses()) {
1900b57cec5SDimitry Andric     if (!DefMO.isReg())
1910b57cec5SDimitry Andric       continue;
1920b57cec5SDimitry Andric     return findStartOfTree(DefMO, MRI, MFI);
1930b57cec5SDimitry Andric   }
1940b57cec5SDimitry Andric 
1950b57cec5SDimitry Andric   // If there were no stackified uses, we've reached the start.
1960b57cec5SDimitry Andric   return Def;
1970b57cec5SDimitry Andric }
1980b57cec5SDimitry Andric 
1990b57cec5SDimitry Andric bool WebAssemblyExplicitLocals::runOnMachineFunction(MachineFunction &MF) {
2000b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << "********** Make Locals Explicit **********\n"
2010b57cec5SDimitry Andric                        "********** Function: "
2020b57cec5SDimitry Andric                     << MF.getName() << '\n');
2030b57cec5SDimitry Andric 
2040b57cec5SDimitry Andric   bool Changed = false;
2050b57cec5SDimitry Andric   MachineRegisterInfo &MRI = MF.getRegInfo();
2060b57cec5SDimitry Andric   WebAssemblyFunctionInfo &MFI = *MF.getInfo<WebAssemblyFunctionInfo>();
2070b57cec5SDimitry Andric   const auto *TII = MF.getSubtarget<WebAssemblySubtarget>().getInstrInfo();
2080b57cec5SDimitry Andric 
2090b57cec5SDimitry Andric   // Map non-stackified virtual registers to their local ids.
2100b57cec5SDimitry Andric   DenseMap<unsigned, unsigned> Reg2Local;
2110b57cec5SDimitry Andric 
2120b57cec5SDimitry Andric   // Handle ARGUMENTS first to ensure that they get the designated numbers.
2130b57cec5SDimitry Andric   for (MachineBasicBlock::iterator I = MF.begin()->begin(),
2140b57cec5SDimitry Andric                                    E = MF.begin()->end();
2150b57cec5SDimitry Andric        I != E;) {
2160b57cec5SDimitry Andric     MachineInstr &MI = *I++;
2170b57cec5SDimitry Andric     if (!WebAssembly::isArgument(MI.getOpcode()))
2180b57cec5SDimitry Andric       break;
2198bcb0991SDimitry Andric     Register Reg = MI.getOperand(0).getReg();
2200b57cec5SDimitry Andric     assert(!MFI.isVRegStackified(Reg));
221*5ffd83dbSDimitry Andric     auto Local = static_cast<unsigned>(MI.getOperand(1).getImm());
222*5ffd83dbSDimitry Andric     Reg2Local[Reg] = Local;
223*5ffd83dbSDimitry Andric     checkFrameBase(MFI, Local, Reg);
2240b57cec5SDimitry Andric     MI.eraseFromParent();
2250b57cec5SDimitry Andric     Changed = true;
2260b57cec5SDimitry Andric   }
2270b57cec5SDimitry Andric 
2280b57cec5SDimitry Andric   // Start assigning local numbers after the last parameter.
2290b57cec5SDimitry Andric   unsigned CurLocal = static_cast<unsigned>(MFI.getParams().size());
2300b57cec5SDimitry Andric 
2310b57cec5SDimitry Andric   // Precompute the set of registers that are unused, so that we can insert
2320b57cec5SDimitry Andric   // drops to their defs.
2330b57cec5SDimitry Andric   BitVector UseEmpty(MRI.getNumVirtRegs());
2340b57cec5SDimitry Andric   for (unsigned I = 0, E = MRI.getNumVirtRegs(); I < E; ++I)
2358bcb0991SDimitry Andric     UseEmpty[I] = MRI.use_empty(Register::index2VirtReg(I));
2360b57cec5SDimitry Andric 
2370b57cec5SDimitry Andric   // Visit each instruction in the function.
2380b57cec5SDimitry Andric   for (MachineBasicBlock &MBB : MF) {
2390b57cec5SDimitry Andric     for (MachineBasicBlock::iterator I = MBB.begin(), E = MBB.end(); I != E;) {
2400b57cec5SDimitry Andric       MachineInstr &MI = *I++;
2410b57cec5SDimitry Andric       assert(!WebAssembly::isArgument(MI.getOpcode()));
2420b57cec5SDimitry Andric 
2430b57cec5SDimitry Andric       if (MI.isDebugInstr() || MI.isLabel())
2440b57cec5SDimitry Andric         continue;
2450b57cec5SDimitry Andric 
246*5ffd83dbSDimitry Andric       if (MI.getOpcode() == WebAssembly::IMPLICIT_DEF) {
247*5ffd83dbSDimitry Andric         MI.eraseFromParent();
248*5ffd83dbSDimitry Andric         Changed = true;
249*5ffd83dbSDimitry Andric         continue;
250*5ffd83dbSDimitry Andric       }
251*5ffd83dbSDimitry Andric 
2520b57cec5SDimitry Andric       // Replace tee instructions with local.tee. The difference is that tee
2530b57cec5SDimitry Andric       // instructions have two defs, while local.tee instructions have one def
2540b57cec5SDimitry Andric       // and an index of a local to write to.
2550b57cec5SDimitry Andric       if (WebAssembly::isTee(MI.getOpcode())) {
2560b57cec5SDimitry Andric         assert(MFI.isVRegStackified(MI.getOperand(0).getReg()));
2570b57cec5SDimitry Andric         assert(!MFI.isVRegStackified(MI.getOperand(1).getReg()));
2588bcb0991SDimitry Andric         Register OldReg = MI.getOperand(2).getReg();
2590b57cec5SDimitry Andric         const TargetRegisterClass *RC = MRI.getRegClass(OldReg);
2600b57cec5SDimitry Andric 
2610b57cec5SDimitry Andric         // Stackify the input if it isn't stackified yet.
2620b57cec5SDimitry Andric         if (!MFI.isVRegStackified(OldReg)) {
263*5ffd83dbSDimitry Andric           unsigned LocalId = getLocalId(Reg2Local, MFI, CurLocal, OldReg);
2648bcb0991SDimitry Andric           Register NewReg = MRI.createVirtualRegister(RC);
2650b57cec5SDimitry Andric           unsigned Opc = getLocalGetOpcode(RC);
2660b57cec5SDimitry Andric           BuildMI(MBB, &MI, MI.getDebugLoc(), TII->get(Opc), NewReg)
2670b57cec5SDimitry Andric               .addImm(LocalId);
2680b57cec5SDimitry Andric           MI.getOperand(2).setReg(NewReg);
269*5ffd83dbSDimitry Andric           MFI.stackifyVReg(MRI, NewReg);
2700b57cec5SDimitry Andric         }
2710b57cec5SDimitry Andric 
2720b57cec5SDimitry Andric         // Replace the TEE with a LOCAL_TEE.
2730b57cec5SDimitry Andric         unsigned LocalId =
274*5ffd83dbSDimitry Andric             getLocalId(Reg2Local, MFI, CurLocal, MI.getOperand(1).getReg());
2750b57cec5SDimitry Andric         unsigned Opc = getLocalTeeOpcode(RC);
2760b57cec5SDimitry Andric         BuildMI(MBB, &MI, MI.getDebugLoc(), TII->get(Opc),
2770b57cec5SDimitry Andric                 MI.getOperand(0).getReg())
2780b57cec5SDimitry Andric             .addImm(LocalId)
2790b57cec5SDimitry Andric             .addReg(MI.getOperand(2).getReg());
2800b57cec5SDimitry Andric 
281480093f4SDimitry Andric         WebAssemblyDebugValueManager(&MI).replaceWithLocal(LocalId);
282480093f4SDimitry Andric 
2830b57cec5SDimitry Andric         MI.eraseFromParent();
2840b57cec5SDimitry Andric         Changed = true;
2850b57cec5SDimitry Andric         continue;
2860b57cec5SDimitry Andric       }
2870b57cec5SDimitry Andric 
288*5ffd83dbSDimitry Andric       // Insert local.sets for any defs that aren't stackified yet.
289*5ffd83dbSDimitry Andric       for (auto &Def : MI.defs()) {
290*5ffd83dbSDimitry Andric         Register OldReg = Def.getReg();
2910b57cec5SDimitry Andric         if (!MFI.isVRegStackified(OldReg)) {
2920b57cec5SDimitry Andric           const TargetRegisterClass *RC = MRI.getRegClass(OldReg);
2938bcb0991SDimitry Andric           Register NewReg = MRI.createVirtualRegister(RC);
2940b57cec5SDimitry Andric           auto InsertPt = std::next(MI.getIterator());
2958bcb0991SDimitry Andric           if (UseEmpty[Register::virtReg2Index(OldReg)]) {
2960b57cec5SDimitry Andric             unsigned Opc = getDropOpcode(RC);
2970b57cec5SDimitry Andric             MachineInstr *Drop =
2980b57cec5SDimitry Andric                 BuildMI(MBB, InsertPt, MI.getDebugLoc(), TII->get(Opc))
2990b57cec5SDimitry Andric                     .addReg(NewReg);
3000b57cec5SDimitry Andric             // After the drop instruction, this reg operand will not be used
3010b57cec5SDimitry Andric             Drop->getOperand(0).setIsKill();
302*5ffd83dbSDimitry Andric             if (MFI.isFrameBaseVirtual() && OldReg == MFI.getFrameBaseVreg())
303*5ffd83dbSDimitry Andric               MFI.clearFrameBaseVreg();
3040b57cec5SDimitry Andric           } else {
305*5ffd83dbSDimitry Andric             unsigned LocalId = getLocalId(Reg2Local, MFI, CurLocal, OldReg);
3060b57cec5SDimitry Andric             unsigned Opc = getLocalSetOpcode(RC);
307480093f4SDimitry Andric 
308480093f4SDimitry Andric             WebAssemblyDebugValueManager(&MI).replaceWithLocal(LocalId);
309480093f4SDimitry Andric 
3100b57cec5SDimitry Andric             BuildMI(MBB, InsertPt, MI.getDebugLoc(), TII->get(Opc))
3110b57cec5SDimitry Andric                 .addImm(LocalId)
3120b57cec5SDimitry Andric                 .addReg(NewReg);
3130b57cec5SDimitry Andric           }
3140b57cec5SDimitry Andric           // This register operand of the original instruction is now being used
3150b57cec5SDimitry Andric           // by the inserted drop or local.set instruction, so make it not dead
3160b57cec5SDimitry Andric           // yet.
317*5ffd83dbSDimitry Andric           Def.setReg(NewReg);
318*5ffd83dbSDimitry Andric           Def.setIsDead(false);
319*5ffd83dbSDimitry Andric           MFI.stackifyVReg(MRI, NewReg);
3200b57cec5SDimitry Andric           Changed = true;
3210b57cec5SDimitry Andric         }
3220b57cec5SDimitry Andric       }
3230b57cec5SDimitry Andric 
3240b57cec5SDimitry Andric       // Insert local.gets for any uses that aren't stackified yet.
3250b57cec5SDimitry Andric       MachineInstr *InsertPt = &MI;
3260b57cec5SDimitry Andric       for (MachineOperand &MO : reverse(MI.explicit_uses())) {
3270b57cec5SDimitry Andric         if (!MO.isReg())
3280b57cec5SDimitry Andric           continue;
3290b57cec5SDimitry Andric 
3308bcb0991SDimitry Andric         Register OldReg = MO.getReg();
3310b57cec5SDimitry Andric 
3320b57cec5SDimitry Andric         // Inline asm may have a def in the middle of the operands. Our contract
3330b57cec5SDimitry Andric         // with inline asm register operands is to provide local indices as
3340b57cec5SDimitry Andric         // immediates.
3350b57cec5SDimitry Andric         if (MO.isDef()) {
3360b57cec5SDimitry Andric           assert(MI.isInlineAsm());
337*5ffd83dbSDimitry Andric           unsigned LocalId = getLocalId(Reg2Local, MFI, CurLocal, OldReg);
3380b57cec5SDimitry Andric           // If this register operand is tied to another operand, we can't
3390b57cec5SDimitry Andric           // change it to an immediate. Untie it first.
3400b57cec5SDimitry Andric           MI.untieRegOperand(MI.getOperandNo(&MO));
3410b57cec5SDimitry Andric           MO.ChangeToImmediate(LocalId);
3420b57cec5SDimitry Andric           continue;
3430b57cec5SDimitry Andric         }
3440b57cec5SDimitry Andric 
3450b57cec5SDimitry Andric         // If we see a stackified register, prepare to insert subsequent
3460b57cec5SDimitry Andric         // local.gets before the start of its tree.
3470b57cec5SDimitry Andric         if (MFI.isVRegStackified(OldReg)) {
3480b57cec5SDimitry Andric           InsertPt = findStartOfTree(MO, MRI, MFI);
3490b57cec5SDimitry Andric           continue;
3500b57cec5SDimitry Andric         }
3510b57cec5SDimitry Andric 
3520b57cec5SDimitry Andric         // Our contract with inline asm register operands is to provide local
3530b57cec5SDimitry Andric         // indices as immediates.
3540b57cec5SDimitry Andric         if (MI.isInlineAsm()) {
355*5ffd83dbSDimitry Andric           unsigned LocalId = getLocalId(Reg2Local, MFI, CurLocal, OldReg);
3560b57cec5SDimitry Andric           // Untie it first if this reg operand is tied to another operand.
3570b57cec5SDimitry Andric           MI.untieRegOperand(MI.getOperandNo(&MO));
3580b57cec5SDimitry Andric           MO.ChangeToImmediate(LocalId);
3590b57cec5SDimitry Andric           continue;
3600b57cec5SDimitry Andric         }
3610b57cec5SDimitry Andric 
3620b57cec5SDimitry Andric         // Insert a local.get.
363*5ffd83dbSDimitry Andric         unsigned LocalId = getLocalId(Reg2Local, MFI, CurLocal, OldReg);
3640b57cec5SDimitry Andric         const TargetRegisterClass *RC = MRI.getRegClass(OldReg);
3658bcb0991SDimitry Andric         Register NewReg = MRI.createVirtualRegister(RC);
3660b57cec5SDimitry Andric         unsigned Opc = getLocalGetOpcode(RC);
3670b57cec5SDimitry Andric         InsertPt =
3680b57cec5SDimitry Andric             BuildMI(MBB, InsertPt, MI.getDebugLoc(), TII->get(Opc), NewReg)
3690b57cec5SDimitry Andric                 .addImm(LocalId);
3700b57cec5SDimitry Andric         MO.setReg(NewReg);
371*5ffd83dbSDimitry Andric         MFI.stackifyVReg(MRI, NewReg);
3720b57cec5SDimitry Andric         Changed = true;
3730b57cec5SDimitry Andric       }
3740b57cec5SDimitry Andric 
3750b57cec5SDimitry Andric       // Coalesce and eliminate COPY instructions.
3760b57cec5SDimitry Andric       if (WebAssembly::isCopy(MI.getOpcode())) {
3770b57cec5SDimitry Andric         MRI.replaceRegWith(MI.getOperand(1).getReg(),
3780b57cec5SDimitry Andric                            MI.getOperand(0).getReg());
3790b57cec5SDimitry Andric         MI.eraseFromParent();
3800b57cec5SDimitry Andric         Changed = true;
3810b57cec5SDimitry Andric       }
3820b57cec5SDimitry Andric     }
3830b57cec5SDimitry Andric   }
3840b57cec5SDimitry Andric 
3850b57cec5SDimitry Andric   // Define the locals.
3860b57cec5SDimitry Andric   // TODO: Sort the locals for better compression.
3870b57cec5SDimitry Andric   MFI.setNumLocals(CurLocal - MFI.getParams().size());
3880b57cec5SDimitry Andric   for (unsigned I = 0, E = MRI.getNumVirtRegs(); I < E; ++I) {
3898bcb0991SDimitry Andric     unsigned Reg = Register::index2VirtReg(I);
3900b57cec5SDimitry Andric     auto RL = Reg2Local.find(Reg);
3910b57cec5SDimitry Andric     if (RL == Reg2Local.end() || RL->second < MFI.getParams().size())
3920b57cec5SDimitry Andric       continue;
3930b57cec5SDimitry Andric 
3940b57cec5SDimitry Andric     MFI.setLocal(RL->second - MFI.getParams().size(),
3950b57cec5SDimitry Andric                  typeForRegClass(MRI.getRegClass(Reg)));
3960b57cec5SDimitry Andric     Changed = true;
3970b57cec5SDimitry Andric   }
3980b57cec5SDimitry Andric 
3990b57cec5SDimitry Andric #ifndef NDEBUG
4000b57cec5SDimitry Andric   // Assert that all registers have been stackified at this point.
4010b57cec5SDimitry Andric   for (const MachineBasicBlock &MBB : MF) {
4020b57cec5SDimitry Andric     for (const MachineInstr &MI : MBB) {
4030b57cec5SDimitry Andric       if (MI.isDebugInstr() || MI.isLabel())
4040b57cec5SDimitry Andric         continue;
4050b57cec5SDimitry Andric       for (const MachineOperand &MO : MI.explicit_operands()) {
4060b57cec5SDimitry Andric         assert(
4070b57cec5SDimitry Andric             (!MO.isReg() || MRI.use_empty(MO.getReg()) ||
4080b57cec5SDimitry Andric              MFI.isVRegStackified(MO.getReg())) &&
4090b57cec5SDimitry Andric             "WebAssemblyExplicitLocals failed to stackify a register operand");
4100b57cec5SDimitry Andric       }
4110b57cec5SDimitry Andric     }
4120b57cec5SDimitry Andric   }
4130b57cec5SDimitry Andric #endif
4140b57cec5SDimitry Andric 
4150b57cec5SDimitry Andric   return Changed;
4160b57cec5SDimitry Andric }
417