Skip to content

Commit

Permalink
Update docs/dev/virtual_machine.rst
Browse files Browse the repository at this point in the history
Co-Authored-By: Wei Chen <[email protected]>
  • Loading branch information
zhiics and wweic committed Feb 13, 2020
1 parent 243071a commit a6c42b3
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions docs/dev/virtual_machine.rst
Original file line number Diff line number Diff line change
Expand Up @@ -306,7 +306,7 @@ VM Compiler

An important part of this infrastructure is a compiler from Relay's full IR into a sequence of bytecode.
The VM compiler transforms a ``tvm::relay::Module`` into a ``tvm::relay::vm::Executable``. The executable
contains a set of compiled functions, the compiled functions are contained in ``tvm::relay::vm::Function``. The functions contain metadata about the the function as well as its compiled bytecode. The emitted executable object then can be loaded and run by a ``tvm::relay::vm::VirtualMachine`` object. For full definitions of the data structures, please see `include/tvm/runtime/vm.h`_.
contains a set of compiled functions, the compiled functions are contained in ``tvm::relay::vm::Function``. The functions contain metadata about the function as well as its compiled bytecode. The emitted executable object then can be loaded and run by a ``tvm::relay::vm::VirtualMachine`` object. For full definitions of the data structures, please see `include/tvm/runtime/vm.h`_.

Optimizations
~~~~~~~~~~~~~
Expand All @@ -320,7 +320,6 @@ Optimizations marked with `TODO` are not implemented yet.
- Lambda Lift (see `src/relay/vm/lambda_lift.cc`_)
- Inline Primitives (see `src/relay/vm/inline_primitives.cc`_)
- Constant Pool Layout (see `src/relay/backend/vm/compiler.cc`_)
- ADT Tag Allocation (see `src/relay/backend/vm/compiler.cc`_)
- Tail Call Optimization (TODO)
- Liveness Analysis (TODO)

Expand Down

0 comments on commit a6c42b3

Please sign in to comment.