LLVM  8.0.0svn
WebAssemblyTargetMachine.cpp
Go to the documentation of this file.
1 //===- WebAssemblyTargetMachine.cpp - Define TargetMachine for WebAssembly -==//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 ///
10 /// \file
11 /// This file defines the WebAssembly-specific subclass of TargetMachine.
12 ///
13 //===----------------------------------------------------------------------===//
14 
17 #include "WebAssembly.h"
21 #include "llvm/CodeGen/Passes.h"
24 #include "llvm/IR/Function.h"
27 #include "llvm/Transforms/Scalar.h"
28 #include "llvm/Transforms/Utils.h"
29 using namespace llvm;
30 
31 #define DEBUG_TYPE "wasm"
32 
33 // Emscripten's asm.js-style exception handling
35  "enable-emscripten-cxx-exceptions",
36  cl::desc("WebAssembly Emscripten-style exception handling"),
37  cl::init(false));
38 
39 // Emscripten's asm.js-style setjmp/longjmp handling
41  "enable-emscripten-sjlj",
42  cl::desc("WebAssembly Emscripten-style setjmp/longjmp handling"),
43  cl::init(false));
44 
46  // Register the target.
51 
52  // Register backend passes
53  auto &PR = *PassRegistry::getPassRegistry();
78 }
79 
80 //===----------------------------------------------------------------------===//
81 // WebAssembly Lowering public interface.
82 //===----------------------------------------------------------------------===//
83 
85  if (!RM.hasValue())
86  return Reloc::PIC_;
87  return *RM;
88 }
89 
90 /// Create an WebAssembly architecture model.
91 ///
93  const Target &T, const Triple &TT, StringRef CPU, StringRef FS,
94  const TargetOptions &Options, Optional<Reloc::Model> RM,
97  TT.isArch64Bit() ? "e-m:e-p:64:64-i64:64-n32:64-S128"
98  : "e-m:e-p:32:32-i64:64-n32:64-S128",
99  TT, CPU, FS, Options, getEffectiveRelocModel(RM),
100  CM ? *CM : CodeModel::Large, OL),
101  TLOF(new WebAssemblyTargetObjectFile()) {
102  // WebAssembly type-checks instructions, but a noreturn function with a return
103  // type that doesn't match the context will cause a check failure. So we lower
104  // LLVM 'unreachable' to ISD::TRAP and then lower that to WebAssembly's
105  // 'unreachable' instructions which is meant for that case.
106  this->Options.TrapUnreachable = true;
107 
108  // WebAssembly treats each function as an independent unit. Force
109  // -ffunction-sections, effectively, so that we can emit them independently.
110  this->Options.FunctionSections = true;
111  this->Options.DataSections = true;
112  this->Options.UniqueSectionNames = true;
113 
114  initAsmInfo();
115 
116  // Note that we don't use setRequiresStructuredCFG(true). It disables
117  // optimizations than we're ok with, and want, such as critical edge
118  // splitting and tail merging.
119 }
120 
122 
123 const WebAssemblySubtarget *
125  Attribute CPUAttr = F.getFnAttribute("target-cpu");
126  Attribute FSAttr = F.getFnAttribute("target-features");
127 
128  std::string CPU = !CPUAttr.hasAttribute(Attribute::None)
129  ? CPUAttr.getValueAsString().str()
130  : TargetCPU;
131  std::string FS = !FSAttr.hasAttribute(Attribute::None)
132  ? FSAttr.getValueAsString().str()
133  : TargetFS;
134 
135  auto &I = SubtargetMap[CPU + FS];
136  if (!I) {
137  // This needs to be done before we create a new subtarget since any
138  // creation will depend on the TM and the code generation flags on the
139  // function that reside in TargetOptions.
141  I = llvm::make_unique<WebAssemblySubtarget>(TargetTriple, CPU, FS, *this);
142  }
143  return I.get();
144 }
145 
146 namespace {
147 class StripThreadLocal final : public ModulePass {
148  // The default thread model for wasm is single, where thread-local variables
149  // are identical to regular globals and should be treated the same. So this
150  // pass just converts all GlobalVariables to NotThreadLocal
151  static char ID;
152 
153 public:
154  StripThreadLocal() : ModulePass(ID) {}
155  bool runOnModule(Module &M) override {
156  for (auto &GV : M.globals())
157  GV.setThreadLocalMode(GlobalValue::ThreadLocalMode::NotThreadLocal);
158  return true;
159  }
160 };
161 char StripThreadLocal::ID = 0;
162 
163 /// WebAssembly Code Generator Pass Configuration Options.
164 class WebAssemblyPassConfig final : public TargetPassConfig {
165 public:
166  WebAssemblyPassConfig(WebAssemblyTargetMachine &TM, PassManagerBase &PM)
167  : TargetPassConfig(TM, PM) {}
168 
169  WebAssemblyTargetMachine &getWebAssemblyTargetMachine() const {
170  return getTM<WebAssemblyTargetMachine>();
171  }
172 
173  FunctionPass *createTargetRegisterAllocator(bool) override;
174 
175  void addIRPasses() override;
176  bool addInstSelector() override;
177  void addPostRegAlloc() override;
178  bool addGCPasses() override { return false; }
179  void addPreEmitPass() override;
180 };
181 } // end anonymous namespace
182 
185  return TargetTransformInfo(WebAssemblyTTIImpl(this, F));
186 }
187 
190  return new WebAssemblyPassConfig(*this, PM);
191 }
192 
193 FunctionPass *WebAssemblyPassConfig::createTargetRegisterAllocator(bool) {
194  return nullptr; // No reg alloc
195 }
196 
197 //===----------------------------------------------------------------------===//
198 // The following functions are called from lib/CodeGen/Passes.cpp to modify
199 // the CodeGen pass sequence.
200 //===----------------------------------------------------------------------===//
201 
202 void WebAssemblyPassConfig::addIRPasses() {
203  if (TM->Options.ThreadModel == ThreadModel::Single) {
204  // In "single" mode, atomics get lowered to non-atomics.
205  addPass(createLowerAtomicPass());
206  addPass(new StripThreadLocal());
207  } else {
208  // Expand some atomic operations. WebAssemblyTargetLowering has hooks which
209  // control specifically what gets lowered.
210  addPass(createAtomicExpandPass());
211  }
212 
213  // Add signatures to prototype-less function declarations
215 
216  // Lower .llvm.global_dtors into .llvm_global_ctors with __cxa_atexit calls.
218 
219  // Fix function bitcasts, as WebAssembly requires caller and callee signatures
220  // to match.
222 
223  // Optimize "returned" function attributes.
224  if (getOptLevel() != CodeGenOpt::None)
226 
227  // If exception handling is not enabled and setjmp/longjmp handling is
228  // enabled, we lower invokes into calls and delete unreachable landingpad
229  // blocks. Lowering invokes when there is no EH support is done in
230  // TargetPassConfig::addPassesToHandleExceptions, but this runs after this
231  // function and SjLj handling expects all invokes to be lowered before.
232  if (!EnableEmException &&
233  TM->Options.ExceptionModel == ExceptionHandling::None) {
234  addPass(createLowerInvokePass());
235  // The lower invoke pass may create unreachable code. Remove it in order not
236  // to process dead blocks in setjmp/longjmp handling.
238  }
239 
240  // Handle exceptions and setjmp/longjmp if enabled.
243  EnableEmSjLj));
244 
246 }
247 
248 bool WebAssemblyPassConfig::addInstSelector() {
250  addPass(
251  createWebAssemblyISelDag(getWebAssemblyTargetMachine(), getOptLevel()));
252  // Run the argument-move pass immediately after the ScheduleDAG scheduler
253  // so that we can fix up the ARGUMENT instructions before anything else
254  // sees them in the wrong place.
256  // Set the p2align operands. This information is present during ISel, however
257  // it's inconvenient to collect. Collect it now, and update the immediate
258  // operands.
260  return false;
261 }
262 
263 void WebAssemblyPassConfig::addPostRegAlloc() {
264  // TODO: The following CodeGen passes don't currently support code containing
265  // virtual registers. Consider removing their restrictions and re-enabling
266  // them.
267 
268  // These functions all require the NoVRegs property.
269  disablePass(&MachineCopyPropagationID);
270  disablePass(&PostRAMachineSinkingID);
271  disablePass(&PostRASchedulerID);
272  disablePass(&FuncletLayoutID);
273  disablePass(&StackMapLivenessID);
274  disablePass(&LiveDebugValuesID);
275  disablePass(&PatchableFunctionID);
276  disablePass(&ShrinkWrapID);
277 
279 }
280 
281 void WebAssemblyPassConfig::addPreEmitPass() {
283 
284  // Restore __stack_pointer global after an exception is thrown.
286 
287  // Now that we have a prologue and epilogue and all frame indices are
288  // rewritten, eliminate SP and FP. This allows them to be stackified,
289  // colored, and numbered with the rest of the registers.
291 
292  // Rewrite pseudo call_indirect instructions as real instructions.
293  // This needs to run before register stackification, because we change the
294  // order of the arguments.
296 
297  if (getOptLevel() != CodeGenOpt::None) {
298  // LiveIntervals isn't commonly run this late. Re-establish preconditions.
300 
301  // Depend on LiveIntervals and perform some optimizations on it.
303 
304  // Prepare store instructions for register stackifying.
306 
307  // Mark registers as representing wasm's value stack. This is a key
308  // code-compression technique in WebAssembly. We run this pass (and
309  // StoreResults above) very late, so that it sees as much code as possible,
310  // including code emitted by PEI and expanded by late tail duplication.
311  addPass(createWebAssemblyRegStackify());
312 
313  // Run the register coloring pass to reduce the total number of registers.
314  // This runs after stackification so that it doesn't consider registers
315  // that become stackified.
316  addPass(createWebAssemblyRegColoring());
317  }
318 
319  // Eliminate multiple-entry loops. Do this before inserting explicit get_local
320  // and set_local operators because we create a new variable that we want
321  // converted into a local.
323 
324  // Insert explicit get_local and set_local operators.
326 
327  // Do various transformations for exception handling
329 
330  // Sort the blocks of the CFG into topological order, a prerequisite for
331  // BLOCK and LOOP markers.
332  addPass(createWebAssemblyCFGSort());
333 
334  // Insert BLOCK and LOOP markers.
335  addPass(createWebAssemblyCFGStackify());
336 
337  // Lower br_unless into br_if.
339 
340  // Perform the very last peephole optimizations on the code.
341  if (getOptLevel() != CodeGenOpt::None)
342  addPass(createWebAssemblyPeephole());
343 
344  // Create a mapping from LLVM CodeGen virtual registers to wasm registers.
346 }
static GCMetadataPrinterRegistry::Add< ErlangGCPrinter > X("erlang", "erlang-compatible garbage collector")
FunctionPass * createWebAssemblyLowerBrUnless()
ModulePass * createWebAssemblyLowerEmscriptenEHSjLj(bool DoEH, bool DoSjLj)
static PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
LLVM_NODISCARD std::string str() const
str - Get the contents as an std::string.
Definition: StringRef.h:228
static cl::opt< bool > EnableEmSjLj("enable-emscripten-sjlj", cl::desc("WebAssembly Emscripten-style setjmp/longjmp handling"), cl::init(false))
Compute iterated dominance frontiers using a linear time algorithm.
Definition: AllocatorList.h:24
FunctionPass * createWebAssemblyCFGSort()
void initializeWebAssemblyOptimizeLiveIntervalsPass(PassRegistry &)
virtual void addIRPasses()
Add common target configurable passes that perform LLVM IR to IR transforms following machine indepen...
FunctionPass * createWebAssemblyArgumentMove()
A Module instance is used to store all the information related to an LLVM module. ...
Definition: Module.h:64
Triple TargetTriple
Triple string, CPU name, and target feature strings the TargetMachine instance is created with...
Definition: TargetMachine.h:78
This file a TargetTransformInfo::Concept conforming object specific to the WebAssembly target machine...
unsigned DataSections
Emit data into separate sections.
char & FuncletLayoutID
This pass lays out funclets contiguously.
FunctionPass * createWebAssemblyPeephole()
void initializeWebAssemblyRegStackifyPass(PassRegistry &)
void initializeWebAssemblyArgumentMovePass(PassRegistry &)
F(f)
void initializeWebAssemblyFixIrreducibleControlFlowPass(PassRegistry &)
This file contains the entry points for global functions defined in the LLVM WebAssembly back-end...
virtual void addPreEmitPass()
This pass may be implemented by targets that want to run passes immediately before machine code is em...
static GCMetadataPrinterRegistry::Add< OcamlGCMetadataPrinter > Y("ocaml", "ocaml 3.10-compatible collector")
FunctionPass * createWebAssemblyRegStackify()
FunctionPass * createWebAssemblyOptimizeReturned()
void initializeWebAssemblyStoreResultsPass(PassRegistry &)
This file declares the WebAssembly-specific subclass of TargetLoweringObjectFile. ...
void resetTargetOptions(const Function &F) const
Reset the target options based on the function&#39;s attributes.
FunctionPass * createWebAssemblyRegNumbering()
FunctionPass * createWebAssemblyEHRestoreStackPointer()
FunctionPass * createLowerInvokePass()
Definition: LowerInvoke.cpp:86
void initializeWebAssemblyRegNumberingPass(PassRegistry &)
No attributes have been set.
Definition: Attributes.h:72
void initializeWebAssemblyExceptionInfoPass(PassRegistry &)
void initializeOptimizeReturnedPass(PassRegistry &)
FunctionPass * createWebAssemblyRegColoring()
Target-Independent Code Generator Pass Configuration Options.
This file declares the WebAssembly-specific subclass of TargetMachine.
RegisterTargetMachine - Helper template for registering a target machine implementation, for use in the target machine initialization function.
unsigned FunctionSections
Emit functions into separate sections.
FunctionPass * createUnreachableBlockEliminationPass()
createUnreachableBlockEliminationPass - The LLVM code generator does not work well with unreachable b...
unsigned UniqueSectionNames
ModulePass * createWebAssemblyAddMissingPrototypes()
void initializeWebAssemblyExplicitLocalsPass(PassRegistry &)
initializer< Ty > init(const Ty &Val)
Definition: CommandLine.h:410
bool hasAttribute(AttrKind Val) const
Return true if the attribute is present.
Definition: Attributes.cpp:202
CodeGenOpt::Level getOptLevel() const
Returns the optimization level: None, Less, Default, or Aggressive.
void initializeWebAssemblyPeepholePass(PassRegistry &)
FunctionPass * createWebAssemblyISelDag(WebAssemblyTargetMachine &TM, CodeGenOpt::Level OptLevel)
This pass converts a legalized DAG into a WebAssembly-specific DAG, ready for instruction scheduling...
static Reloc::Model getEffectiveRelocModel(Optional< Reloc::Model > RM)
FunctionPass * createWebAssemblyCallIndirectFixup()
ModulePass * createWebAssemblyLowerGlobalDtors()
char & PostRAMachineSinkingID
This pass perform post-ra machine sink for COPY instructions.
This file provides WebAssembly-specific target descriptions.
void initializeWebAssemblyCallIndirectFixupPass(PassRegistry &)
virtual bool addInstSelector()
addInstSelector - This method should install an instruction selector pass, which converts from LLVM c...
char & LiveDebugValuesID
LiveDebugValues pass.
This class describes a target machine that is implemented with the LLVM target-independent code gener...
void initializeWebAssemblyReplacePhysRegsPass(PassRegistry &)
FunctionPass class - This class is used to implement most global optimizations.
Definition: Pass.h:285
FunctionPass * createWebAssemblySetP2AlignOperands()
void initializeWebAssemblyLowerEmscriptenEHSjLjPass(PassRegistry &)
char & MachineCopyPropagationID
MachineCopyPropagation - This pass performs copy propagation on machine instructions.
static cl::opt< bool > EnableEmException("enable-emscripten-cxx-exceptions", cl::desc("WebAssembly Emscripten-style exception handling"), cl::init(false))
void initializeWebAssemblyLateEHPreparePass(PassRegistry &)
Triple - Helper class for working with autoconf configuration names.
Definition: Triple.h:44
FunctionPass * createWebAssemblyStoreResults()
char & PostRASchedulerID
createPostRAScheduler - This pass performs post register allocation scheduling.
ModulePass * createWebAssemblyFixFunctionBitcasts()
This pass provides access to the codegen interfaces that are needed for IR-level transformations.
void initializeWebAssemblyEHRestoreStackPointerPass(PassRegistry &)
PassManagerBase - An abstract interface to allow code to add passes to a pass manager without having ...
char & StackMapLivenessID
StackMapLiveness - This pass analyses the register live-out set of stackmap/patchpoint intrinsics and...
TargetPassConfig * createPassConfig(PassManagerBase &PM) override
Create a pass configuration object to be used by addPassToEmitX methods for generating a pipeline of ...
Pass * createLowerAtomicPass()
void initializeWebAssemblyLowerBrUnlessPass(PassRegistry &)
FunctionPass * createWebAssemblyFixIrreducibleControlFlow()
Target - Wrapper for Target specific information.
virtual void addPostRegAlloc()
This method may be implemented by targets that want to run passes after register allocation pass pipe...
void initializeWebAssemblyCFGStackifyPass(PassRegistry &)
std::string TargetCPU
Definition: TargetMachine.h:79
char & PatchableFunctionID
This pass implements the "patchable-function" attribute.
bool hasValue() const
Definition: Optional.h:187
StringRef getValueAsString() const
Return the attribute&#39;s value as a string.
Definition: Attributes.cpp:195
FunctionPass * createWebAssemblyLateEHPrepare()
TargetTransformInfo getTargetTransformInfo(const Function &F) override
Get a TargetTransformInfo implementation for the target.
#define I(x, y, z)
Definition: MD5.cpp:58
ModulePass class - This class is used to implement unstructured interprocedural optimizations and ana...
Definition: Pass.h:225
WebAssemblyTargetMachine(const Target &T, const Triple &TT, StringRef CPU, StringRef FS, const TargetOptions &Options, Optional< Reloc::Model > RM, Optional< CodeModel::Model > CM, CodeGenOpt::Level OL, bool JIT)
Create an WebAssembly architecture model.
void LLVMInitializeWebAssemblyTarget()
void initializeWebAssemblyAddMissingPrototypesPass(PassRegistry &)
void initializeFixFunctionBitcastsPass(PassRegistry &)
std::string TargetFS
Definition: TargetMachine.h:80
FunctionPass * createWebAssemblyOptimizeLiveIntervals()
FunctionPass * createWebAssemblyCFGStackify()
void initializeWebAssemblyPrepareForLiveIntervalsPass(PassRegistry &)
void initializeWebAssemblySetP2AlignOperandsPass(PassRegistry &)
void initializeLowerGlobalDtorsPass(PassRegistry &)
FunctionPass * createWebAssemblyPrepareForLiveIntervals()
Attribute getFnAttribute(Attribute::AttrKind Kind) const
Return the attribute for the given attribute kind.
Definition: Function.h:331
iterator_range< global_iterator > globals()
Definition: Module.h:574
char & ShrinkWrapID
ShrinkWrap pass. Look for the best place to insert save and restore.
Definition: ShrinkWrap.cpp:250
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:49
unsigned TrapUnreachable
Emit target-specific trap instruction for &#39;unreachable&#39; IR instructions.
Target & getTheWebAssemblyTarget32()
const WebAssemblySubtarget * getSubtargetImpl(const Function &F) const override
Virtual method implemented by subclasses that returns a reference to that target&#39;s TargetSubtargetInf...
FunctionPass * createWebAssemblyReplacePhysRegs()
void initializeWebAssemblyCFGSortPass(PassRegistry &)
FunctionPass * createAtomicExpandPass()
Target & getTheWebAssemblyTarget64()
FunctionPass * createWebAssemblyExplicitLocals()
void initializeWebAssemblyRegColoringPass(PassRegistry &)