1berry/ruby
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

ZJIT: Parse opt_aref into HIR

Browse Source
This commit is contained in:
Max Bernstein 2025-05-23 15:05:19 -04:00 committed by Takashi Kokubun
parent 5905f71a34
commit fa474a41e8
Notes: git 2025-05-23 23:31:41 +00:00 
Merged: https://github.com/ruby/ruby/pull/13432
1 changed files with 29 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
zjit/src/hir.rs
View File

@ -2191,6 +2191,7 @@ pub fn iseq_to_hir(iseq: *const rb_iseq_t) -> Result<Function, ParseError> {
YARVINSN_opt_aset |
YARVINSN_opt_length |
YARVINSN_opt_size |
YARVINSN_opt_aref |
YARVINSN_opt_send_without_block => {
let cd: *const rb_call_data = get_arg(pc, 0).as_ptr();
let call_info = unsafe { rb_get_call_data_ci(cd) };
@ -3479,6 +3480,34 @@ mod tests {
Return v3
"#]]);
}
#[test]
fn test_aset() {
eval("
def test(a, b) = a[b] = 1
");
assert_method_hir("test", expect![[r#"
fn test:
bb0(v0:BasicObject, v1:BasicObject):
v3:NilClassExact = Const Value(nil)
v4:Fixnum[1] = Const Value(1)
v6:BasicObject = SendWithoutBlock v0, :[]=, v1, v4
Return v4
"#]]);
}
#[test]
fn test_aref() {
eval("
def test(a, b) = a[b]
");
assert_method_hir("test", expect![[r#"
fn test:
bb0(v0:BasicObject, v1:BasicObject):
v4:BasicObject = SendWithoutBlock v0, :[], v1
Return v4
"#]]);
}
}
#[cfg(test)]