*is* itself the explicit and sole result of the operation.
Therefore, logically, Predicate-result needs to be adapted to
-test the actual result of the CR-based instruction, rather than
-test the co-resultant CR when Rc=1.
+test the actual result of the CR-based instruction (rather than
+test the co-resultant CR when Rc=1, as is done for Arithmetic SVP64).
for i in range(VL):
# predication test, skip all masked out elements.