2019-11-07 23:21:29 -05:00
|
|
|
#include "internal.h"
|
2019-12-04 03:16:30 -05:00
|
|
|
#include "internal/array.h"
|
2019-11-07 02:58:00 -05:00
|
|
|
#include "iseq.h"
|
2019-12-04 03:16:30 -05:00
|
|
|
#include "vm_core.h"
|
2019-11-07 02:58:00 -05:00
|
|
|
#include "builtin.h"
|
2019-12-10 03:39:04 -05:00
|
|
|
|
2019-12-10 03:13:42 -05:00
|
|
|
#include "miniprelude.c"
|
2019-11-07 02:58:00 -05:00
|
|
|
|
2019-11-10 08:18:08 -05:00
|
|
|
// included from miniinit.c
|
2019-11-07 02:58:00 -05:00
|
|
|
|
2019-12-10 03:39:04 -05:00
|
|
|
#ifndef INCLUDED_BY_BUILTIN_C
|
2019-11-07 02:58:00 -05:00
|
|
|
static struct st_table *loaded_builtin_table;
|
2019-12-10 03:39:04 -05:00
|
|
|
#endif
|
|
|
|
|
2019-11-09 05:28:45 -05:00
|
|
|
rb_ast_t *rb_builtin_ast(const char *feature_name, VALUE *name_str);
|
|
|
|
|
2019-12-10 02:19:13 -05:00
|
|
|
static const rb_iseq_t *
|
|
|
|
builtin_iseq_load(const char *feature_name, const struct rb_builtin_function *table)
|
2019-11-07 02:58:00 -05:00
|
|
|
{
|
2019-11-09 05:28:45 -05:00
|
|
|
VALUE name_str = 0;
|
|
|
|
rb_ast_t *ast = rb_builtin_ast(feature_name, &name_str);
|
2019-12-13 03:26:12 -05:00
|
|
|
rb_vm_t *vm = GET_VM();
|
2019-11-07 02:58:00 -05:00
|
|
|
|
2019-12-13 03:26:12 -05:00
|
|
|
vm->builtin_function_table = table;
|
|
|
|
vm->builtin_inline_index = 0;
|
2021-06-14 20:32:42 -04:00
|
|
|
static const rb_compile_option_t optimization = {
|
2021-06-16 17:09:26 -04: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-14 20:32:42 -04:00
|
|
|
};
|
2022-09-25 03:45:28 -04: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 02:58:00 -05: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 03:49:49 -05: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 03:39:04 -05:00
|
|
|
#ifndef INCLUDED_BY_BUILTIN_C
|
2019-11-07 02:58:00 -05: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 03:39:04 -05:00
|
|
|
#endif
|
2019-11-07 02:58:00 -05:00
|
|
|
|
2019-12-10 02:19:13 -05: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 02:58:00 -05:00
|
|
|
rb_iseq_eval(iseq);
|
|
|
|
}
|
|
|
|
|
2019-12-10 03:39:04 -05:00
|
|
|
#ifndef INCLUDED_BY_BUILTIN_C
|
|
|
|
|
2019-11-07 02:58:00 -05: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 02:19:13 -05:00
|
|
|
|
|
|
|
void
|
|
|
|
Init_builtin_features(void)
|
|
|
|
{
|
|
|
|
// register for ruby
|
|
|
|
builtin_iseq_load("gem_prelude", NULL);
|
|
|
|
}
|
2019-12-10 03:39:04 -05:00
|
|
|
#endif
|