Page MenuHomePhabricator
Differential D129858 Diff 444986 llvm/test/CodeGen/X86/bfloat.ll

Changeset View

Standalone View

View Options

llvm/test/CodeGen/X86/bfloat.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=x86_64-linux-gnu | FileCheck %s ; RUN: llc < %s -mtriple=x86_64-linux-gnu | FileCheck %s
define void @add(ptr %pa, ptr %pb, ptr %pc) { define void @add(ptr %pa, ptr %pb, ptr %pc) nounwind {
; CHECK-LABEL: add: ; CHECK-LABEL: add:
; CHECK: # %bb.0: ; CHECK: # %bb.0:
; CHECK-NEXT: pushq %rbx ; CHECK-NEXT: pushq %rbx
; CHECK-NEXT: .cfi_def_cfa_offset 16
; CHECK-NEXT: .cfi_offset %rbx, -16
; CHECK-NEXT: movq %rdx, %rbx ; CHECK-NEXT: movq %rdx, %rbx
; CHECK-NEXT: movzwl (%rdi), %eax ; CHECK-NEXT: movzwl (%rdi), %eax
; CHECK-NEXT: shll $16, %eax ; CHECK-NEXT: shll $16, %eax
; CHECK-NEXT: movd %eax, %xmm1 ; CHECK-NEXT: movd %eax, %xmm1
; CHECK-NEXT: movzwl (%rsi), %eax ; CHECK-NEXT: movzwl (%rsi), %eax
; CHECK-NEXT: shll $16, %eax ; CHECK-NEXT: shll $16, %eax
; CHECK-NEXT: movd %eax, %xmm0 ; CHECK-NEXT: movd %eax, %xmm0
; CHECK-NEXT: addss %xmm1, %xmm0 ; CHECK-NEXT: addss %xmm1, %xmm0
; CHECK-NEXT: callq __truncsfbf2@PLT ; CHECK-NEXT: callq __truncsfbf2@PLT
; CHECK-NEXT: movd %xmm0, %eax
; CHECK-NEXT: movw %ax, (%rbx) ; CHECK-NEXT: movw %ax, (%rbx)
; CHECK-NEXT: popq %rbx ; CHECK-NEXT: popq %rbx
; CHECK-NEXT: .cfi_def_cfa_offset 8
; CHECK-NEXT: retq ; CHECK-NEXT: retq
%a = load bfloat, ptr %pa %a = load bfloat, ptr %pa
%b = load bfloat, ptr %pb %b = load bfloat, ptr %pb
%add = fadd bfloat %a, %b %add = fadd bfloat %a, %b
store bfloat %add, ptr %pc store bfloat %add, ptr %pc
ret void ret void
} }
define void @add_double(ptr %pa, ptr %pb, ptr %pc) { define bfloat @add2(bfloat %a, bfloat %b, bfloat %c) nounwind {
; CHECK-LABEL: add2:
; CHECK: # %bb.0:
; CHECK-NEXT: pushq %rax
; CHECK-NEXT: movd %xmm1, %eax
; CHECK-NEXT: shll $16, %eax
; CHECK-NEXT: movd %eax, %xmm1
; CHECK-NEXT: movd %xmm0, %eax
; CHECK-NEXT: shll $16, %eax
; CHECK-NEXT: movd %eax, %xmm0
; CHECK-NEXT: addss %xmm1, %xmm0
; CHECK-NEXT: callq __truncsfbf2@PLT
; CHECK-NEXT: popq %rax
; CHECK-NEXT: retq
%add = fadd bfloat %a, %b
ret bfloat %add
}
define void @add_double(ptr %pa, ptr %pb, ptr %pc) nounwind {
; CHECK-LABEL: add_double: ; CHECK-LABEL: add_double:
; CHECK: # %bb.0: ; CHECK: # %bb.0:
; CHECK-NEXT: pushq %r14 ; CHECK-NEXT: pushq %r14
; CHECK-NEXT: .cfi_def_cfa_offset 16
; CHECK-NEXT: pushq %rbx ; CHECK-NEXT: pushq %rbx
; CHECK-NEXT: .cfi_def_cfa_offset 24
; CHECK-NEXT: pushq %rax ; CHECK-NEXT: pushq %rax
; CHECK-NEXT: .cfi_def_cfa_offset 32
; CHECK-NEXT: .cfi_offset %rbx, -24
; CHECK-NEXT: .cfi_offset %r14, -16
; CHECK-NEXT: movq %rdx, %r14 ; CHECK-NEXT: movq %rdx, %r14
; CHECK-NEXT: movq %rsi, %rbx ; CHECK-NEXT: movq %rsi, %rbx
; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero ; CHECK-NEXT: movq {{.*#+}} xmm0 = mem[0],zero
; CHECK-NEXT: callq __truncdfbf2@PLT ; CHECK-NEXT: callq __truncdfbf2@PLT
; CHECK-NEXT: # kill: def $ax killed $ax def $eax ; CHECK-NEXT: movd %xmm0, %eax
; CHECK-NEXT: shll $16, %eax ; CHECK-NEXT: shll $16, %eax
; CHECK-NEXT: movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill ; CHECK-NEXT: movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero ; CHECK-NEXT: movq {{.*#+}} xmm0 = mem[0],zero
; CHECK-NEXT: callq __truncdfbf2@PLT ; CHECK-NEXT: callq __truncdfbf2@PLT
; CHECK-NEXT: # kill: def $ax killed $ax def $eax ; CHECK-NEXT: movd %xmm0, %eax
; CHECK-NEXT: shll $16, %eax ; CHECK-NEXT: shll $16, %eax
; CHECK-NEXT: movd %eax, %xmm0 ; CHECK-NEXT: movd %eax, %xmm0
; CHECK-NEXT: addss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Folded Reload ; CHECK-NEXT: addss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Folded Reload
; CHECK-NEXT: cvtss2sd %xmm0, %xmm0 ; CHECK-NEXT: cvtss2sd %xmm0, %xmm0
; CHECK-NEXT: movsd %xmm0, (%r14) ; CHECK-NEXT: movsd %xmm0, (%r14)
; CHECK-NEXT: addq $8, %rsp ; CHECK-NEXT: addq $8, %rsp
; CHECK-NEXT: .cfi_def_cfa_offset 24
; CHECK-NEXT: popq %rbx ; CHECK-NEXT: popq %rbx
; CHECK-NEXT: .cfi_def_cfa_offset 16
; CHECK-NEXT: popq %r14 ; CHECK-NEXT: popq %r14
; CHECK-NEXT: .cfi_def_cfa_offset 8
; CHECK-NEXT: retq ; CHECK-NEXT: retq
%la = load double, ptr %pa %la = load double, ptr %pa
%a = fptrunc double %la to bfloat %a = fptrunc double %la to bfloat
%lb = load double, ptr %pb %lb = load double, ptr %pb
%b = fptrunc double %lb to bfloat %b = fptrunc double %lb to bfloat
%add = fadd bfloat %a, %b %add = fadd bfloat %a, %b
%dadd = fpext bfloat %add to double %dadd = fpext bfloat %add to double
store double %dadd, ptr %pc store double %dadd, ptr %pc
ret void ret void
} }
define void @add_constant(ptr %pa, ptr %pc) { define double @add_double2(double %da, double %db, double %dc) nounwind {
; CHECK-LABEL: add_double2:
; CHECK: # %bb.0:
; CHECK-NEXT: subq $24, %rsp
; CHECK-NEXT: movsd %xmm1, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
; CHECK-NEXT: callq __truncdfbf2@PLT
; CHECK-NEXT: movd %xmm0, %eax
; CHECK-NEXT: shll $16, %eax
; CHECK-NEXT: movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 8-byte Folded Reload
; CHECK-NEXT: # xmm0 = mem[0],zero
; CHECK-NEXT: callq __truncdfbf2@PLT
; CHECK-NEXT: movd %xmm0, %eax
; CHECK-NEXT: shll $16, %eax
; CHECK-NEXT: movd %eax, %xmm0
; CHECK-NEXT: addss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Folded Reload
; CHECK-NEXT: cvtss2sd %xmm0, %xmm0
; CHECK-NEXT: addq $24, %rsp
; CHECK-NEXT: retq
%a = fptrunc double %da to bfloat
%b = fptrunc double %db to bfloat
%add = fadd bfloat %a, %b
%dadd = fpext bfloat %add to double
ret double %dadd
}
define void @add_constant(ptr %pa, ptr %pc) nounwind {
; CHECK-LABEL: add_constant: ; CHECK-LABEL: add_constant:
; CHECK: # %bb.0: ; CHECK: # %bb.0:
; CHECK-NEXT: pushq %rbx ; CHECK-NEXT: pushq %rbx
; CHECK-NEXT: .cfi_def_cfa_offset 16
; CHECK-NEXT: .cfi_offset %rbx, -16
; CHECK-NEXT: movq %rsi, %rbx ; CHECK-NEXT: movq %rsi, %rbx
; CHECK-NEXT: movzwl (%rdi), %eax ; CHECK-NEXT: movzwl (%rdi), %eax
; CHECK-NEXT: shll $16, %eax ; CHECK-NEXT: shll $16, %eax
; CHECK-NEXT: movd %eax, %xmm0 ; CHECK-NEXT: movd %eax, %xmm0
; CHECK-NEXT: addss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0 ; CHECK-NEXT: addss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
; CHECK-NEXT: callq __truncsfbf2@PLT ; CHECK-NEXT: callq __truncsfbf2@PLT
; CHECK-NEXT: movd %xmm0, %eax
; CHECK-NEXT: movw %ax, (%rbx) ; CHECK-NEXT: movw %ax, (%rbx)
; CHECK-NEXT: popq %rbx ; CHECK-NEXT: popq %rbx
; CHECK-NEXT: .cfi_def_cfa_offset 8
; CHECK-NEXT: retq ; CHECK-NEXT: retq
%a = load bfloat, ptr %pa %a = load bfloat, ptr %pa
%add = fadd bfloat %a, 1.0 %add = fadd bfloat %a, 1.0
store bfloat %add, ptr %pc store bfloat %add, ptr %pc
ret void ret void
} }
define void @store_constant(ptr %pc) { define bfloat @add_constant2(bfloat %a) nounwind {
; CHECK-LABEL: add_constant2:
; CHECK: # %bb.0:
; CHECK-NEXT: pushq %rax
; CHECK-NEXT: movd %xmm0, %eax
; CHECK-NEXT: shll $16, %eax
; CHECK-NEXT: movd %eax, %xmm0
; CHECK-NEXT: addss {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0
; CHECK-NEXT: callq __truncsfbf2@PLT
; CHECK-NEXT: popq %rax
; CHECK-NEXT: retq
%add = fadd bfloat %a, 1.0
ret bfloat %add
}
define void @store_constant(ptr %pc) nounwind {
; CHECK-LABEL: store_constant: ; CHECK-LABEL: store_constant:
; CHECK: # %bb.0: ; CHECK: # %bb.0:
; CHECK-NEXT: movw $16256, (%rdi) # imm = 0x3F80 ; CHECK-NEXT: movw $16256, (%rdi) # imm = 0x3F80
; CHECK-NEXT: retq ; CHECK-NEXT: retq
store bfloat 1.0, ptr %pc store bfloat 1.0, ptr %pc
ret void ret void
} }
define void @fold_ext_trunc(ptr %pa, ptr %pc) { define void @fold_ext_trunc(ptr %pa, ptr %pc) nounwind {
; CHECK-LABEL: fold_ext_trunc: ; CHECK-LABEL: fold_ext_trunc:
; CHECK: # %bb.0: ; CHECK: # %bb.0:
; CHECK-NEXT: movzwl (%rdi), %eax ; CHECK-NEXT: movzwl (%rdi), %eax
; CHECK-NEXT: movw %ax, (%rsi) ; CHECK-NEXT: movw %ax, (%rsi)
; CHECK-NEXT: retq ; CHECK-NEXT: retq
%a = load bfloat, ptr %pa %a = load bfloat, ptr %pa
%ext = fpext bfloat %a to float %ext = fpext bfloat %a to float
%trunc = fptrunc float %ext to bfloat %trunc = fptrunc float %ext to bfloat
store bfloat %trunc, ptr %pc store bfloat %trunc, ptr %pc
ret void ret void
} }
define bfloat @fold_ext_trunc2(bfloat %a) nounwind {
; CHECK-LABEL: fold_ext_trunc2:
; CHECK: # %bb.0:
; CHECK-NEXT: retq
%ext = fpext bfloat %a to float
%trunc = fptrunc float %ext to bfloat
ret bfloat %trunc
}