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

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

This change allows vectors with undef elements, but there are no tests for that. Please adjust at least one test to exercise that pattern - a vector type with constant that includes a poison element. 
You can also verify a specific constant with poison with Alive2 and add a link to the patch summary.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D133188