ZJIT: Fix HasType effect

tekknolagi · tekknolagi · commit 44fe95ead403 · 2026-02-27T13:04:06.000-05:00
diff --git a/zjit/src/hir.rs b/zjit/src/hir.rs
@@ -1258,7 +1258,11 @@ impl Insn {
             Insn::CheckInterrupts { .. } => Effect::read_write(abstract_heaps::InterruptFlag, abstract_heaps::Control),
             Insn::InvokeProc { .. } => effects::Any,
             Insn::RefineType { .. } => effects::Empty,
-            Insn::HasType { .. } => effects::Empty,
+            Insn::HasType { expected, .. }
+                => Effect::read_write(
+                    if expected.is_subtype(types::Immediate) { abstract_heaps::Empty } else { abstract_heaps::Memory },
+                    abstract_heaps::Control
+                ),
             Insn::Entries { .. } => effects::Any,
         }
     }

Original file line number	Diff line number	Diff line change
`@@ -1258,7 +1258,11 @@ impl Insn {`
`1258`	`1258`	`Insn::CheckInterrupts { .. } => Effect::read_write(abstract_heaps::InterruptFlag, abstract_heaps::Control),`
`1259`	`1259`	`Insn::InvokeProc { .. } => effects::Any,`
`1260`	`1260`	`Insn::RefineType { .. } => effects::Empty,`
`1261`		`- Insn::HasType { .. } => effects::Empty,`
	`1261`	`+ Insn::HasType { expected, .. }`
	`1262`	`+ => Effect::read_write(`
	`1263`	`+ if expected.is_subtype(types::Immediate) { abstract_heaps::Empty } else { abstract_heaps::Memory },`
	`1264`	`+ abstract_heaps::Control`
	`1265`	`+ ),`
`1262`	`1266`	`Insn::Entries { .. } => effects::Any,`
`1263`	`1267`	`}`
`1264`	`1268`	`}`