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

Use GuardType output variable

Browse Source 
Helps with readability and threads type info that's there around for
longer. Amend test so `GuardType` doesn't DCE'ed.
This commit is contained in:
Alan Wu 2025-04-07 16:53:08 -04:00 committed by Takashi Kokubun
parent 164bd8e1a6
commit 4f43a09a20
Notes: git 2025-04-18 13:47:39 +00:00 
Merged: https://github.com/ruby/ruby/pull/13131
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
zjit/src/hir.rs
View File

@ -1036,7 +1036,7 @@ impl Function {
// Commit to the replacement. Put PatchPoint.
fun.push_insn(block, Insn::PatchPoint(Invariant::MethodRedefined { klass: recv_class, method: method_id }));
// Guard receiver class
fun.push_insn(block, Insn::GuardType { val: self_val, guard_type: recv_type.unspecialized(), state });
let self_val = fun.push_insn(block, Insn::GuardType { val: self_val, guard_type: recv_type.unspecialized(), state });
let cfun = unsafe { get_mct_func(cfunc) }.cast();
let mut cfunc_args = vec![self_val];
cfunc_args.append(&mut args);
@ -3305,16 +3305,16 @@ mod opt_tests {
#[test]
fn kernel_itself_simple() {
eval("
def test = 1.itself
test
test
def test(x) = x.itself
test(0) # profile
test(1)
");
assert_optimized_method_hir("test", expect![[r#"
fn test:
bb0():
v1:Fixnum[1] = Const Value(1)
bb0(v0:BasicObject):
PatchPoint MethodRedefined(Integer@0x1000, itself@0x1008)
v8:BasicObject = CCall itself@0x1010, v1
v7:Fixnum = GuardType v0, Fixnum
v8:BasicObject = CCall itself@0x1010, v7
PatchPoint CalleeModifiedLocals(v8)
Return v8
"#]]);