http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59429
--- Comment #7 from Kai Tietz <ktietz at gcc dot gnu.org> --- Yeah, that was my initial idea here too. But this transformation is just an improvement for underlying unsigned one-bit values, as here the negate is indeed an nop.