[llvm] [X86] Add test showing failure to fold freeze(permilvar(x, y)) -> permilvar(freeze(x),freeze(y)) (PR #160836)
Simon Pilgrim via llvm-commits
llvm-commits at lists.llvm.org
Fri Sep 26 02:14:44 PDT 2025
https://github.com/RKSimon created https://github.com/llvm/llvm-project/pull/160836
None
>From 5c393c20446a3a62261f5dc1cac792fcf90d35c5 Mon Sep 17 00:00:00 2001
From: Simon Pilgrim <llvm-dev at redking.me.uk>
Date: Fri, 26 Sep 2025 10:10:48 +0100
Subject: [PATCH] [X86] Add test showing failure to fold freeze(permilvar(x,y))
-> permilvar(freeze(x),freeze(y))
---
.../test/CodeGen/X86/vector-shuffle-combining-avx.ll | 12 ++++++++++++
1 file changed, 12 insertions(+)
diff --git a/llvm/test/CodeGen/X86/vector-shuffle-combining-avx.ll b/llvm/test/CodeGen/X86/vector-shuffle-combining-avx.ll
index 2df013d0ff3e3..c9d9db6cc9578 100644
--- a/llvm/test/CodeGen/X86/vector-shuffle-combining-avx.ll
+++ b/llvm/test/CodeGen/X86/vector-shuffle-combining-avx.ll
@@ -370,6 +370,18 @@ define <8 x float> @constant_fold_vpermilvar_ps_256() {
ret <8 x float> %1
}
+define <8 x float> @freeze_vpermilvar_ps_256(<8 x float> %a0) {
+; CHECK-LABEL: freeze_vpermilvar_ps_256:
+; CHECK: # %bb.0:
+; CHECK-NEXT: vpermilps {{.*#+}} ymm0 = ymm0[0,3,1,2,7,6,5,4]
+; CHECK-NEXT: vpermilps {{.*#+}} ymm0 = ymm0[0,2,3,1,7,6,5,4]
+; CHECK-NEXT: ret{{[l|q]}}
+ %s0 = call <8 x float> @llvm.x86.avx.vpermilvar.ps.256(<8 x float> %a0, <8 x i32> <i32 0, i32 3, i32 1, i32 2, i32 7, i32 6, i32 5, i32 4>)
+ %f0 = freeze <8 x float> %s0
+ %s1 = call <8 x float> @llvm.x86.avx.vpermilvar.ps.256(<8 x float> %f0, <8 x i32> <i32 0, i32 2, i32 3, i32 1, i32 7, i32 6, i32 5, i32 4>)
+ ret <8 x float> %s1
+}
+
define void @PR39483() {
; X86-AVX1-LABEL: PR39483:
; X86-AVX1: # %bb.0: # %entry
More information about the llvm-commits
mailing list