[llvm] [ValueTracking] Add a special overflow check on multiplied by power-of-two values (PR #212594)

[Min-Yih Hsu via llvm-commits]

================
@@ -659,10 +659,10 @@ define half @test_si_si_i16_mul_fail_overflow(i16 noundef %x_in, i16 noundef %y_
 
 define half @test_si_si_i16_mul_C_fail_overflow(i16 noundef %x_in) {
----------------
mshockwave wrote:

alive2: https://alive2.llvm.org/ce/z/aRGtGd

https://github.com/llvm/llvm-project/pull/212594