; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3
; RUN: %if x86-registered-target %{ opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s %}
; RUN: %if aarch64-registered-target %{ opt -S --passes=slp-vectorizer -mtriple=aarch64-unknown-linux-gnu < %s | FileCheck %s %}

define void @test() {
; CHECK-LABEL: define void @test() {
; CHECK-NEXT:  entry:
; CHECK-NEXT:    [[TMP0:%.*]] = extractelement <1 x i64> zeroinitializer, i64 0
; CHECK-NEXT:    [[BF_VALUE:%.*]] = and i64 [[TMP0]], 0
; CHECK-NEXT:    [[BF_CLEAR:%.*]] = and i64 0, 1
; CHECK-NEXT:    [[BF_SET:%.*]] = or i64 [[BF_CLEAR]], [[BF_VALUE]]
; CHECK-NEXT:    store i64 [[BF_SET]], ptr null, align 8
; CHECK-NEXT:    ret void
;
entry:
  %0 = extractelement <1 x i64> zeroinitializer, i64 0
  %bf.value = and i64 %0, 0
  %bf.clear = and i64 0, 1
  %bf.set = or i64 %bf.clear, %bf.value
  store i64 %bf.set, ptr null, align 8
  ret void
}