1 ; RUN: llc -mtriple=aarch64-none-linux-gnu -mattr=+neon -asm-verbose=false < %s | FileCheck %s 2 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 7 %tmp1 = extractelement <2 x float> %v, i32 1 8 ret float %tmp1 9 } 10 11 define float @test_dup_sv2S_0(<2 x float> %v) #0 { 12 ; CHECK-LABEL: test_dup_sv2S_0: 13 ; CHECK-NOT: dup {{[vsd][0-9]+}} 14 ; CHECK-NOT: ins {{[vsd][0-9]+}} 15 ; CHECK-NEXT: ret 16 %tmp1 = extractelement <2 x float> %v, i32 0 17 ret float %tmp1 18 } 19 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: 30 ; CHECK-NOT: dup {{[vsd][0-9]+}} 31 ; CHECK-NOT: ins {{[vsd][0-9]+}} 32 ; CHECK-NEXT: ret 33 %tmp1 = extractelement <4 x float> %v, i32 0 34 ret float %tmp1 35 } 36 37 define double @test_dup_dvD(<1 x double> %v) #0 { 38 ; CHECK-LABEL: test_dup_dvD: 39 ; CHECK-NOT: dup {{[vsd][0-9]+}} 40 ; CHECK-NOT: ins {{[vsd][0-9]+}} 41 ; CHECK-NEXT: ret 42 %tmp1 = extractelement <1 x double> %v, i32 0 43 ret double %tmp1 44 } 45 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 50 %tmp1 = extractelement <2 x double> %v, i32 1 51 ret double %tmp1 52 } 53 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 60 ret double %tmp1 61 } 62 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 85 %shuffle.i = shufflevector <16 x i8> %v1, <16 x i8> undef, <1 x i32> <i32 14> 86 ret <1 x i8> %shuffle.i 87 } 88 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 93 %shuffle.i = shufflevector <8 x i8> %v1, <8 x i8> undef, <1 x i32> <i32 7> 94 ret <1 x i8> %shuffle.i 95 } 96 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 102 %shuffle.i = shufflevector <8 x i16> %v1, <8 x i16> undef, <1 x i32> <i32 7> 103 ret <1 x i16> %shuffle.i 104 } 105 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 110 %shuffle.i = shufflevector <4 x i16> %v1, <4 x i16> undef, <1 x i32> <i32 3> 111 ret <1 x i16> %shuffle.i 112 } 113 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 119 %shuffle = shufflevector <4 x i32> %v1, <4 x i32> undef, <1 x i32> <i32 3> 120 ret <1 x i32> %shuffle 121 } 122 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 127 %shuffle = shufflevector <2 x i32> %v1, <2 x i32> undef, <1 x i32> <i32 1> 128 ret <1 x i32> %shuffle 129 } 130 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 135 %shuffle.i = shufflevector <2 x i64> %v1, <2 x i64> undef, <1 x i32> <i32 1> 136 ret <1 x i64> %shuffle.i 137 } 138 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 143 %vget_lane = extractelement <2 x i64> %c, i32 1 144 %vset_lane = insertelement <1 x i64> undef, i64 %vget_lane, i32 0 145 ret <1 x i64> %vset_lane 146 } 147 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 } 165 166 attributes #0 = { nounwind } 167
