caio/clang-p2996
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[SLP][NFC]Add a test with missing zext on signed minimum reduction, NFC

Browse Source
This commit is contained in:
Alexey Bataev
2025-04-15 06:52:45 -07:00
parent bf3b3d012c
commit 7f2587a239
1 changed files with 29 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

29
llvm/test/Transforms/SLPVectorizer/RISCV/smin-reduction-unsigned-missing-sign.ll Normal file
View File

@@ -0,0 +1,29 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt -S --passes=slp-vectorizer -mtriple=riscv64-unknown-linux-gnu -mattr=+v < %s | FileCheck %s
define i32 @test(i8 %0) {
; CHECK-LABEL: define i32 @test(
; CHECK-SAME: i8 [[TMP0:%.*]]) #[[ATTR0:[0-9]+]] {
; CHECK-NEXT: [[ENTRY:.*:]]
; CHECK-NEXT: [[TMP1:%.*]] = insertelement <4 x i8> <i8 poison, i8 0, i8 0, i8 0>, i8 [[TMP0]], i32 0
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne <4 x i8> [[TMP1]], zeroinitializer
; CHECK-NEXT: [[TMP3:%.*]] = call i1 @llvm.vector.reduce.smin.v4i1(<4 x i1> [[TMP2]])
; CHECK-NEXT: [[TMP4:%.*]] = zext i1 [[TMP3]] to i32
; CHECK-NEXT: ret i32 [[TMP4]]
;
entry:
%1 = icmp ne i8 0, 0
%2 = zext i1 %1 to i32
%3 = icmp ne i8 %0, 0
%4 = zext i1 %3 to i32
%5 = icmp ne i8 0, 0
%6 = zext i1 %5 to i32
%7 = icmp ne i8 0, 0
%8 = zext i1 %7 to i32
%cond27.2 = tail call i32 @llvm.smin.i32(i32 %4, i32 %2)
%cond27.3 = tail call i32 @llvm.smin.i32(i32 %6, i32 %cond27.2)
%cond27.4 = tail call i32 @llvm.smin.i32(i32 %8, i32 %cond27.3)
ret i32 %cond27.4
}
declare i32 @llvm.smin.i32(i32, i32)