[PATCH] D133188: [InstCombine] extractvalue (any_mul_with_overflow X, 2^n), 0 -> X << n

[Chenbing.Zheng via Phabricator via llvm-commits]

Chenbing.Zheng added a comment.

In D133188#3767207 <https://reviews.llvm.org/D133188#3767207>, @RKSimon wrote:

> Is this a better proof? https://alive2.llvm.org/ce/z/JLmabt (noundefs) https://alive2.llvm.org/ce/z/J_ruXR (with undefs)

Yer, thanks. I have update it to summary.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D133188/new/

https://reviews.llvm.org/D133188