[InstCombine] Combine (zext a) mul (zext b) to llvm.umul.with.overflow only if mul...
authorluxufan <luxufan@iscas.ac.cn>
Sun, 8 Jan 2023 06:27:43 +0000 (14:27 +0800)
committerluxufan <luxufan@iscas.ac.cn>
Sun, 8 Jan 2023 06:41:59 +0000 (14:41 +0800)
commiteda8e999dd01e9a741a43330b693cff94d4cb955
treea7b00060fc6346f2ee4d5bb74de1189e720bdca0
parent0db88db5d90f8d8a76360725597e0dfb82cc9661
[InstCombine] Combine (zext a) mul (zext b) to llvm.umul.with.overflow only if mul has NUW flag

Fixes: https://github.com/llvm/llvm-project/issues/59836

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D141031
llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
llvm/test/Transforms/InstCombine/overflow-mul.ll