summaryrefslogtreecommitdiffhomepage
AgeCommit message (Collapse)Author
2021-10-19codedump.c: remove `OP_` prefix from disasm output.Yukihiro "Matz" Matsumoto
2021-10-19codegen.c: skip `OP_LOADSELF` using `OP_SSEND`.Yukihiro "Matz" Matsumoto
2021-10-19ops.h: add new instructions `OP_SSEND` and `OP_SSENDB`.Yukihiro "Matz" Matsumoto
These instructions call methods of the receiver.
2021-10-19ops.h: update descriptions for array-like accesses.Yukihiro "Matz" Matsumoto
* `R(a)` -> `R[a]` * `Pool(a)` -> `Pool[a]` * `Syms(a)` -> `Syms[a]` * `Irep(a)` -> `Irep[a]`
2021-10-19ops.h: update `OP_SEND` description.Yukihiro "Matz" Matsumoto
2021-10-19Merge pull request #5560 from ↵Yukihiro "Matz" Matsumoto
mruby/dependabot/github_actions/actions/checkout-2.3.5 build(deps): bump actions/checkout from 2.3.4 to 2.3.5
2021-10-18build(deps): bump actions/checkout from 2.3.4 to 2.3.5dependabot[bot]
Bumps [actions/checkout](https://github.com/actions/checkout) from 2.3.4 to 2.3.5. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v2.3.4...v2.3.5) --- updated-dependencies: - dependency-name: actions/checkout dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]>
2021-10-18Merge pull request #5559 from igrep/fix-commented-out-exampleYukihiro "Matz" Matsumoto
Fix a syntax error in commented-out code
2021-10-18Fix a syntax error in commented-out codeYAMAMOTO Yuji
By uncommenting the line changed by this commit, `ruby -c build_config/default.rb` complains of a syntax error due to the illegally nested double quotes
2021-10-18codegen.c: Reduce `MRB_CODEGEN_LEVEL_MAX` from 1024 to 256.Yukihiro "Matz" Matsumoto
1024 was too big. Some deep recursion could not be detected before actual stack overflow.
2021-10-18codegen.c: fixed a bug regarding attribute assignment with kargs.Yukihiro "Matz" Matsumoto
2021-10-17codegen.c: forgot to check `s2` extensively in `super` codegen.Yukihiro "Matz" Matsumoto
2021-10-17AUTHORS: update.Yukihiro "Matz" Matsumoto
2021-10-16codegen.c: `s2` may be `NULL`.Yukihiro "Matz" Matsumoto
Since `s2` is `NULL` on top-level, it will be an error. No need to generate strict bytecode.
2021-10-16parse.y: check `car` part of return node.Yukihiro "Matz" Matsumoto
2021-10-15Merge pull request #5558 from jbampton/fix-grammarYukihiro "Matz" Matsumoto
Fix grammar in doc/guides/mrbgems.md
2021-10-14rational.c: avoid recursion between `rational_eq` and `complex_eq`.Yukihiro "Matz" Matsumoto
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.