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 7define <1 x double> @fpext_v1f16_v1f64(<1 x half>* %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>, <1 x half>* %a 14 %c = fpext <1 x half> %b to <1 x double> 15 ret <1 x double> %c 16} 17 18define <1 x double> @strict_fpext_v1f32_v1f64(<1 x half> %x) #0 { 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} 26declare <1 x double> @llvm.experimental.constrained.fpext.v1f64.v1f16(<1 x half>, metadata) 27