[AArch64][SVE] Add +fullfp16 to sve-vector-splat.ll
authorCameron McInally <mcinally@cray.com>
Fri, 21 Feb 2020 16:55:25 +0000 (10:55 -0600)
committerCameron McInally <mcinally@cray.com>
Fri, 21 Feb 2020 16:56:39 +0000 (10:56 -0600)
Add +fullfp16 to sve-vector-splat.ll so we can test folding of immediates into moves.

This attribute can go away later when SVE has a full set of fp16 patterns in place.

Differential Revision: https://reviews.llvm.org/D74965

llvm/test/CodeGen/AArch64/sve-vector-splat.ll

index fdb3ee6..dab5405 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: llc -mtriple=aarch64-linux-gnu -mattr=+sve < %s | FileCheck %s
+; RUN: llc -mtriple=aarch64-linux-gnu -mattr=+sve,+fullfp16  < %s | FileCheck %s
 
 ;; Splats of legal integer vector types
 
@@ -190,26 +190,23 @@ define <vscale x 2 x double> @splat_nxv2f64(double %val) {
   ret <vscale x 2 x double> %2
 }
 
-; TODO: The f16 constant should be folded into the move.
 define <vscale x 8 x half> @splat_nxv8f16_zero() {
 ; CHECK-LABEL: splat_nxv8f16_zero:
-; CHECK: mov z0.h, h0
+; CHECK: mov z0.h, #0
 ; CHECK-NEXT: ret
   ret <vscale x 8 x half> zeroinitializer
 }
 
-; TODO: The f16 constant should be folded into the move.
 define <vscale x 4 x half> @splat_nxv4f16_zero() {
 ; CHECK-LABEL: splat_nxv4f16_zero:
-; CHECK: mov z0.h, h0
+; CHECK: mov z0.h, #0
 ; CHECK-NEXT: ret
   ret <vscale x 4 x half> zeroinitializer
 }
 
-; TODO: The f16 constant should be folded into the move.
 define <vscale x 2 x half> @splat_nxv2f16_zero() {
 ; CHECK-LABEL: splat_nxv2f16_zero:
-; CHECK: mov z0.h, h0
+; CHECK: mov z0.h, #0
 ; CHECK-NEXT: ret
   ret <vscale x 2 x half> zeroinitializer
 }