[llvm] [InstCombine] Fold out-of-range bits for squaring signed integers (PR #153484)

[Nikita Popov via llvm-commits]

================
@@ -423,3 +423,35 @@ define i64 @smear_set_bit_different_dest_type_wider_dst(i32 %x) {
   %s = sext i8 %a to i64
   ret i64 %s
 }
+
+; Test known bits for (sext i8 x) * (sext i8 x)
+
+define i1 @sext_square_bit30(i8 %x) {
+; CHECK-LABEL: @sext_square_bit30(
+; CHECK:  ret i1 false
----------------
nikic wrote:

Can you please run update_test_checks.py on this file? I believe the formatting should be slightly different.

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