; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -verify-machineinstrs -mtriple=aarch64-none-linux-gnu -mattr=+neon -fp-contract=fast | FileCheck %s

; This is testing that we can scalarize the v1f16 input to fp_extend even
; though the v1f64 result is legal.

define <1 x double> @fpext_v1f16_v1f64(<1 x half>* %a) {
; CHECK-LABEL: fpext_v1f16_v1f64:
; CHECK:       // %bb.0:
; CHECK-NEXT:    ldr h0, [x0]
; CHECK-NEXT:    fcvt d0, h0
; CHECK-NEXT:    ret
  %b = load <1 x half>, <1 x half>* %a
  %c = fpext <1 x half> %b to <1 x double>
  ret <1 x double> %c
}

define <1 x double> @strict_fpext_v1f32_v1f64(<1 x half> %x) #0 {
; CHECK-LABEL: strict_fpext_v1f32_v1f64:
; CHECK:       // %bb.0:
; CHECK-NEXT:    fcvt d0, h0
; CHECK-NEXT:    ret
  %val = call <1 x double> @llvm.experimental.constrained.fpext.v1f64.v1f16(<1 x half> %x, metadata !"fpexcept.strict") strictfp
  ret <1 x double> %val
}
declare <1 x double> @llvm.experimental.constrained.fpext.v1f64.v1f16(<1 x half>, metadata)