27 lines
1.0 KiB
LLVM
27 lines
1.0 KiB
LLVM
; 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)
|