[llvm] [X86] Allow all legal integers to have optimize smin and smax with 0 (PR #151893)
via llvm-commits
llvm-commits at lists.llvm.org
Sun Aug 3 19:04:00 PDT 2025
https://github.com/AZero13 created https://github.com/llvm/llvm-project/pull/151893
None
>From b67ada05f0d4c9946d16e2f17cb2b9480e1577a1 Mon Sep 17 00:00:00 2001
From: AZero13 <gfunni234 at gmail.com>
Date: Sun, 3 Aug 2025 21:56:30 -0400
Subject: [PATCH 1/2] Pre-commit tests (NFC)
---
llvm/test/CodeGen/X86/select-smin-smax.ll | 86 +++++++++++++++++++++++
1 file changed, 86 insertions(+)
diff --git a/llvm/test/CodeGen/X86/select-smin-smax.ll b/llvm/test/CodeGen/X86/select-smin-smax.ll
index a7fb60f37ea0c..502c68a6babf5 100644
--- a/llvm/test/CodeGen/X86/select-smin-smax.ll
+++ b/llvm/test/CodeGen/X86/select-smin-smax.ll
@@ -2,11 +2,63 @@
; RUN: llc -mtriple=x86_64-unknown-linux-gnu -mattr=-bmi < %s | FileCheck %s --check-prefixes=CHECK,CHECK-NOBMI
; RUN: llc -mtriple=x86_64-unknown-linux-gnu -mattr=+bmi < %s | FileCheck %s --check-prefixes=CHECK,CHECK-BMI
+declare i8 @llvm.smax.i8(i8, i8)
+declare i8 @llvm.smin.i8(i8, i8)
+declare i16 @llvm.smax.i16(i16, i16)
+declare i16 @llvm.smin.i16(i16, i16)
declare i32 @llvm.smax.i32(i32, i32)
declare i32 @llvm.smin.i32(i32, i32)
declare i64 @llvm.smax.i64(i64, i64)
declare i64 @llvm.smin.i64(i64, i64)
+define i8 @test_i8_smax(i8 %a) nounwind {
+; CHECK-LABEL: test_i8_smax:
+; CHECK: # %bb.0:
+; CHECK-NEXT: xorl %eax, %eax
+; CHECK-NEXT: testb %dil, %dil
+; CHECK-NEXT: cmovgl %edi, %eax
+; CHECK-NEXT: # kill: def $al killed $al killed $eax
+; CHECK-NEXT: retq
+ %r = call i8 @llvm.smax.i8(i8 %a, i8 0)
+ ret i8 %r
+}
+
+define i8 @test_i8_smin(i8 %a) nounwind {
+; CHECK-LABEL: test_i8_smin:
+; CHECK: # %bb.0:
+; CHECK-NEXT: xorl %eax, %eax
+; CHECK-NEXT: testb %dil, %dil
+; CHECK-NEXT: cmovsl %edi, %eax
+; CHECK-NEXT: # kill: def $al killed $al killed $eax
+; CHECK-NEXT: retq
+ %r = call i8 @llvm.smin.i8(i8 %a, i8 0)
+ ret i8 %r
+}
+
+define i16 @test_i16_smax(i16 %a) nounwind {
+; CHECK-LABEL: test_i16_smax:
+; CHECK: # %bb.0:
+; CHECK-NEXT: xorl %eax, %eax
+; CHECK-NEXT: testw %di, %di
+; CHECK-NEXT: cmovgl %edi, %eax
+; CHECK-NEXT: # kill: def $ax killed $ax killed $eax
+; CHECK-NEXT: retq
+ %r = call i16 @llvm.smax.i16(i16 %a, i16 0)
+ ret i16 %r
+}
+
+define i16 @test_i16_smin(i16 %a) nounwind {
+; CHECK-LABEL: test_i16_smin:
+; CHECK: # %bb.0:
+; CHECK-NEXT: xorl %eax, %eax
+; CHECK-NEXT: testw %di, %di
+; CHECK-NEXT: cmovsl %edi, %eax
+; CHECK-NEXT: # kill: def $ax killed $ax killed $eax
+; CHECK-NEXT: retq
+ %r = call i16 @llvm.smin.i16(i16 %a, i16 0)
+ ret i16 %r
+}
+
define i32 @test_i32_smax(i32 %a) nounwind {
; CHECK-NOBMI-LABEL: test_i32_smax:
; CHECK-NOBMI: # %bb.0:
@@ -64,3 +116,37 @@ define i64 @test_i64_smin(i64 %a) nounwind {
%r = call i64 @llvm.smin.i64(i64 %a, i64 0)
ret i64 %r
}
+
+define i32 @test_i32_smax_mul_use(i32 %a) nounwind {
+; CHECK-NOBMI-LABEL: test_i32_smax_mul_use:
+; CHECK-NOBMI: # %bb.0:
+; CHECK-NOBMI-NEXT: xorl %eax, %eax
+; CHECK-NOBMI-NEXT: testl %edi, %edi
+; CHECK-NOBMI-NEXT: cmovgl %edi, %eax
+; CHECK-NOBMI-NEXT: retq
+;
+; CHECK-BMI-LABEL: test_i32_smax_mul_use:
+; CHECK-BMI: # %bb.0:
+; CHECK-BMI-NEXT: movl %edi, %eax
+; CHECK-BMI-NEXT: sarl $31, %eax
+; CHECK-BMI-NEXT: andnl %edi, %eax, %eax
+; CHECK-BMI-NEXT: retq
+ %r = call i32 @llvm.smax.i32(i32 %a, i32 0)
+ ret i32 %r
+}
+
+define i32 @test_i32_smin_mul_use(i32 %a, i32 %b, i32 %c) nounwind {
+; CHECK-LABEL: test_i32_smin_mul_use:
+; CHECK: # %bb.0:
+; CHECK-NEXT: xorl %eax, %eax
+; CHECK-NEXT: testl %edi, %edi
+; CHECK-NEXT: cmovsl %edi, %eax
+; CHECK-NEXT: cmovnsl %edx, %esi
+; CHECK-NEXT: addl %esi, %eax
+; CHECK-NEXT: retq
+ %r = call i32 @llvm.smin.i32(i32 %a, i32 0)
+ %cmp = icmp slt i32 %a, 0
+ %ans = select i1 %cmp, i32 %b, i32 %c
+ %res = add i32 %ans, %r
+ ret i32 %res
+}
>From d3e3e2c486beebf2767ab859c5095cc47a0eda12 Mon Sep 17 00:00:00 2001
From: AZero13 <gfunni234 at gmail.com>
Date: Sun, 3 Aug 2025 22:03:36 -0400
Subject: [PATCH 2/2] [X86] Allow all legal integers to have optimize smin and
smax with 0
It makes no sense why it has to be limited to 32 and 64 bits
---
llvm/lib/Target/X86/X86ISelLowering.cpp | 2 +-
llvm/test/CodeGen/X86/select-smin-smax.ll | 13 ++++++-------
2 files changed, 7 insertions(+), 8 deletions(-)
diff --git a/llvm/lib/Target/X86/X86ISelLowering.cpp b/llvm/lib/Target/X86/X86ISelLowering.cpp
index ce4c061725f7b..923a9b7cda341 100644
--- a/llvm/lib/Target/X86/X86ISelLowering.cpp
+++ b/llvm/lib/Target/X86/X86ISelLowering.cpp
@@ -25077,7 +25077,7 @@ SDValue X86TargetLowering::LowerSELECT(SDValue Op, SelectionDAG &DAG) const {
} else if (SDValue R = LowerSELECTWithCmpZero(CmpOp0, Op1, Op2, CondCode,
DL, DAG, Subtarget)) {
return R;
- } else if ((VT == MVT::i32 || VT == MVT::i64) && isNullConstant(Op2) &&
+ } else if (VT.isScalarInteger() && isNullConstant(Op2) &&
Cmp.getNode()->hasOneUse() && (CmpOp0 == Op1) &&
((CondCode == X86::COND_S) || // smin(x, 0)
(CondCode == X86::COND_G && hasAndNot(Op1)))) { // smax(x, 0)
diff --git a/llvm/test/CodeGen/X86/select-smin-smax.ll b/llvm/test/CodeGen/X86/select-smin-smax.ll
index 502c68a6babf5..abc54a184fe42 100644
--- a/llvm/test/CodeGen/X86/select-smin-smax.ll
+++ b/llvm/test/CodeGen/X86/select-smin-smax.ll
@@ -26,10 +26,9 @@ define i8 @test_i8_smax(i8 %a) nounwind {
define i8 @test_i8_smin(i8 %a) nounwind {
; CHECK-LABEL: test_i8_smin:
; CHECK: # %bb.0:
-; CHECK-NEXT: xorl %eax, %eax
-; CHECK-NEXT: testb %dil, %dil
-; CHECK-NEXT: cmovsl %edi, %eax
-; CHECK-NEXT: # kill: def $al killed $al killed $eax
+; CHECK-NEXT: movl %edi, %eax
+; CHECK-NEXT: sarb $7, %al
+; CHECK-NEXT: andb %dil, %al
; CHECK-NEXT: retq
%r = call i8 @llvm.smin.i8(i8 %a, i8 0)
ret i8 %r
@@ -50,9 +49,9 @@ define i16 @test_i16_smax(i16 %a) nounwind {
define i16 @test_i16_smin(i16 %a) nounwind {
; CHECK-LABEL: test_i16_smin:
; CHECK: # %bb.0:
-; CHECK-NEXT: xorl %eax, %eax
-; CHECK-NEXT: testw %di, %di
-; CHECK-NEXT: cmovsl %edi, %eax
+; CHECK-NEXT: movswl %di, %eax
+; CHECK-NEXT: sarl $15, %eax
+; CHECK-NEXT: andl %edi, %eax
; CHECK-NEXT: # kill: def $ax killed $ax killed $eax
; CHECK-NEXT: retq
%r = call i16 @llvm.smin.i16(i16 %a, i16 0)
More information about the llvm-commits
mailing list