From bce32057591b6dc15f3d08eca34a2df9a29bca6a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jean-Fran=C3=A7ois=20Nguyen?= <jf@jfng.fr>
Date: Mon, 18 Jul 2022 14:43:09 +0200
Subject: [PATCH] insn.spec.branch: remove duplicate read of MSR.SF.

---
 power_fv/insn/spec/branch.py | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/power_fv/insn/spec/branch.py b/power_fv/insn/spec/branch.py
index 8552067..ea68e50 100644
--- a/power_fv/insn/spec/branch.py
+++ b/power_fv/insn/spec/branch.py
@@ -51,10 +51,6 @@ class BranchSpec(InsnSpec, Elaboratable):
         else:
             m.d.comb += self.pfv.intr.eq(0)
 
-        # Read MSR.SF
-
-        m.d.comb += self.pfv.msr.r_mask.sf.eq(1)
-
         # Is this branch taken ?
 
         taken    = Signal()