of the accumulator is TRUE S bVar1 [...] of the accumulator is TRUE R bVar1 [...] and (negated) operand XOR N,(bVar1