[InstCombine] fix miscompile from umul_with_overflow matching
authorSanjay Patel <spatel@rotateright.com>
Sat, 4 Jul 2020 15:09:14 +0000 (11:09 -0400)
committerSanjay Patel <spatel@rotateright.com>
Sat, 4 Jul 2020 15:16:23 +0000 (11:16 -0400)
commit3b8ae1001f678be00507f15df0ffaccafec1dae9
tree0a0eb1f8fd627deec297265f9a297bf4b0598cae
parentc3b8bd1eea5b74b6cd4a89f3c221bc2dfa891248
[InstCombine] fix miscompile from umul_with_overflow matching

As noted in PR46561:
https://bugs.llvm.org/show_bug.cgi?id=46561
...it takes something beyond a minimal IR example to trigger
this bug because it relies on matching non-canonical IR.

There are no tests that show the need for matching this
pattern, so I'm just deleting it to fix the miscompile.
llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
llvm/test/Transforms/InstCombine/icmp-mul-zext.ll