[PATCH] D54359: [InstCombine] Remove a couple of asserts based on incorrect assumptions

[Mandeep Singh Grang via Phabricator via llvm-commits]

mgrang added a comment.

Consider this case:

  %9 = icmp ugt i32 %5, %8
  %10 = select i1 %9, i32 %8, i32 %5, !prof !2

Here the order of true/false operands of the select and the compare are different. This breaks the checks (X == SI.getTrueValue() && Y == SI.getFalseValue()) and (X == SI.getFalseValue() && Y == SI.getTrueValue())


Repository:
  rL LLVM

https://reviews.llvm.org/D54359