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