llvm-6502/test/CodeGen/AArch64/fp16-vector-bitcast.ll
Oliver Stannard 5e487f8dc7 Teach the AArch64 backend about v4f16 and v8f16
This teaches the AArch64 backend to deal with the operations required
to deal with the operations on v4f16 and v8f16 which are exposed by
NEON intrinsics, plus the add, sub, mul and div operations.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@216555 91177308-0d34-0410-b5e6-96231b3b80d8
2014-08-27 16:16:04 +00:00

204 lines
4.6 KiB
LLVM

; RUN: llc < %s -mtriple=aarch64-none-eabi | FileCheck %s
define <4 x i16> @v4f16_to_v4i16(float, <4 x half> %a) #0 {
; CHECK-LABEL: v4f16_to_v4i16:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <4 x half> %a to <4 x i16>
ret <4 x i16> %1
}
define <2 x i32> @v4f16_to_v2i32(float, <4 x half> %a) #0 {
; CHECK-LABEL: v4f16_to_v2i32:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <4 x half> %a to <2 x i32>
ret <2 x i32> %1
}
define <1 x i64> @v4f16_to_v1i64(float, <4 x half> %a) #0 {
; CHECK-LABEL: v4f16_to_v1i64:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <4 x half> %a to <1 x i64>
ret <1 x i64> %1
}
define i64 @v4f16_to_i64(float, <4 x half> %a) #0 {
; CHECK-LABEL: v4f16_to_i64:
; CHECK: fmov x0, d1
entry:
%1 = bitcast <4 x half> %a to i64
ret i64 %1
}
define <2 x float> @v4f16_to_v2float(float, <4 x half> %a) #0 {
; CHECK-LABEL: v4f16_to_v2float:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <4 x half> %a to <2 x float>
ret <2 x float> %1
}
define <1 x double> @v4f16_to_v1double(float, <4 x half> %a) #0 {
; CHECK-LABEL: v4f16_to_v1double:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <4 x half> %a to <1 x double>
ret <1 x double> %1
}
define double @v4f16_to_double(float, <4 x half> %a) #0 {
; CHECK-LABEL: v4f16_to_double:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <4 x half> %a to double
ret double %1
}
define <4 x half> @v4i16_to_v4f16(float, <4 x i16> %a) #0 {
; CHECK-LABEL: v4i16_to_v4f16:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <4 x i16> %a to <4 x half>
ret <4 x half> %1
}
define <4 x half> @v2i32_to_v4f16(float, <2 x i32> %a) #0 {
; CHECK-LABEL: v2i32_to_v4f16:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <2 x i32> %a to <4 x half>
ret <4 x half> %1
}
define <4 x half> @v1i64_to_v4f16(float, <1 x i64> %a) #0 {
; CHECK-LABEL: v1i64_to_v4f16:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <1 x i64> %a to <4 x half>
ret <4 x half> %1
}
define <4 x half> @i64_to_v4f16(float, i64 %a) #0 {
; CHECK-LABEL: i64_to_v4f16:
; CHECK: fmov d0, x0
entry:
%1 = bitcast i64 %a to <4 x half>
ret <4 x half> %1
}
define <4 x half> @v2float_to_v4f16(float, <2 x float> %a) #0 {
; CHECK-LABEL: v2float_to_v4f16:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <2 x float> %a to <4 x half>
ret <4 x half> %1
}
define <4 x half> @v1double_to_v4f16(float, <1 x double> %a) #0 {
; CHECK-LABEL: v1double_to_v4f16:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <1 x double> %a to <4 x half>
ret <4 x half> %1
}
define <4 x half> @double_to_v4f16(float, double %a) #0 {
; CHECK-LABEL: double_to_v4f16:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast double %a to <4 x half>
ret <4 x half> %1
}
define <8 x i16> @v8f16_to_v8i16(float, <8 x half> %a) #0 {
; CHECK-LABEL: v8f16_to_v8i16:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <8 x half> %a to <8 x i16>
ret <8 x i16> %1
}
define <4 x i32> @v8f16_to_v4i32(float, <8 x half> %a) #0 {
; CHECK-LABEL: v8f16_to_v4i32:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <8 x half> %a to <4 x i32>
ret <4 x i32> %1
}
define <2 x i64> @v8f16_to_v2i64(float, <8 x half> %a) #0 {
; CHECK-LABEL: v8f16_to_v2i64:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <8 x half> %a to <2 x i64>
ret <2 x i64> %1
}
define <4 x float> @v8f16_to_v4float(float, <8 x half> %a) #0 {
; CHECK-LABEL: v8f16_to_v4float:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <8 x half> %a to <4 x float>
ret <4 x float> %1
}
define <2 x double> @v8f16_to_v2double(float, <8 x half> %a) #0 {
; CHECK-LABEL: v8f16_to_v2double:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <8 x half> %a to <2 x double>
ret <2 x double> %1
}
define <8 x half> @v8i16_to_v8f16(float, <8 x i16> %a) #0 {
; CHECK-LABEL: v8i16_to_v8f16:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <8 x i16> %a to <8 x half>
ret <8 x half> %1
}
define <8 x half> @v4i32_to_v8f16(float, <4 x i32> %a) #0 {
; CHECK-LABEL: v4i32_to_v8f16:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <4 x i32> %a to <8 x half>
ret <8 x half> %1
}
define <8 x half> @v2i64_to_v8f16(float, <2 x i64> %a) #0 {
; CHECK-LABEL: v2i64_to_v8f16:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <2 x i64> %a to <8 x half>
ret <8 x half> %1
}
define <8 x half> @v4float_to_v8f16(float, <4 x float> %a) #0 {
; CHECK-LABEL: v4float_to_v8f16:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <4 x float> %a to <8 x half>
ret <8 x half> %1
}
define <8 x half> @v2double_to_v8f16(float, <2 x double> %a) #0 {
; CHECK-LABEL: v2double_to_v8f16:
; CHECK: mov v0.16b, v1.16b
entry:
%1 = bitcast <2 x double> %a to <8 x half>
ret <8 x half> %1
}