summaryrefslogtreecommitdiffhomepage
AgeCommit message (Collapse)Author
2021-10-14vm.c: need to ensure the stack size is sufficient.Yukihiro "Matz" Matsumoto
Need to add `n` because the stack will be shifted in the `mrb_funcall`.
2021-10-14Fix grammar in doc/guides/mrbgems.mdJohn Bampton
2021-10-13codegen.c: skip `OP_ARGARY` before `super` if the method has no arguments.Yukihiro "Matz" Matsumoto
2021-10-12error.c: small refactoring regarding #2485Yukihiro "Matz" Matsumoto
2021-10-12Merge branch 'take-cheeze-exc_mesg'Yukihiro "Matz" Matsumoto
2021-10-12Merge branch 'exc_mesg' of https://github.com/take-cheeze/mruby into ↵Yukihiro "Matz" Matsumoto
take-cheeze-exc_mesg
2021-10-12codegen.c: should not assign negative number to `ainfo` (`size_t`).Yukihiro "Matz" Matsumoto
2021-10-12Support Ruby3.0 keyword arguments.Yukihiro "Matz" Matsumoto
The Difference Since Ruby1.9, the keyword arguments were emulated by Ruby using the hash object at the bottom of the arguments. But we have gradually moved toward keyword arguments separated from normal (positinal) arguments. At the same time, we value compatibility, so that Ruby3.0 keyword arguments are somewhat compromise. Basically, keyword arguments are separated from positional arguments, except when the method does not take any formal keyword arguments, given keyword arguments (packed in the hash object) are considered as the last argument. And we also allow non symbol keys in the keyword arguments. In that case, those keys are just passed in the `**` hash (or raise `ArgumentError` for unknown keys). The Instruction Changes We have changed `OP_SEND` instruction. `OP_SEND` instruction used to take 3 operands, the register, the symbol, the number of (positional) arguments. The meaning of the third operand has been changed. It is now considered as `n|(nk<<4)`, where `n` is the number of positional arguments, and `nk` is the number of keyword arguments, both occupies 4 bits in the operand. The number `15` in both `n` and `nk` means variable sized arguments are packed in the object. Positional arguments will be packed in the array, and keyword arguments will be packed in the hash object. That means arguments more than 14 values are always packed in the object. Arguments information for other instructions (`OP_SENDB` and `OP_SUPER`) are also changed. It works as the third operand of `OP_SEND`. the difference between `OP_SEND` and `OP_SENDB` is just trivial. It assigns `nil` to the block hidden arguments (right after arguments). The instruction `OP_SENDV` and `OP_SENDVB` are removed. Those instructions are replaced by `OP_SEND` and `OP_SENDB` respectively with the `15` (variable sized) argument information. Calling Convention When calling a method, the stack elements shall be in the order of the receiver of the method, positional arguments, keyword arguments and the block argument. If the number of positional or keyword arugument (`n` or `nk`) is zero, corresponding arguments will be empty. So when `n=0` and `nk=0` the stack layout (from bottom to top) will be: +-----------------------+ | recv | block (or nil) | +-----------------------+ The last elements `block` should be explicitly filled before `OP_SEND` or assigned to `nil` by `OP_SENDB` internally. In other words, the following have exactly same behavior: OP_SENDB clears `block` implicitly: ``` OP_SENDB reg sym 0 ``` OP_SEND clears `block` implicitly: ``` OP_LOADNIL R2 OP_SEND R2 sym 0 ``` When calling a method with only positional arguments (n=0..14) without keyword arguments, the stack layout will be like following: +--------------------------------------------+ | recv | arg1 | ... | arg_n | block (or nil) | +--------------------------------------------+ When calling a method with arguments packed in the array (n=15) which means argument splat (*) is used in the actual arguments, or more than 14 arguments are passed the stack layout will be like following: +-------------------------------+ | recv | array | block (or nil) | +-------------------------------+ The number of the actual arguments is determined by the length of the argument array. When keyword arguments are given (nk>0), keyword arguments are passed between positional arguments and the block argument. For example, when we pass one positional argument `1` and one keyword argument `a: 2`, the stack layout will be like: +------------------------------------+ | recv | 1 | :a | 2 | block (or nil) | +------------------------------------+ Note that keyword arguments consume `2*nk` elements in the stack when `nk=0..14` (unpacked). When calling a method with keyword arguments packed in the hash object (nk=15) which means keyword argument splat (**) is used or more than 14 keyword arguments in the actual arguments, the stack layout will be like: +------------------------------+ | recv | hash | block (or nil) | +------------------------------+ Note for mruby/c When mruby/c authors try to support new keyword arguments, they need to handle the new meaning of the argument information operand. If they choose not to support keyword arguments in mruby/c, it just raise error when `nk` (taken by `(c>>4)&0xf`) is not zero. And combine `OP_SENDV` behavior with `OP_SEND` when `n` is `15`. If they want to support keyword arguments seriously, contact me at <[email protected]> or `@yukihiro_matz`. I can help you.
2021-10-12Merge pull request #5557 from jbampton/pre-commit-autoupdateYukihiro "Matz" Matsumoto
pre-commit autoupdate
2021-10-12pre-commit autoupdateJohn Bampton
https://pre-commit.com/index.html#pre-commit-autoupdate
2021-10-10vm.c: unify `mrb_gc_arena_restore` and `mrb_gc_arena_shrink`.Yukihiro "Matz" Matsumoto
2021-10-09Merge pull request #5555 from dearblue/str-ref-regexpYukihiro "Matz" Matsumoto
Partially allow overriding of `String#[]` methods
2021-10-09Merge pull request #5556 from dearblue/setidxYukihiro "Matz" Matsumoto
Fix typo for `OP_SETIDX`
2021-10-09Fix typo for `OP_SETIDX`dearblue
2021-10-09codegen.c: peephole optimization `OP_MOVE` after `OP_AREF`.Yukihiro "Matz" Matsumoto
2021-10-09Partially allow overriding of `String#[]` methodsdearblue
This is for the purpose of supporting `Regexp`. - configuration and build ```console % cat regexp_config.rb MRuby::Lockfile.disable MRuby::Build.new do toolchain "clang" enable_debug gem core: "mruby-bin-mruby" gem core: "mruby-print" gem mgem: "mruby-onig-regexp" #gem mgem: "mruby-regexp-pcre" end % rake MRUBY_CONFIG=regexp_config.rb ``` - mruby HEAD (bec074e) ```console % build/host/bin/mruby -e 'p "abcdefg"[/.(?=...$)/]' -e:1: can't convert OnigRegexp into Integer (TypeError) ``` - with this patch ```console % build/host/bin/mruby -e 'p "abcdefg"[/.(?=...$)/]' "d" ```
2021-10-08vm.c: check call stack depth before pushing the frame.Yukihiro "Matz" Matsumoto
Existing call stack depth checks are unified into this check in `cipush()`. The maximum depth is now specified by `MRB_CALL_LEVEL_MAX` (the default is 512). The older `MRB_FUNCALL_DEPTH_MAX` is no longer used.
2021-10-08codegen.c: peephole optimize `OP_MOVE` after `OP_ARRAY` or `OP_HASH`.Yukihiro "Matz" Matsumoto
When the length operand is zero, we don't need `OP_MOVE` but adjust the destination operand instead.
2021-10-07Merge pull request #5554 from ↵Yukihiro "Matz" Matsumoto
mruby/dependabot/github_actions/github/super-linter-4.8.1 build(deps): bump github/super-linter from 4.8.0 to 4.8.1
2021-10-06codedump.c: remove trailing extra newline.Yukihiro "Matz" Matsumoto
The bug was introduced in 8be78bd.
2021-10-05io.c: hide internal method names in backtrace.Yukihiro "Matz" Matsumoto
2021-10-04build(deps): bump github/super-linter from 4.8.0 to 4.8.1dependabot[bot]
Bumps [github/super-linter](https://github.com/github/super-linter) from 4.8.0 to 4.8.1. - [Release notes](https://github.com/github/super-linter/releases) - [Changelog](https://github.com/github/super-linter/blob/main/docs/release-process.md) - [Commits](https://github.com/github/super-linter/compare/v4.8.0...v4.8.1) --- updated-dependencies: - dependency-name: github/super-linter dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]>
2021-10-04codegen.c: no `OP_ARGARY` is needed here.Yukihiro "Matz" Matsumoto
2021-10-03mruby/ops.h: add new instructions `OP_GETIDX` and `OP_SETIDX`.Yukihiro "Matz" Matsumoto
Which represent `obj[int]` and `obj[int]=val` respectively where `obj` is either `string`, `array` or `hash`, so that index access could be faster. When `obj` is not assumed type or `R(a+1)` is not integer, the instructions fallback to method calls.
2021-10-02Merge branch 'dearblue-inline-struct-gem'Yukihiro "Matz" Matsumoto
2021-10-02Merge branch 'inline-struct-gem' of https://github.com/dearblue/mruby into ↵Yukihiro "Matz" Matsumoto
dearblue-inline-struct-gem
2021-10-01SECURITY.md: add scope description.Yukihiro "Matz" Matsumoto
2021-09-30TODO.md: update.Yukihiro "Matz" Matsumoto
2021-09-30dreamcast_shelf.rb: remove unnecessary gem lines.Yukihiro "Matz" Matsumoto
- `mruby-binding-core` should be handle through dependency - `mruby-inline-struct` is only for tests
2021-09-30value.h: introduce `MRB_TT_STRUCT` for `mruby-struct`.Yukihiro "Matz" Matsumoto
2021-09-28Merge pull request #5553 from ↵Yukihiro "Matz" Matsumoto
mruby/dependabot/github_actions/github/super-linter-4.8.0 build(deps): bump github/super-linter from 4.7.3 to 4.8.0
2021-09-28build(deps): bump github/super-linter from 4.7.3 to 4.8.0dependabot[bot]
Bumps [github/super-linter](https://github.com/github/super-linter) from 4.7.3 to 4.8.0. - [Release notes](https://github.com/github/super-linter/releases) - [Changelog](https://github.com/github/super-linter/blob/master/docs/release-process.md) - [Commits](https://github.com/github/super-linter/compare/v4.7.3...v4.8.0) --- updated-dependencies: - dependency-name: github/super-linter dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]>
2021-09-27parse.y: `__ENCODING__` should be determined in run-time; fix #5552Yukihiro "Matz" Matsumoto
It used to be compiled to the static string in the compiler. But the encoding status actually depends on the runtime configuration. A new method `Kernel#__ENCODING__` is introduced to implement the feature.
2021-09-26codegen.c: should not `loop_push()` before constant folding.Yukihiro "Matz" Matsumoto
Otherwise, the following code will crash: ```ruby 1.times{{}until 1; break} ```
2021-09-25mrbconf.h: rename a configuration macro for no truncate floats.Yukihiro "Matz" Matsumoto
Rename `MRB_WORDBOX_USE_HEAP_FLOAT` to `MRB_WORDBOX_NO_FLOAT_TRUNCATE'.
2021-09-24Revert "vm.c: add assertions instead of `mrb_ensure_hash_type()`."Yukihiro "Matz" Matsumoto
This reverts commit 913a0a5a036664ab0d12a1af40b652412301c89f. In some cases, `OP_HASHADD` operand may not be `Hash`. We should check explicitly in those cases.
2021-09-24codegen.c: refactor `NODE_WHILE` and `NODE_UNTIL`.Yukihiro "Matz" Matsumoto
2021-09-24codegen.c: add short circuit constant folding for `NODE_AND`, `NODE_OR`.Yukihiro "Matz" Matsumoto
2021-09-24codegen.c: refactor `NODE_IF` generation for boolean constants.Yukihiro "Matz" Matsumoto
In addition, add `NODE_SYM` for always true expression.
2021-09-23codegen.c: need to check `no_peephole()` before constant folding.Yukihiro "Matz" Matsumoto
2021-09-23codegen.c: separate maximum stack size from `GEN_LIT_ARY_MAX`.Yukihiro "Matz" Matsumoto
2021-09-22error.c: stop calling `initialize` from VM exceptions.Yukihiro "Matz" Matsumoto
The invocation of `initialize` hook can cause infinite recursion too easily. We stop invoking the method for safety, at the cost of less flexibility. The `initialize` methods (e.g. ones defined in `mrblib/10error.rb`) are called only from `NoMethodError.new(args..)` forms.
2021-09-21vm.c: add assertions instead of `mrb_ensure_hash_type()`.Yukihiro "Matz" Matsumoto
2021-09-20Create SECURITY.mdYukihiro "Matz" Matsumoto
2021-09-20Update `struct` initializer to work with relatively older `C++`.Yukihiro "Matz" Matsumoto
2021-09-20codedump.c: add cosmetic tabs before variable labels.Yukihiro "Matz" Matsumoto
2021-09-20codegen.c (gen_addsub): use `mrb_int_sub_overflow()`.Yukihiro "Matz" Matsumoto
2021-09-20codegen.c: avoid constant folding `OP_LOADI16` across branch target.Yukihiro "Matz" Matsumoto
2021-09-20codegen.c: `gen_move` should generate proper `OP_LOADI16`.Yukihiro "Matz" Matsumoto
2021-09-20codegen.c: rename `loopinfo->acc` to `reg`.Yukihiro "Matz" Matsumoto
`acc` meant `accumulator` but it is not an accumulator but just a register position.