; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -O0 -mattr=+avx512f < %s | FileCheck %s

target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.11.0"

define i32 @test(float %a, float %b)  {
; CHECK-LABEL: test:
; CHECK:       ## BB#0:
; CHECK-NEXT:    pushq %rax
; CHECK-NEXT:  Lcfi0:
; CHECK-NEXT:    .cfi_def_cfa_offset 16
; CHECK-NEXT:    movb $1, %al
; CHECK-NEXT:    vucomiss %xmm1, %xmm0
; CHECK-NEXT:    setnp %cl
; CHECK-NEXT:    sete %dl
; CHECK-NEXT:    setp %sil
; CHECK-NEXT:    setne %dil
; CHECK-NEXT:    andb %cl, %dl
; CHECK-NEXT:    ## implicit-def: %R8D
; CHECK-NEXT:    movb %dl, %r8b
; CHECK-NEXT:    andl $1, %r8d
; CHECK-NEXT:    kmovw %r8d, %k0
; CHECK-NEXT:    orb %sil, %dil
; CHECK-NEXT:    ## implicit-def: %R8D
; CHECK-NEXT:    movb %dil, %r8b
; CHECK-NEXT:    andl $1, %r8d
; CHECK-NEXT:    kmovw %r8d, %k1
; CHECK-NEXT:    kmovw %k1, %ecx
; CHECK-NEXT:    testb $1, %cl
; CHECK-NEXT:    movb %al, {{[0-9]+}}(%rsp) ## 1-byte Spill
; CHECK-NEXT:    kmovw %k0, {{[0-9]+}}(%rsp) ## 2-byte Spill
; CHECK-NEXT:    jne LBB0_1
; CHECK-NEXT:    jmp LBB0_2
; CHECK-NEXT:  LBB0_1: ## %L_0
; CHECK-NEXT:    callq ___assert_rtn
; CHECK-NEXT:  LBB0_2: ## %L_1
; CHECK-NEXT:    xorl %eax, %eax
; CHECK-NEXT:    popq %rcx
; CHECK-NEXT:    retq
  %x10 = fcmp oeq float %a, %b
  %x11 = xor i1 %x10, true
  br i1 %x11, label %L_0, label %L_1

L_0:                                     ; preds = %2
  call void @__assert_rtn()
  unreachable
                                                  ; No predecessors!
L_1:                                     ; preds = %2
  ret i32 0
}

; Function Attrs: noreturn
declare void @__assert_rtn()