Skip to content

Commit a4a1234

Browse files
committed
ZJIT: Use effects::Memory for Profile instruction
1 parent 8b1d05c commit a4a1234

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

zjit/src/hir.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1578,7 +1578,7 @@ impl Insn {
15781578
Insn::IncrCounter(_) => Effect::read_write(abstract_heaps::Empty, abstract_heaps::Other),
15791579
Insn::IncrCounterPtr { .. } => Effect::read_write(abstract_heaps::Empty, abstract_heaps::Other),
15801580
Insn::CheckInterrupts { .. } => Effect::read_write(abstract_heaps::InterruptFlag, abstract_heaps::Control),
1581-
Insn::Profile { .. } => Effect::read_write(abstract_heaps::Empty, abstract_heaps::Other),
1581+
Insn::Profile { .. } => effects::Memory,
15821582
Insn::InvokeProc { .. } => effects::Any,
15831583
Insn::RefineType { .. } => effects::Empty,
15841584
Insn::HasType { expected, .. }

0 commit comments

Comments
 (0)