| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc < %s -mtriple=i686-linux-gnu | FileCheck %s --check-prefix=X32-NOF16C |
| ; RUN: llc < %s -mtriple=i686-linux-gnu -mattr=f16c | FileCheck %s --check-prefix=X32-F16C |
| ; RUN: llc < %s -mtriple=x86_64-linux-gnu | FileCheck %s --check-prefix=X64-NOF16C |
| ; RUN: llc < %s -mtriple=x86_64-linux-gnu -mattr=f16c | FileCheck %s --check-prefix=X64-F16C |
| |
| @a = global half 0xH0000, align 2 |
| @b = global half 0xH0000, align 2 |
| @c = global half 0xH0000, align 2 |
| |
| define float @half_to_float() strictfp { |
| ; X32-NOF16C-LABEL: half_to_float: |
| ; X32-NOF16C: # %bb.0: |
| ; X32-NOF16C-NEXT: subl $12, %esp |
| ; X32-NOF16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X32-NOF16C-NEXT: movzwl a, %eax |
| ; X32-NOF16C-NEXT: movl %eax, (%esp) |
| ; X32-NOF16C-NEXT: calll __gnu_h2f_ieee |
| ; X32-NOF16C-NEXT: addl $12, %esp |
| ; X32-NOF16C-NEXT: .cfi_def_cfa_offset 4 |
| ; X32-NOF16C-NEXT: retl |
| ; |
| ; X32-F16C-LABEL: half_to_float: |
| ; X32-F16C: # %bb.0: |
| ; X32-F16C-NEXT: pushl %eax |
| ; X32-F16C-NEXT: .cfi_def_cfa_offset 8 |
| ; X32-F16C-NEXT: movzwl a, %eax |
| ; X32-F16C-NEXT: vmovd %eax, %xmm0 |
| ; X32-F16C-NEXT: vcvtph2ps %xmm0, %xmm0 |
| ; X32-F16C-NEXT: vmovss %xmm0, (%esp) |
| ; X32-F16C-NEXT: flds (%esp) |
| ; X32-F16C-NEXT: wait |
| ; X32-F16C-NEXT: popl %eax |
| ; X32-F16C-NEXT: .cfi_def_cfa_offset 4 |
| ; X32-F16C-NEXT: retl |
| ; |
| ; X64-NOF16C-LABEL: half_to_float: |
| ; X64-NOF16C: # %bb.0: |
| ; X64-NOF16C-NEXT: pushq %rax |
| ; X64-NOF16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X64-NOF16C-NEXT: movq a@GOTPCREL(%rip), %rax |
| ; X64-NOF16C-NEXT: pinsrw $0, (%rax), %xmm0 |
| ; X64-NOF16C-NEXT: callq __extendhfsf2@PLT |
| ; X64-NOF16C-NEXT: popq %rax |
| ; X64-NOF16C-NEXT: .cfi_def_cfa_offset 8 |
| ; X64-NOF16C-NEXT: retq |
| ; |
| ; X64-F16C-LABEL: half_to_float: |
| ; X64-F16C: # %bb.0: |
| ; X64-F16C-NEXT: movq a@GOTPCREL(%rip), %rax |
| ; X64-F16C-NEXT: movzwl (%rax), %eax |
| ; X64-F16C-NEXT: vmovd %eax, %xmm0 |
| ; X64-F16C-NEXT: vcvtph2ps %xmm0, %xmm0 |
| ; X64-F16C-NEXT: retq |
| %1 = load half, ptr @a, align 2 |
| %2 = tail call float @llvm.experimental.constrained.fpext.f32.f16(half %1, metadata !"fpexcept.strict") #0 |
| ret float %2 |
| } |
| |
| define double @half_to_double() strictfp { |
| ; X32-NOF16C-LABEL: half_to_double: |
| ; X32-NOF16C: # %bb.0: |
| ; X32-NOF16C-NEXT: subl $12, %esp |
| ; X32-NOF16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X32-NOF16C-NEXT: movzwl a, %eax |
| ; X32-NOF16C-NEXT: movl %eax, (%esp) |
| ; X32-NOF16C-NEXT: calll __gnu_h2f_ieee |
| ; X32-NOF16C-NEXT: addl $12, %esp |
| ; X32-NOF16C-NEXT: .cfi_def_cfa_offset 4 |
| ; X32-NOF16C-NEXT: retl |
| ; |
| ; X32-F16C-LABEL: half_to_double: |
| ; X32-F16C: # %bb.0: |
| ; X32-F16C-NEXT: subl $12, %esp |
| ; X32-F16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X32-F16C-NEXT: movzwl a, %eax |
| ; X32-F16C-NEXT: vmovd %eax, %xmm0 |
| ; X32-F16C-NEXT: vcvtph2ps %xmm0, %xmm0 |
| ; X32-F16C-NEXT: vcvtss2sd %xmm0, %xmm0, %xmm0 |
| ; X32-F16C-NEXT: vmovsd %xmm0, (%esp) |
| ; X32-F16C-NEXT: fldl (%esp) |
| ; X32-F16C-NEXT: wait |
| ; X32-F16C-NEXT: addl $12, %esp |
| ; X32-F16C-NEXT: .cfi_def_cfa_offset 4 |
| ; X32-F16C-NEXT: retl |
| ; |
| ; X64-NOF16C-LABEL: half_to_double: |
| ; X64-NOF16C: # %bb.0: |
| ; X64-NOF16C-NEXT: pushq %rax |
| ; X64-NOF16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X64-NOF16C-NEXT: movq a@GOTPCREL(%rip), %rax |
| ; X64-NOF16C-NEXT: pinsrw $0, (%rax), %xmm0 |
| ; X64-NOF16C-NEXT: callq __extendhfsf2@PLT |
| ; X64-NOF16C-NEXT: cvtss2sd %xmm0, %xmm0 |
| ; X64-NOF16C-NEXT: popq %rax |
| ; X64-NOF16C-NEXT: .cfi_def_cfa_offset 8 |
| ; X64-NOF16C-NEXT: retq |
| ; |
| ; X64-F16C-LABEL: half_to_double: |
| ; X64-F16C: # %bb.0: |
| ; X64-F16C-NEXT: movq a@GOTPCREL(%rip), %rax |
| ; X64-F16C-NEXT: movzwl (%rax), %eax |
| ; X64-F16C-NEXT: vmovd %eax, %xmm0 |
| ; X64-F16C-NEXT: vcvtph2ps %xmm0, %xmm0 |
| ; X64-F16C-NEXT: vcvtss2sd %xmm0, %xmm0, %xmm0 |
| ; X64-F16C-NEXT: retq |
| %1 = load half, ptr @a, align 2 |
| %2 = tail call double @llvm.experimental.constrained.fpext.f64.f16(half %1, metadata !"fpexcept.strict") #0 |
| ret double %2 |
| } |
| |
| define x86_fp80 @half_to_fp80() strictfp { |
| ; X32-NOF16C-LABEL: half_to_fp80: |
| ; X32-NOF16C: # %bb.0: |
| ; X32-NOF16C-NEXT: subl $12, %esp |
| ; X32-NOF16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X32-NOF16C-NEXT: movzwl a, %eax |
| ; X32-NOF16C-NEXT: movl %eax, (%esp) |
| ; X32-NOF16C-NEXT: calll __gnu_h2f_ieee |
| ; X32-NOF16C-NEXT: addl $12, %esp |
| ; X32-NOF16C-NEXT: .cfi_def_cfa_offset 4 |
| ; X32-NOF16C-NEXT: retl |
| ; |
| ; X32-F16C-LABEL: half_to_fp80: |
| ; X32-F16C: # %bb.0: |
| ; X32-F16C-NEXT: subl $12, %esp |
| ; X32-F16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X32-F16C-NEXT: vpinsrw $0, a, %xmm0, %xmm0 |
| ; X32-F16C-NEXT: vpextrw $0, %xmm0, (%esp) |
| ; X32-F16C-NEXT: calll __extendhfxf2 |
| ; X32-F16C-NEXT: addl $12, %esp |
| ; X32-F16C-NEXT: .cfi_def_cfa_offset 4 |
| ; X32-F16C-NEXT: retl |
| ; |
| ; X64-NOF16C-LABEL: half_to_fp80: |
| ; X64-NOF16C: # %bb.0: |
| ; X64-NOF16C-NEXT: pushq %rax |
| ; X64-NOF16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X64-NOF16C-NEXT: movq a@GOTPCREL(%rip), %rax |
| ; X64-NOF16C-NEXT: pinsrw $0, (%rax), %xmm0 |
| ; X64-NOF16C-NEXT: callq __extendhfxf2@PLT |
| ; X64-NOF16C-NEXT: popq %rax |
| ; X64-NOF16C-NEXT: .cfi_def_cfa_offset 8 |
| ; X64-NOF16C-NEXT: retq |
| ; |
| ; X64-F16C-LABEL: half_to_fp80: |
| ; X64-F16C: # %bb.0: |
| ; X64-F16C-NEXT: pushq %rax |
| ; X64-F16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X64-F16C-NEXT: movq a@GOTPCREL(%rip), %rax |
| ; X64-F16C-NEXT: vpinsrw $0, (%rax), %xmm0, %xmm0 |
| ; X64-F16C-NEXT: callq __extendhfxf2@PLT |
| ; X64-F16C-NEXT: popq %rax |
| ; X64-F16C-NEXT: .cfi_def_cfa_offset 8 |
| ; X64-F16C-NEXT: retq |
| %1 = load half, ptr @a, align 2 |
| %2 = tail call x86_fp80 @llvm.experimental.constrained.fpext.f80.f16(half %1, metadata !"fpexcept.strict") #0 |
| ret x86_fp80 %2 |
| } |
| |
| define void @float_to_half(float %0) strictfp { |
| ; X32-NOF16C-LABEL: float_to_half: |
| ; X32-NOF16C: # %bb.0: |
| ; X32-NOF16C-NEXT: subl $12, %esp |
| ; X32-NOF16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X32-NOF16C-NEXT: flds {{[0-9]+}}(%esp) |
| ; X32-NOF16C-NEXT: fstps (%esp) |
| ; X32-NOF16C-NEXT: wait |
| ; X32-NOF16C-NEXT: calll __gnu_f2h_ieee |
| ; X32-NOF16C-NEXT: movw %ax, a |
| ; X32-NOF16C-NEXT: addl $12, %esp |
| ; X32-NOF16C-NEXT: .cfi_def_cfa_offset 4 |
| ; X32-NOF16C-NEXT: retl |
| ; |
| ; X32-F16C-LABEL: float_to_half: |
| ; X32-F16C: # %bb.0: |
| ; X32-F16C-NEXT: vmovss {{.*#+}} xmm0 = mem[0],zero,zero,zero |
| ; X32-F16C-NEXT: vcvtps2ph $4, %xmm0, %xmm0 |
| ; X32-F16C-NEXT: vmovd %xmm0, %eax |
| ; X32-F16C-NEXT: movw %ax, a |
| ; X32-F16C-NEXT: retl |
| ; |
| ; X64-NOF16C-LABEL: float_to_half: |
| ; X64-NOF16C: # %bb.0: |
| ; X64-NOF16C-NEXT: pushq %rax |
| ; X64-NOF16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X64-NOF16C-NEXT: callq __truncsfhf2@PLT |
| ; X64-NOF16C-NEXT: pextrw $0, %xmm0, %eax |
| ; X64-NOF16C-NEXT: movq a@GOTPCREL(%rip), %rcx |
| ; X64-NOF16C-NEXT: movw %ax, (%rcx) |
| ; X64-NOF16C-NEXT: popq %rax |
| ; X64-NOF16C-NEXT: .cfi_def_cfa_offset 8 |
| ; X64-NOF16C-NEXT: retq |
| ; |
| ; X64-F16C-LABEL: float_to_half: |
| ; X64-F16C: # %bb.0: |
| ; X64-F16C-NEXT: vxorps %xmm1, %xmm1, %xmm1 |
| ; X64-F16C-NEXT: vblendps {{.*#+}} xmm0 = xmm0[0],xmm1[1,2,3] |
| ; X64-F16C-NEXT: vcvtps2ph $4, %xmm0, %xmm0 |
| ; X64-F16C-NEXT: vmovd %xmm0, %eax |
| ; X64-F16C-NEXT: movq a@GOTPCREL(%rip), %rcx |
| ; X64-F16C-NEXT: movw %ax, (%rcx) |
| ; X64-F16C-NEXT: retq |
| %2 = tail call half @llvm.experimental.constrained.fptrunc.f16.f32(float %0, metadata !"round.tonearest", metadata !"fpexcept.strict") #0 |
| store half %2, ptr @a, align 2 |
| ret void |
| } |
| |
| define void @double_to_half(double %0) strictfp { |
| ; X32-NOF16C-LABEL: double_to_half: |
| ; X32-NOF16C: # %bb.0: |
| ; X32-NOF16C-NEXT: subl $12, %esp |
| ; X32-NOF16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X32-NOF16C-NEXT: fldl {{[0-9]+}}(%esp) |
| ; X32-NOF16C-NEXT: fstpl (%esp) |
| ; X32-NOF16C-NEXT: wait |
| ; X32-NOF16C-NEXT: calll __truncdfhf2 |
| ; X32-NOF16C-NEXT: movw %ax, a |
| ; X32-NOF16C-NEXT: addl $12, %esp |
| ; X32-NOF16C-NEXT: .cfi_def_cfa_offset 4 |
| ; X32-NOF16C-NEXT: retl |
| ; |
| ; X32-F16C-LABEL: double_to_half: |
| ; X32-F16C: # %bb.0: |
| ; X32-F16C-NEXT: subl $12, %esp |
| ; X32-F16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X32-F16C-NEXT: vmovq {{.*#+}} xmm0 = mem[0],zero |
| ; X32-F16C-NEXT: vmovq %xmm0, (%esp) |
| ; X32-F16C-NEXT: calll __truncdfhf2 |
| ; X32-F16C-NEXT: vpextrw $0, %xmm0, a |
| ; X32-F16C-NEXT: addl $12, %esp |
| ; X32-F16C-NEXT: .cfi_def_cfa_offset 4 |
| ; X32-F16C-NEXT: retl |
| ; |
| ; X64-NOF16C-LABEL: double_to_half: |
| ; X64-NOF16C: # %bb.0: |
| ; X64-NOF16C-NEXT: pushq %rax |
| ; X64-NOF16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X64-NOF16C-NEXT: callq __truncdfhf2@PLT |
| ; X64-NOF16C-NEXT: pextrw $0, %xmm0, %eax |
| ; X64-NOF16C-NEXT: movq a@GOTPCREL(%rip), %rcx |
| ; X64-NOF16C-NEXT: movw %ax, (%rcx) |
| ; X64-NOF16C-NEXT: popq %rax |
| ; X64-NOF16C-NEXT: .cfi_def_cfa_offset 8 |
| ; X64-NOF16C-NEXT: retq |
| ; |
| ; X64-F16C-LABEL: double_to_half: |
| ; X64-F16C: # %bb.0: |
| ; X64-F16C-NEXT: pushq %rax |
| ; X64-F16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X64-F16C-NEXT: callq __truncdfhf2@PLT |
| ; X64-F16C-NEXT: movq a@GOTPCREL(%rip), %rax |
| ; X64-F16C-NEXT: vpextrw $0, %xmm0, (%rax) |
| ; X64-F16C-NEXT: popq %rax |
| ; X64-F16C-NEXT: .cfi_def_cfa_offset 8 |
| ; X64-F16C-NEXT: retq |
| %2 = tail call half @llvm.experimental.constrained.fptrunc.f16.f64(double %0, metadata !"round.tonearest", metadata !"fpexcept.strict") #0 |
| store half %2, ptr @a, align 2 |
| ret void |
| } |
| |
| define void @fp80_to_half(x86_fp80 %0) strictfp { |
| ; X32-NOF16C-LABEL: fp80_to_half: |
| ; X32-NOF16C: # %bb.0: |
| ; X32-NOF16C-NEXT: subl $12, %esp |
| ; X32-NOF16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X32-NOF16C-NEXT: fldt {{[0-9]+}}(%esp) |
| ; X32-NOF16C-NEXT: fstpt (%esp) |
| ; X32-NOF16C-NEXT: wait |
| ; X32-NOF16C-NEXT: calll __truncxfhf2 |
| ; X32-NOF16C-NEXT: movw %ax, a |
| ; X32-NOF16C-NEXT: addl $12, %esp |
| ; X32-NOF16C-NEXT: .cfi_def_cfa_offset 4 |
| ; X32-NOF16C-NEXT: retl |
| ; |
| ; X32-F16C-LABEL: fp80_to_half: |
| ; X32-F16C: # %bb.0: |
| ; X32-F16C-NEXT: subl $12, %esp |
| ; X32-F16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X32-F16C-NEXT: fldt {{[0-9]+}}(%esp) |
| ; X32-F16C-NEXT: fstpt (%esp) |
| ; X32-F16C-NEXT: wait |
| ; X32-F16C-NEXT: calll __truncxfhf2 |
| ; X32-F16C-NEXT: vpextrw $0, %xmm0, a |
| ; X32-F16C-NEXT: addl $12, %esp |
| ; X32-F16C-NEXT: .cfi_def_cfa_offset 4 |
| ; X32-F16C-NEXT: retl |
| ; |
| ; X64-NOF16C-LABEL: fp80_to_half: |
| ; X64-NOF16C: # %bb.0: |
| ; X64-NOF16C-NEXT: subq $24, %rsp |
| ; X64-NOF16C-NEXT: .cfi_def_cfa_offset 32 |
| ; X64-NOF16C-NEXT: fldt {{[0-9]+}}(%rsp) |
| ; X64-NOF16C-NEXT: fstpt (%rsp) |
| ; X64-NOF16C-NEXT: wait |
| ; X64-NOF16C-NEXT: callq __truncxfhf2@PLT |
| ; X64-NOF16C-NEXT: pextrw $0, %xmm0, %eax |
| ; X64-NOF16C-NEXT: movq a@GOTPCREL(%rip), %rcx |
| ; X64-NOF16C-NEXT: movw %ax, (%rcx) |
| ; X64-NOF16C-NEXT: addq $24, %rsp |
| ; X64-NOF16C-NEXT: .cfi_def_cfa_offset 8 |
| ; X64-NOF16C-NEXT: retq |
| ; |
| ; X64-F16C-LABEL: fp80_to_half: |
| ; X64-F16C: # %bb.0: |
| ; X64-F16C-NEXT: subq $24, %rsp |
| ; X64-F16C-NEXT: .cfi_def_cfa_offset 32 |
| ; X64-F16C-NEXT: fldt {{[0-9]+}}(%rsp) |
| ; X64-F16C-NEXT: fstpt (%rsp) |
| ; X64-F16C-NEXT: wait |
| ; X64-F16C-NEXT: callq __truncxfhf2@PLT |
| ; X64-F16C-NEXT: movq a@GOTPCREL(%rip), %rax |
| ; X64-F16C-NEXT: vpextrw $0, %xmm0, (%rax) |
| ; X64-F16C-NEXT: addq $24, %rsp |
| ; X64-F16C-NEXT: .cfi_def_cfa_offset 8 |
| ; X64-F16C-NEXT: retq |
| %2 = tail call half @llvm.experimental.constrained.fptrunc.f16.f80(x86_fp80 %0, metadata !"round.tonearest", metadata !"fpexcept.strict") #0 |
| store half %2, ptr @a, align 2 |
| ret void |
| } |
| |
| define void @add() strictfp { |
| ; X32-NOF16C-LABEL: add: |
| ; X32-NOF16C: # %bb.0: |
| ; X32-NOF16C-NEXT: subl $12, %esp |
| ; X32-NOF16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X32-NOF16C-NEXT: movzwl a, %eax |
| ; X32-NOF16C-NEXT: movl %eax, (%esp) |
| ; X32-NOF16C-NEXT: calll __gnu_h2f_ieee |
| ; X32-NOF16C-NEXT: fstps {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Spill |
| ; X32-NOF16C-NEXT: wait |
| ; X32-NOF16C-NEXT: movzwl b, %eax |
| ; X32-NOF16C-NEXT: movl %eax, (%esp) |
| ; X32-NOF16C-NEXT: calll __gnu_h2f_ieee |
| ; X32-NOF16C-NEXT: flds {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Folded Reload |
| ; X32-NOF16C-NEXT: faddp %st, %st(1) |
| ; X32-NOF16C-NEXT: fstps (%esp) |
| ; X32-NOF16C-NEXT: wait |
| ; X32-NOF16C-NEXT: calll __gnu_f2h_ieee |
| ; X32-NOF16C-NEXT: movw %ax, c |
| ; X32-NOF16C-NEXT: addl $12, %esp |
| ; X32-NOF16C-NEXT: .cfi_def_cfa_offset 4 |
| ; X32-NOF16C-NEXT: retl |
| ; |
| ; X32-F16C-LABEL: add: |
| ; X32-F16C: # %bb.0: |
| ; X32-F16C-NEXT: movzwl a, %eax |
| ; X32-F16C-NEXT: vmovd %eax, %xmm0 |
| ; X32-F16C-NEXT: vcvtph2ps %xmm0, %xmm0 |
| ; X32-F16C-NEXT: movzwl b, %eax |
| ; X32-F16C-NEXT: vmovd %eax, %xmm1 |
| ; X32-F16C-NEXT: vcvtph2ps %xmm1, %xmm1 |
| ; X32-F16C-NEXT: vaddss %xmm1, %xmm0, %xmm0 |
| ; X32-F16C-NEXT: vxorps %xmm1, %xmm1, %xmm1 |
| ; X32-F16C-NEXT: vblendps {{.*#+}} xmm0 = xmm0[0],xmm1[1,2,3] |
| ; X32-F16C-NEXT: vcvtps2ph $4, %xmm0, %xmm0 |
| ; X32-F16C-NEXT: vmovd %xmm0, %eax |
| ; X32-F16C-NEXT: movw %ax, c |
| ; X32-F16C-NEXT: retl |
| ; |
| ; X64-NOF16C-LABEL: add: |
| ; X64-NOF16C: # %bb.0: |
| ; X64-NOF16C-NEXT: pushq %rax |
| ; X64-NOF16C-NEXT: .cfi_def_cfa_offset 16 |
| ; X64-NOF16C-NEXT: movq a@GOTPCREL(%rip), %rax |
| ; X64-NOF16C-NEXT: pinsrw $0, (%rax), %xmm0 |
| ; X64-NOF16C-NEXT: callq __extendhfsf2@PLT |
| ; X64-NOF16C-NEXT: movd %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Folded Spill |
| ; X64-NOF16C-NEXT: movq b@GOTPCREL(%rip), %rax |
| ; X64-NOF16C-NEXT: pinsrw $0, (%rax), %xmm0 |
| ; X64-NOF16C-NEXT: callq __extendhfsf2@PLT |
| ; X64-NOF16C-NEXT: addss {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 4-byte Folded Reload |
| ; X64-NOF16C-NEXT: callq __truncsfhf2@PLT |
| ; X64-NOF16C-NEXT: pextrw $0, %xmm0, %eax |
| ; X64-NOF16C-NEXT: movq c@GOTPCREL(%rip), %rcx |
| ; X64-NOF16C-NEXT: movw %ax, (%rcx) |
| ; X64-NOF16C-NEXT: popq %rax |
| ; X64-NOF16C-NEXT: .cfi_def_cfa_offset 8 |
| ; X64-NOF16C-NEXT: retq |
| ; |
| ; X64-F16C-LABEL: add: |
| ; X64-F16C: # %bb.0: |
| ; X64-F16C-NEXT: movq a@GOTPCREL(%rip), %rax |
| ; X64-F16C-NEXT: movzwl (%rax), %eax |
| ; X64-F16C-NEXT: vmovd %eax, %xmm0 |
| ; X64-F16C-NEXT: vcvtph2ps %xmm0, %xmm0 |
| ; X64-F16C-NEXT: movq b@GOTPCREL(%rip), %rax |
| ; X64-F16C-NEXT: movzwl (%rax), %eax |
| ; X64-F16C-NEXT: vmovd %eax, %xmm1 |
| ; X64-F16C-NEXT: vcvtph2ps %xmm1, %xmm1 |
| ; X64-F16C-NEXT: vaddss %xmm1, %xmm0, %xmm0 |
| ; X64-F16C-NEXT: vxorps %xmm1, %xmm1, %xmm1 |
| ; X64-F16C-NEXT: vblendps {{.*#+}} xmm0 = xmm0[0],xmm1[1,2,3] |
| ; X64-F16C-NEXT: vcvtps2ph $4, %xmm0, %xmm0 |
| ; X64-F16C-NEXT: vmovd %xmm0, %eax |
| ; X64-F16C-NEXT: movq c@GOTPCREL(%rip), %rcx |
| ; X64-F16C-NEXT: movw %ax, (%rcx) |
| ; X64-F16C-NEXT: retq |
| %1 = load half, ptr @a, align 2 |
| %2 = tail call float @llvm.experimental.constrained.fpext.f32.f16(half %1, metadata !"fpexcept.strict") #0 |
| %3 = load half, ptr @b, align 2 |
| %4 = tail call float @llvm.experimental.constrained.fpext.f32.f16(half %3, metadata !"fpexcept.strict") #0 |
| %5 = tail call float @llvm.experimental.constrained.fadd.f32(float %2, float %4, metadata !"round.tonearest", metadata !"fpexcept.strict") #0 |
| %6 = tail call half @llvm.experimental.constrained.fptrunc.f16.f32(float %5, metadata !"round.tonearest", metadata !"fpexcept.strict") #0 |
| store half %6, ptr @c, align 2 |
| ret void |
| } |
| |
| declare float @llvm.experimental.constrained.fpext.f32.f16(half, metadata) |
| declare double @llvm.experimental.constrained.fpext.f64.f16(half, metadata) |
| declare x86_fp80 @llvm.experimental.constrained.fpext.f80.f16(half, metadata) |
| declare float @llvm.experimental.constrained.fadd.f32(float, float, metadata, metadata) |
| declare half @llvm.experimental.constrained.fptrunc.f16.f32(float, metadata, metadata) |
| declare half @llvm.experimental.constrained.fptrunc.f16.f64(double, metadata, metadata) |
| declare half @llvm.experimental.constrained.fptrunc.f16.f80(x86_fp80, metadata, metadata) |
| |
| attributes #0 = { strictfp } |
| |
