Add (X & -1 == X) to instruction rules

[MattWindsor91]

I was somewhat averse to doing this, as it depends on twos-complement semantics for bitwise operations, but LLVM does it (see AtomicExpand::IsIdempotentRMW), so we should probably do it too.