; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -passes=slp-vectorizer -mtriple=x86_64-unknown-linux -mattr="-avx512pf,+avx512f,+avx512bw" -slp-threshold=-100 < %s | FileCheck %s

define i1 @foo(i32 %a) {
; CHECK-LABEL: @foo(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    [[TMP0:%.*]] = sub nsw i32 0, [[A:%.*]]
; CHECK-NEXT:    br label [[BB4:%.*]]
; CHECK:       bb1:
; CHECK-NEXT:    [[LOCAL:%.*]] = sub nsw i32 0, 0
; CHECK-NEXT:    [[INS1:%.*]] = insertelement <2 x i32> poison, i32 [[TMP0]], i32 0
; CHECK-NEXT:    [[ADD:%.*]] = icmp eq i32 [[TMP0]], [[LOCAL]]
; CHECK-NEXT:    ret i1 [[ADD]]
;
entry:
  %0 = sub nsw i32 0, %a
  br label %bb1

bb1:
  %local = sub nsw i32 0, 0
  %ins1 = insertelement <2 x i32> poison, i32 %0, i32 0
  %add = icmp eq i32 %0, %local
  ret i1 %add
}