The comparision "max(x,y)==x" is equivalent to "x>=y". Since the max is

often expressed as "x >= y ? x : y", there is a good chance we can extract
the existing "x >= y" from it and use that as a replacement for "max(x,y)==x".

llvm-svn: 131049