updated docs

dibyendumajumdar · Jun 28, 2015 · 1a60f33 · 1a60f33
1 parent 7241763
commit 1a60f33
Show file tree

Hide file tree

Showing 5 changed files with 48 additions and 35 deletions.
diff --git a/README.rst b/README.rst
@@ -27,6 +27,10 @@ Right now (June 2015) I am working on the ``libgccjit`` based JIT implementation
 
 The LLVM JIT compiler is mostly functional. The Lua and Ravi bytecodes currently implemented in LLVM are described in `JIT Status <http://the-ravi-programming-language.readthedocs.org/en/latest/ravi-jit-status.html>`_ page.
 
+Performance Benchmarks
+++++++++++++++++++++++
+For performance benchmarks please visit the `Ravi Performance Benchmarks <http://the-ravi-programming-language.readthedocs.org/en/latest/ravi-benchmarks.html>`_ page.
+
 Optional Static Typing
 ++++++++++++++++++++++
 Ravi allows you to annotate local variables with static types. The supported types and the resulting behaviour are as follows:

diff --git a/ravi-tests/mandel1.ravi b/ravi-tests/mandel1.ravi
@@ -47,7 +47,7 @@ end
 local function dummy(x) 
 end
 
-ravi.dumplua(domandel)
+--ravi.dumplua(domandel)
 assert(ravi.compile(domandel))
 
 t1 = os.clock()

diff --git a/readthedocs/ravi-benchmarks.rst b/readthedocs/ravi-benchmarks.rst
@@ -5,21 +5,23 @@ Ravi's reason for existence is to achieve greater performance than standard Lua
 
 The programs used in the performance testing can be found at `Ravi Tests <https://github.com/dibyendumajumdar/ravi/tree/master/ravi-tests>`_ folder.
 
-+---------------+---------+----------+-----------+
-| Program       | Lua5.3  | Ravi     | Luajit 2.1|
-+===============+=========+==========+===========+
-|fornum_test1   | 9.187   | 0.305    | 0.309     |
-+---------------+---------+----------+-----------+
-|fornum_test2   | 9.57    | 0.922    | 0.906     |
-+---------------+---------+----------+-----------+
-|fornum_test3   | 53.932  | 4.593    | 7.778     |
-+---------------+---------+----------+-----------+
-|mandel(4000)   | 21.247  | 2.94     | 1.633     |
-+---------------+---------+----------+-----------+
-|fannkuchen(11) | 63.446  | 8.875    | 4.751     |
-+---------------+---------+----------+-----------+
-|matmul(1000)   | 34.604  | 4.2      | 0.968     |
-+---------------+---------+----------+-----------+
++---------------+---------+------------+------------------------+
+| Program       | Lua5.3  | Ravi       | Ravi      | Luajit 2.1 |
+|               | Windows | LLVM 3.7   | libgccjit | Windows    |
+|               |         | Windows    | Ubuntu VM |            |
++===============+=========+============+===========+============+
+|fornum_test1   | 9.187   | 0.305      | 0.000001  | 0.309      |
++---------------+---------+------------+-----------+------------+
+|fornum_test2   | 9.57    | 0.922      | 0.939     | 0.906      |
++---------------+---------+------------+-----------+------------+
+|fornum_test3   | 53.932  | 4.593      |           | 7.778      |
++---------------+---------+------------+-----------+------------+
+|mandel(4000)   | 21.247  | 2.94       | 3.09      | 1.633      |
++---------------+---------+------------+-----------+------------+
+|fannkuchen(11) | 63.446  | 8.875      |           | 4.751      |
++---------------+---------+------------+-----------+------------+
+|matmul(1000)   | 34.604  | 4.2        |           | 0.968      |
++---------------+---------+------------+-----------+------------+
 
 Following points are worth bearing in mind when looking at above benchmarks.
 
@@ -40,6 +42,9 @@ Following points are worth bearing in mind when looking at above benchmarks.
    But LuaJIT timings include the JIT compilation times, so they show
    incredible performance.
 
+5. The benchmarks were run on Windows 8.1 64-bit except for the libgccjit 
+   benchmarks which were run on a Ubuntu 64-bit VM running on Windows 8.1.
+
 Ideas
 -----
 There are a number of improvements possible. Below are some of my thoughts.

diff --git a/readthedocs/ravi-jit-libgccjit.rst b/readthedocs/ravi-jit-libgccjit.rst
@@ -64,7 +64,7 @@ Setting up of the Lua types is proving easier in ``libgccjit`` due to the fact t
 
 JIT Status of Lua/Ravi Bytecodes
 ---------------------------------
