1; RUN: llc < %s -march=arm -mattr=+neon | FileCheck %s 2 3define <8 x i8> @test_vrev64D8(<8 x i8>* %A) nounwind { 4;CHECK-LABEL: test_vrev64D8: 5;CHECK: vrev64.8 6 %tmp1 = load <8 x i8>* %A 7 %tmp2 = shufflevector <8 x i8> %tmp1, <8 x i8> undef, <8 x i32> <i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0> 8 ret <8 x i8> %tmp2 9} 10 11define <4 x i16> @test_vrev64D16(<4 x i16>* %A) nounwind { 12;CHECK-LABEL: test_vrev64D16: 13;CHECK: vrev64.16 14 %tmp1 = load <4 x i16>* %A 15 %tmp2 = shufflevector <4 x i16> %tmp1, <4 x i16> undef, <4 x i32> <i32 3, i32 2, i32 1, i32 0> 16 ret <4 x i16> %tmp2 17} 18 19define <2 x i32> @test_vrev64D32(<2 x i32>* %A) nounwind { 20;CHECK-LABEL: test_vrev64D32: 21;CHECK: vrev64.32 22 %tmp1 = load <2 x i32>* %A 23 %tmp2 = shufflevector <2 x i32> %tmp1, <2 x i32> undef, <2 x i32> <i32 1, i32 0> 24 ret <2 x i32> %tmp2 25} 26 27define <2 x float> @test_vrev64Df(<2 x float>* %A) nounwind { 28;CHECK-LABEL: test_vrev64Df: 29;CHECK: vrev64.32 30 %tmp1 = load <2 x float>* %A 31 %tmp2 = shufflevector <2 x float> %tmp1, <2 x float> undef, <2 x i32> <i32 1, i32 0> 32 ret <2 x float> %tmp2 33} 34 35define <16 x i8> @test_vrev64Q8(<16 x i8>* %A) nounwind { 36;CHECK-LABEL: test_vrev64Q8: 37;CHECK: vrev64.8 38 %tmp1 = load <16 x i8>* %A 39 %tmp2 = shufflevector <16 x i8> %tmp1, <16 x i8> undef, <16 x i32> <i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0, i32 15, i32 14, i32 13, i32 12, i32 11, i32 10, i32 9, i32 8> 40 ret <16 x i8> %tmp2 41} 42 43define <8 x i16> @test_vrev64Q16(<8 x i16>* %A) nounwind { 44;CHECK-LABEL: test_vrev64Q16: 45;CHECK: vrev64.16 46 %tmp1 = load <8 x i16>* %A 47 %tmp2 = shufflevector <8 x i16> %tmp1, <8 x i16> undef, <8 x i32> <i32 3, i32 2, i32 1, i32 0, i32 7, i32 6, i32 5, i32 4> 48 ret <8 x i16> %tmp2 49} 50 51define <4 x i32> @test_vrev64Q32(<4 x i32>* %A) nounwind { 52;CHECK-LABEL: test_vrev64Q32: 53;CHECK: vrev64.32 54 %tmp1 = load <4 x i32>* %A 55 %tmp2 = shufflevector <4 x i32> %tmp1, <4 x i32> undef, <4 x i32> <i32 1, i32 0, i32 3, i32 2> 56 ret <4 x i32> %tmp2 57} 58 59define <4 x float> @test_vrev64Qf(<4 x float>* %A) nounwind { 60;CHECK-LABEL: test_vrev64Qf: 61;CHECK: vrev64.32 62 %tmp1 = load <4 x float>* %A 63 %tmp2 = shufflevector <4 x float> %tmp1, <4 x float> undef, <4 x i32> <i32 1, i32 0, i32 3, i32 2> 64 ret <4 x float> %tmp2 65} 66 67define <8 x i8> @test_vrev32D8(<8 x i8>* %A) nounwind { 68;CHECK-LABEL: test_vrev32D8: 69;CHECK: vrev32.8 70 %tmp1 = load <8 x i8>* %A 71 %tmp2 = shufflevector <8 x i8> %tmp1, <8 x i8> undef, <8 x i32> <i32 3, i32 2, i32 1, i32 0, i32 7, i32 6, i32 5, i32 4> 72 ret <8 x i8> %tmp2 73} 74 75define <4 x i16> @test_vrev32D16(<4 x i16>* %A) nounwind { 76;CHECK-LABEL: test_vrev32D16: 77;CHECK: vrev32.16 78 %tmp1 = load <4 x i16>* %A 79 %tmp2 = shufflevector <4 x i16> %tmp1, <4 x i16> undef, <4 x i32> <i32 1, i32 0, i32 3, i32 2> 80 ret <4 x i16> %tmp2 81} 82 83define <16 x i8> @test_vrev32Q8(<16 x i8>* %A) nounwind { 84;CHECK-LABEL: test_vrev32Q8: 85;CHECK: vrev32.8 86 %tmp1 = load <16 x i8>* %A 87 %tmp2 = shufflevector <16 x i8> %tmp1, <16 x i8> undef, <16 x i32> <i32 3, i32 2, i32 1, i32 0, i32 7, i32 6, i32 5, i32 4, i32 11, i32 10, i32 9, i32 8, i32 15, i32 14, i32 13, i32 12> 88 ret <16 x i8> %tmp2 89} 90 91define <8 x i16> @test_vrev32Q16(<8 x i16>* %A) nounwind { 92;CHECK-LABEL: test_vrev32Q16: 93;CHECK: vrev32.16 94 %tmp1 = load <8 x i16>* %A 95 %tmp2 = shufflevector <8 x i16> %tmp1, <8 x i16> undef, <8 x i32> <i32 1, i32 0, i32 3, i32 2, i32 5, i32 4, i32 7, i32 6> 96 ret <8 x i16> %tmp2 97} 98 99define <8 x i8> @test_vrev16D8(<8 x i8>* %A) nounwind { 100;CHECK-LABEL: test_vrev16D8: 101;CHECK: vrev16.8 102 %tmp1 = load <8 x i8>* %A 103 %tmp2 = shufflevector <8 x i8> %tmp1, <8 x i8> undef, <8 x i32> <i32 1, i32 0, i32 3, i32 2, i32 5, i32 4, i32 7, i32 6> 104 ret <8 x i8> %tmp2 105} 106 107define <16 x i8> @test_vrev16Q8(<16 x i8>* %A) nounwind { 108;CHECK-LABEL: test_vrev16Q8: 109;CHECK: vrev16.8 110 %tmp1 = load <16 x i8>* %A 111 %tmp2 = shufflevector <16 x i8> %tmp1, <16 x i8> undef, <16 x i32> <i32 1, i32 0, i32 3, i32 2, i32 5, i32 4, i32 7, i32 6, i32 9, i32 8, i32 11, i32 10, i32 13, i32 12, i32 15, i32 14> 112 ret <16 x i8> %tmp2 113} 114 115; Undef shuffle indices should not prevent matching to VREV: 116 117define <8 x i8> @test_vrev64D8_undef(<8 x i8>* %A) nounwind { 118;CHECK-LABEL: test_vrev64D8_undef: 119;CHECK: vrev64.8 120 %tmp1 = load <8 x i8>* %A 121 %tmp2 = shufflevector <8 x i8> %tmp1, <8 x i8> undef, <8 x i32> <i32 7, i32 undef, i32 undef, i32 4, i32 3, i32 2, i32 1, i32 0> 122 ret <8 x i8> %tmp2 123} 124 125define <8 x i16> @test_vrev32Q16_undef(<8 x i16>* %A) nounwind { 126;CHECK-LABEL: test_vrev32Q16_undef: 127;CHECK: vrev32.16 128 %tmp1 = load <8 x i16>* %A 129 %tmp2 = shufflevector <8 x i16> %tmp1, <8 x i16> undef, <8 x i32> <i32 undef, i32 0, i32 undef, i32 2, i32 5, i32 4, i32 7, i32 undef> 130 ret <8 x i16> %tmp2 131} 132 133; A vcombine feeding a VREV should not obscure things. Radar 8597007. 134 135define void @test_with_vcombine(<4 x float>* %v) nounwind { 136;CHECK-LABEL: test_with_vcombine: 137;CHECK-NOT: vext 138;CHECK: vrev64.32 139 %tmp1 = load <4 x float>* %v, align 16 140 %tmp2 = bitcast <4 x float> %tmp1 to <2 x double> 141 %tmp3 = extractelement <2 x double> %tmp2, i32 0 142 %tmp4 = bitcast double %tmp3 to <2 x float> 143 %tmp5 = extractelement <2 x double> %tmp2, i32 1 144 %tmp6 = bitcast double %tmp5 to <2 x float> 145 %tmp7 = fadd <2 x float> %tmp6, %tmp6 146 %tmp8 = shufflevector <2 x float> %tmp4, <2 x float> %tmp7, <4 x i32> <i32 1, i32 0, i32 3, i32 2> 147 store <4 x float> %tmp8, <4 x float>* %v, align 16 148 ret void 149} 150 151; The type <2 x i16> is legalized to <2 x i32> and need to be trunc-stored 152; to <2 x i16> when stored to memory. 153define void @test_vrev64(<4 x i16>* nocapture %source, <2 x i16>* nocapture %dst) nounwind ssp { 154; CHECK-LABEL: test_vrev64: 155; CHECK: vst1.32 156entry: 157 %0 = bitcast <4 x i16>* %source to <8 x i16>* 158 %tmp2 = load <8 x i16>* %0, align 4 159 %tmp3 = extractelement <8 x i16> %tmp2, i32 6 160 %tmp5 = insertelement <2 x i16> undef, i16 %tmp3, i32 0 161 %tmp9 = extractelement <8 x i16> %tmp2, i32 5 162 %tmp11 = insertelement <2 x i16> %tmp5, i16 %tmp9, i32 1 163 store <2 x i16> %tmp11, <2 x i16>* %dst, align 4 164 ret void 165} 166 167; Test vrev of float4 168define void @float_vrev64(float* nocapture %source, <4 x float>* nocapture %dest) nounwind noinline ssp { 169; CHECK: float_vrev64 170; CHECK: vext.32 171; CHECK: vrev64.32 172entry: 173 %0 = bitcast float* %source to <4 x float>* 174 %tmp2 = load <4 x float>* %0, align 4 175 %tmp5 = shufflevector <4 x float> <float 0.000000e+00, float undef, float undef, float undef>, <4 x float> %tmp2, <4 x i32> <i32 0, i32 7, i32 0, i32 0> 176 %arrayidx8 = getelementptr inbounds <4 x float>* %dest, i32 11 177 store <4 x float> %tmp5, <4 x float>* %arrayidx8, align 4 178 ret void 179} 180 181