From f66e0212efe4f6572d5e81741e831ab735cc2fee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=8D=9C=E9=83=A8=E6=98=8C=E5=B9=B3?= Date: Thu, 9 Jul 2020 21:43:42 +0900 Subject: precalc invokebuiltin destinations Noticed that struct rb_builtin_function is a purely compile-time constant. MJIT can eliminate some runtime calculations by statically generate dedicated C code generator for each builtin functions. --- tool/mk_builtin_loader.rb | 23 ++++++++++++++++++++-- tool/ruby_vm/views/_mjit_compile_insn_body.erb | 4 ++++ tool/ruby_vm/views/_mjit_compile_invokebuiltin.erb | 23 ++++++++++++++++++++++ tool/ruby_vm/views/mjit_compile.inc.erb | 6 +----- 4 files changed, 49 insertions(+), 7 deletions(-) create mode 100644 tool/ruby_vm/views/_mjit_compile_invokebuiltin.erb (limited to 'tool') diff --git a/tool/mk_builtin_loader.rb b/tool/mk_builtin_loader.rb index cb206aea53..4efdde3023 100644 --- a/tool/mk_builtin_loader.rb +++ b/tool/mk_builtin_loader.rb @@ -272,6 +272,25 @@ def mk_builtin_header file end } + bs.each_pair{|func, (argc, cfunc_name)| + f.puts %'static void' + f.puts %'mjit_compile_invokebuiltin_for_#{func}(FILE *f, long index)' + f.puts %'{' + f.puts %' if (index > 0) {' + f.puts %' fprintf(f, " const unsigned int lnum = GET_ISEQ()->body->local_table_size;\\n");' + f.puts %' fprintf(f, " const VALUE *argv = GET_EP() - lnum - VM_ENV_DATA_SIZE + 1 + %ld;\\n", index);' + f.puts %' }' + f.puts %' else if (index == 0) {' + f.puts %' fprintf(f, " const VALUE *argv = NULL;\\n");' + f.puts %' }' + f.puts %' else {' + f.puts %' fprintf(f, " const VALUE *argv = STACK_ADDR_FROM_TOP(%d);\\n", #{argc});' + f.puts %' }' + f.puts %' fprintf(f, " val = builtin_invoker#{argc}(ec, GET_SELF(), argv, %p);\\n", (const void *)#{cfunc_name});' + f.puts %'}' + f.puts + } + f.puts "void Init_builtin_#{base}(void)" f.puts "{" @@ -279,9 +298,9 @@ def mk_builtin_header file f.puts " // table definition" f.puts " static const struct rb_builtin_function #{table}[] = {" bs.each.with_index{|(func, (argc, cfunc_name)), i| - f.puts " RB_BUILTIN_FUNCTION(#{i}, #{func}, #{cfunc_name}, #{argc})," + f.puts " RB_BUILTIN_FUNCTION(#{i}, #{func}, #{cfunc_name}, #{argc}, mjit_compile_invokebuiltin_for_#{func})," } - f.puts " RB_BUILTIN_FUNCTION(-1, NULL, NULL, 0)," + f.puts " RB_BUILTIN_FUNCTION(-1, NULL, NULL, 0, 0)," f.puts " };" f.puts diff --git a/tool/ruby_vm/views/_mjit_compile_insn_body.erb b/tool/ruby_vm/views/_mjit_compile_insn_body.erb index bc77b02b71..eb0f8485c3 100644 --- a/tool/ruby_vm/views/_mjit_compile_insn_body.erb +++ b/tool/ruby_vm/views/_mjit_compile_insn_body.erb @@ -63,6 +63,10 @@ fprintf(f, " goto label_%lu;\n", arg.base_pos + else_offset); fprintf(f, " }\n"); } +% elsif insn.name == 'invokebuiltin' || insn.name == 'opt_invokebuiltin_delegate' + { +<%= render 'mjit_compile_invokebuiltin', locals: { insn: insn } -%> + } % else % # Before we `goto` next insn, we need to set return values, especially for getinlinecache % insn.rets.reverse_each.with_index do |ret, i| diff --git a/tool/ruby_vm/views/_mjit_compile_invokebuiltin.erb b/tool/ruby_vm/views/_mjit_compile_invokebuiltin.erb new file mode 100644 index 0000000000..f935f799cb --- /dev/null +++ b/tool/ruby_vm/views/_mjit_compile_invokebuiltin.erb @@ -0,0 +1,23 @@ +% # -*- C -*- +% # Copyright (c) 2020 Urabe, Shyouhei. All rights reserved. +% # +% # This file is a part of the programming language Ruby. Permission is hereby +% # granted, to either redistribute and/or modify this file, provided that the +% # conditions mentioned in the file COPYING are met. Consult the file for +% # details. +% + /* <%= insn.name %> */ + const struct rb_builtin_function *bf = (const void *)operands[0]; +% +% if insn.name == 'invokebuiltin' then + const rb_num_t index = -1; +% else + const rb_num_t index = (rb_num_t)operands[1]; +% end +% + if (bf->compiler) { + bf->compiler(f, index); + } + else { + mjit_invokebuiltin_default_compiler(f, bf, index); + } diff --git a/tool/ruby_vm/views/mjit_compile.inc.erb b/tool/ruby_vm/views/mjit_compile.inc.erb index c8f9aca777..e3be549181 100644 --- a/tool/ruby_vm/views/mjit_compile.inc.erb +++ b/tool/ruby_vm/views/mjit_compile.inc.erb @@ -67,13 +67,9 @@ switch (insn) { { % # opt_invokebuiltin_delegate_leave also implements leave insn. We need to handle it here for inlining. % if insn.name == 'opt_invokebuiltin_delegate_leave' - RB_BUILTIN bf = (RB_BUILTIN)operands[0]; - rb_num_t index = (rb_num_t)operands[0]; fprintf(f, "{\n"); fprintf(f, " VALUE val;\n"); - fprintf(f, " RB_BUILTIN bf = (RB_BUILTIN)0x%"PRIxVALUE";\n", operands[0]); - fprintf(f, " rb_num_t index = (rb_num_t)0x%"PRIxVALUE";\n", operands[1]); - fprintf(f, <%= rstring2cstr(insn.expr.expr.lines.find { |l| l =~ / vm_invoke_builtin_delegate\(/ }).gsub("\n", '\n') %>); +<%= render 'mjit_compile_invokebuiltin', locals: { insn: insn } -%> fprintf(f, " stack[0] = val;\n"); fprintf(f, "}\n"); % else -- cgit v1.2.3