92 lines · c
1// RUN: %clang_cc1 -triple arm64-apple-ios7 -target-feature +neon -ffreestanding -o - -disable-O0-optnone -emit-llvm %s | opt -S -passes=mem2reg | FileCheck %s2 3// Test ARM64 SIMD copy vector element to vector element: vcopyq_lane*4 5// REQUIRES: aarch64-registered-target || arm-registered-target6 7#include <arm_neon.h>8 9// CHECK-LABEL: define{{.*}} <16 x i8> @test_vcopyq_laneq_s8(<16 x i8> noundef %a1, <16 x i8> noundef %a2) #0 {10// CHECK: [[VGETQ_LANE:%.*]] = extractelement <16 x i8> %a2, i32 1311// CHECK: [[VSET_LANE:%.*]] = insertelement <16 x i8> %a1, i8 [[VGETQ_LANE]], i32 312// CHECK: ret <16 x i8> [[VSET_LANE]]13int8x16_t test_vcopyq_laneq_s8(int8x16_t a1, int8x16_t a2) {14 return vcopyq_laneq_s8(a1, (int64_t) 3, a2, (int64_t) 13);15}16 17// CHECK-LABEL: define{{.*}} <16 x i8> @test_vcopyq_laneq_u8(<16 x i8> noundef %a1, <16 x i8> noundef %a2) #0 {18// CHECK: [[VGETQ_LANE:%.*]] = extractelement <16 x i8> %a2, i32 1319// CHECK: [[VSET_LANE:%.*]] = insertelement <16 x i8> %a1, i8 [[VGETQ_LANE]], i32 320// CHECK: ret <16 x i8> [[VSET_LANE]]21uint8x16_t test_vcopyq_laneq_u8(uint8x16_t a1, uint8x16_t a2) {22 return vcopyq_laneq_u8(a1, (int64_t) 3, a2, (int64_t) 13);23 24}25 26// CHECK-LABEL: define{{.*}} <8 x i16> @test_vcopyq_laneq_s16(<8 x i16> noundef %a1, <8 x i16> noundef %a2) #0 {27// CHECK: [[VGETQ_LANE:%.*]] = extractelement <8 x i16> %a2, i32 728// CHECK: [[VSET_LANE:%.*]] = insertelement <8 x i16> %a1, i16 [[VGETQ_LANE]], i32 329// CHECK: ret <8 x i16> [[VSET_LANE]]30int16x8_t test_vcopyq_laneq_s16(int16x8_t a1, int16x8_t a2) {31 return vcopyq_laneq_s16(a1, (int64_t) 3, a2, (int64_t) 7);32 33}34 35// CHECK-LABEL: define{{.*}} <8 x i16> @test_vcopyq_laneq_u16(<8 x i16> noundef %a1, <8 x i16> noundef %a2) #0 {36// CHECK: [[VGETQ_LANE:%.*]] = extractelement <8 x i16> %a2, i32 737// CHECK: [[VSET_LANE:%.*]] = insertelement <8 x i16> %a1, i16 [[VGETQ_LANE]], i32 338// CHECK: ret <8 x i16> [[VSET_LANE]]39uint16x8_t test_vcopyq_laneq_u16(uint16x8_t a1, uint16x8_t a2) {40 return vcopyq_laneq_u16(a1, (int64_t) 3, a2, (int64_t) 7);41 42}43 44// CHECK-LABEL: define{{.*}} <4 x i32> @test_vcopyq_laneq_s32(<4 x i32> noundef %a1, <4 x i32> noundef %a2) #0 {45// CHECK: [[VGETQ_LANE:%.*]] = extractelement <4 x i32> %a2, i32 346// CHECK: [[VSET_LANE:%.*]] = insertelement <4 x i32> %a1, i32 [[VGETQ_LANE]], i32 347// CHECK: ret <4 x i32> [[VSET_LANE]]48int32x4_t test_vcopyq_laneq_s32(int32x4_t a1, int32x4_t a2) {49 return vcopyq_laneq_s32(a1, (int64_t) 3, a2, (int64_t) 3);50}51 52// CHECK-LABEL: define{{.*}} <4 x i32> @test_vcopyq_laneq_u32(<4 x i32> noundef %a1, <4 x i32> noundef %a2) #0 {53// CHECK: [[VGETQ_LANE:%.*]] = extractelement <4 x i32> %a2, i32 354// CHECK: [[VSET_LANE:%.*]] = insertelement <4 x i32> %a1, i32 [[VGETQ_LANE]], i32 355// CHECK: ret <4 x i32> [[VSET_LANE]]56uint32x4_t test_vcopyq_laneq_u32(uint32x4_t a1, uint32x4_t a2) {57 return vcopyq_laneq_u32(a1, (int64_t) 3, a2, (int64_t) 3);58}59 60// CHECK-LABEL: define{{.*}} <2 x i64> @test_vcopyq_laneq_s64(<2 x i64> noundef %a1, <2 x i64> noundef %a2) #0 {61// CHECK: [[VGETQ_LANE:%.*]] = extractelement <2 x i64> %a2, i32 162// CHECK: [[VSET_LANE:%.*]] = insertelement <2 x i64> %a1, i64 [[VGETQ_LANE]], i32 063// CHECK: ret <2 x i64> [[VSET_LANE]]64int64x2_t test_vcopyq_laneq_s64(int64x2_t a1, int64x2_t a2) {65 return vcopyq_laneq_s64(a1, (int64_t) 0, a2, (int64_t) 1);66}67 68// CHECK-LABEL: define{{.*}} <2 x i64> @test_vcopyq_laneq_u64(<2 x i64> noundef %a1, <2 x i64> noundef %a2) #0 {69// CHECK: [[VGETQ_LANE:%.*]] = extractelement <2 x i64> %a2, i32 170// CHECK: [[VSET_LANE:%.*]] = insertelement <2 x i64> %a1, i64 [[VGETQ_LANE]], i32 071// CHECK: ret <2 x i64> [[VSET_LANE]]72uint64x2_t test_vcopyq_laneq_u64(uint64x2_t a1, uint64x2_t a2) {73 return vcopyq_laneq_u64(a1, (int64_t) 0, a2, (int64_t) 1);74}75 76// CHECK-LABEL: define{{.*}} <4 x float> @test_vcopyq_laneq_f32(<4 x float> noundef %a1, <4 x float> noundef %a2) #0 {77// CHECK: [[VGETQ_LANE:%.*]] = extractelement <4 x float> %a2, i32 378// CHECK: [[VSET_LANE:%.*]] = insertelement <4 x float> %a1, float [[VGETQ_LANE]], i32 079// CHECK: ret <4 x float> [[VSET_LANE]]80float32x4_t test_vcopyq_laneq_f32(float32x4_t a1, float32x4_t a2) {81 return vcopyq_laneq_f32(a1, 0, a2, 3);82}83 84// CHECK-LABEL: define{{.*}} <2 x double> @test_vcopyq_laneq_f64(<2 x double> noundef %a1, <2 x double> noundef %a2) #0 {85// CHECK: [[VGETQ_LANE:%.*]] = extractelement <2 x double> %a2, i32 186// CHECK: [[VSET_LANE:%.*]] = insertelement <2 x double> %a1, double [[VGETQ_LANE]], i32 087// CHECK: ret <2 x double> [[VSET_LANE]]88float64x2_t test_vcopyq_laneq_f64(float64x2_t a1, float64x2_t a2) {89 return vcopyq_laneq_f64(a1, 0, a2, 1);90}91 92