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

[Simon Pilgrim via Phabricator via llvm-commits]

RKSimon added a comment.

Is this a better proof? https://alive2.llvm.org/ce/z/JLmabt


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D133188