1; RUN: llc -mtriple=aarch64-none-linux-gnu -mattr=+neon < %s | FileCheck %s --check-prefix=CHECK
2
3
4define float @test_dup_sv2S(<2 x float> %v) {
5 ; CHECK-LABEL: test_dup_sv2S
6 ; CHECK: ins {{v[0-9]+}}.s[0], {{v[0-9]+}}.s[1]
7 %tmp1 = extractelement <2 x float> %v, i32 1
8 ret float  %tmp1
9}
10
11define float @test_dup_sv2S_0(<2 x float> %v) {
12 ; CHECK-LABEL: test_dup_sv2S_0
13 ; CHECK-NOT: dup {{[vsd][0-9]+}}
14 ; CHECK-NOT: ins {{[vsd][0-9]+}}
15 ; CHECK: ret
16 %tmp1 = extractelement <2 x float> %v, i32 0
17 ret float  %tmp1
18}
19
20define float @test_dup_sv4S(<4 x float> %v) {
21 ; CHECK-LABEL: test_dup_sv4S
22 ; CHECK-NOT: dup {{[vsd][0-9]+}}
23 ; CHECK-NOT: ins {{[vsd][0-9]+}}
24 ; CHECK: ret
25 %tmp1 = extractelement <4 x float> %v, i32 0
26 ret float  %tmp1
27}
28
29define double @test_dup_dvD(<1 x double> %v) {
30 ; CHECK-LABEL: test_dup_dvD
31 ; CHECK-NOT: dup {{[vsd][0-9]+}}
32 ; CHECK-NOT: ins {{[vsd][0-9]+}}
33 ; CHECK: ret
34 %tmp1 = extractelement <1 x double> %v, i32 0
35 ret double  %tmp1
36}
37
38define double @test_dup_dv2D(<2 x double> %v) {
39 ; CHECK-LABEL: test_dup_dv2D
40 ; CHECK: ins {{v[0-9]+}}.d[0], {{v[0-9]+}}.d[1]
41 %tmp1 = extractelement <2 x double> %v, i32 1
42 ret double  %tmp1
43}
44
45define double @test_dup_dv2D_0(<2 x double> %v) {
46 ; CHECK-LABEL: test_dup_dv2D_0
47 ; CHECK: ins {{v[0-9]+}}.d[0], {{v[0-9]+}}.d[1]
48 ; CHECK: ret
49 %tmp1 = extractelement <2 x double> %v, i32 1
50 ret double  %tmp1
51}
52
53define <1 x i8> @test_vector_dup_bv16B(<16 x i8> %v1) {
54 ; CHECK-LABEL: test_vector_dup_bv16B
55 %shuffle.i = shufflevector <16 x i8> %v1, <16 x i8> undef, <1 x i32> <i32 14>
56 ret <1 x i8> %shuffle.i
57}
58
59define <1 x i8> @test_vector_dup_bv8B(<8 x i8> %v1) {
60 ; CHECK-LABEL: test_vector_dup_bv8B
61 %shuffle.i = shufflevector <8 x i8> %v1, <8 x i8> undef, <1 x i32> <i32 7>
62 ret <1 x i8> %shuffle.i
63}
64
65define <1 x i16> @test_vector_dup_hv8H(<8 x i16> %v1) {
66 ; CHECK-LABEL: test_vector_dup_hv8H
67 %shuffle.i = shufflevector <8 x i16> %v1, <8 x i16> undef, <1 x i32> <i32 7>
68 ret <1 x i16> %shuffle.i
69}
70
71define <1 x i16> @test_vector_dup_hv4H(<4 x i16> %v1) {
72 ; CHECK-LABEL: test_vector_dup_hv4H
73 %shuffle.i = shufflevector <4 x i16> %v1, <4 x i16> undef, <1 x i32> <i32 3>
74 ret <1 x i16> %shuffle.i
75}
76
77define <1 x i32> @test_vector_dup_sv4S(<4 x i32> %v1) {
78 ; CHECK-LABEL: test_vector_dup_sv4S
79 %shuffle = shufflevector <4 x i32> %v1, <4 x i32> undef, <1 x i32> <i32 3>
80 ret <1 x i32> %shuffle
81}
82
83define <1 x i32> @test_vector_dup_sv2S(<2 x i32> %v1) {
84 ; CHECK-LABEL: test_vector_dup_sv2S
85 %shuffle = shufflevector <2 x i32> %v1, <2 x i32> undef, <1 x i32> <i32 1>
86 ret <1 x i32> %shuffle
87}
88
89define <1 x i64> @test_vector_dup_dv2D(<2 x i64> %v1) {
90 ; CHECK-LABEL: test_vector_dup_dv2D
91 ; CHECK: ext {{v[0-9]+}}.16b, {{v[0-9]+}}.16b, {{v[0-9]+}}.16b, #8
92 %shuffle.i = shufflevector <2 x i64> %v1, <2 x i64> undef, <1 x i32> <i32 1>
93 ret <1 x i64> %shuffle.i
94}
95
96define <1 x i64> @test_vector_copy_dup_dv2D(<1 x i64> %a, <2 x i64> %c) {
97  ; CHECK-LABEL: test_vector_copy_dup_dv2D
98  ; CHECK: {{dup|mov}} {{d[0-9]+}}, {{v[0-9]+}}.d[1]
99  %vget_lane = extractelement <2 x i64> %c, i32 1
100  %vset_lane = insertelement <1 x i64> undef, i64 %vget_lane, i32 0
101  ret <1 x i64> %vset_lane
102}
103
104; Undefined behaviour, so we really don't care what actually gets emitted, just
105; as long as we don't crash (since it could be dynamically unreachable).
106define i32 @test_out_of_range_extract(<4 x i32> %vec) {
107; CHECK-LABEL: test_out_of_range_extract:
108; CHECK: ret
109  %elt = extractelement <4 x i32> %vec, i32 4
110  ret i32 %elt
111}
112
113; Undefined behaviour, so we really don't care what actually gets emitted, just
114; as long as we don't crash (since it could be dynamically unreachable).
115define void @test_out_of_range_insert(<4 x i32> %vec, i32 %elt) {
116; CHECK-LABEL: test_out_of_range_insert:
117; CHECK: ret
118  insertelement <4 x i32> %vec, i32 %elt, i32 4
119  ret void
120}
121