If one side of and/or is known to be 0/-1, it doesn't matter

if the other side is overdefined.

This allows us to fold conditions like:  if (X < Y || Y > Z) in some cases.

llvm-svn: 18807