| ; 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() |
| |
