1 // RUN: %clang_cc1 -triple arm64-none-linux-gnu -target-feature +neon \ 2 // RUN: -disable-O0-optnone -emit-llvm -o - %s \ 3 // RUN: | opt -S -passes=mem2reg | FileCheck %s 4 5 // REQUIRES: aarch64-registered-target || arm-registered-target 6 7 #include <arm_neon.h> 8 9 // CHECK-LABEL: define{{.*}} <8 x i8> @test_vget_high_s8(<16 x i8> noundef %a) #0 { 10 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <16 x i8> %a, <16 x i8> %a, <8 x i32> <i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15> 11 // CHECK: ret <8 x i8> [[SHUFFLE_I]] 12 int8x8_t test_vget_high_s8(int8x16_t a) { 13 return vget_high_s8(a); 14 } 15 16 // CHECK-LABEL: define{{.*}} <4 x i16> @test_vget_high_s16(<8 x i16> noundef %a) #0 { 17 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <8 x i16> %a, <8 x i16> %a, <4 x i32> <i32 4, i32 5, i32 6, i32 7> 18 // CHECK: ret <4 x i16> [[SHUFFLE_I]] 19 int16x4_t test_vget_high_s16(int16x8_t a) { 20 return vget_high_s16(a); 21 } 22 23 // CHECK-LABEL: define{{.*}} <2 x i32> @test_vget_high_s32(<4 x i32> noundef %a) #0 { 24 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <4 x i32> %a, <4 x i32> %a, <2 x i32> <i32 2, i32 3> 25 // CHECK: ret <2 x i32> [[SHUFFLE_I]] 26 int32x2_t test_vget_high_s32(int32x4_t a) { 27 return vget_high_s32(a); 28 } 29 30 // CHECK-LABEL: define{{.*}} <1 x i64> @test_vget_high_s64(<2 x i64> noundef %a) #0 { 31 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <2 x i64> %a, <2 x i64> %a, <1 x i32> <i32 1> 32 // CHECK: ret <1 x i64> [[SHUFFLE_I]] 33 int64x1_t test_vget_high_s64(int64x2_t a) { 34 return vget_high_s64(a); 35 } 36 37 // CHECK-LABEL: define{{.*}} <8 x i8> @test_vget_high_u8(<16 x i8> noundef %a) #0 { 38 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <16 x i8> %a, <16 x i8> %a, <8 x i32> <i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15> 39 // CHECK: ret <8 x i8> [[SHUFFLE_I]] 40 uint8x8_t test_vget_high_u8(uint8x16_t a) { 41 return vget_high_u8(a); 42 } 43 44 // CHECK-LABEL: define{{.*}} <4 x i16> @test_vget_high_u16(<8 x i16> noundef %a) #0 { 45 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <8 x i16> %a, <8 x i16> %a, <4 x i32> <i32 4, i32 5, i32 6, i32 7> 46 // CHECK: ret <4 x i16> [[SHUFFLE_I]] 47 uint16x4_t test_vget_high_u16(uint16x8_t a) { 48 return vget_high_u16(a); 49 } 50 51 // CHECK-LABEL: define{{.*}} <2 x i32> @test_vget_high_u32(<4 x i32> noundef %a) #0 { 52 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <4 x i32> %a, <4 x i32> %a, <2 x i32> <i32 2, i32 3> 53 // CHECK: ret <2 x i32> [[SHUFFLE_I]] 54 uint32x2_t test_vget_high_u32(uint32x4_t a) { 55 return vget_high_u32(a); 56 } 57 58 // CHECK-LABEL: define{{.*}} <1 x i64> @test_vget_high_u64(<2 x i64> noundef %a) #0 { 59 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <2 x i64> %a, <2 x i64> %a, <1 x i32> <i32 1> 60 // CHECK: ret <1 x i64> [[SHUFFLE_I]] 61 uint64x1_t test_vget_high_u64(uint64x2_t a) { 62 return vget_high_u64(a); 63 } 64 65 // CHECK-LABEL: define{{.*}} <1 x i64> @test_vget_high_p64(<2 x i64> noundef %a) #0 { 66 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <2 x i64> %a, <2 x i64> %a, <1 x i32> <i32 1> 67 // CHECK: ret <1 x i64> [[SHUFFLE_I]] 68 poly64x1_t test_vget_high_p64(poly64x2_t a) { 69 return vget_high_p64(a); 70 } 71 72 // CHECK-LABEL: define{{.*}} <4 x half> @test_vget_high_f16(<8 x half> noundef %a) #0 { 73 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <8 x half> %a, <8 x half> %a, <4 x i32> <i32 4, i32 5, i32 6, i32 7> 74 // CHECK: ret <4 x half> [[SHUFFLE_I]] 75 float16x4_t test_vget_high_f16(float16x8_t a) { 76 return vget_high_f16(a); 77 } 78 79 // CHECK-LABEL: define{{.*}} <2 x float> @test_vget_high_f32(<4 x float> noundef %a) #0 { 80 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <4 x float> %a, <4 x float> %a, <2 x i32> <i32 2, i32 3> 81 // CHECK: ret <2 x float> [[SHUFFLE_I]] 82 float32x2_t test_vget_high_f32(float32x4_t a) { 83 return vget_high_f32(a); 84 } 85 86 // CHECK-LABEL: define{{.*}} <8 x i8> @test_vget_high_p8(<16 x i8> noundef %a) #0 { 87 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <16 x i8> %a, <16 x i8> %a, <8 x i32> <i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15> 88 // CHECK: ret <8 x i8> [[SHUFFLE_I]] 89 poly8x8_t test_vget_high_p8(poly8x16_t a) { 90 return vget_high_p8(a); 91 } 92 93 // CHECK-LABEL: define{{.*}} <4 x i16> @test_vget_high_p16(<8 x i16> noundef %a) #0 { 94 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <8 x i16> %a, <8 x i16> %a, <4 x i32> <i32 4, i32 5, i32 6, i32 7> 95 // CHECK: ret <4 x i16> [[SHUFFLE_I]] 96 poly16x4_t test_vget_high_p16(poly16x8_t a) { 97 return vget_high_p16(a); 98 } 99 100 // CHECK-LABEL: define{{.*}} <1 x double> @test_vget_high_f64(<2 x double> noundef %a) #0 { 101 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <2 x double> %a, <2 x double> %a, <1 x i32> <i32 1> 102 // CHECK: ret <1 x double> [[SHUFFLE_I]] 103 float64x1_t test_vget_high_f64(float64x2_t a) { 104 return vget_high_f64(a); 105 } 106 107 // CHECK-LABEL: define{{.*}} <8 x i8> @test_vget_low_s8(<16 x i8> noundef %a) #0 { 108 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <16 x i8> %a, <16 x i8> %a, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7> 109 // CHECK: ret <8 x i8> [[SHUFFLE_I]] 110 int8x8_t test_vget_low_s8(int8x16_t a) { 111 return vget_low_s8(a); 112 } 113 114 // CHECK-LABEL: define{{.*}} <4 x i16> @test_vget_low_s16(<8 x i16> noundef %a) #0 { 115 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <8 x i16> %a, <8 x i16> %a, <4 x i32> <i32 0, i32 1, i32 2, i32 3> 116 // CHECK: ret <4 x i16> [[SHUFFLE_I]] 117 int16x4_t test_vget_low_s16(int16x8_t a) { 118 return vget_low_s16(a); 119 } 120 121 // CHECK-LABEL: define{{.*}} <2 x i32> @test_vget_low_s32(<4 x i32> noundef %a) #0 { 122 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <4 x i32> %a, <4 x i32> %a, <2 x i32> <i32 0, i32 1> 123 // CHECK: ret <2 x i32> [[SHUFFLE_I]] 124 int32x2_t test_vget_low_s32(int32x4_t a) { 125 return vget_low_s32(a); 126 } 127 128 // CHECK-LABEL: define{{.*}} <1 x i64> @test_vget_low_s64(<2 x i64> noundef %a) #0 { 129 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <2 x i64> %a, <2 x i64> %a, <1 x i32> zeroinitializer 130 // CHECK: ret <1 x i64> [[SHUFFLE_I]] 131 int64x1_t test_vget_low_s64(int64x2_t a) { 132 return vget_low_s64(a); 133 } 134 135 // CHECK-LABEL: define{{.*}} <8 x i8> @test_vget_low_u8(<16 x i8> noundef %a) #0 { 136 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <16 x i8> %a, <16 x i8> %a, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7> 137 // CHECK: ret <8 x i8> [[SHUFFLE_I]] 138 uint8x8_t test_vget_low_u8(uint8x16_t a) { 139 return vget_low_u8(a); 140 } 141 142 // CHECK-LABEL: define{{.*}} <4 x i16> @test_vget_low_u16(<8 x i16> noundef %a) #0 { 143 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <8 x i16> %a, <8 x i16> %a, <4 x i32> <i32 0, i32 1, i32 2, i32 3> 144 // CHECK: ret <4 x i16> [[SHUFFLE_I]] 145 uint16x4_t test_vget_low_u16(uint16x8_t a) { 146 return vget_low_u16(a); 147 } 148 149 // CHECK-LABEL: define{{.*}} <2 x i32> @test_vget_low_u32(<4 x i32> noundef %a) #0 { 150 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <4 x i32> %a, <4 x i32> %a, <2 x i32> <i32 0, i32 1> 151 // CHECK: ret <2 x i32> [[SHUFFLE_I]] 152 uint32x2_t test_vget_low_u32(uint32x4_t a) { 153 return vget_low_u32(a); 154 } 155 156 // CHECK-LABEL: define{{.*}} <1 x i64> @test_vget_low_u64(<2 x i64> noundef %a) #0 { 157 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <2 x i64> %a, <2 x i64> %a, <1 x i32> zeroinitializer 158 // CHECK: ret <1 x i64> [[SHUFFLE_I]] 159 uint64x1_t test_vget_low_u64(uint64x2_t a) { 160 return vget_low_u64(a); 161 } 162 163 // CHECK-LABEL: define{{.*}} <1 x i64> @test_vget_low_p64(<2 x i64> noundef %a) #0 { 164 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <2 x i64> %a, <2 x i64> %a, <1 x i32> zeroinitializer 165 // CHECK: ret <1 x i64> [[SHUFFLE_I]] 166 poly64x1_t test_vget_low_p64(poly64x2_t a) { 167 return vget_low_p64(a); 168 } 169 170 // CHECK-LABEL: define{{.*}} <4 x half> @test_vget_low_f16(<8 x half> noundef %a) #0 { 171 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <8 x half> %a, <8 x half> %a, <4 x i32> <i32 0, i32 1, i32 2, i32 3> 172 // CHECK: ret <4 x half> [[SHUFFLE_I]] 173 float16x4_t test_vget_low_f16(float16x8_t a) { 174 return vget_low_f16(a); 175 } 176 177 // CHECK-LABEL: define{{.*}} <2 x float> @test_vget_low_f32(<4 x float> noundef %a) #0 { 178 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <4 x float> %a, <4 x float> %a, <2 x i32> <i32 0, i32 1> 179 // CHECK: ret <2 x float> [[SHUFFLE_I]] 180 float32x2_t test_vget_low_f32(float32x4_t a) { 181 return vget_low_f32(a); 182 } 183 184 // CHECK-LABEL: define{{.*}} <8 x i8> @test_vget_low_p8(<16 x i8> noundef %a) #0 { 185 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <16 x i8> %a, <16 x i8> %a, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7> 186 // CHECK: ret <8 x i8> [[SHUFFLE_I]] 187 poly8x8_t test_vget_low_p8(poly8x16_t a) { 188 return vget_low_p8(a); 189 } 190 191 // CHECK-LABEL: define{{.*}} <4 x i16> @test_vget_low_p16(<8 x i16> noundef %a) #0 { 192 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <8 x i16> %a, <8 x i16> %a, <4 x i32> <i32 0, i32 1, i32 2, i32 3> 193 // CHECK: ret <4 x i16> [[SHUFFLE_I]] 194 poly16x4_t test_vget_low_p16(poly16x8_t a) { 195 return vget_low_p16(a); 196 } 197 198 // CHECK-LABEL: define{{.*}} <1 x double> @test_vget_low_f64(<2 x double> noundef %a) #0 { 199 // CHECK: [[SHUFFLE_I:%.*]] = shufflevector <2 x double> %a, <2 x double> %a, <1 x i32> zeroinitializer 200 // CHECK: ret <1 x double> [[SHUFFLE_I]] 201 float64x1_t test_vget_low_f64(float64x2_t a) { 202 return vget_low_f64(a); 203 } 204 205