[PATCH] D26892: [SCCP] Remove (maybe?) wrong code in visitBinaryOperator

[Davide Italiano via llvm-commits]

davide added a comment.

This code was introduced by Chris in 2004 and never touched since then

  commit a177c6747195f2abe5a0fc10e1a65d6c0afb85b5
  Author: Chris Lattner <sabre at nondot.org>
  Date:   Sat Dec 11 23:15:19 2004 +0000
  
      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.

cc:ing him in case he remembers the details.


https://reviews.llvm.org/D26892