[PATCH] D46760: [InstCombine] Enhance narrowUDivURem.

[Bixia Zheng via Phabricator via llvm-commits]

bixia added a comment.

Are you suggesting to teach correlated-propagation to narrow shl/and? InstCombine can perform such narrowing, I don't see why it is better to duplicate this in correlated-propagation. Can you explain? The "m_OneUse" check in the code I am changing here is a simple logic to make sure that the transformation do not increase the number of ZExt instructions. I basically add  a little more logic there to say "if there are two uses, and we can guarantee that the transformation do not increase the number of ZExt instructions, we also want to perform the transformation here. "  What are your concerns for such a change?


Repository:
  rL LLVM

https://reviews.llvm.org/D46760