lib/Target/WebAssembly/WebAssemblyUtilities.cpp

   1 //===-- WebAssemblyUtilities.cpp - WebAssembly Utility Functions ----------===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8 ///
   9 /// \file
  10 /// This file implements several utility functions for WebAssembly.
  11 ///
  12 //===----------------------------------------------------------------------===//
  13
  14 #include "WebAssemblyUtilities.h"
  15 #include "WebAssemblyMachineFunctionInfo.h"
  16 #include "llvm/CodeGen/MachineInstr.h"
  17 #include "llvm/CodeGen/MachineLoopInfo.h"
  18 using namespace llvm;
  19
  20 const char *const WebAssembly::ClangCallTerminateFn = "__clang_call_terminate";
  21 const char *const WebAssembly::CxaBeginCatchFn = "__cxa_begin_catch";
  22 const char *const WebAssembly::CxaRethrowFn = "__cxa_rethrow";
  23 const char *const WebAssembly::StdTerminateFn = "_ZSt9terminatev";
  24 const char *const WebAssembly::PersonalityWrapperFn =
  25     "_Unwind_Wasm_CallPersonality";
  26
  27 /// Test whether MI is a child of some other node in an expression tree.
  28 bool WebAssembly::isChild(const MachineInstr &MI,
  29                           const WebAssemblyFunctionInfo &MFI) {
  30   if (MI.getNumOperands() == 0)
  31     return false;
  32   const MachineOperand &MO = MI.getOperand(0);
  33   if (!MO.isReg() || MO.isImplicit() || !MO.isDef())
  34     return false;
  35   Register Reg = MO.getReg();
  36   return Register::isVirtualRegister(Reg) && MFI.isVRegStackified(Reg);
  37 }
  38
  39 bool WebAssembly::mayThrow(const MachineInstr &MI) {
  40   switch (MI.getOpcode()) {
  41   case WebAssembly::THROW:
  42   case WebAssembly::THROW_S:
  43   case WebAssembly::RETHROW:
  44   case WebAssembly::RETHROW_S:
  45     return true;
  46   }
  47   if (isCallIndirect(MI.getOpcode()))
  48     return true;
  49   if (!MI.isCall())
  50     return false;
  51
  52   const MachineOperand &MO = MI.getOperand(getCalleeOpNo(MI.getOpcode()));
  53   assert(MO.isGlobal());
  54   const auto *F = dyn_cast<Function>(MO.getGlobal());
  55   if (!F)
  56     return true;
  57   if (F->doesNotThrow())
  58     return false;
  59   // These functions never throw
  60   if (F->getName() == CxaBeginCatchFn || F->getName() == PersonalityWrapperFn ||
  61       F->getName() == ClangCallTerminateFn || F->getName() == StdTerminateFn)
  62     return false;
  63
  64   // TODO Can we exclude call instructions that are marked as 'nounwind' in the
  65   // original LLVm IR? (Even when the callee may throw)
  66   return true;
  67 }