From: Cesar Strauss <cestrauss@gmail.com>
Date: Fri, 2 Apr 2021 15:06:00 +0000 (-0300)
Subject: Really enforce sm=xx not being allowed on single-pred
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d9353501bf5d0354fa16fc8561ff6ee3f6e6c0e8;p=soc.git

Really enforce sm=xx not being allowed on single-pred

Before, using m=xx together with sm=xx would defeat the assertion.
---

diff --git a/src/soc/sv/trans/svp64.py b/src/soc/sv/trans/svp64.py
index 93529a4d..24c5fff8 100644
--- a/src/soc/sv/trans/svp64.py
+++ b/src/soc/sv/trans/svp64.py
@@ -490,8 +490,8 @@ class SVP64Asm:
                         (pme, sme)
 
             # sanity-check that twin-predication mask only specified in 2P mode
-            if not mask_m_specified and ptype == '1P':
-                assert has_smask or mask_m_specified == False, \
+            if ptype == '1P':
+                assert not has_smask, \
                     "source-mask can only be specified on Twin-predicate ops"
 
             # construct the mode field, doing sanity-checking along the way