-Following is the status as of 27 June 2015.
+Following is the status as of 28 June 2015.
 
 +-------------------------+----------+--------------------------------------------------+
 | name                    | JITed?   | description                                      |
@@ -185,41 +185,41 @@ Following is the status as of 27 June 2015.
 +-------------------------+----------+--------------------------------------------------+
 | OP_RAVI_ADDFN           | YES      | R(A) := RK(B) + C                                |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_ADDIN           | NO       | R(A) := RK(B) + C                                |
+| OP_RAVI_ADDIN           | YES      | R(A) := RK(B) + C                                |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_SUBFF           | NO       | R(A) := RK(B) - RK(C)                            |
+| OP_RAVI_SUBFF           | YES      | R(A) := RK(B) - RK(C)                            |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_SUBFI           | NO       | R(A) := RK(B) - RK(C)                            |
+| OP_RAVI_SUBFI           | YES      | R(A) := RK(B) - RK(C)                            |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_SUBIF           | NO       | R(A) := RK(B) - RK(C)                            |
+| OP_RAVI_SUBIF           | YES      | R(A) := RK(B) - RK(C)                            |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_SUBII           | NO       | R(A) := RK(B) - RK(C)                            |
+| OP_RAVI_SUBII           | YES      | R(A) := RK(B) - RK(C)                            |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_SUBFN           | NO       | R(A) := RK(B) - C                                |
+| OP_RAVI_SUBFN           | YES      | R(A) := RK(B) - C                                |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_SUBNF           | NO       | R(A) := B - RK(C)                                |
+| OP_RAVI_SUBNF           | YES      | R(A) := B - RK(C)                                |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_SUBIN           | NO       | R(A) := RK(B) - C                                |
+| OP_RAVI_SUBIN           | YES      | R(A) := RK(B) - C                                |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_SUBNI           | NO       | R(A) := B - RK(C)                                |
+| OP_RAVI_SUBNI           | YES      | R(A) := B - RK(C)                                |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_MULFF           | NO       | R(A) := RK(B) * RK(C)                            |
+| OP_RAVI_MULFF           | YES      | R(A) := RK(B) * RK(C)                            |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_MULFI           | NO       | R(A) := RK(B) * RK(C)                            |
+| OP_RAVI_MULFI           | YES      | R(A) := RK(B) * RK(C)                            |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_MULII           | NO       | R(A) := RK(B) * RK(C)                            |
+| OP_RAVI_MULII           | YES      | R(A) := RK(B) * RK(C)                            |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_MULFN           | NO       | R(A) := RK(B) * C                                |
+| OP_RAVI_MULFN           | YES      | R(A) := RK(B) * C                                |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_MULIN           | NO       | R(A) := RK(B) * C                                |
+| OP_RAVI_MULIN           | YES      | R(A) := RK(B) * C                                |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_DIVFF           | NO       | R(A) := RK(B) / RK(C)                            |
+| OP_RAVI_DIVFF           | YES      | R(A) := RK(B) / RK(C)                            |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_DIVFI           | NO       | R(A) := RK(B) / RK(C)                            |
+| OP_RAVI_DIVFI           | YES      | R(A) := RK(B) / RK(C)                            |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_DIVIF           | NO       | R(A) := RK(B) / RK(C)                            |
+| OP_RAVI_DIVIF           | YES      | R(A) := RK(B) / RK(C)                            |
 +-------------------------+----------+--------------------------------------------------+
-| OP_RAVI_DIVII           | NO       | R(A) := RK(B) / RK(C)                            |
+| OP_RAVI_DIVII           | YES      | R(A) := RK(B) / RK(C)                            |
 +-------------------------+----------+--------------------------------------------------+
 | OP_RAVI_TOINT           | YES      | R(A) := toint(R(A))                              |
 +-------------------------+----------+--------------------------------------------------+

diff --git a/readthedocs/ravi-overview.rst b/readthedocs/ravi-overview.rst
@@ -27,6 +27,10 @@ Right now (June 2015) I am working on the ``libgccjit`` based JIT implementation
 
 The LLVM JIT compiler is mostly functional. The Lua and Ravi bytecodes currently implemented in LLVM are described in `JIT Status <http://the-ravi-programming-language.readthedocs.org/en/latest/ravi-jit-status.html>`_ page.
 
+Performance Benchmarks
+++++++++++++++++++++++
+For performance benchmarks please visit the `Ravi Performance Benchmarks <http://the-ravi-programming-language.readthedocs.org/en/latest/ravi-benchmarks.html>`_ page.
+
 Optional Static Typing
 ++++++++++++++++++++++
 Ravi allows you to annotate local variables with static types. The supported types and the resulting behaviour are as follows: