10#include "vm_callinfo.h"
13#include "insns_info.inc"
15#include "internal/compile.h"
16#include "internal/gc.h"
17#include "internal/jit.h"
19#include "internal/fixnum.h"
20#include "internal/hash.h"
21#include "internal/string.h"
22#include "internal/class.h"
23#include "internal/imemo.h"
24#include "internal/struct.h"
32enum jit_bindgen_constants {
35 ROBJECT_OFFSET_AS_ARY = offsetof(
struct RObject, as.ary),
41 TDATA_OFFSET_FIELDS_OBJ = offsetof(
struct RTypedData, fields_obj),
44 RUBY_OFFSET_RHASH_IFNONE = offsetof(
struct RHash, ifnone),
47 RUBY_OFFSET_RHASH_AR_HINT =
sizeof(
struct RHash) + offsetof(
ar_table, ar_hint),
48 RUBY_OFFSET_RHASH_AR_PAIRS =
sizeof(
struct RHash) + offsetof(
ar_table, pairs),
51 RUBY_RHASH_AR_TABLE_MAX_SIZE = RHASH_AR_TABLE_MAX_SIZE,
54 RUBY_OFFSET_RSTRING_LEN = offsetof(
struct RString,
len),
57 RB_SHAPE_FLAG_SHIFT = SHAPE_FLAG_SHIFT,
70const shape_id_t rb_invalid_shape_id = INVALID_SHAPE_ID;
73rb_iseq_encoded_size(
const rb_iseq_t *iseq)
75 return ISEQ_BODY(iseq)->iseq_size;
80rb_iseq_pc_at_idx(
const rb_iseq_t *iseq, uint32_t insn_idx)
84 VALUE *encoded = ISEQ_BODY(iseq)->iseq_encoded;
85 VALUE *pc = &encoded[insn_idx];
95 if (OPT_DIRECT_THREADED_CODE || OPT_CALL_THREADED_CODE) {
99 const VALUE at_pc = *pc;
100 return rb_vm_insn_addr2opcode((
const void *)at_pc);
108 if (OPT_DIRECT_THREADED_CODE || OPT_CALL_THREADED_CODE) {
112 const VALUE at_pc = *pc;
113 return rb_vm_insn_addr2insn((
const void *)at_pc);
117rb_RSTRING_LEN(
VALUE str)
119 return RSTRING_LEN(str);
123rb_RSTRING_PTR(
VALUE str)
125 return RSTRING_PTR(str);
129rb_insn_name(
VALUE insn)
131 return insn_name(insn);
137 return vm_ci_argc(ci);
143 return vm_ci_mid(ci);
149 return vm_ci_flag(ci);
155 return vm_ci_kwarg(ci);
161 return cikw->keyword_len;
167 return cikw->keywords[idx];
170rb_method_visibility_t
173 return METHOD_ENTRY_VISI(me);
179 if (UNDEFINED_METHOD_ENTRY_P(cme)) {
180 return VM_METHOD_TYPE_UNDEF;
183 return cme->def->type;
190 return cme->def->body.attr.id;
193enum method_optimized_type
196 return cme->def->body.optimized.type;
202 return cme->def->body.optimized.index;
208 return UNALIGNED_MEMBER_PTR(cme->def, body.cfunc);
214 return def->method_serial;
220 return def->original_id;
227 return def->body.bmethod.proc;
231rb_jit_get_proc_ptr(
VALUE procv)
234 GetProcPtr(procv, proc);
242 GetProcPtr(recv, proc);
243 return rb_vm_invoke_proc(ec, proc, argc, argv, kw_splat, block_handler,
244 rb_proc_refinements_cref_for_call(recv));
248rb_jit_iseq_builtin_attrs(
const rb_iseq_t *iseq)
250 return ISEQ_BODY(iseq)->builtin_attrs;
255rb_jit_iseq_mark_ep_escape_recorded(
const rb_iseq_t *iseq)
257 rbimpl_atomic_store(&ISEQ_BODY(iseq)->jit_ep_escape_recorded, 1, RBIMPL_ATOMIC_RELAXED);
262rb_jit_iseq_ep_escape_recorded_p(
const rb_iseq_t *iseq)
264 return rbimpl_atomic_load(&ISEQ_BODY(iseq)->jit_ep_escape_recorded, RBIMPL_ATOMIC_RELAXED) != 0;
276 return (
void*)(uintptr_t)mct->func;
282 return def_iseq_ptr(def);
286rb_get_iseq_body_local_iseq(
const rb_iseq_t *iseq)
288 return ISEQ_BODY(iseq)->local_iseq;
292rb_get_iseq_body_parent_iseq(
const rb_iseq_t *iseq)
294 return ISEQ_BODY(iseq)->parent_iseq;
298rb_get_iseq_body_local_table_size(
const rb_iseq_t *iseq)
300 return ISEQ_BODY(iseq)->local_table_size;
304rb_get_iseq_body_iseq_encoded(
const rb_iseq_t *iseq)
306 return ISEQ_BODY(iseq)->iseq_encoded;
310rb_get_iseq_body_stack_max(
const rb_iseq_t *iseq)
312 return ISEQ_BODY(iseq)->stack_max;
316rb_get_iseq_body_type(
const rb_iseq_t *iseq)
318 return ISEQ_BODY(iseq)->type;
322rb_get_iseq_flags_has_lead(
const rb_iseq_t *iseq)
324 return ISEQ_BODY(iseq)->param.flags.has_lead;
328rb_get_iseq_flags_has_opt(
const rb_iseq_t *iseq)
330 return ISEQ_BODY(iseq)->param.flags.has_opt;
334rb_get_iseq_flags_has_kw(
const rb_iseq_t *iseq)
336 return ISEQ_BODY(iseq)->param.flags.has_kw;
340rb_get_iseq_flags_has_post(
const rb_iseq_t *iseq)
342 return ISEQ_BODY(iseq)->param.flags.has_post;
346rb_get_iseq_flags_has_kwrest(
const rb_iseq_t *iseq)
348 return ISEQ_BODY(iseq)->param.flags.has_kwrest;
352rb_get_iseq_flags_anon_kwrest(
const rb_iseq_t *iseq)
354 return ISEQ_BODY(iseq)->param.flags.anon_kwrest;
358rb_get_iseq_flags_has_rest(
const rb_iseq_t *iseq)
360 return ISEQ_BODY(iseq)->param.flags.has_rest;
364rb_get_iseq_flags_ruby2_keywords(
const rb_iseq_t *iseq)
366 return ISEQ_BODY(iseq)->param.flags.ruby2_keywords;
370rb_get_iseq_flags_has_block(
const rb_iseq_t *iseq)
372 return ISEQ_BODY(iseq)->param.flags.has_block;
376rb_get_iseq_flags_ambiguous_param0(
const rb_iseq_t *iseq)
378 return ISEQ_BODY(iseq)->param.flags.ambiguous_param0;
382rb_get_iseq_flags_accepts_no_kwarg(
const rb_iseq_t *iseq)
384 return ISEQ_BODY(iseq)->param.flags.accepts_no_kwarg;
388rb_get_iseq_flags_forwardable(
const rb_iseq_t *iseq)
390 return ISEQ_BODY(iseq)->param.flags.forwardable;
396typedef struct rb_iseq_param_keyword rb_iseq_param_keyword_struct;
398const rb_iseq_param_keyword_struct *
399rb_get_iseq_body_param_keyword(
const rb_iseq_t *iseq)
401 return ISEQ_BODY(iseq)->param.keyword;
405rb_get_iseq_body_param_size(
const rb_iseq_t *iseq)
407 return ISEQ_BODY(iseq)->param.size;
411rb_get_iseq_body_param_lead_num(
const rb_iseq_t *iseq)
413 return ISEQ_BODY(iseq)->param.lead_num;
417rb_get_iseq_body_param_opt_num(
const rb_iseq_t *iseq)
419 return ISEQ_BODY(iseq)->param.opt_num;
423rb_get_iseq_body_param_opt_table(
const rb_iseq_t *iseq)
425 return ISEQ_BODY(iseq)->param.opt_table;
437 return CFP_ISEQ(cfp);
443 return (
VALUE*)cfp->pc;
461 return (
VALUE*)cfp->ep;
469 for (i = 0; i < lv; i++) {
470 ep = VM_ENV_PREV_EP(ep);
476rb_yarv_class_of(
VALUE obj)
503rb_RSTRUCT_LEN(
VALUE st)
515rb_BASIC_OP_UNREDEFINED_P(
enum ruby_basic_operators bop, uint32_t klass)
517 return BASIC_OP_UNREDEFINED_P(bop, klass);
521rb_RCLASS_ORIGIN(
VALUE c)
523 return RCLASS_ORIGIN(c);
528rb_assert_iseq_handle(
VALUE handle)
536rb_assert_holding_vm_lock(
void)
542rb_IMEMO_TYPE_P(
VALUE imemo,
enum imemo_type imemo_type)
544 return IMEMO_TYPE_P(imemo, imemo_type);
548rb_assert_cme_handle(
VALUE handle)
556rb_yarv_ary_entry_internal(
VALUE ary,
long offset)
558 return rb_ary_entry_internal(ary, offset);
562rb_jit_array_len(
VALUE a)
570rb_jit_ruby2_keywords_splat_p(
VALUE obj)
574 if (
len == 0)
return 0;
593rb_jit_shape_complex_p(shape_id_t shape_id)
595 return rb_shape_complex_p(shape_id);
599rb_jit_multi_ractor_p(
void)
601 return rb_multi_ractor_p();
607 return (ice->flags & IMEMO_CONST_CACHE_SHAREABLE) != 0;
615rb_jit_vm_lock_then_barrier(
unsigned int *recursive_lock_level,
const char *file,
int line)
617 rb_vm_lock_enter(recursive_lock_level, file, line);
624rb_jit_vm_unlock(
unsigned int *recursive_lock_level,
const char *file,
int line)
626 rb_vm_lock_leave(recursive_lock_level, file, line);
630rb_iseq_get_jit_payload(
const rb_iseq_t *iseq)
633 if (ISEQ_BODY(iseq)) {
634 return ISEQ_BODY(iseq)->jit_payload;
642rb_iseq_set_jit_payload(
const rb_iseq_t *iseq,
void *payload)
647 ISEQ_BODY(iseq)->jit_payload = payload;
651rb_iseq_clear_jit_payload(
const rb_iseq_t *iseq)
655 ISEQ_BODY(iseq)->jit_payload = NULL;
659rb_iseq_reset_jit_func(
const rb_iseq_t *iseq)
662 ISEQ_BODY(iseq)->jit_entry = NULL;
663 ISEQ_BODY(iseq)->jit_exception = NULL;
666 ISEQ_BODY(iseq)->jit_entry_calls = 0;
667 ISEQ_BODY(iseq)->jit_exception_calls = 0;
672 rb_iseq_callback callback;
678for_each_iseq_i(
void *vstart,
void *vend,
size_t stride,
void *data)
682 for (; v != (
VALUE)vend; v += stride) {
683 void *ptr = rb_asan_poisoned_object_p(v);
684 rb_asan_unpoison_object(v,
false);
686 if (rb_obj_is_iseq(v)) {
688 callback_data->callback(iseq, callback_data->data);
692 rb_asan_poison_object(v);
699rb_jit_get_page_size(
void)
701#if defined(_SC_PAGESIZE)
702 long page_size = sysconf(_SC_PAGESIZE);
703 if (page_size <= 0) rb_bug(
"jit: failed to get page size");
708 if (page_size > 0x40000000l) rb_bug(
"jit page size too large");
710 return (uint32_t)page_size;
712#error "JIT supports POSIX only for now"
716#if defined(MAP_FIXED_NOREPLACE) && defined(_SC_PAGESIZE)
719rb_jit_align_ptr(uint8_t *ptr, uint32_t multiple)
722 uint32_t rem = ((uint32_t)(uintptr_t)ptr) % multiple;
729 uint32_t pad = multiple - rem;
738rb_jit_reserve_addr_space(uint32_t mem_size)
744 #if defined(MAP_FIXED_NOREPLACE) && defined(_SC_PAGESIZE)
745 uint32_t
const page_size = (uint32_t)sysconf(_SC_PAGESIZE);
746 uint8_t *
const cfunc_sample_addr = (
void *)(uintptr_t)&rb_jit_reserve_addr_space;
748 const uintptr_t probe_stride = 64 * 1024 * 1024;
751 const int max_probe_trials = 30;
755 uint8_t *req_addr = cfunc_sample_addr;
756 for (
int i = 0; i < max_probe_trials; i++) {
770 req_addr -= probe_stride;
771 req_addr = rb_jit_align_ptr(req_addr, page_size);
777 MAP_PRIVATE | MAP_ANONYMOUS | MAP_FIXED_NOREPLACE,
783 if (mem_block != MAP_FAILED) {
784 ruby_annotate_mmap(mem_block, mem_size,
"Ruby:rb_jit_reserve_addr_space");
793 (
void *)rb_jit_reserve_addr_space,
796 MAP_PRIVATE | MAP_ANONYMOUS,
803 if (mem_block == MAP_FAILED) {
809 MAP_PRIVATE | MAP_ANONYMOUS,
814 if (mem_block != MAP_FAILED) {
815 ruby_annotate_mmap(mem_block, mem_size,
"Ruby:rb_jit_reserve_addr_space:fallback");
820 if (mem_block == MAP_FAILED) {
821 perror(
"ruby: jit: Fatal mmap failure:");
834rb_jit_for_each_iseq(rb_iseq_callback callback,
void *data)
837 rb_objspace_each_objects(for_each_iseq_i, (
void *)&callback_data);
841rb_jit_mark_writable(
void *mem_block, uint32_t mem_size)
843 return mprotect(mem_block, mem_size, PROT_READ | PROT_WRITE) == 0;
847rb_jit_mark_executable(
void *mem_block, uint32_t mem_size)
854 if (mprotect(mem_block, mem_size, PROT_READ | PROT_EXEC)) {
855 rb_bug(
"Couldn't make JIT page (%p, %lu bytes) executable, errno: %s",
856 mem_block, (
unsigned long)mem_size, strerror(
errno));
862rb_jit_mark_unused(
void *mem_block, uint32_t mem_size)
867 madvise(mem_block, mem_size, MADV_DONTNEED);
871 return mprotect(mem_block, mem_size, PROT_NONE) == 0;
877rb_jit_icache_invalidate(
void *start,
void *end)
883 __builtin___clear_cache(start, end);
884#elif defined(__aarch64__)
885#error No instruction cache clear available with this compiler on Aarch64!
892 return rb_fix_mod_fix(recv, obj);
898 return rb_fix_div_fix(recv, obj);
903rb_yarv_str_eql_internal(
VALUE str1,
VALUE str2)
906 return rb_str_eql_internal(str1, str2);
910rb_jit_str_simple_append(
VALUE str1,
VALUE str2)
912 return rb_str_cat(str1, RSTRING_PTR(str2), RSTRING_LEN(str2));
915void rb_jit_str_concat_codepoint(
VALUE str,
VALUE codepoint);
918rb_jit_shape_capacity(shape_id_t shape_id)
920 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 T_HASH
Old name of RUBY_T_HASH.
#define FL_TEST_RAW
Old name of RB_FL_TEST_RAW.
#define T_ARRAY
Old name of RUBY_T_ARRAY.
static VALUE rb_class_of(VALUE obj)
Object to class mapping function.
Defines RBIMPL_HAS_BUILTIN.
VALUE rb_str_cat(VALUE dst, const char *src, long srclen)
Destructively appends the passed contents to the string.
int len
Length of the buffer.
#define RARRAY_LEN
Just another name of rb_array_len.
static long rb_array_len(VALUE a)
Queries the length of the array.
#define RARRAY_AREF(a, i)
static long RSTRUCT_LEN(VALUE st)
Returns the number of struct members.
Defines struct RTypedData.
#define errno
Ractor-aware version of errno.
VALUE extended
When an object slot is too small or too complex to store instance variables inline,...
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.