summaryrefslogtreecommitdiffhomepage
AgeCommit message (Collapse)Author
2021-10-30boxing_nan.h: allow `MRB_INT64` with `MRB_NAN_BOXING`.Yukihiro "Matz" Matsumoto
Integers out of 32 bit range will be allocated in the heap.
2021-10-30boxing_nan.h: implement Favor pointer NaN Boxing.Yukihiro "Matz" Matsumoto
Favor pointer means encode NaN boxed values to keep pointer values unmodified, to reduce the cost of far frequent pointer value retrievals.
2021-10-30Avoid violations of the `mrb_static_assert()` standarddearblue
ref: #5564 ```console % cc -pedantic -S -Iinclude -DMRB_NO_PRESYM -o- src/array.c > /dev/null In file included from src/array.c:7: In file included from include/mruby.h:115: In file included from include/mruby/value.h:204: include/mruby/boxing_word.h:133:1: warning: must specify at least one argument for '...' parameter of variadic macro [-Wgnu-zero-variadic-macro-arguments] mrb_static_assert(sizeof(mrb_value) == sizeof(union mrb_value_)); ^ include/mruby.h:109:108: note: expanded from macro 'mrb_static_assert' mrb_static_assert_expand(mrb_static_assert_selector(__VA_ARGS__, mrb_static_assert2, mrb_static_assert1)(__VA_ARGS__)) ^ include/mruby.h:100:10: note: macro 'mrb_static_assert_selector' defined here # define mrb_static_assert_selector(a, b, name, ...) name ^ 1 warning generated. ```
2021-10-30Avoid redefining `MRB_WORDBOX_NO_FLOAT_TRUNCATE`dearblue
Adding `MRB_WORDBOX_NO_FLOAT_TRUNCATE` to the build configuration in 32-bit CPU mode had a double definition. ```console % cat myconf.rb MRuby::Build.new do toolchain "clang" defines << "MRB_WORDBOX_NO_FLOAT_TRUNCATE" cc.flags << "-m32" linker.flags << "-m32" enable_debug end % rake CONFIG=myconf.rb CPP src/array.c -> build/host/src/array.pi In file included from /var/tmp/mruby/src/array.c:7: In file included from /var/tmp/mruby/include/mruby.h:115: In file included from /var/tmp/mruby/include/mruby/value.h:203: /var/tmp/mruby/include/mruby/boxing_word.h:11:10: warning: 'MRB_WORDBOX_NO_FLOAT_TRUNCATE' macro redefined [-Wmacro-redefined] # define MRB_WORDBOX_NO_FLOAT_TRUNCATE ^ <command line>:3:9: note: previous definition is here #define MRB_WORDBOX_NO_FLOAT_TRUNCATE 1 ^ 1 warning generated. ...SNIP... ```
2021-10-29Improved `Class#new` methoddearblue
The number of registers used is reduced. Also, previously `R6` and` R7` were used, which exceeded the limit of `new_irep.nregs = 6`. This could cause the VM stack to overrun.
2021-10-28boxing_nan.h: refactor NaN Boxing.Yukihiro "Matz" Matsumoto
Preparation for: * 64 bit integer with NaN Boxing * Favor pointer NaN Boxing
2021-10-26boxing_nan.h: revert part of dccd66fYukihiro "Matz" Matsumoto
WIP code was mistakenly committed.
2021-10-25Merge pull request #5564 from dearblue/static_assertYukihiro "Matz" Matsumoto
Make `mrb_static_assert()` a variable argument
2021-10-24Make `mrb_static_assert()` a variable argumentdearblue
`mrb_static_assert()` extends the macro function to take one or two arguments. If the argument is other than that, an error will occur. References: - static_assert のメッセージ省略を許可 - cpprefjp C++日本語リファレンス https://cpprefjp.github.io/lang/cpp17/extending_static_assert.html - c - Overloading Macro on Number of Arguments - Stack Overflow https://stackoverflow.com/a/11763277
2021-10-24doc/mruby3.1.h: separate mruby3.0 changes and mruby3.1 changes.Yukihiro "Matz" Matsumoto
2021-10-23string.c: use FNV1a algorithm for the string hash function.Yukihiro "Matz" Matsumoto
2021-10-22Merge pull request #5563 from suetanvil-misc/project-bintest-emulator-4-flatYukihiro "Matz" Matsumoto
Added testing support for cross-MinGW builds.
2021-10-21Added testing support for cross-MinGW builds.Chris Reuter
This adds a build_config that will cross-build a Windows executable using the MinGW cross-compiler and will also run the unit (i.e. 'rake test') using Wine. For this to work, I made some modifications to the underlying test scripts as well as some minor changes to a couple of the tests themselves.
2021-10-21codedump.c: add indentation for `OP_MOVE`.Yukihiro "Matz" Matsumoto
2021-10-20doc/mruby3.md: updated to the most recent mruby3.1 (to be).Yukihiro "Matz" Matsumoto
2021-10-19dump.h: bump `RITE_BINARY_MAJOR_VER` to `03`.Yukihiro "Matz" Matsumoto
Since we have added several new instructions.
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.