[PATCH] D46760: [InstCombine] Enhance narrowUDivURem.

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

In https://reviews.llvm.org/D46760#1097012, @bixia wrote:

> Yes, you are right in that correlated value propagation can handle the case. However, if the divisor is a power of 2 and instcombine is invoked before correlated value propagation (as in the opt passes), instcombine transforms the i64 udiv/urem into i64 shift/and.


Why couldn't you teach `-correlated-propagation` that pattern?


Repository:
  rL LLVM

https://reviews.llvm.org/D46760