feature: luajit -bl: dump the constant tables (KGC and KN) for each lua proto object as well.

Author: agentzh

README.md

@@ -18,6 +18,7 @@ Table of Contents
     * [New JIT parameter defaults](#new-jit-parameter-defaults)
     * [String table hashing optimization](#string-table-hashing-optimization)
     * [New command-line option `-bL`](#new-command-line-option--bl)
+    * [More detailed LuaJIT bytecode textual listing](#more-detailed-luajit-bytecode-textual-listing)
     * [New macros](#new-macros)
     * [Miscellaneous](#miscellaneous)
 * [Copyright & License](#copyright--license)
@@ -200,6 +201,24 @@ the first source line.
 
 [Back to TOC](#table-of-contents)
 
+## More detailed LuaJIT bytecode textual listing
+
+The `-bl` option also prints out the constant tables of each Lua prototype.
+For example,
+
+```
+-- BYTECODE -- a.lua:0-48
+KGC    0    "print"
+KGC    1    "hi"
+KGC    2    table
+KGC    3    a.lua:17
+KN    1    1000000
+KN    2    1.390671161567e-309
+...
+```
+
+[Back to TOC](#table-of-contents)
+
 ## New macros
 
 In the header file `luajit.h`, we defined the macro `OPENRESTY_LUAJIT` for our branch of

src/jit/bc.lua

@@ -141,6 +141,38 @@ local function bcdump(func, out, all, lineinfo)
     end
   end
   out:write(format("-- BYTECODE -- %s-%d\n", fi.loc, fi.lastlinedefined))
+
+  for n=-1,-1000000000,-1 do
+    local kc = funck(func, n)
+    if not kc then break end
+
+    local typ = type(kc)
+    if typ == "string" then
+      kc = format(#kc > 40 and '"%.40s"~' or '"%s"', gsub(kc, "%c", ctlsub))
+      out:write(format("KGC    %d    %s\n", -(n + 1), kc))
+    elseif typ == "proto" then
+      local fi = funcinfo(kc)
+      if fi.ffid then
+	kc = vmdef.ffnames[fi.ffid]
+      else
+	kc = fi.loc
+      end
+      out:write(format("KGC    %d    %s\n", -(n + 1), kc))
+    elseif typ == "table" then
+      out:write(format("KGC    %d    table\n", -(n + 1)))
+    else
+      -- error("unknown KGC type: " .. typ)
+    end
+  end
+
+  for n=1,1000000000 do
+    local kc = funck(func, n)
+    if not kc then break end
+    if type(kc) == "number" then
+      out:write(format("KN    %d    %s\n", n, kc))
+    end
+  end
+
   local target = bctargets(func)
   for pc=1,1000000000 do
     local s = bcline(func, pc, target[pc] and "=>", lineinfo)