[llvm] Precommit test for PR #172046 (PR #172127)

[via llvm-commits]

https://github.com/actinks updated https://github.com/llvm/llvm-project/pull/172127

>From a3c74a07208a85ad7c36b32bdcd11b6ed24b35ab Mon Sep 17 00:00:00 2001
From: actink <actink at 163.com>
Date: Sat, 13 Dec 2025 13:53:18 +0800
Subject: [PATCH 1/3] Precommit test for PR #172046

---
 llvm/test/CodeGen/X86/pr172046.ll | 50 +++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)
 create mode 100644 llvm/test/CodeGen/X86/pr172046.ll

diff --git a/llvm/test/CodeGen/X86/pr172046.ll b/llvm/test/CodeGen/X86/pr172046.ll
new file mode 100644
index 0000000000000..bbd23d2339701
--- /dev/null
+++ b/llvm/test/CodeGen/X86/pr172046.ll
@@ -0,0 +1,50 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 3
+; RUN: llc < %s -mtriple=i686-unknown-unknown | FileCheck %s --check-prefixes=X86
+; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefixes=X64
+
+define i32 @_Z1ft(i16 zeroext %0) {
+; X86-LABEL: _Z1ft:
+; X86:       # %bb.0: # %entry
+; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
+; X86-NEXT:    shll $3, %eax
+; X86-NEXT:    movzwl %ax, %eax
+; X86-NEXT:    retl
+;
+; X64-LABEL: _Z1ft:
+; X64:       # %bb.0: # %entry
+; X64-NEXT:    shll $3, %edi
+; X64-NEXT:    movzwl %di, %eax
+; X64-NEXT:    retq
+entry:
+  %3 = shl nuw i16 %0, 3
+  %4 = zext i16 %3 to i32
+  ret i32 %4
+}
+
+define i32 @_Z1gt(i16 zeroext %x) {
+; X86-LABEL: _Z1gt:
+; X86:       # %bb.0: # %entry
+; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
+; X86-NEXT:    movl %eax, %ecx
+; X86-NEXT:    andl $8191, %ecx # imm = 0x1FFF
+; X86-NEXT:    shll $16, %eax
+; X86-NEXT:    leal (%eax,%ecx,8), %eax
+; X86-NEXT:    retl
+;
+; X64-LABEL: _Z1gt:
+; X64:       # %bb.0: # %entry
+; X64-NEXT:    # kill: def $edi killed $edi def $rdi
+; X64-NEXT:    movl %edi, %eax
+; X64-NEXT:    andl $8191, %eax # imm = 0x1FFF
+; X64-NEXT:    shll $16, %edi
+; X64-NEXT:    leal (%rdi,%rax,8), %eax
+; X64-NEXT:    retq
+entry:
+  %conv = zext nneg i16 %x to i32
+  %shl = shl nuw i16 %x, 3
+  %conv3 = zext i16 %shl to i32
+  %shl5 = shl nuw nsw i32 %conv, 16
+  %or = or disjoint i32 %shl5, %conv3
+  ret i32 %or
+}
+

>From 10733a1b865cfe4654f8be2ddde2975d82c6d9ec Mon Sep 17 00:00:00 2001
From: actink <actink at 163.com>
Date: Sun, 14 Dec 2025 22:35:07 +0800
Subject: [PATCH 2/3] shl nsw sext

---
 llvm/test/CodeGen/X86/pr172046.ll | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/llvm/test/CodeGen/X86/pr172046.ll b/llvm/test/CodeGen/X86/pr172046.ll
index bbd23d2339701..5969599d83687 100644
--- a/llvm/test/CodeGen/X86/pr172046.ll
+++ b/llvm/test/CodeGen/X86/pr172046.ll
@@ -48,3 +48,25 @@ entry:
   ret i32 %or
 }
 
+define i32 @shl_nsw_zext(i16 %0) {
+; X86-LABEL: shl_nsw_zext:
+; X86:       # %bb.0: # %entry
+; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT:    movl $256, %eax # imm = 0x100
+; X86-NEXT:    shll %cl, %eax
+; X86-NEXT:    movzwl %ax, %eax
+; X86-NEXT:    retl
+;
+; X64-LABEL: shl_nsw_zext:
+; X64:       # %bb.0: # %entry
+; X64-NEXT:    movl %edi, %ecx
+; X64-NEXT:    movl $256, %eax # imm = 0x100
+; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
+; X64-NEXT:    shll %cl, %eax
+; X64-NEXT:    movzwl %ax, %eax
+; X64-NEXT:    retq
+entry:
+  %3 = shl nsw i16 256, %0
+  %4 = sext i16 %3 to i32
+  ret i32 %4
+}

>From 99d463ee5b25f16807b8d05cd590e55579c158aa Mon Sep 17 00:00:00 2001
From: actink <actink at 163.com>
Date: Tue, 16 Dec 2025 21:47:52 +0800
Subject: [PATCH 3/3] use named values

---
 llvm/test/CodeGen/X86/pr172046.ll | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/llvm/test/CodeGen/X86/pr172046.ll b/llvm/test/CodeGen/X86/pr172046.ll
index 5969599d83687..10671eaa10d49 100644
--- a/llvm/test/CodeGen/X86/pr172046.ll
+++ b/llvm/test/CodeGen/X86/pr172046.ll
@@ -2,7 +2,7 @@
 ; RUN: llc < %s -mtriple=i686-unknown-unknown | FileCheck %s --check-prefixes=X86
 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefixes=X64
 
-define i32 @_Z1ft(i16 zeroext %0) {
+define i32 @_Z1ft(i16 zeroext %x) {
 ; X86-LABEL: _Z1ft:
 ; X86:       # %bb.0: # %entry
 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
@@ -16,9 +16,9 @@ define i32 @_Z1ft(i16 zeroext %0) {
 ; X64-NEXT:    movzwl %di, %eax
 ; X64-NEXT:    retq
 entry:
-  %3 = shl nuw i16 %0, 3
-  %4 = zext i16 %3 to i32
-  ret i32 %4
+  %shl = shl nuw i16 %x, 3
+  %zext = zext i16 %shl to i32
+  ret i32 %zext
 }
 
 define i32 @_Z1gt(i16 zeroext %x) {
@@ -48,7 +48,7 @@ entry:
   ret i32 %or
 }
 
-define i32 @shl_nsw_zext(i16 %0) {
+define i32 @shl_nsw_zext(i16 %x) {
 ; X86-LABEL: shl_nsw_zext:
 ; X86:       # %bb.0: # %entry
 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %ecx
@@ -66,7 +66,7 @@ define i32 @shl_nsw_zext(i16 %0) {
 ; X64-NEXT:    movzwl %ax, %eax
 ; X64-NEXT:    retq
 entry:
-  %3 = shl nsw i16 256, %0
-  %4 = sext i16 %3 to i32
-  ret i32 %4
+  %shl = shl nsw i16 256, %x
+  %sext = sext i16 %shl to i32
+  ret i32 %sext
 }