@gsuberland @artemist @ryanc So the first part is not correct - k0 does NOT return all-1s.

But it is correct that "kxnorw k1, k0, k0 sets k1 to all ones"! Because so does "kxnorw k1, k5, k5"