Instead of doubling the invokebuiltin logic here and there, use the same
insns.def definition for both MJIT/non-JIT situations.
This commit is contained in:
卜部昌平 2020-07-12 14:53:54 +09:00
Родитель 802bcd3ec8
Коммит 7e536b3be2
4 изменённых файлов: 24 добавлений и 38 удалений

Просмотреть файл

@ -80,20 +80,4 @@ struct builtin_binary {
size_t bin_size;
};
// mjit
RBIMPL_ATTR_MAYBE_UNUSED()
static void
mjit_invokebuiltin_default_compiler(FILE *f, const struct rb_builtin_function *bf, long index)
{
if (index >= 0) {
fprintf(f, "val = vm_invoke_builtin(ec, GET_CFP(), %p, STACK_ADDR_FROM_TOP(%d));\n",
(const void *)bf, bf->argc);
}
else {
fprintf(f, "val = vm_invoke_builtin_delegate(ec, GET_CFP(), %p, %ld);\n",
(const void *)bf, index);
}
}
#endif // BUILTIN_H_INCLUDED

Просмотреть файл

@ -63,10 +63,6 @@
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|

Просмотреть файл

@ -6,18 +6,24 @@
% # 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];
% insn.opes.each_with_index do |ope, i|
<%= ope.fetch(:decl) %> = (<%= ope.fetch(:type) %>)operands[<%= i %>];
% end
%
rb_snum_t sp_inc = <%= insn.call_attribute('sp_inc') %>;
unsigned sp = b->stack_size + (unsigned)sp_inc;
VM_ASSERT(sp_inc >= 0);
VM_ASSERT(sp_inc < UINT_MAX - b->stack_size);
if (bf->compiler) {
bf->compiler(f, index);
}
else {
mjit_invokebuiltin_default_compiler(f, bf, index);
fprintf(f, "{\n");
fprintf(f, " VALUE val;\n");
bf->compiler(f, <%=
insn.name == 'invokebuiltin' ? '-1' : '(rb_num_t)operands[1]'
%>);
fprintf(f, " stack[%u] = val;\n", sp - 1);
fprintf(f, "}\n");
% if insn.name != 'opt_invokebuiltin_delegate_leave'
b->stack_size = sp;
break;
% end
}

Просмотреть файл

@ -63,15 +63,15 @@ switch (insn) {
}
% when 'getinstancevariable', 'setinstancevariable'
<%= render 'mjit_compile_ivar', locals: { insn: insn } -%>
% when 'invokebuiltin', 'opt_invokebuiltin_delegate'
{
<%= render 'mjit_compile_invokebuiltin', locals: { insn: insn } -%>
}
% when 'leave', 'opt_invokebuiltin_delegate_leave'
{
% # opt_invokebuiltin_delegate_leave also implements leave insn. We need to handle it here for inlining.
% if insn.name == 'opt_invokebuiltin_delegate_leave'
fprintf(f, "{\n");
fprintf(f, " VALUE val;\n");
<%= render 'mjit_compile_invokebuiltin', locals: { insn: insn } -%>
fprintf(f, " stack[0] = val;\n");
fprintf(f, "}\n");
% else
if (b->stack_size != 1) {
if (mjit_opts.warnings || mjit_opts.verbose)