i wrote out the pseudocode, and there are some fascinating side-effect / possible uses, including interaction with CTR, using the predicate mask with unconditional tests (BO1 set), loads more. l.