; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
; RUN: opt -S --passes=slp-vectorizer < %s | FileCheck %s

define i1 @test_explicit_poison_leaves(i1 %a, i1 %b) {
  ; Tree effectively: (a || poison) || (b || poison)
  ; If %a is true, 'op1' is true. Short-circuit protects against poison.
  ; If %b is false, 'op2' is poison.
  ; 'res' = op1 || op2.
  ; If 'op1' is true (because a is true), 'res' should be true.
  ; Vectorizer sees <a, b> and <poison, poison>.
; CHECK-LABEL: define i1 @test_explicit_poison_leaves(
; CHECK-SAME: i1 [[A:%.*]], i1 [[B:%.*]]) {
; CHECK-NEXT:    [[OP_RDX:%.*]] = select i1 [[A]], i1 true, i1 poison
; CHECK-NEXT:    [[OP_RDX1:%.*]] = select i1 [[OP_RDX]], i1 true, i1 [[B]]
; CHECK-NEXT:    ret i1 [[OP_RDX1]]
;
  %op1 = select i1 %a, i1 true, i1 poison
  %op2 = select i1 %b, i1 true, i1 poison
  %res = select i1 %op1, i1 true, i1 %op2
  ret i1 %res
}