[llvm] ed14745 - [InstCombine] Add test for regression in #127398. (NFC)

[Andreas Jonson via llvm-commits]

Author: Andreas Jonson
Date: 2025-02-18T20:45:42+01:00
New Revision: ed147459502722ad2052db5d4650435387b204ab

URL: https://github.com/llvm/llvm-project/commit/ed147459502722ad2052db5d4650435387b204ab
DIFF: https://github.com/llvm/llvm-project/commit/ed147459502722ad2052db5d4650435387b204ab.diff

LOG: [InstCombine] Add test for regression in #127398. (NFC)

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/select-icmp-and.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/select-icmp-and.ll b/llvm/test/Transforms/InstCombine/select-icmp-and.ll
index 516a1e8496b43..c854a770aa74c 100644
--- a/llvm/test/Transforms/InstCombine/select-icmp-and.ll
+++ b/llvm/test/Transforms/InstCombine/select-icmp-and.ll
@@ -794,3 +794,18 @@ define i32 @select_bittest_to_shl_negative_test(i32 %x) {
   %res = add nuw nsw i32 %y, 2
   ret i32 %res
 }
+
+define i8 @select_bittest_to_xor(i8 %x) {
+; CHECK-LABEL: @select_bittest_to_xor(
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[X:%.*]], -1
+; CHECK-NEXT:    call void @use1(i1 [[CMP]])
+; CHECK-NEXT:    [[MASKSEL:%.*]] = xor i8 [[X]], -128
+; CHECK-NEXT:    ret i8 [[MASKSEL]]
+;
+  %cmp = icmp sgt i8 %x, -1
+  call void @use1(i1 %cmp)
+  %and = and i8 %x, 127
+  %or = or i8 %x, -128
+  %masksel = select i1 %cmp, i8 %or, i8 %and
+  ret i8 %masksel
+}