admin/mruby-mruby
1
0
Fork 0
mirror of https://github.com/mruby/mruby synced 2026-06-08 16:11:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

mruby-compiler: optimize simple variable pattern to match assignment

Browse Source 
For `1 => a`, generate the same bytecode as `a = 1` by leveraging
gen_move's peephole optimization. The peephole optimizer rewrites
LOADI+MOVE into a single LOADI to the target register.

Before: LOADI_1 R2; MOVE R1 R2 (6 bytes)
After:  LOADI_1 R1 (3 bytes)

Co-authored-by: Claude <noreply@anthropic.com>
This commit is contained in:
Yukihiro "Matz" Matsumoto
2025-12-23 15:28:15 +09:00
parent 9d4ad58adc
commit 3af15e0012
1 changed files with 20 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
mrbgems/mruby-compiler/core/codegen.c
+20 -1
View File
@@ -6364,9 +6364,28 @@ codegen(codegen_scope *s, node *tree, int val)
{
/* One-line pattern matching: expr in pattern / expr => pattern */
struct mrb_ast_match_pat_node *mp = match_pat_node(tree);
int head = cursp();
int head;
uint32_t fail_pos = JMPLINK_START;
/* Optimize: for simple variable pattern, generate value directly into variable */
if (node_type(mp->pattern) == NODE_PAT_VAR) {
struct mrb_ast_pat_var_node *pat_var = pat_var_node(mp->pattern);
if (pat_var->name) {
int idx = lv_idx(s, pat_var->name);
if (idx > 0) {
codegen(s, mp->value, VAL);
pop();
gen_move(s, idx, cursp(), 0); /* peephole optimizes LOADI+MOVE */
break;
}
}
/* Wildcard pattern - just evaluate value for side effects */
codegen(s, mp->value, NOVAL);
break;
}
head = cursp();
/* Evaluate the value */
codegen(s, mp->value, VAL);