math/mpx-mul4-*: Test the `...zc' variants too.
[catacomb] / math / t / mpx-mul4
index 1373215..69ea238 100644 (file)
@@ -29,6 +29,13 @@ mul4 {
     0002b2f3db03f8310002b880e3fffed70001d457394991000001d812a4ace8a80000ee0b505470500000efed0e0e2428; ## cc
 }
 
+mul4zc {
+  e3e2e1e0e7e6e5e4ebeae9e8efeeedec # x
+    f3f2f1f0f7f6f5f4fbfaf9f8fffefdfc # y
+    6117a200e13e737feee2b25cca449ed7 # zz
+    0002b2f3db03f8300002b880e3fffed70001d457394991000001d812a4ace8a80000ee0b505470500000efed0e0e2428; # cc
+}
+
 mla4 {
   b3b2b1b0b7b6b5b4bbbab9b8bfbebdbc # a
     0000a5a4a3a2a1a000009594939291900000abaaa9a8a7a600009b9a999897960000afaeadacabaa00009f9e9d9c9b9a # c
@@ -38,6 +45,14 @@ mla4 {
     0002b2f3db03f8320002b880e3fffed70001d457394991000001d812a4ace8a80000ee0b505470500000efed0e0e2428; ## cc
 }
 
+mla4zc {
+  b3b2b1b0b7b6b5b4bbbab9b8bfbebdbc # a
+    e3e2e1e0e7e6e5e4ebeae9e8efeeedec # x
+    f3f2f1f0f7f6f5f4fbfaf9f8fffefdfc # y
+    14ca53b098f52934aa9d6c158a035c94 # zz
+    0002b2f3db03f8310002b880e3fffed70001d457394991000001d812a4ace8a80000ee0b505470500000efed0e0e2428; # cc
+}
+
 mmul4 {
   c3c2c1c0c7c6c5c4cbcac9c8cfcecdcc # u
     acadaeafa8a9aaaba4a5a6a7a0a1a2a3 # n