From 90b700daf148404ba34cbdf699eea7bd3f2977de Mon Sep 17 00:00:00 2001 From: Simon Pilgrim Date: Fri, 15 Mar 2019 17:17:37 +0000 Subject: [PATCH] [AArch64] Regenerate build vector tests llvm-svn: 356274 --- llvm/test/CodeGen/AArch64/arm64-build-vector.ll | 57 +++++++++++++++---------- 1 file changed, 35 insertions(+), 22 deletions(-) diff --git a/llvm/test/CodeGen/AArch64/arm64-build-vector.ll b/llvm/test/CodeGen/AArch64/arm64-build-vector.ll index d268f76..a08cb88 100644 --- a/llvm/test/CodeGen/AArch64/arm64-build-vector.ll +++ b/llvm/test/CodeGen/AArch64/arm64-build-vector.ll @@ -1,14 +1,19 @@ -; RUN: llc < %s -mtriple=arm64-eabi -aarch64-neon-syntax=apple | FileCheck %s +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc < %s -mtriple=aarch64-eabi -aarch64-neon-syntax=apple | FileCheck %s ; Check that building a vector from floats doesn't insert an unnecessary ; copy for lane zero. define <4 x float> @foo(float %a, float %b, float %c, float %d) nounwind { ; CHECK-LABEL: foo: -; CHECK-NOT: mov.s v0[0], v0[0] -; CHECK: mov.s v0[1], v1[0] -; CHECK: mov.s v0[2], v2[0] -; CHECK: mov.s v0[3], v3[0] -; CHECK: ret +; CHECK: // %bb.0: +; CHECK-NEXT: // kill: def $s0 killed $s0 def $q0 +; CHECK-NEXT: // kill: def $s1 killed $s1 def $q1 +; CHECK-NEXT: // kill: def $s2 killed $s2 def $q2 +; CHECK-NEXT: // kill: def $s3 killed $s3 def $q3 +; CHECK-NEXT: mov.s v0[1], v1[0] +; CHECK-NEXT: mov.s v0[2], v2[0] +; CHECK-NEXT: mov.s v0[3], v3[0] +; CHECK-NEXT: ret %1 = insertelement <4 x float> undef, float %a, i32 0 %2 = insertelement <4 x float> %1, float %b, i32 1 %3 = insertelement <4 x float> %2, float %c, i32 2 @@ -18,9 +23,11 @@ define <4 x float> @foo(float %a, float %b, float %c, float %d) nounwind { define <8 x i16> @build_all_zero(<8 x i16> %a) #1 { ; CHECK-LABEL: build_all_zero: -; CHECK: mov w[[GREG:[0-9]+]], #44672 -; CHECK-NEXT: fmov s[[FREG:[0-9]+]], w[[GREG]] -; CHECK-NEXT: mul.8h v0, v0, v[[FREG]] +; CHECK: // %bb.0: +; CHECK-NEXT: mov w8, #44672 +; CHECK-NEXT: fmov s1, w8 +; CHECK-NEXT: mul.8h v0, v0, v1 +; CHECK-NEXT: ret %b = add <8 x i16> %a, %c = mul <8 x i16> %b, ret <8 x i16> %c @@ -33,7 +40,9 @@ define <8 x i16> @build_all_zero(<8 x i16> %a) #1 { ; assertion failure. define <8 x i16> @concat_2_build_vector(<4 x i16> %in0) { ; CHECK-LABEL: concat_2_build_vector: -; CHECK: movi +; CHECK: // %bb.0: +; CHECK-NEXT: movi.2d v0, #0000000000000000 +; CHECK-NEXT: ret %vshl_n = shl <4 x i16> %in0, %vshl_n2 = shl <4 x i16> %vshl_n, %shuffle.i = shufflevector <4 x i16> %vshl_n2, <4 x i16> zeroinitializer, <8 x i32> @@ -46,9 +55,11 @@ define <8 x i16> @concat_2_build_vector(<4 x i16> %in0) { ; constant prevents earlier passes from replacing the BUILD_VECTOR. define void @widen_f16_build_vector(half* %addr) { ; CHECK-LABEL: widen_f16_build_vector: -; CHECK: mov w[[GREG:[0-9]+]], #13294 -; CHECK: dup.4h v0, w[[GREG]] -; CHECK: str s0, [x0] +; CHECK: // %bb.0: +; CHECK-NEXT: mov w8, #13294 +; CHECK-NEXT: dup.4h v0, w8 +; CHECK-NEXT: str s0, [x0] +; CHECK-NEXT: ret %1 = bitcast half* %addr to <2 x half>* store <2 x half> , <2 x half>* %1, align 2 ret void @@ -56,21 +67,23 @@ define void @widen_f16_build_vector(half* %addr) { ; Check that a single element vector is constructed with a mov define <1 x i64> @single_element_vector_i64(<1 x i64> %arg) { -; CHECK-LABEL: single_element_vector_i64 -; CHECK: orr w[[GREG:[0-9]+]], wzr, #0x1 -; CHECK: fmov d[[DREG:[0-9]+]], x[[GREG]] -; CHECK: add d0, d0, d[[DREG]] -; CHECK: ret +; CHECK-LABEL: single_element_vector_i64: +; CHECK: // %bb.0: // %entry +; CHECK-NEXT: orr w8, wzr, #0x1 +; CHECK-NEXT: fmov d1, x8 +; CHECK-NEXT: add d0, d0, d1 +; CHECK-NEXT: ret entry: %add = add <1 x i64> %arg, ret <1 x i64> %add } define <1 x double> @single_element_vector_double(<1 x double> %arg) { -; CHECK-LABEL: single_element_vector_double -; CHECK: fmov d[[DREG:[0-9]+]], #1.00000000 -; CHECK: fadd d0, d0, d[[DREG]] -; CHECK: ret +; CHECK-LABEL: single_element_vector_double: +; CHECK: // %bb.0: // %entry +; CHECK-NEXT: fmov d1, #1.00000000 +; CHECK-NEXT: fadd d0, d0, d1 +; CHECK-NEXT: ret entry: %add = fadd <1 x double> %arg, ret <1 x double> %add -- 2.7.4