83
|
1 ; RUN: llc -mtriple=aarch64-none-linux-gnu -mattr=+neon -asm-verbose=false < %s | FileCheck %s
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2
|
83
|
3 define float @test_dup_sv2S(<2 x float> %v) #0 {
|
|
4 ; CHECK-LABEL: test_dup_sv2S:
|
|
5 ; CHECK-NEXT: mov s{{[0-9]+}}, {{v[0-9]+}}.s[1]
|
|
6 ; CHECK-NEXT: ret
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 %tmp1 = extractelement <2 x float> %v, i32 1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 ret float %tmp1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
10
|
83
|
11 define float @test_dup_sv2S_0(<2 x float> %v) #0 {
|
|
12 ; CHECK-LABEL: test_dup_sv2S_0:
|
77
|
13 ; CHECK-NOT: dup {{[vsd][0-9]+}}
|
|
14 ; CHECK-NOT: ins {{[vsd][0-9]+}}
|
83
|
15 ; CHECK-NEXT: ret
|
77
|
16 %tmp1 = extractelement <2 x float> %v, i32 0
|
|
17 ret float %tmp1
|
|
18 }
|
|
19
|
83
|
20 define float @test_dup_sv4S(<4 x float> %v) #0 {
|
|
21 ; CHECK-LABEL: test_dup_sv4S:
|
|
22 ; CHECK-NEXT: mov s{{[0-9]+}}, {{v[0-9]+}}.s[1]
|
|
23 ; CHECK-NEXT: ret
|
|
24 %tmp1 = extractelement <4 x float> %v, i32 1
|
|
25 ret float %tmp1
|
|
26 }
|
|
27
|
|
28 define float @test_dup_sv4S_0(<4 x float> %v) #0 {
|
|
29 ; CHECK-LABEL: test_dup_sv4S_0:
|
77
|
30 ; CHECK-NOT: dup {{[vsd][0-9]+}}
|
|
31 ; CHECK-NOT: ins {{[vsd][0-9]+}}
|
83
|
32 ; CHECK-NEXT: ret
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
33 %tmp1 = extractelement <4 x float> %v, i32 0
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
34 ret float %tmp1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
35 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
36
|
83
|
37 define double @test_dup_dvD(<1 x double> %v) #0 {
|
|
38 ; CHECK-LABEL: test_dup_dvD:
|
77
|
39 ; CHECK-NOT: dup {{[vsd][0-9]+}}
|
|
40 ; CHECK-NOT: ins {{[vsd][0-9]+}}
|
83
|
41 ; CHECK-NEXT: ret
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
42 %tmp1 = extractelement <1 x double> %v, i32 0
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
43 ret double %tmp1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
44 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
45
|
83
|
46 define double @test_dup_dv2D(<2 x double> %v) #0 {
|
|
47 ; CHECK-LABEL: test_dup_dv2D:
|
|
48 ; CHECK-NEXT: mov d{{[0-9]+}}, {{v[0-9]+}}.d[1]
|
|
49 ; CHECK-NEXT: ret
|
77
|
50 %tmp1 = extractelement <2 x double> %v, i32 1
|
|
51 ret double %tmp1
|
|
52 }
|
|
53
|
83
|
54 define double @test_dup_dv2D_0(<2 x double> %v) #0 {
|
|
55 ; CHECK-LABEL: test_dup_dv2D_0:
|
|
56 ; CHECK-NOT: dup {{[vsd][0-9]+}}
|
|
57 ; CHECK-NOT: ins {{[vsd][0-9]+}}
|
|
58 ; CHECK-NEXT: ret
|
|
59 %tmp1 = extractelement <2 x double> %v, i32 0
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
60 ret double %tmp1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
61 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
62
|
83
|
63 define half @test_dup_hv8H(<8 x half> %v) #0 {
|
|
64 ; CHECK-LABEL: test_dup_hv8H:
|
|
65 ; CHECK-NEXT: mov h{{[0-9]+}}, {{v[0-9]+}}.h[1]
|
|
66 ; CHECK-NEXT: ret
|
|
67 %tmp1 = extractelement <8 x half> %v, i32 1
|
|
68 ret half %tmp1
|
|
69 }
|
|
70
|
|
71 define half @test_dup_hv8H_0(<8 x half> %v) #0 {
|
|
72 ; CHECK-LABEL: test_dup_hv8H_0:
|
|
73 ; CHECK-NOT: dup {{[vsdh][0-9]+}}
|
|
74 ; CHECK-NOT: ins {{[vsdh][0-9]+}}
|
|
75 ; CHECK-NEXT: ret
|
|
76 %tmp1 = extractelement <8 x half> %v, i32 0
|
|
77 ret half %tmp1
|
|
78 }
|
|
79
|
|
80 define <1 x i8> @test_vector_dup_bv16B(<16 x i8> %v1) #0 {
|
|
81 ; CHECK-LABEL: test_vector_dup_bv16B:
|
|
82 ; CHECK-NEXT: umov [[W:w[0-9]+]], v0.b[14]
|
|
83 ; CHECK-NEXT: fmov s0, [[W]]
|
|
84 ; CHECK-NEXT: ret
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
85 %shuffle.i = shufflevector <16 x i8> %v1, <16 x i8> undef, <1 x i32> <i32 14>
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
86 ret <1 x i8> %shuffle.i
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
87 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
88
|
83
|
89 define <1 x i8> @test_vector_dup_bv8B(<8 x i8> %v1) #0 {
|
|
90 ; CHECK-LABEL: test_vector_dup_bv8B:
|
|
91 ; CHECK-NEXT: dup v0.8b, v0.b[7]
|
|
92 ; CHECK-NEXT: ret
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
93 %shuffle.i = shufflevector <8 x i8> %v1, <8 x i8> undef, <1 x i32> <i32 7>
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
94 ret <1 x i8> %shuffle.i
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
95 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
96
|
83
|
97 define <1 x i16> @test_vector_dup_hv8H(<8 x i16> %v1) #0 {
|
|
98 ; CHECK-LABEL: test_vector_dup_hv8H:
|
|
99 ; CHECK-NEXT: umov [[W:w[0-9]+]], v0.h[7]
|
|
100 ; CHECK-NEXT: fmov s0, [[W]]
|
|
101 ; CHECK-NEXT: ret
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
102 %shuffle.i = shufflevector <8 x i16> %v1, <8 x i16> undef, <1 x i32> <i32 7>
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
103 ret <1 x i16> %shuffle.i
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
104 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
105
|
83
|
106 define <1 x i16> @test_vector_dup_hv4H(<4 x i16> %v1) #0 {
|
|
107 ; CHECK-LABEL: test_vector_dup_hv4H:
|
|
108 ; CHECK-NEXT: dup v0.4h, v0.h[3]
|
|
109 ; CHECK-NEXT: ret
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
110 %shuffle.i = shufflevector <4 x i16> %v1, <4 x i16> undef, <1 x i32> <i32 3>
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
111 ret <1 x i16> %shuffle.i
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
112 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
113
|
83
|
114 define <1 x i32> @test_vector_dup_sv4S(<4 x i32> %v1) #0 {
|
|
115 ; CHECK-LABEL: test_vector_dup_sv4S:
|
|
116 ; CHECK-NEXT: mov [[W:w[0-9]+]], v0.s[3]
|
|
117 ; CHECK-NEXT: fmov s0, [[W]]
|
|
118 ; CHECK-NEXT: ret
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
119 %shuffle = shufflevector <4 x i32> %v1, <4 x i32> undef, <1 x i32> <i32 3>
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
120 ret <1 x i32> %shuffle
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
121 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
122
|
83
|
123 define <1 x i32> @test_vector_dup_sv2S(<2 x i32> %v1) #0 {
|
|
124 ; CHECK-LABEL: test_vector_dup_sv2S:
|
|
125 ; CHECK-NEXT: dup v0.2s, v0.s[1]
|
|
126 ; CHECK-NEXT: ret
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
127 %shuffle = shufflevector <2 x i32> %v1, <2 x i32> undef, <1 x i32> <i32 1>
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
128 ret <1 x i32> %shuffle
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
129 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
130
|
83
|
131 define <1 x i64> @test_vector_dup_dv2D(<2 x i64> %v1) #0 {
|
|
132 ; CHECK-LABEL: test_vector_dup_dv2D:
|
|
133 ; CHECK-NEXT: ext {{v[0-9]+}}.16b, {{v[0-9]+}}.16b, {{v[0-9]+}}.16b, #8
|
|
134 ; CHECK-NEXT: ret
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
135 %shuffle.i = shufflevector <2 x i64> %v1, <2 x i64> undef, <1 x i32> <i32 1>
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
136 ret <1 x i64> %shuffle.i
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
137 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
138
|
83
|
139 define <1 x i64> @test_vector_copy_dup_dv2D(<1 x i64> %a, <2 x i64> %c) #0 {
|
|
140 ; CHECK-LABEL: test_vector_copy_dup_dv2D:
|
|
141 ; CHECK-NEXT: {{dup|mov}} {{d[0-9]+}}, {{v[0-9]+}}.d[1]
|
|
142 ; CHECK-NEXT: ret
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
143 %vget_lane = extractelement <2 x i64> %c, i32 1
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
144 %vset_lane = insertelement <1 x i64> undef, i64 %vget_lane, i32 0
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
145 ret <1 x i64> %vset_lane
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
146 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
147
|
77
|
148 ; Undefined behaviour, so we really don't care what actually gets emitted, just
|
|
149 ; as long as we don't crash (since it could be dynamically unreachable).
|
|
150 define i32 @test_out_of_range_extract(<4 x i32> %vec) {
|
|
151 ; CHECK-LABEL: test_out_of_range_extract:
|
|
152 ; CHECK: ret
|
|
153 %elt = extractelement <4 x i32> %vec, i32 4
|
|
154 ret i32 %elt
|
|
155 }
|
|
156
|
|
157 ; Undefined behaviour, so we really don't care what actually gets emitted, just
|
|
158 ; as long as we don't crash (since it could be dynamically unreachable).
|
|
159 define void @test_out_of_range_insert(<4 x i32> %vec, i32 %elt) {
|
|
160 ; CHECK-LABEL: test_out_of_range_insert:
|
|
161 ; CHECK: ret
|
|
162 insertelement <4 x i32> %vec, i32 %elt, i32 4
|
|
163 ret void
|
|
164 }
|
83
|
165
|
|
166 attributes #0 = { nounwind }
|