27 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -verify-machineinstrs -mtriple=aarch64-none-linux-gnu -mattr=+neon -fp-contract=fast | FileCheck %s3 4; This is testing that we can scalarize the v1f16 input to fp_extend even5; though the v1f64 result is legal.6 7define <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, h012; CHECK-NEXT: ret13 %b = load <1 x half>, ptr %a14 %c = fpext <1 x half> %b to <1 x double>15 ret <1 x double> %c16}17 18define <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, h022; CHECK-NEXT: ret23 %val = call <1 x double> @llvm.experimental.constrained.fpext.v1f64.v1f16(<1 x half> %x, metadata !"fpexcept.strict") strictfp24 ret <1 x double> %val25}26declare <1 x double> @llvm.experimental.constrained.fpext.v1f64.v1f16(<1 x half>, metadata)27