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 3 4define i1 @foo(i32 %a) { 5; CHECK-LABEL: @foo( 6; CHECK-NEXT: entry: 7; CHECK-NEXT: [[TMP0:%.*]] = sub nsw i32 0, [[A:%.*]] 8; CHECK-NEXT: br label [[BB4:%.*]] 9; CHECK: bb1: 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]] 14; 15entry: 16 %0 = sub nsw i32 0, %a 17 br label %bb1 18 19bb1: 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 23 ret i1 %add 24} 25