From: Cesar Strauss <cestrauss@gmail.com>
Date: Fri, 2 Apr 2021 19:58:48 +0000 (-0300)
Subject: Put sanity check inside the existing '2Pred' case, and simplify
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cd95e45837c78dd63a3cea1b936016845faf63a7;p=soc.git

Put sanity check inside the existing '2Pred' case, and simplify
---

diff --git a/src/soc/sv/trans/svp64.py b/src/soc/sv/trans/svp64.py
index a28f94cd..6bdfb98a 100644
--- a/src/soc/sv/trans/svp64.py
+++ b/src/soc/sv/trans/svp64.py
@@ -500,12 +500,11 @@ class SVP64Asm:
                 if has_smask and smmode == 1:
                     assert has_pmask, \
                         "need explicit dest-mask in CR twin predication"
-
-            # sanity-check that 2Pred mask is same mode
-            if (has_pmask and has_smask) or mask_m_specified:
-                assert smmode == pmmode, \
-                    "predicate masks %s and %s must be same reg type" % \
-                        (pme, sme)
+                # sanity-check that 2Pred mask is same mode
+                if has_pmask and has_smask:
+                    assert smmode == pmmode, \
+                        "predicate masks %s and %s must be same reg type" % \
+                            (pme, sme)
 
             # sanity-check that twin-predication mask only specified in 2P mode
             if ptype == '1P':