Start implementing send

This commit is contained in:
Takashi Kokubun 2023-02-28 22:50:04 -08:00
parent 8b84c68d77
commit fb08b0e748
Notes: git 2023-03-06 07:29:50 +00:00
3 changed files with 39 additions and 5 deletions

View File

@ -22,7 +22,7 @@ module RubyVM::MJIT
asm.incr_counter(:mjit_insns_count) asm.incr_counter(:mjit_insns_count)
asm.comment("Insn: #{insn.name}") asm.comment("Insn: #{insn.name}")
# 60/101 # 61/101
case insn.name case insn.name
when :nop then nop(jit, ctx, asm) when :nop then nop(jit, ctx, asm)
when :getlocal then getlocal(jit, ctx, asm) when :getlocal then getlocal(jit, ctx, asm)
@ -74,7 +74,7 @@ module RubyVM::MJIT
# defineclass # defineclass
# definemethod # definemethod
# definesmethod # definesmethod
# send when :send then send(jit, ctx, asm)
when :opt_send_without_block then opt_send_without_block(jit, ctx, asm) when :opt_send_without_block then opt_send_without_block(jit, ctx, asm)
# objtostring # objtostring
# opt_str_freeze # opt_str_freeze
@ -658,7 +658,36 @@ module RubyVM::MJIT
# defineclass # defineclass
# definemethod # definemethod
# definesmethod # definesmethod
# send
# @param jit [RubyVM::MJIT::JITState]
# @param ctx [RubyVM::MJIT::Context]
# @param asm [RubyVM::MJIT::Assembler]
def send(jit, ctx, asm)
# Specialize on a compile-time receiver, and split a block for chain guards
unless jit.at_current_insn?
defer_compilation(jit, ctx, asm)
return EndBlock
end
cd = C.rb_call_data.new(jit.operand(0))
blockiseq = jit.operand(1)
if jit_caller_setup_arg_block(jit, ctx, asm, cd.ci, blockiseq, false) == CantCompile
return CantCompile
end
# calling->ci
mid = C.vm_ci_mid(cd.ci)
argc = C.vm_ci_argc(cd.ci)
flags = C.vm_ci_flag(cd.ci)
# vm_sendish
cme = jit_search_method(jit, ctx, asm, mid, argc, flags)
if cme == CantCompile
return CantCompile
end
jit_call_general(jit, ctx, asm, mid, argc, flags, cme)
end
# @param jit [RubyVM::MJIT::JITState] # @param jit [RubyVM::MJIT::JITState]
# @param ctx [RubyVM::MJIT::Context] # @param ctx [RubyVM::MJIT::Context]
@ -710,7 +739,9 @@ module RubyVM::MJIT
cd = C.rb_call_data.new(jit.operand(0)) cd = C.rb_call_data.new(jit.operand(0))
blockiseq = jit.operand(1) blockiseq = jit.operand(1)
jit_caller_setup_arg_block(jit, ctx, asm, cd.ci, blockiseq, true) if jit_caller_setup_arg_block(jit, ctx, asm, cd.ci, blockiseq, true) == CantCompile
return CantCompile
end
# calling->ci # calling->ci
mid = C.vm_ci_mid(cd.ci) mid = C.vm_ci_mid(cd.ci)
@ -2052,7 +2083,8 @@ module RubyVM::MJIT
asm.cmp([:rax, C.VALUE.size * C.VM_ENV_DATA_INDEX_SPECVAL], C.VM_BLOCK_HANDLER_NONE) asm.cmp([:rax, C.VALUE.size * C.VM_ENV_DATA_INDEX_SPECVAL], C.VM_BLOCK_HANDLER_NONE)
asm.jne(counted_exit(side_exit(jit, ctx), :send_block_handler)) asm.jne(counted_exit(side_exit(jit, ctx), :send_block_handler))
else else
raise NotImplementedError asm.incr_counter(:send_block_setup)
return CantCompile
end end
end end
end end

View File

@ -135,6 +135,7 @@ MJIT_RUNTIME_COUNTERS(
send_blockarg, send_blockarg,
send_blockiseq, send_blockiseq,
send_block_handler, send_block_handler,
send_block_setup,
send_iseq_not_simple, send_iseq_not_simple,
send_iseq_kw_splat, send_iseq_kw_splat,

View File

@ -1255,6 +1255,7 @@ module RubyVM::MJIT # :nodoc: all
send_blockarg: [CType::Immediate.parse("size_t"), Primitive.cexpr!("OFFSETOF((*((struct rb_mjit_runtime_counters *)NULL)), send_blockarg)")], send_blockarg: [CType::Immediate.parse("size_t"), Primitive.cexpr!("OFFSETOF((*((struct rb_mjit_runtime_counters *)NULL)), send_blockarg)")],
send_blockiseq: [CType::Immediate.parse("size_t"), Primitive.cexpr!("OFFSETOF((*((struct rb_mjit_runtime_counters *)NULL)), send_blockiseq)")], send_blockiseq: [CType::Immediate.parse("size_t"), Primitive.cexpr!("OFFSETOF((*((struct rb_mjit_runtime_counters *)NULL)), send_blockiseq)")],
send_block_handler: [CType::Immediate.parse("size_t"), Primitive.cexpr!("OFFSETOF((*((struct rb_mjit_runtime_counters *)NULL)), send_block_handler)")], send_block_handler: [CType::Immediate.parse("size_t"), Primitive.cexpr!("OFFSETOF((*((struct rb_mjit_runtime_counters *)NULL)), send_block_handler)")],
send_block_setup: [CType::Immediate.parse("size_t"), Primitive.cexpr!("OFFSETOF((*((struct rb_mjit_runtime_counters *)NULL)), send_block_setup)")],
send_iseq_not_simple: [CType::Immediate.parse("size_t"), Primitive.cexpr!("OFFSETOF((*((struct rb_mjit_runtime_counters *)NULL)), send_iseq_not_simple)")], send_iseq_not_simple: [CType::Immediate.parse("size_t"), Primitive.cexpr!("OFFSETOF((*((struct rb_mjit_runtime_counters *)NULL)), send_iseq_not_simple)")],
send_iseq_kw_splat: [CType::Immediate.parse("size_t"), Primitive.cexpr!("OFFSETOF((*((struct rb_mjit_runtime_counters *)NULL)), send_iseq_kw_splat)")], send_iseq_kw_splat: [CType::Immediate.parse("size_t"), Primitive.cexpr!("OFFSETOF((*((struct rb_mjit_runtime_counters *)NULL)), send_iseq_kw_splat)")],
send_cfunc_variadic: [CType::Immediate.parse("size_t"), Primitive.cexpr!("OFFSETOF((*((struct rb_mjit_runtime_counters *)NULL)), send_cfunc_variadic)")], send_cfunc_variadic: [CType::Immediate.parse("size_t"), Primitive.cexpr!("OFFSETOF((*((struct rb_mjit_runtime_counters *)NULL)), send_cfunc_variadic)")],