Skip to content

Commit 7f2587a

Browse files
committed
[SLP][NFC]Add a test with missing zext on signed minimum reduction, NFC
1 parent bf3b3d0 commit 7f2587a

File tree

1 file changed

+29
-0
lines changed

1 file changed

+29
-0
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
2+
; RUN: opt -S --passes=slp-vectorizer -mtriple=riscv64-unknown-linux-gnu -mattr=+v < %s | FileCheck %s
3+
4+
define i32 @test(i8 %0) {
5+
; CHECK-LABEL: define i32 @test(
6+
; CHECK-SAME: i8 [[TMP0:%.*]]) #[[ATTR0:[0-9]+]] {
7+
; CHECK-NEXT: [[ENTRY:.*:]]
8+
; CHECK-NEXT: [[TMP1:%.*]] = insertelement <4 x i8> <i8 poison, i8 0, i8 0, i8 0>, i8 [[TMP0]], i32 0
9+
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne <4 x i8> [[TMP1]], zeroinitializer
10+
; CHECK-NEXT: [[TMP3:%.*]] = call i1 @llvm.vector.reduce.smin.v4i1(<4 x i1> [[TMP2]])
11+
; CHECK-NEXT: [[TMP4:%.*]] = zext i1 [[TMP3]] to i32
12+
; CHECK-NEXT: ret i32 [[TMP4]]
13+
;
14+
entry:
15+
%1 = icmp ne i8 0, 0
16+
%2 = zext i1 %1 to i32
17+
%3 = icmp ne i8 %0, 0
18+
%4 = zext i1 %3 to i32
19+
%5 = icmp ne i8 0, 0
20+
%6 = zext i1 %5 to i32
21+
%7 = icmp ne i8 0, 0
22+
%8 = zext i1 %7 to i32
23+
%cond27.2 = tail call i32 @llvm.smin.i32(i32 %4, i32 %2)
24+
%cond27.3 = tail call i32 @llvm.smin.i32(i32 %6, i32 %cond27.2)
25+
%cond27.4 = tail call i32 @llvm.smin.i32(i32 %8, i32 %cond27.3)
26+
ret i32 %cond27.4
27+
}
28+
29+
declare i32 @llvm.smin.i32(i32, i32)

0 commit comments

Comments
 (0)