[llvm] [X86][GlobalIsel] Support G_[U|S]MIN/G_[U|S]MAX test (PR #157621)
via llvm-commits
llvm-commits at lists.llvm.org
Tue Sep 9 00:21:00 PDT 2025
llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT-->
@llvm/pr-subscribers-backend-x86
Author: Mahesh-Attarde (mahesh-attarde)
<details>
<summary>Changes</summary>
Adds isel test for supporting G_[U|S]MIN/G_[U|S]MAX.
---
Patch is 24.39 KiB, truncated to 20.00 KiB below, full version: https://github.com/llvm/llvm-project/pull/157621.diff
1 Files Affected:
- (added) llvm/test/CodeGen/X86/isel-minmax.ll (+764)
``````````diff
diff --git a/llvm/test/CodeGen/X86/isel-minmax.ll b/llvm/test/CodeGen/X86/isel-minmax.ll
new file mode 100644
index 0000000000000..a8b856e361448
--- /dev/null
+++ b/llvm/test/CodeGen/X86/isel-minmax.ll
@@ -0,0 +1,764 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
+; RUN: llc < %s -mtriple=x86_64-linux-gnu | FileCheck %s --check-prefixes=X64
+; RUN: llc < %s -mtriple=x86_64-linux-gnu -fast-isel | FileCheck %s --check-prefixes=FASTISEL-X64
+; RUN: llc < %s -mtriple=x86_64-linux-gnu -global-isel -global-isel-abort=2 | FileCheck %s --check-prefixes=X64
+; RUN: llc < %s -mtriple=i686-linux-gnu | FileCheck %s --check-prefixes=X86
+; RUN: llc < %s -mtriple=i686-linux-gnu -fast-isel | FileCheck %s --check-prefixes=FASTISEL-X86
+; RUN: llc < %s -mtriple=i686-linux-gnu -global-isel -global-isel-abort=2 | FileCheck %s --check-prefixes=X86
+
+define i8 @umax_i8(i8 %a, i8 %b) nounwind readnone {
+; X64-LABEL: umax_i8:
+; X64: # %bb.0:
+; X64-NEXT: movl %esi, %eax
+; X64-NEXT: cmpb %al, %dil
+; X64-NEXT: cmoval %edi, %eax
+; X64-NEXT: # kill: def $al killed $al killed $eax
+; X64-NEXT: retq
+;
+; FASTISEL-X64-LABEL: umax_i8:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: movzbl %dil, %ecx
+; FASTISEL-X64-NEXT: movzbl %sil, %eax
+; FASTISEL-X64-NEXT: cmpb %al, %cl
+; FASTISEL-X64-NEXT: cmoval %ecx, %eax
+; FASTISEL-X64-NEXT: # kill: def $al killed $al killed $eax
+; FASTISEL-X64-NEXT: retq
+;
+; X86-LABEL: umax_i8:
+; X86: # %bb.0:
+; X86-NEXT: movzbl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax
+; X86-NEXT: cmpb %cl, %al
+; X86-NEXT: ja .LBB0_2
+; X86-NEXT: # %bb.1:
+; X86-NEXT: movl %ecx, %eax
+; X86-NEXT: .LBB0_2:
+; X86-NEXT: retl
+;
+; FASTISEL-X86-LABEL: umax_i8:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: movzbl {{[0-9]+}}(%esp), %ecx
+; FASTISEL-X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax
+; FASTISEL-X86-NEXT: cmpb %cl, %al
+; FASTISEL-X86-NEXT: ja .LBB0_2
+; FASTISEL-X86-NEXT: # %bb.1:
+; FASTISEL-X86-NEXT: movl %ecx, %eax
+; FASTISEL-X86-NEXT: .LBB0_2:
+; FASTISEL-X86-NEXT: retl
+ %ret = call i8 @llvm.umax.i8(i8 %a, i8 %b)
+ ret i8 %ret
+}
+
+define i8 @umin_i8(i8 %a, i8 %b) nounwind readnone {
+; X64-LABEL: umin_i8:
+; X64: # %bb.0:
+; X64-NEXT: movl %esi, %eax
+; X64-NEXT: cmpb %al, %dil
+; X64-NEXT: cmovbl %edi, %eax
+; X64-NEXT: # kill: def $al killed $al killed $eax
+; X64-NEXT: retq
+;
+; FASTISEL-X64-LABEL: umin_i8:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: movzbl %dil, %ecx
+; FASTISEL-X64-NEXT: movzbl %sil, %eax
+; FASTISEL-X64-NEXT: cmpb %al, %cl
+; FASTISEL-X64-NEXT: cmovbl %ecx, %eax
+; FASTISEL-X64-NEXT: # kill: def $al killed $al killed $eax
+; FASTISEL-X64-NEXT: retq
+;
+; X86-LABEL: umin_i8:
+; X86: # %bb.0:
+; X86-NEXT: movzbl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax
+; X86-NEXT: cmpb %cl, %al
+; X86-NEXT: jb .LBB1_2
+; X86-NEXT: # %bb.1:
+; X86-NEXT: movl %ecx, %eax
+; X86-NEXT: .LBB1_2:
+; X86-NEXT: retl
+;
+; FASTISEL-X86-LABEL: umin_i8:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: movzbl {{[0-9]+}}(%esp), %ecx
+; FASTISEL-X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax
+; FASTISEL-X86-NEXT: cmpb %cl, %al
+; FASTISEL-X86-NEXT: jb .LBB1_2
+; FASTISEL-X86-NEXT: # %bb.1:
+; FASTISEL-X86-NEXT: movl %ecx, %eax
+; FASTISEL-X86-NEXT: .LBB1_2:
+; FASTISEL-X86-NEXT: retl
+ %ret = call i8 @llvm.umin.i8(i8 %a, i8 %b)
+ ret i8 %ret
+}
+
+define i16 @umax_i16(i16 %a, i16 %b) nounwind readnone {
+; X64-LABEL: umax_i16:
+; X64: # %bb.0:
+; X64-NEXT: movl %esi, %eax
+; X64-NEXT: cmpw %ax, %di
+; X64-NEXT: cmoval %edi, %eax
+; X64-NEXT: # kill: def $ax killed $ax killed $eax
+; X64-NEXT: retq
+;
+; FASTISEL-X64-LABEL: umax_i16:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: movl %esi, %eax
+; FASTISEL-X64-NEXT: cmpw %ax, %di
+; FASTISEL-X64-NEXT: cmoval %edi, %eax
+; FASTISEL-X64-NEXT: # kill: def $ax killed $ax killed $eax
+; FASTISEL-X64-NEXT: retq
+;
+; X86-LABEL: umax_i16:
+; X86: # %bb.0:
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; X86-NEXT: cmpw %cx, %ax
+; X86-NEXT: ja .LBB2_2
+; X86-NEXT: # %bb.1:
+; X86-NEXT: movl %ecx, %eax
+; X86-NEXT: .LBB2_2:
+; X86-NEXT: # kill: def $ax killed $ax killed $eax
+; X86-NEXT: retl
+;
+; FASTISEL-X86-LABEL: umax_i16:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx
+; FASTISEL-X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
+; FASTISEL-X86-NEXT: cmpw %cx, %ax
+; FASTISEL-X86-NEXT: ja .LBB2_2
+; FASTISEL-X86-NEXT: # %bb.1:
+; FASTISEL-X86-NEXT: movl %ecx, %eax
+; FASTISEL-X86-NEXT: .LBB2_2:
+; FASTISEL-X86-NEXT: # kill: def $ax killed $ax killed $eax
+; FASTISEL-X86-NEXT: retl
+ %ret = call i16 @llvm.umax.i16(i16 %a, i16 %b)
+ ret i16 %ret
+}
+
+define i16 @umin_i16(i16 %a, i16 %b) nounwind readnone {
+; X64-LABEL: umin_i16:
+; X64: # %bb.0:
+; X64-NEXT: movl %esi, %eax
+; X64-NEXT: cmpw %ax, %di
+; X64-NEXT: cmovbl %edi, %eax
+; X64-NEXT: # kill: def $ax killed $ax killed $eax
+; X64-NEXT: retq
+;
+; FASTISEL-X64-LABEL: umin_i16:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: movl %esi, %eax
+; FASTISEL-X64-NEXT: cmpw %ax, %di
+; FASTISEL-X64-NEXT: cmovbl %edi, %eax
+; FASTISEL-X64-NEXT: # kill: def $ax killed $ax killed $eax
+; FASTISEL-X64-NEXT: retq
+;
+; X86-LABEL: umin_i16:
+; X86: # %bb.0:
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; X86-NEXT: cmpw %cx, %ax
+; X86-NEXT: jb .LBB3_2
+; X86-NEXT: # %bb.1:
+; X86-NEXT: movl %ecx, %eax
+; X86-NEXT: .LBB3_2:
+; X86-NEXT: # kill: def $ax killed $ax killed $eax
+; X86-NEXT: retl
+;
+; FASTISEL-X86-LABEL: umin_i16:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx
+; FASTISEL-X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
+; FASTISEL-X86-NEXT: cmpw %cx, %ax
+; FASTISEL-X86-NEXT: jb .LBB3_2
+; FASTISEL-X86-NEXT: # %bb.1:
+; FASTISEL-X86-NEXT: movl %ecx, %eax
+; FASTISEL-X86-NEXT: .LBB3_2:
+; FASTISEL-X86-NEXT: # kill: def $ax killed $ax killed $eax
+; FASTISEL-X86-NEXT: retl
+ %ret = call i16 @llvm.umin.i16(i16 %a, i16 %b)
+ ret i16 %ret
+}
+
+define i32 @umax_i32(i32 %a, i32 %b) nounwind readnone {
+; X64-LABEL: umax_i32:
+; X64: # %bb.0:
+; X64-NEXT: movl %esi, %eax
+; X64-NEXT: cmpl %esi, %edi
+; X64-NEXT: cmoval %edi, %eax
+; X64-NEXT: retq
+;
+; FASTISEL-X64-LABEL: umax_i32:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: movl %esi, %eax
+; FASTISEL-X64-NEXT: cmpl %esi, %edi
+; FASTISEL-X64-NEXT: cmoval %edi, %eax
+; FASTISEL-X64-NEXT: retq
+;
+; X86-LABEL: umax_i32:
+; X86: # %bb.0:
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; X86-NEXT: cmpl %ecx, %eax
+; X86-NEXT: ja .LBB4_2
+; X86-NEXT: # %bb.1:
+; X86-NEXT: movl %ecx, %eax
+; X86-NEXT: .LBB4_2:
+; X86-NEXT: retl
+;
+; FASTISEL-X86-LABEL: umax_i32:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; FASTISEL-X86-NEXT: cmpl %ecx, %eax
+; FASTISEL-X86-NEXT: ja .LBB4_2
+; FASTISEL-X86-NEXT: # %bb.1:
+; FASTISEL-X86-NEXT: movl %ecx, %eax
+; FASTISEL-X86-NEXT: .LBB4_2:
+; FASTISEL-X86-NEXT: retl
+ %ret = call i32 @llvm.umax.i32(i32 %a, i32 %b)
+ ret i32 %ret
+}
+
+define i32 @umin_i32(i32 %a, i32 %b) nounwind readnone {
+; X64-LABEL: umin_i32:
+; X64: # %bb.0:
+; X64-NEXT: movl %esi, %eax
+; X64-NEXT: cmpl %esi, %edi
+; X64-NEXT: cmovbl %edi, %eax
+; X64-NEXT: retq
+;
+; FASTISEL-X64-LABEL: umin_i32:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: movl %esi, %eax
+; FASTISEL-X64-NEXT: cmpl %esi, %edi
+; FASTISEL-X64-NEXT: cmovbl %edi, %eax
+; FASTISEL-X64-NEXT: retq
+;
+; X86-LABEL: umin_i32:
+; X86: # %bb.0:
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; X86-NEXT: cmpl %ecx, %eax
+; X86-NEXT: jb .LBB5_2
+; X86-NEXT: # %bb.1:
+; X86-NEXT: movl %ecx, %eax
+; X86-NEXT: .LBB5_2:
+; X86-NEXT: retl
+;
+; FASTISEL-X86-LABEL: umin_i32:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; FASTISEL-X86-NEXT: cmpl %ecx, %eax
+; FASTISEL-X86-NEXT: jb .LBB5_2
+; FASTISEL-X86-NEXT: # %bb.1:
+; FASTISEL-X86-NEXT: movl %ecx, %eax
+; FASTISEL-X86-NEXT: .LBB5_2:
+; FASTISEL-X86-NEXT: retl
+ %ret = call i32 @llvm.umin.i32(i32 %a, i32 %b)
+ ret i32 %ret
+}
+
+define i64 @umax_i64(i64 %a, i64 %b) nounwind readnone {
+; X64-LABEL: umax_i64:
+; X64: # %bb.0:
+; X64-NEXT: movq %rsi, %rax
+; X64-NEXT: cmpq %rsi, %rdi
+; X64-NEXT: cmovaq %rdi, %rax
+; X64-NEXT: retq
+;
+; FASTISEL-X64-LABEL: umax_i64:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: movq %rsi, %rax
+; FASTISEL-X64-NEXT: cmpq %rsi, %rdi
+; FASTISEL-X64-NEXT: cmovaq %rdi, %rax
+; FASTISEL-X64-NEXT: retq
+;
+; X86-LABEL: umax_i64:
+; X86: # %bb.0:
+; X86-NEXT: pushl %edi
+; X86-NEXT: pushl %esi
+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
+; X86-NEXT: cmpl %eax, %ecx
+; X86-NEXT: movl %esi, %edi
+; X86-NEXT: sbbl %edx, %edi
+; X86-NEXT: jb .LBB6_2
+; X86-NEXT: # %bb.1:
+; X86-NEXT: movl %ecx, %eax
+; X86-NEXT: movl %esi, %edx
+; X86-NEXT: .LBB6_2:
+; X86-NEXT: popl %esi
+; X86-NEXT: popl %edi
+; X86-NEXT: retl
+;
+; FASTISEL-X86-LABEL: umax_i64:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: pushl %edi
+; FASTISEL-X86-NEXT: pushl %esi
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %esi
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %edx
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; FASTISEL-X86-NEXT: cmpl %eax, %esi
+; FASTISEL-X86-NEXT: movl %ecx, %edi
+; FASTISEL-X86-NEXT: sbbl %edx, %edi
+; FASTISEL-X86-NEXT: jb .LBB6_2
+; FASTISEL-X86-NEXT: # %bb.1:
+; FASTISEL-X86-NEXT: movl %esi, %eax
+; FASTISEL-X86-NEXT: movl %ecx, %edx
+; FASTISEL-X86-NEXT: .LBB6_2:
+; FASTISEL-X86-NEXT: popl %esi
+; FASTISEL-X86-NEXT: popl %edi
+; FASTISEL-X86-NEXT: retl
+ %ret = call i64 @llvm.umax.i64(i64 %a, i64 %b)
+ ret i64 %ret
+}
+
+define i64 @umin_i64(i64 %a, i64 %b) nounwind readnone {
+; X64-LABEL: umin_i64:
+; X64: # %bb.0:
+; X64-NEXT: movq %rsi, %rax
+; X64-NEXT: cmpq %rsi, %rdi
+; X64-NEXT: cmovbq %rdi, %rax
+; X64-NEXT: retq
+;
+; FASTISEL-X64-LABEL: umin_i64:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: movq %rsi, %rax
+; FASTISEL-X64-NEXT: cmpq %rsi, %rdi
+; FASTISEL-X64-NEXT: cmovbq %rdi, %rax
+; FASTISEL-X64-NEXT: retq
+;
+; X86-LABEL: umin_i64:
+; X86: # %bb.0:
+; X86-NEXT: pushl %edi
+; X86-NEXT: pushl %esi
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
+; X86-NEXT: cmpl %ecx, %eax
+; X86-NEXT: movl %edx, %edi
+; X86-NEXT: sbbl %esi, %edi
+; X86-NEXT: jb .LBB7_2
+; X86-NEXT: # %bb.1:
+; X86-NEXT: movl %ecx, %eax
+; X86-NEXT: movl %esi, %edx
+; X86-NEXT: .LBB7_2:
+; X86-NEXT: popl %esi
+; X86-NEXT: popl %edi
+; X86-NEXT: retl
+;
+; FASTISEL-X86-LABEL: umin_i64:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: pushl %edi
+; FASTISEL-X86-NEXT: pushl %esi
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %esi
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %edx
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; FASTISEL-X86-NEXT: cmpl %esi, %eax
+; FASTISEL-X86-NEXT: movl %edx, %edi
+; FASTISEL-X86-NEXT: sbbl %ecx, %edi
+; FASTISEL-X86-NEXT: jb .LBB7_2
+; FASTISEL-X86-NEXT: # %bb.1:
+; FASTISEL-X86-NEXT: movl %esi, %eax
+; FASTISEL-X86-NEXT: movl %ecx, %edx
+; FASTISEL-X86-NEXT: .LBB7_2:
+; FASTISEL-X86-NEXT: popl %esi
+; FASTISEL-X86-NEXT: popl %edi
+; FASTISEL-X86-NEXT: retl
+ %ret = call i64 @llvm.umin.i64(i64 %a, i64 %b)
+ ret i64 %ret
+}
+
+define i8 @smax_i8(i8 %a, i8 %b) nounwind readnone {
+; X64-LABEL: smax_i8:
+; X64: # %bb.0:
+; X64-NEXT: movl %esi, %eax
+; X64-NEXT: cmpb %al, %dil
+; X64-NEXT: cmovgl %edi, %eax
+; X64-NEXT: # kill: def $al killed $al killed $eax
+; X64-NEXT: retq
+;
+; FASTISEL-X64-LABEL: smax_i8:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: movzbl %dil, %ecx
+; FASTISEL-X64-NEXT: movzbl %sil, %eax
+; FASTISEL-X64-NEXT: cmpb %al, %cl
+; FASTISEL-X64-NEXT: cmovgl %ecx, %eax
+; FASTISEL-X64-NEXT: # kill: def $al killed $al killed $eax
+; FASTISEL-X64-NEXT: retq
+;
+; X86-LABEL: smax_i8:
+; X86: # %bb.0:
+; X86-NEXT: movzbl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax
+; X86-NEXT: cmpb %cl, %al
+; X86-NEXT: jg .LBB8_2
+; X86-NEXT: # %bb.1:
+; X86-NEXT: movl %ecx, %eax
+; X86-NEXT: .LBB8_2:
+; X86-NEXT: retl
+;
+; FASTISEL-X86-LABEL: smax_i8:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: movzbl {{[0-9]+}}(%esp), %ecx
+; FASTISEL-X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax
+; FASTISEL-X86-NEXT: cmpb %cl, %al
+; FASTISEL-X86-NEXT: jg .LBB8_2
+; FASTISEL-X86-NEXT: # %bb.1:
+; FASTISEL-X86-NEXT: movl %ecx, %eax
+; FASTISEL-X86-NEXT: .LBB8_2:
+; FASTISEL-X86-NEXT: retl
+ %ret = call i8 @llvm.smax.i8(i8 %a, i8 %b)
+ ret i8 %ret
+}
+
+define i8 @smin_i8(i8 %a, i8 %b) nounwind readnone {
+; X64-LABEL: smin_i8:
+; X64: # %bb.0:
+; X64-NEXT: movl %esi, %eax
+; X64-NEXT: cmpb %al, %dil
+; X64-NEXT: cmovll %edi, %eax
+; X64-NEXT: # kill: def $al killed $al killed $eax
+; X64-NEXT: retq
+;
+; FASTISEL-X64-LABEL: smin_i8:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: movzbl %dil, %ecx
+; FASTISEL-X64-NEXT: movzbl %sil, %eax
+; FASTISEL-X64-NEXT: cmpb %al, %cl
+; FASTISEL-X64-NEXT: cmovll %ecx, %eax
+; FASTISEL-X64-NEXT: # kill: def $al killed $al killed $eax
+; FASTISEL-X64-NEXT: retq
+;
+; X86-LABEL: smin_i8:
+; X86: # %bb.0:
+; X86-NEXT: movzbl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax
+; X86-NEXT: cmpb %cl, %al
+; X86-NEXT: jl .LBB9_2
+; X86-NEXT: # %bb.1:
+; X86-NEXT: movl %ecx, %eax
+; X86-NEXT: .LBB9_2:
+; X86-NEXT: retl
+;
+; FASTISEL-X86-LABEL: smin_i8:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: movzbl {{[0-9]+}}(%esp), %ecx
+; FASTISEL-X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax
+; FASTISEL-X86-NEXT: cmpb %cl, %al
+; FASTISEL-X86-NEXT: jl .LBB9_2
+; FASTISEL-X86-NEXT: # %bb.1:
+; FASTISEL-X86-NEXT: movl %ecx, %eax
+; FASTISEL-X86-NEXT: .LBB9_2:
+; FASTISEL-X86-NEXT: retl
+ %ret = call i8 @llvm.smin.i8(i8 %a, i8 %b)
+ ret i8 %ret
+}
+
+define i16 @smax_i16(i16 %a, i16 %b) nounwind readnone {
+; X64-LABEL: smax_i16:
+; X64: # %bb.0:
+; X64-NEXT: movl %esi, %eax
+; X64-NEXT: cmpw %ax, %di
+; X64-NEXT: cmovgl %edi, %eax
+; X64-NEXT: # kill: def $ax killed $ax killed $eax
+; X64-NEXT: retq
+;
+; FASTISEL-X64-LABEL: smax_i16:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: movl %esi, %eax
+; FASTISEL-X64-NEXT: cmpw %ax, %di
+; FASTISEL-X64-NEXT: cmovgl %edi, %eax
+; FASTISEL-X64-NEXT: # kill: def $ax killed $ax killed $eax
+; FASTISEL-X64-NEXT: retq
+;
+; X86-LABEL: smax_i16:
+; X86: # %bb.0:
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; X86-NEXT: cmpw %cx, %ax
+; X86-NEXT: jg .LBB10_2
+; X86-NEXT: # %bb.1:
+; X86-NEXT: movl %ecx, %eax
+; X86-NEXT: .LBB10_2:
+; X86-NEXT: # kill: def $ax killed $ax killed $eax
+; X86-NEXT: retl
+;
+; FASTISEL-X86-LABEL: smax_i16:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx
+; FASTISEL-X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
+; FASTISEL-X86-NEXT: cmpw %cx, %ax
+; FASTISEL-X86-NEXT: jg .LBB10_2
+; FASTISEL-X86-NEXT: # %bb.1:
+; FASTISEL-X86-NEXT: movl %ecx, %eax
+; FASTISEL-X86-NEXT: .LBB10_2:
+; FASTISEL-X86-NEXT: # kill: def $ax killed $ax killed $eax
+; FASTISEL-X86-NEXT: retl
+ %ret = call i16 @llvm.smax.i16(i16 %a, i16 %b)
+ ret i16 %ret
+}
+
+define i16 @smin_i16(i16 %a, i16 %b) nounwind readnone {
+; X64-LABEL: smin_i16:
+; X64: # %bb.0:
+; X64-NEXT: movl %esi, %eax
+; X64-NEXT: cmpw %ax, %di
+; X64-NEXT: cmovll %edi, %eax
+; X64-NEXT: # kill: def $ax killed $ax killed $eax
+; X64-NEXT: retq
+;
+; FASTISEL-X64-LABEL: smin_i16:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: movl %esi, %eax
+; FASTISEL-X64-NEXT: cmpw %ax, %di
+; FASTISEL-X64-NEXT: cmovll %edi, %eax
+; FASTISEL-X64-NEXT: # kill: def $ax killed $ax killed $eax
+; FASTISEL-X64-NEXT: retq
+;
+; X86-LABEL: smin_i16:
+; X86: # %bb.0:
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; X86-NEXT: cmpw %cx, %ax
+; X86-NEXT: jl .LBB11_2
+; X86-NEXT: # %bb.1:
+; X86-NEXT: movl %ecx, %eax
+; X86-NEXT: .LBB11_2:
+; X86-NEXT: # kill: def $ax killed $ax killed $eax
+; X86-NEXT: retl
+;
+; FASTISEL-X86-LABEL: smin_i16:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx
+; FASTISEL-X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
+; FASTISEL-X86-NEXT: cmpw %cx, %ax
+; FASTISEL-X86-NEXT: jl .LBB11_2
+; FASTISEL-X86-NEXT: # %bb.1:
+; FASTISEL-X86-NEXT: movl %ecx, %eax
+; FASTISEL-X86-NEXT: .LBB11_2:
+; FASTISEL-X86-NEXT: # kill: def $ax killed $ax killed $eax
+; FASTISEL-X86-NEXT: retl
+ %ret = call i16 @llvm.smin.i16(i16 %a, i16 %b)
+ ret i16 %ret
+}
+
+define i32 @smax_i32(i32 %a, i32 %b) nounwind readnone {
+; X64-LABEL: smax_i32:
+; X64: # %bb.0:
+; X64-NEXT: movl %esi, %eax
+; X64-NEXT: cmpl %esi, %edi
+; X64-NEXT: cmovgl %edi, %eax
+; X64-NEXT: retq
+;
+; FASTISEL-X64-LABEL: smax_i32:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: movl %esi, %eax
+; FASTISEL-X64-NEXT: cmpl %esi, %edi
+; FASTISEL-X64-NEXT: cmovgl %edi, %eax
+; FASTISEL-X64-NEXT: retq
+;
+; X86-LABEL: smax_i32:
+; X86: # %bb.0:
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; X86-NEXT: cmpl %ecx, %eax
+; X86-NEXT: jg .LBB12_2
+; X86-NEXT: # %bb.1:
+; X86-NEXT: movl %ecx, %eax
+; X86-NEXT: .LBB12_2:
+; X86-NEXT: retl
+;
+; FASTISEL-X86-LABEL: smax_i32:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; FASTISEL-X86-NEXT: cmpl %ecx, %eax
+; FASTISEL-X86-NEXT: jg .LBB12_2
+; FASTISEL-X86-NEXT: # %bb.1:
+; FASTISEL-X86-NEXT: movl %ecx, %eax
+; FASTISEL-X86-NEXT: .LBB12_2:
+; FASTISEL-X86-NEXT: retl
+ %ret = call i32 @llvm.smax.i32(i32 %a, i32 %b)
+ ret i32 %ret
+}
+
+define i32 @smin_i32(i32 %a, i32 %b) nounwind readnone {
+; X64-LABEL: smin_i32:
+; X64: # %bb.0:
+; X64-NEXT: movl %esi, %eax
+; X64-NEXT: cmpl %esi, %edi
+; X64-NEXT: cmovll %edi, %eax
+; X64-NEXT: retq
+;
+; FASTISEL-X64-LABEL: smin_i32:
+; FASTISEL-X64: # %bb.0:
+; FASTISEL-X64-NEXT: movl %esi, %eax
+; FASTISEL-X64-NEXT: cmpl %esi, %edi
+; FASTISEL-X64-NEXT: cmovll %edi, %eax
+; FASTISEL-X64-NEXT: retq
+;
+; X86-LABEL: smin_i32:
+; X86: # %bb.0:
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; X86-NEXT: cmpl %ecx, %eax
+; X86-NEXT: jl .LBB13_2
+; X86-NEXT: # %bb.1:
+; X86-NEXT: movl %ecx, %eax
+; X86-NEXT: .LBB13_2:
+; X86-NEXT: retl
+;
+; FASTISEL-X86-LABEL: smin_i32:
+; FASTISEL-X86: # %bb.0:
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; FASTISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; FASTISEL-X86-NEXT: cmpl %ecx, %eax
+; FASTISEL-X86-NEXT: jl .LBB13_2
+; FASTISEL-X86-NEXT: # %bb.1:
+; FASTISEL-X86-NEXT: ...
[truncated]
``````````
</details>
https://github.com/llvm/llvm-project/pull/157621
More information about the llvm-commits
mailing list