10#include "vm_callinfo.h"
13#include "insns_info.inc"
15#include "internal/compile.h"
16#include "internal/gc.h"
18#include "internal/fixnum.h"
19#include "internal/string.h"
20#include "internal/class.h"
21#include "internal/imemo.h"
29enum jit_bindgen_constants {
32 ROBJECT_OFFSET_AS_ARY = offsetof(
struct RObject, as.ary),
38 RTYPEDDATA_OFFSET_FIELDS_OBJ = offsetof(
struct RTypedData, fields_obj),
41 RUBY_OFFSET_RSTRING_LEN = offsetof(
struct RString,
len),
54const shape_id_t rb_invalid_shape_id = INVALID_SHAPE_ID;
57rb_iseq_encoded_size(
const rb_iseq_t *iseq)
59 return iseq->body->iseq_size;
64rb_iseq_pc_at_idx(
const rb_iseq_t *iseq, uint32_t insn_idx)
68 VALUE *encoded = iseq->body->iseq_encoded;
69 VALUE *pc = &encoded[insn_idx];
79 if (OPT_DIRECT_THREADED_CODE || OPT_CALL_THREADED_CODE) {
83 const VALUE at_pc = *pc;
84 return rb_vm_insn_addr2opcode((
const void *)at_pc);
92 if (OPT_DIRECT_THREADED_CODE || OPT_CALL_THREADED_CODE) {
96 const VALUE at_pc = *pc;
97 return rb_vm_insn_addr2insn((
const void *)at_pc);
101rb_RSTRING_LEN(
VALUE str)
103 return RSTRING_LEN(str);
107rb_RSTRING_PTR(
VALUE str)
109 return RSTRING_PTR(str);
113rb_insn_name(
VALUE insn)
115 return insn_name(insn);
121 return vm_ci_argc(ci);
127 return vm_ci_mid(ci);
133 return vm_ci_flag(ci);
139 return vm_ci_kwarg(ci);
145 return cikw->keyword_len;
151 return cikw->keywords[idx];
154rb_method_visibility_t
157 return METHOD_ENTRY_VISI(me);
163 if (UNDEFINED_METHOD_ENTRY_P(cme)) {
164 return VM_METHOD_TYPE_UNDEF;
167 return cme->def->type;
174 return cme->def->body.attr.id;
177enum method_optimized_type
180 return cme->def->body.optimized.type;
186 return cme->def->body.optimized.index;
192 return UNALIGNED_MEMBER_PTR(cme->def, body.cfunc);
198 return def->method_serial;
204 return def->original_id;
211 return def->body.bmethod.proc;
215rb_jit_get_proc_ptr(
VALUE procv)
218 GetProcPtr(procv, proc);
226 GetProcPtr(recv, proc);
227 return rb_vm_invoke_proc(ec, proc, argc, argv, kw_splat, block_handler);
231rb_jit_iseq_builtin_attrs(
const rb_iseq_t *iseq)
233 return iseq->body->builtin_attrs;
245 return (
void*)(uintptr_t)mct->func;
251 return def_iseq_ptr(def);
255rb_get_iseq_body_local_iseq(
const rb_iseq_t *iseq)
257 return iseq->body->local_iseq;
261rb_get_iseq_body_parent_iseq(
const rb_iseq_t *iseq)
263 return iseq->body->parent_iseq;
267rb_get_iseq_body_local_table_size(
const rb_iseq_t *iseq)
269 return iseq->body->local_table_size;
273rb_get_iseq_body_iseq_encoded(
const rb_iseq_t *iseq)
275 return iseq->body->iseq_encoded;
279rb_get_iseq_body_stack_max(
const rb_iseq_t *iseq)
281 return iseq->body->stack_max;
285rb_get_iseq_body_type(
const rb_iseq_t *iseq)
287 return iseq->body->type;
291rb_get_iseq_flags_has_lead(
const rb_iseq_t *iseq)
293 return iseq->body->param.flags.has_lead;
297rb_get_iseq_flags_has_opt(
const rb_iseq_t *iseq)
299 return iseq->body->param.flags.has_opt;
303rb_get_iseq_flags_has_kw(
const rb_iseq_t *iseq)
305 return iseq->body->param.flags.has_kw;
309rb_get_iseq_flags_has_post(
const rb_iseq_t *iseq)
311 return iseq->body->param.flags.has_post;
315rb_get_iseq_flags_has_kwrest(
const rb_iseq_t *iseq)
317 return iseq->body->param.flags.has_kwrest;
321rb_get_iseq_flags_anon_kwrest(
const rb_iseq_t *iseq)
323 return iseq->body->param.flags.anon_kwrest;
327rb_get_iseq_flags_has_rest(
const rb_iseq_t *iseq)
329 return iseq->body->param.flags.has_rest;
333rb_get_iseq_flags_ruby2_keywords(
const rb_iseq_t *iseq)
335 return iseq->body->param.flags.ruby2_keywords;
339rb_get_iseq_flags_has_block(
const rb_iseq_t *iseq)
341 return iseq->body->param.flags.has_block;
345rb_get_iseq_flags_ambiguous_param0(
const rb_iseq_t *iseq)
347 return iseq->body->param.flags.ambiguous_param0;
351rb_get_iseq_flags_accepts_no_kwarg(
const rb_iseq_t *iseq)
353 return iseq->body->param.flags.accepts_no_kwarg;
357rb_get_iseq_flags_forwardable(
const rb_iseq_t *iseq)
359 return iseq->body->param.flags.forwardable;
365typedef struct rb_iseq_param_keyword rb_iseq_param_keyword_struct;
367const rb_iseq_param_keyword_struct *
368rb_get_iseq_body_param_keyword(
const rb_iseq_t *iseq)
370 return iseq->body->param.keyword;
374rb_get_iseq_body_param_size(
const rb_iseq_t *iseq)
376 return iseq->body->param.size;
380rb_get_iseq_body_param_lead_num(
const rb_iseq_t *iseq)
382 return iseq->body->param.lead_num;
386rb_get_iseq_body_param_opt_num(
const rb_iseq_t *iseq)
388 return iseq->body->param.opt_num;
392rb_get_iseq_body_param_opt_table(
const rb_iseq_t *iseq)
394 return iseq->body->param.opt_table;
406 return CFP_ISEQ(cfp);
412 return (
VALUE*)cfp->pc;
430 return (
VALUE*)cfp->ep;
438 for (i = 0; i < lv; i++) {
439 ep = VM_ENV_PREV_EP(ep);
445rb_yarv_class_of(
VALUE obj)
472rb_RSTRUCT_LEN(
VALUE st)
484rb_BASIC_OP_UNREDEFINED_P(
enum ruby_basic_operators bop, uint32_t klass)
486 return BASIC_OP_UNREDEFINED_P(bop, klass);
490rb_RCLASS_ORIGIN(
VALUE c)
492 return RCLASS_ORIGIN(c);
497rb_assert_iseq_handle(
VALUE handle)
505rb_assert_holding_vm_lock(
void)
511rb_IMEMO_TYPE_P(
VALUE imemo,
enum imemo_type imemo_type)
513 return IMEMO_TYPE_P(imemo, imemo_type);
517rb_assert_cme_handle(
VALUE handle)
525rb_yarv_ary_entry_internal(
VALUE ary,
long offset)
527 return rb_ary_entry_internal(ary, offset);
531rb_jit_array_len(
VALUE a)
549rb_jit_shape_too_complex_p(shape_id_t shape_id)
551 return rb_shape_too_complex_p(shape_id);
555rb_jit_multi_ractor_p(
void)
557 return rb_multi_ractor_p();
561rb_jit_class_fields_embedded_p(
VALUE klass)
563 VALUE fields_obj = RCLASS_EXT_PRIME(klass)->fields_obj;
564 return !fields_obj || !
FL_TEST_RAW(fields_obj, OBJ_FIELD_HEAP);
568rb_jit_typed_data_fields_embedded_p(
VALUE obj)
571 return !fields_obj || !
FL_TEST_RAW(fields_obj, OBJ_FIELD_HEAP);
579rb_jit_vm_lock_then_barrier(
unsigned int *recursive_lock_level,
const char *file,
int line)
581 rb_vm_lock_enter(recursive_lock_level, file, line);
588rb_jit_vm_unlock(
unsigned int *recursive_lock_level,
const char *file,
int line)
590 rb_vm_lock_leave(recursive_lock_level, file, line);
594rb_iseq_reset_jit_func(
const rb_iseq_t *iseq)
597 iseq->body->jit_entry = NULL;
598 iseq->body->jit_exception = NULL;
601 iseq->body->jit_entry_calls = 0;
602 iseq->body->jit_exception_calls = 0;
607 rb_iseq_callback callback;
613for_each_iseq_i(
void *vstart,
void *vend,
size_t stride,
void *data)
617 for (; v != (
VALUE)vend; v += stride) {
618 void *ptr = rb_asan_poisoned_object_p(v);
619 rb_asan_unpoison_object(v,
false);
621 if (rb_obj_is_iseq(v)) {
623 callback_data->callback(iseq, callback_data->data);
627 rb_asan_poison_object(v);
634rb_jit_get_page_size(
void)
636#if defined(_SC_PAGESIZE)
637 long page_size = sysconf(_SC_PAGESIZE);
638 if (page_size <= 0) rb_bug(
"jit: failed to get page size");
643 if (page_size > 0x40000000l) rb_bug(
"jit page size too large");
645 return (uint32_t)page_size;
647#error "JIT supports POSIX only for now"
651#if defined(MAP_FIXED_NOREPLACE) && defined(_SC_PAGESIZE)
654align_ptr(uint8_t *ptr, uint32_t multiple)
657 uint32_t rem = ((uint32_t)(uintptr_t)ptr) % multiple;
664 uint32_t pad = multiple - rem;
673rb_jit_reserve_addr_space(uint32_t mem_size)
679 #if defined(MAP_FIXED_NOREPLACE) && defined(_SC_PAGESIZE)
680 uint32_t
const page_size = (uint32_t)sysconf(_SC_PAGESIZE);
681 uint8_t *
const cfunc_sample_addr = (
void *)(uintptr_t)&rb_jit_reserve_addr_space;
682 uint8_t *
const probe_region_end = cfunc_sample_addr + INT32_MAX;
684 uint8_t *req_addr = align_ptr(cfunc_sample_addr, page_size);
693 MAP_PRIVATE | MAP_ANONYMOUS | MAP_FIXED_NOREPLACE,
699 if (mem_block != MAP_FAILED) {
700 ruby_annotate_mmap(mem_block, mem_size,
"Ruby:rb_jit_reserve_addr_space");
708 req_addr -= 4 * 1024 * 1024;
709 }
while (req_addr < probe_region_end);
715 (
void *)rb_jit_reserve_addr_space,
718 MAP_PRIVATE | MAP_ANONYMOUS,
725 if (mem_block == MAP_FAILED) {
731 MAP_PRIVATE | MAP_ANONYMOUS,
736 if (mem_block != MAP_FAILED) {
737 ruby_annotate_mmap(mem_block, mem_size,
"Ruby:rb_jit_reserve_addr_space:fallback");
742 if (mem_block == MAP_FAILED) {
743 perror(
"ruby: jit: mmap:");
744 if(
errno == ENOMEM) {
748 rb_bug(
"mmap failed");
760rb_jit_for_each_iseq(rb_iseq_callback callback,
void *data)
763 rb_objspace_each_objects(for_each_iseq_i, (
void *)&callback_data);
767rb_jit_mark_writable(
void *mem_block, uint32_t mem_size)
769 return mprotect(mem_block, mem_size, PROT_READ | PROT_WRITE) == 0;
773rb_jit_mark_executable(
void *mem_block, uint32_t mem_size)
780 if (mprotect(mem_block, mem_size, PROT_READ | PROT_EXEC)) {
781 rb_bug(
"Couldn't make JIT page (%p, %lu bytes) executable, errno: %s",
782 mem_block, (
unsigned long)mem_size, strerror(
errno));
788rb_jit_mark_unused(
void *mem_block, uint32_t mem_size)
793 madvise(mem_block, mem_size, MADV_DONTNEED);
797 return mprotect(mem_block, mem_size, PROT_NONE) == 0;
803rb_jit_icache_invalidate(
void *start,
void *end)
809 __builtin___clear_cache(start, end);
810#elif defined(__aarch64__)
811#error No instruction cache clear available with this compiler on Aarch64!
818 return rb_fix_mod_fix(recv, obj);
824 return rb_fix_div_fix(recv, obj);
829rb_yarv_str_eql_internal(
VALUE str1,
VALUE str2)
832 return rb_str_eql_internal(str1, str2);
835void rb_jit_str_concat_codepoint(
VALUE str,
VALUE codepoint);
838rb_jit_shape_capacity(shape_id_t shape_id)
840 return RSHAPE_CAPACITY(shape_id);
#define RUBY_ASSERT_ALWAYS(expr,...)
A variant of RUBY_ASSERT that does not interface with RUBY_DEBUG.
#define RUBY_ASSERT(...)
Asserts that the given expression is truthy if and only if RUBY_DEBUG is truthy.
static VALUE RB_FL_TEST(VALUE obj, VALUE flags)
Tests if the given flag(s) are set or not.
#define FL_TEST_RAW
Old name of RB_FL_TEST_RAW.
static VALUE rb_class_of(VALUE obj)
Object to class mapping function.
Defines RBIMPL_HAS_BUILTIN.
int len
Length of the buffer.
static long rb_array_len(VALUE a)
Queries the length of the array.
static long RSTRUCT_LEN(VALUE st)
Returns the number of struct members.
Defines struct RTypedData.
#define RTYPEDDATA(obj)
Convenient casting macro.
#define errno
Ractor-aware version of errno.
VALUE * fields
Pointer to a C array that holds instance variables.
struct RObject::@51::@52 heap
Object that use separated memory region for instance variables use this pattern.
uintptr_t ID
Type that represents a Ruby identifier such as a variable name.
uintptr_t VALUE
Type that represents a Ruby object.
static bool RB_TYPE_P(VALUE obj, enum ruby_value_type t)
Queries if the given object is of given type.
ruby_value_type
C-level type of an object.