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 93529a4de462508d9e7cf112b435d2d57ceba419..24c5fff865483f23450e8ce4a9e10cca5e53bb9b 100644 (file)
--- 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