So LDC generates a LLVM icmp for unary not on bool ?

[Kagamin]

I suppose it's because bool is checked for truth by comparison to 
zero. Xor wouldn't provide the law of excluded middle this way.