Follow up to d0858bffa11, add missing REQUIRES x86
[llvm-project.git] / llvm / test / Transforms / SLPVectorizer / alt-cmp-vectorize.ll
blob061fbdb45a13bc3ae82be4ecdb661f8d67750d95
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -S -passes=slp-vectorizer < %s | FileCheck %s
4 define i32 @alt_cmp(i16 %call46) {
5 ; CHECK-LABEL: @alt_cmp(
6 ; CHECK-NEXT:  entry:
7 ; CHECK-NEXT:    [[CALL47:%.*]] = tail call i16 null(i16 0)
8 ; CHECK-NEXT:    [[TMP0:%.*]] = insertelement <4 x i16> <i16 0, i16 poison, i16 0, i16 0>, i16 [[CALL46:%.*]], i32 1
9 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <4 x i16> <i16 0, i16 poison, i16 0, i16 0>, i16 [[CALL47]], i32 1
10 ; CHECK-NEXT:    [[TMP2:%.*]] = icmp ult <4 x i16> [[TMP0]], [[TMP1]]
11 ; CHECK-NEXT:    [[TMP3:%.*]] = icmp ugt <4 x i16> [[TMP0]], [[TMP1]]
12 ; CHECK-NEXT:    [[TMP4:%.*]] = shufflevector <4 x i1> [[TMP2]], <4 x i1> [[TMP3]], <4 x i32> <i32 0, i32 5, i32 2, i32 3>
13 ; CHECK-NEXT:    [[TMP5:%.*]] = zext <4 x i1> [[TMP4]] to <4 x i16>
14 ; CHECK-NEXT:    [[TMP6:%.*]] = call i16 @llvm.vector.reduce.or.v4i16(<4 x i16> [[TMP5]])
15 ; CHECK-NEXT:    [[OP_RDX:%.*]] = or i16 [[TMP6]], 0
16 ; CHECK-NEXT:    [[EXT:%.*]] = zext i16 [[OP_RDX]] to i32
17 ; CHECK-NEXT:    ret i32 [[EXT]]
19 entry:
20   %0 = icmp ult i16 0, 0
21   %cond40 = zext i1 %0 to i16
22   %add41 = or i16 0, %cond40
23   %call47 = tail call i16 null(i16 0)
24   %.not299 = icmp ugt i16 %call46, %call47
25   %cond60 = zext i1 %.not299 to i16
26   %add61 = or i16 %add41, %cond60
27   %1 = icmp ugt i16 0, 0
28   %cond76 = zext i1 %1 to i16
29   %add77 = or i16 %add61, %cond76
30   %2 = icmp ult i16 0, 0
31   %cond144 = zext i1 %2 to i16
32   %add145 = or i16 %add77, %cond144
33   %ext = zext i16 %add145 to i32
34   ret i32 %ext