1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -S -passes=slp-vectorizer -mtriple=x86_64-unknown-linux -mattr="-avx512pf,+avx512f,+avx512bw" -slp-threshold=-100 < %s | FileCheck %s
4 define i1 @foo(i32 %a) {
7 ; CHECK-NEXT: [[TMP0:%.*]] = sub nsw i32 0, [[A:%.*]]
8 ; CHECK-NEXT: br label [[BB4:%.*]]
10 ; CHECK-NEXT: [[LOCAL:%.*]] = sub nsw i32 0, 0
11 ; CHECK-NEXT: [[INS1:%.*]] = insertelement <2 x i32> poison, i32 [[TMP0]], i32 0
12 ; CHECK-NEXT: [[ADD:%.*]] = icmp eq i32 [[TMP0]], [[LOCAL]]
13 ; CHECK-NEXT: ret i1 [[ADD]]
16 %0 = sub nsw i32 0, %a
20 %local = sub nsw i32 0, 0
21 %ins1 = insertelement <2 x i32> poison, i32 %0, i32 0
22 %add = icmp eq i32 %0, %local