From e7db0c4f27e3e296d5681252579dfddb40b82cef Mon Sep 17 00:00:00 2001 From: lenawanel Date: Wed, 29 May 2024 23:20:49 +0200 Subject: [PATCH] remove unnecassary retain fixes https://github.com/d0iasm/rvemu/issues/31#issue-2317849751 --- src/cpu.rs | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/cpu.rs b/src/cpu.rs index 759dc40..8d6f5d5 100644 --- a/src/cpu.rs +++ b/src/cpu.rs @@ -1790,7 +1790,6 @@ impl Cpu { self.write(addr, self.xregs.read(rs2), WORD)?; self.xregs.write(rd, 0); } else { - self.reservation_set.retain(|&x| x != addr); self.xregs.write(rd, 1); }; } @@ -1811,7 +1810,6 @@ impl Cpu { self.write(addr, self.xregs.read(rs2), DOUBLEWORD)?; self.xregs.write(rd, 0); } else { - self.reservation_set.retain(|&x| x != addr); self.xregs.write(rd, 1); } }