llvm/test/CodeGen/AArch64/neon-fpextend_f16.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -verify-machineinstrs -mtriple=aarch64-none-linux-gnu -mattr=+neon -fp-contract=fast | FileCheck %s
   3
   4 ; This is testing that we can scalarize the v1f16 input to fp_extend even
   5 ; though the v1f64 result is legal.
   6
   7 define <1 x double> @fpext_v1f16_v1f64(ptr %a) {
   8 ; CHECK-LABEL: fpext_v1f16_v1f64:
   9 ; CHECK:       // %bb.0:
  10 ; CHECK-NEXT:    ldr h0, [x0]
  11 ; CHECK-NEXT:    fcvt d0, h0
  12 ; CHECK-NEXT:    ret
  13   %b = load <1 x half>, ptr %a
  14   %c = fpext <1 x half> %b to <1 x double>
  15   ret <1 x double> %c
  16 }
  17
  18 define <1 x double> @strict_fpext_v1f32_v1f64(<1 x half> %x) strictfp {
  19 ; CHECK-LABEL: strict_fpext_v1f32_v1f64:
  20 ; CHECK:       // %bb.0:
  21 ; CHECK-NEXT:    fcvt d0, h0
  22 ; CHECK-NEXT:    ret
  23   %val = call <1 x double> @llvm.experimental.constrained.fpext.v1f64.v1f16(<1 x half> %x, metadata !"fpexcept.strict") strictfp
  24   ret <1 x double> %val
  25 }
  26 declare <1 x double> @llvm.experimental.constrained.fpext.v1f64.v1f16(<1 x half>, metadata)