| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 |
| ; RUN: opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s |
| |
| define i1 @foo() { |
| ; CHECK-LABEL: define i1 @foo() { |
| ; CHECK-NEXT: [[ENTRY:.*:]] |
| ; CHECK-NEXT: [[TOBOOL_NOT_NOT509_I_2329_I_I:%.*]] = icmp ne i32 0, 0 |
| ; CHECK-NEXT: [[STOREMERGE_2333_I_I:%.*]] = select i1 [[TOBOOL_NOT_NOT509_I_2329_I_I]], i32 0, i32 0 |
| ; CHECK-NEXT: [[TMP0:%.*]] = insertelement <2 x i32> <i32 0, i32 poison>, i32 [[STOREMERGE_2333_I_I]], i32 1 |
| ; CHECK-NEXT: [[TMP1:%.*]] = icmp ne <2 x i32> zeroinitializer, [[TMP0]] |
| ; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <2 x i1> [[TMP1]], <2 x i1> poison, <4 x i32> <i32 1, i32 poison, i32 poison, i32 0> |
| ; CHECK-NEXT: [[TMP6:%.*]] = shufflevector <4 x i1> [[TMP2]], <4 x i1> <i1 false, i1 false, i1 undef, i1 undef>, <4 x i32> <i32 0, i32 4, i32 5, i32 3> |
| ; CHECK-NEXT: [[TMP7:%.*]] = shufflevector <4 x i1> [[TMP6]], <4 x i1> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison> |
| ; CHECK-NEXT: [[TMP3:%.*]] = shufflevector <8 x i1> <i1 false, i1 false, i1 false, i1 false, i1 undef, i1 undef, i1 undef, i1 undef>, <8 x i1> [[TMP7]], <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 8, i32 9, i32 10, i32 11> |
| ; CHECK-NEXT: [[TMP4:%.*]] = freeze <8 x i1> [[TMP3]] |
| ; CHECK-NEXT: [[TMP5:%.*]] = call i1 @llvm.vector.reduce.and.v8i1(<8 x i1> [[TMP4]]) |
| ; CHECK-NEXT: [[OP_RDX:%.*]] = select i1 false, i1 [[TMP5]], i1 false |
| ; CHECK-NEXT: ret i1 [[OP_RDX]] |
| ; |
| entry: |
| %tobool.not.not509.i.1311.i.i = icmp ne i32 0, 0 |
| %cmp80.1319.i.i189 = icmp sgt i32 0, 0 |
| %tobool.not.not509.i.1.1.i.i = icmp ne i32 0, 0 |
| %cmp80.1.1.i.i190 = icmp sgt i32 0, 0 |
| %tobool.not.not509.i.2329.i.i = icmp ne i32 0, 0 |
| %storemerge.2333.i.i = select i1 %tobool.not.not509.i.2329.i.i, i32 0, i32 0 |
| %cmp80.2337.i.i192 = icmp sgt i32 0, 0 |
| %tobool.not.not509.i.1.2.i.i = icmp ne i32 %storemerge.2333.i.i, 0 |
| %cmp80.1.2.i.i193 = icmp sgt i32 0, 0 |
| %cmp80.1.2.i.i = select i1 %tobool.not.not509.i.1.2.i.i, i1 %cmp80.1.2.i.i193, i1 false |
| %0 = select i1 %cmp80.1.2.i.i, i1 %tobool.not.not509.i.2329.i.i, i1 false |
| %1 = select i1 %0, i1 %cmp80.2337.i.i192, i1 false |
| %2 = select i1 %1, i1 false, i1 false |
| %3 = select i1 %2, i1 %tobool.not.not509.i.1.1.i.i, i1 false |
| %4 = select i1 %3, i1 %cmp80.1.1.i.i190, i1 false |
| %5 = select i1 %4, i1 %tobool.not.not509.i.1311.i.i, i1 false |
| %6 = select i1 %5, i1 %cmp80.1319.i.i189, i1 false |
| ret i1 %6 |
| } |