2019-11-08 07:21:29 +03:00
|
|
|
#include "internal.h"
|
2019-12-04 11:16:30 +03:00
|
|
|
#include "internal/array.h"
|
2019-11-07 10:58:00 +03:00
|
|
|
#include "iseq.h"
|
2019-12-04 11:16:30 +03:00
|
|
|
#include "vm_core.h"
|
2019-11-07 10:58:00 +03:00
|
|
|
#include "builtin.h"
|
2019-12-10 11:39:04 +03:00
|
|
|
|
2019-12-10 11:13:42 +03:00
|
|
|
#include "miniprelude.c"
|
2019-11-07 10:58:00 +03:00
|
|
|
|
2019-11-10 16:18:08 +03:00
|
|
|
// included from miniinit.c
|
2019-11-07 10:58:00 +03:00
|
|
|
|
2019-12-10 11:39:04 +03:00
|
|
|
#ifndef INCLUDED_BY_BUILTIN_C
|
2019-11-07 10:58:00 +03:00
|
|
|
static struct st_table *loaded_builtin_table;
|
2019-12-10 11:39:04 +03:00
|
|
|
#endif
|
|
|
|
|
2019-11-09 13:28:45 +03:00
|
|
|
rb_ast_t *rb_builtin_ast(const char *feature_name, VALUE *name_str);
|
|
|
|
|
2019-12-10 10:19:13 +03:00
|
|
|
static const rb_iseq_t *
|
|
|
|
builtin_iseq_load(const char *feature_name, const struct rb_builtin_function *table)
|
2019-11-07 10:58:00 +03:00
|
|
|
{
|
2019-11-09 13:28:45 +03:00
|
|
|
VALUE name_str = 0;
|
|
|
|
rb_ast_t *ast = rb_builtin_ast(feature_name, &name_str);
|
2019-12-13 11:26:12 +03:00
|
|
|
rb_vm_t *vm = GET_VM();
|
2019-11-07 10:58:00 +03:00
|
|
|
|
2023-03-08 06:16:05 +03:00
|
|
|
if (!ast) {
|
|
|
|
rb_fatal("builtin_iseq_load: can not find %s; "
|
|
|
|
"probably miniprelude.c is out of date",
|
|
|
|
feature_name);
|
|
|
|
}
|
2019-12-13 11:26:12 +03:00
|
|
|
vm->builtin_function_table = table;
|
|
|
|
vm->builtin_inline_index = 0;
|
2021-06-15 03:32:42 +03:00
|
|
|
static const rb_compile_option_t optimization = {
|
2021-06-17 00:09:26 +03:00
|
|
|
TRUE, /* int inline_const_cache; */
|
|
|
|
TRUE, /* int peephole_optimization; */
|
|
|
|
FALSE,/* int tailcall_optimization; */
|
|
|
|
TRUE, /* int specialized_instruction; */
|
|
|
|
TRUE, /* int operands_unification; */
|
|
|
|
TRUE, /* int instructions_unification; */
|
|
|
|
TRUE, /* int stack_caching; */
|
|
|
|
TRUE, /* int frozen_string_literal; */
|
|
|
|
FALSE, /* int debug_frozen_string_literal; */
|
|
|
|
FALSE, /* unsigned int coverage_enabled; */
|
|
|
|
0, /* int debug_level; */
|
2021-06-15 03:32:42 +03:00
|
|
|
};
|
2022-09-25 10:45:28 +03:00
|
|
|
const rb_iseq_t *iseq = rb_iseq_new_with_opt(&ast->body, name_str, name_str, Qnil, 0, NULL, 0, ISEQ_TYPE_TOP, &optimization);
|
2019-11-07 10:58:00 +03:00
|
|
|
GET_VM()->builtin_function_table = NULL;
|
|
|
|
|
|
|
|
rb_ast_dispose(ast);
|
|
|
|
|
vm_invoke_builtin_delegate with start index.
opt_invokebuiltin_delegate and opt_invokebuiltin_delegate_leave
invokes builtin functions with same parameters of the method.
This technique eliminate stack push operations. However, delegation
parameters should be completely same as given parameters.
(e.g. `def foo(a, b, c) __builtin_foo(a, b, c)` is okay, but
__builtin_foo(b, c) is not allowed)
This patch relaxes this restriction. ISeq has a local variables
table which includes parameters. For example, the method defined
as `def foo(a, b, c) x=y=nil`, then local variables table contains
[a, b, c, x, y]. If calling builtin-function with arguments which
are sub-array of the lvar table, use opt_invokebuiltin_delegate
instruction with start index. For example, `__builtin_foo(b, c)`,
`__builtin_bar(c, x, y)` is okay, and so on.
2019-11-15 11:49:49 +03:00
|
|
|
// for debug
|
|
|
|
if (0 && strcmp("prelude", feature_name) == 0) {
|
|
|
|
rb_io_write(rb_stdout, rb_iseq_disasm((const rb_iseq_t *)iseq));
|
|
|
|
}
|
|
|
|
|
2019-12-10 11:39:04 +03:00
|
|
|
#ifndef INCLUDED_BY_BUILTIN_C
|
2019-11-07 10:58:00 +03:00
|
|
|
st_insert(loaded_builtin_table, (st_data_t)feature_name, (st_data_t)iseq);
|
|
|
|
rb_gc_register_mark_object((VALUE)iseq);
|
2019-12-10 11:39:04 +03:00
|
|
|
#endif
|
2019-11-07 10:58:00 +03:00
|
|
|
|
2019-12-10 10:19:13 +03:00
|
|
|
return iseq;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
rb_load_with_builtin_functions(const char *feature_name, const struct rb_builtin_function *table)
|
|
|
|
{
|
|
|
|
const rb_iseq_t *iseq = builtin_iseq_load(feature_name, table);
|
2019-11-07 10:58:00 +03:00
|
|
|
rb_iseq_eval(iseq);
|
|
|
|
}
|
|
|
|
|
2019-12-10 11:39:04 +03:00
|
|
|
#ifndef INCLUDED_BY_BUILTIN_C
|
|
|
|
|
2019-11-07 10:58:00 +03:00
|
|
|
static int
|
|
|
|
each_builtin_i(st_data_t key, st_data_t val, st_data_t dmy)
|
|
|
|
{
|
|
|
|
const char *feature = (const char *)key;
|
|
|
|
const rb_iseq_t *iseq = (const rb_iseq_t *)val;
|
|
|
|
|
|
|
|
rb_yield_values(2, rb_str_new2(feature), rb_iseqw_new(iseq));
|
|
|
|
|
|
|
|
return ST_CONTINUE;
|
|
|
|
}
|
|
|
|
|
|
|
|
static VALUE
|
|
|
|
each_builtin(VALUE self)
|
|
|
|
{
|
|
|
|
st_foreach(loaded_builtin_table, each_builtin_i, 0);
|
|
|
|
return Qnil;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
Init_builtin(void)
|
|
|
|
{
|
|
|
|
rb_define_singleton_method(rb_cRubyVM, "each_builtin", each_builtin, 0);
|
|
|
|
loaded_builtin_table = st_init_strtable();
|
|
|
|
}
|
2019-12-10 10:19:13 +03:00
|
|
|
|
|
|
|
void
|
|
|
|
Init_builtin_features(void)
|
|
|
|
{
|
|
|
|
// register for ruby
|
|
|
|
builtin_iseq_load("gem_prelude", NULL);
|
|
|
|
}
|
2019-12-10 11:39:04 +03:00
|
|
|
#endif
|