llvm/test/CodeGen/AArch64/arm64-neon-simd-vget.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: llc < %s -verify-machineinstrs -mtriple=arm64-none-linux-gnu -mattr=+neon | FileCheck %s
   3
   4 define <8 x i8> @test_vget_high_s8(<16 x i8> %a) {
   5 ; CHECK-LABEL: test_vget_high_s8:
   6 ; CHECK:       // %bb.0: // %entry
   7 ; CHECK-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
   8 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
   9 ; CHECK-NEXT:    ret
  10 entry:
  11   %shuffle.i = shufflevector <16 x i8> %a, <16 x i8> undef, <8 x i32> <i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
  12   ret <8 x i8> %shuffle.i
  13 }
  14
  15 define <4 x i16> @test_vget_high_s16(<8 x i16> %a) {
  16 ; CHECK-LABEL: test_vget_high_s16:
  17 ; CHECK:       // %bb.0: // %entry
  18 ; CHECK-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
  19 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
  20 ; CHECK-NEXT:    ret
  21 entry:
  22   %shuffle.i = shufflevector <8 x i16> %a, <8 x i16> undef, <4 x i32> <i32 4, i32 5, i32 6, i32 7>
  23   ret <4 x i16> %shuffle.i
  24 }
  25
  26 define <2 x i32> @test_vget_high_s32(<4 x i32> %a) {
  27 ; CHECK-LABEL: test_vget_high_s32:
  28 ; CHECK:       // %bb.0: // %entry
  29 ; CHECK-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
  30 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
  31 ; CHECK-NEXT:    ret
  32 entry:
  33   %shuffle.i = shufflevector <4 x i32> %a, <4 x i32> undef, <2 x i32> <i32 2, i32 3>
  34   ret <2 x i32> %shuffle.i
  35 }
  36
  37 define <1 x i64> @test_vget_high_s64(<2 x i64> %a) {
  38 ; CHECK-LABEL: test_vget_high_s64:
  39 ; CHECK:       // %bb.0: // %entry
  40 ; CHECK-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
  41 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
  42 ; CHECK-NEXT:    ret
  43 entry:
  44   %shuffle.i = shufflevector <2 x i64> %a, <2 x i64> undef, <1 x i32> <i32 1>
  45   ret <1 x i64> %shuffle.i
  46 }
  47
  48 define <8 x i8> @test_vget_high_u8(<16 x i8> %a) {
  49 ; CHECK-LABEL: test_vget_high_u8:
  50 ; CHECK:       // %bb.0: // %entry
  51 ; CHECK-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
  52 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
  53 ; CHECK-NEXT:    ret
  54 entry:
  55   %shuffle.i = shufflevector <16 x i8> %a, <16 x i8> undef, <8 x i32> <i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
  56   ret <8 x i8> %shuffle.i
  57 }
  58
  59 define <4 x i16> @test_vget_high_u16(<8 x i16> %a) {
  60 ; CHECK-LABEL: test_vget_high_u16:
  61 ; CHECK:       // %bb.0: // %entry
  62 ; CHECK-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
  63 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
  64 ; CHECK-NEXT:    ret
  65 entry:
  66   %shuffle.i = shufflevector <8 x i16> %a, <8 x i16> undef, <4 x i32> <i32 4, i32 5, i32 6, i32 7>
  67   ret <4 x i16> %shuffle.i
  68 }
  69
  70 define <2 x i32> @test_vget_high_u32(<4 x i32> %a) {
  71 ; CHECK-LABEL: test_vget_high_u32:
  72 ; CHECK:       // %bb.0: // %entry
  73 ; CHECK-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
  74 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
  75 ; CHECK-NEXT:    ret
  76 entry:
  77   %shuffle.i = shufflevector <4 x i32> %a, <4 x i32> undef, <2 x i32> <i32 2, i32 3>
  78   ret <2 x i32> %shuffle.i
  79 }
  80
  81 define <1 x i64> @test_vget_high_u64(<2 x i64> %a) {
  82 ; CHECK-LABEL: test_vget_high_u64:
  83 ; CHECK:       // %bb.0: // %entry
  84 ; CHECK-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
  85 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
  86 ; CHECK-NEXT:    ret
  87 entry:
  88   %shuffle.i = shufflevector <2 x i64> %a, <2 x i64> undef, <1 x i32> <i32 1>
  89   ret <1 x i64> %shuffle.i
  90 }
  91
  92 define <1 x i64> @test_vget_high_p64(<2 x i64> %a) {
  93 ; CHECK-LABEL: test_vget_high_p64:
  94 ; CHECK:       // %bb.0: // %entry
  95 ; CHECK-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
  96 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
  97 ; CHECK-NEXT:    ret
  98 entry:
  99   %shuffle.i = shufflevector <2 x i64> %a, <2 x i64> undef, <1 x i32> <i32 1>
 100   ret <1 x i64> %shuffle.i
 101 }
 102
 103 define <4 x i16> @test_vget_high_f16(<8 x i16> %a) {
 104 ; CHECK-LABEL: test_vget_high_f16:
 105 ; CHECK:       // %bb.0: // %entry
 106 ; CHECK-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
 107 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 108 ; CHECK-NEXT:    ret
 109 entry:
 110   %shuffle.i = shufflevector <8 x i16> %a, <8 x i16> undef, <4 x i32> <i32 4, i32 5, i32 6, i32 7>
 111   ret <4 x i16> %shuffle.i
 112 }
 113
 114 define <2 x float> @test_vget_high_f32(<4 x float> %a) {
 115 ; CHECK-LABEL: test_vget_high_f32:
 116 ; CHECK:       // %bb.0: // %entry
 117 ; CHECK-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
 118 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 119 ; CHECK-NEXT:    ret
 120 entry:
 121   %shuffle.i = shufflevector <4 x float> %a, <4 x float> undef, <2 x i32> <i32 2, i32 3>
 122   ret <2 x float> %shuffle.i
 123 }
 124
 125 define <8 x i8> @test_vget_high_p8(<16 x i8> %a) {
 126 ; CHECK-LABEL: test_vget_high_p8:
 127 ; CHECK:       // %bb.0: // %entry
 128 ; CHECK-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
 129 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 130 ; CHECK-NEXT:    ret
 131 entry:
 132   %shuffle.i = shufflevector <16 x i8> %a, <16 x i8> undef, <8 x i32> <i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
 133   ret <8 x i8> %shuffle.i
 134 }
 135
 136 define <4 x i16> @test_vget_high_p16(<8 x i16> %a) {
 137 ; CHECK-LABEL: test_vget_high_p16:
 138 ; CHECK:       // %bb.0: // %entry
 139 ; CHECK-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
 140 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 141 ; CHECK-NEXT:    ret
 142 entry:
 143   %shuffle.i = shufflevector <8 x i16> %a, <8 x i16> undef, <4 x i32> <i32 4, i32 5, i32 6, i32 7>
 144   ret <4 x i16> %shuffle.i
 145 }
 146
 147 define <1 x double> @test_vget_high_f64(<2 x double> %a) {
 148 ; CHECK-LABEL: test_vget_high_f64:
 149 ; CHECK:       // %bb.0: // %entry
 150 ; CHECK-NEXT:    ext v0.16b, v0.16b, v0.16b, #8
 151 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 152 ; CHECK-NEXT:    ret
 153 entry:
 154   %shuffle.i = shufflevector <2 x double> %a, <2 x double> undef, <1 x i32> <i32 1>
 155   ret <1 x double> %shuffle.i
 156 }
 157
 158 define <8 x i8> @test_vget_low_s8(<16 x i8> %a) {
 159 ; CHECK-LABEL: test_vget_low_s8:
 160 ; CHECK:       // %bb.0: // %entry
 161 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 162 ; CHECK-NEXT:    ret
 163 entry:
 164   %shuffle.i = shufflevector <16 x i8> %a, <16 x i8> undef, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
 165   ret <8 x i8> %shuffle.i
 166 }
 167
 168 define <4 x i16> @test_vget_low_s16(<8 x i16> %a) {
 169 ; CHECK-LABEL: test_vget_low_s16:
 170 ; CHECK:       // %bb.0: // %entry
 171 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 172 ; CHECK-NEXT:    ret
 173 entry:
 174   %shuffle.i = shufflevector <8 x i16> %a, <8 x i16> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 175   ret <4 x i16> %shuffle.i
 176 }
 177
 178 define <2 x i32> @test_vget_low_s32(<4 x i32> %a) {
 179 ; CHECK-LABEL: test_vget_low_s32:
 180 ; CHECK:       // %bb.0: // %entry
 181 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 182 ; CHECK-NEXT:    ret
 183 entry:
 184   %shuffle.i = shufflevector <4 x i32> %a, <4 x i32> undef, <2 x i32> <i32 0, i32 1>
 185   ret <2 x i32> %shuffle.i
 186 }
 187
 188 define <1 x i64> @test_vget_low_s64(<2 x i64> %a) {
 189 ; CHECK-LABEL: test_vget_low_s64:
 190 ; CHECK:       // %bb.0: // %entry
 191 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 192 ; CHECK-NEXT:    ret
 193 entry:
 194   %shuffle.i = shufflevector <2 x i64> %a, <2 x i64> undef, <1 x i32> zeroinitializer
 195   ret <1 x i64> %shuffle.i
 196 }
 197
 198 define <8 x i8> @test_vget_low_u8(<16 x i8> %a) {
 199 ; CHECK-LABEL: test_vget_low_u8:
 200 ; CHECK:       // %bb.0: // %entry
 201 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 202 ; CHECK-NEXT:    ret
 203 entry:
 204   %shuffle.i = shufflevector <16 x i8> %a, <16 x i8> undef, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
 205   ret <8 x i8> %shuffle.i
 206 }
 207
 208 define <4 x i16> @test_vget_low_u16(<8 x i16> %a) {
 209 ; CHECK-LABEL: test_vget_low_u16:
 210 ; CHECK:       // %bb.0: // %entry
 211 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 212 ; CHECK-NEXT:    ret
 213 entry:
 214   %shuffle.i = shufflevector <8 x i16> %a, <8 x i16> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 215   ret <4 x i16> %shuffle.i
 216 }
 217
 218 define <2 x i32> @test_vget_low_u32(<4 x i32> %a) {
 219 ; CHECK-LABEL: test_vget_low_u32:
 220 ; CHECK:       // %bb.0: // %entry
 221 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 222 ; CHECK-NEXT:    ret
 223 entry:
 224   %shuffle.i = shufflevector <4 x i32> %a, <4 x i32> undef, <2 x i32> <i32 0, i32 1>
 225   ret <2 x i32> %shuffle.i
 226 }
 227
 228 define <1 x i64> @test_vget_low_u64(<2 x i64> %a) {
 229 ; CHECK-LABEL: test_vget_low_u64:
 230 ; CHECK:       // %bb.0: // %entry
 231 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 232 ; CHECK-NEXT:    ret
 233 entry:
 234   %shuffle.i = shufflevector <2 x i64> %a, <2 x i64> undef, <1 x i32> zeroinitializer
 235   ret <1 x i64> %shuffle.i
 236 }
 237
 238 define <1 x i64> @test_vget_low_p64(<2 x i64> %a) {
 239 ; CHECK-LABEL: test_vget_low_p64:
 240 ; CHECK:       // %bb.0: // %entry
 241 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 242 ; CHECK-NEXT:    ret
 243 entry:
 244   %shuffle.i = shufflevector <2 x i64> %a, <2 x i64> undef, <1 x i32> zeroinitializer
 245   ret <1 x i64> %shuffle.i
 246 }
 247
 248 define <4 x i16> @test_vget_low_f16(<8 x i16> %a) {
 249 ; CHECK-LABEL: test_vget_low_f16:
 250 ; CHECK:       // %bb.0: // %entry
 251 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 252 ; CHECK-NEXT:    ret
 253 entry:
 254   %shuffle.i = shufflevector <8 x i16> %a, <8 x i16> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 255   ret <4 x i16> %shuffle.i
 256 }
 257
 258 define <2 x float> @test_vget_low_f32(<4 x float> %a) {
 259 ; CHECK-LABEL: test_vget_low_f32:
 260 ; CHECK:       // %bb.0: // %entry
 261 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 262 ; CHECK-NEXT:    ret
 263 entry:
 264   %shuffle.i = shufflevector <4 x float> %a, <4 x float> undef, <2 x i32> <i32 0, i32 1>
 265   ret <2 x float> %shuffle.i
 266 }
 267
 268 define <8 x i8> @test_vget_low_p8(<16 x i8> %a) {
 269 ; CHECK-LABEL: test_vget_low_p8:
 270 ; CHECK:       // %bb.0: // %entry
 271 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 272 ; CHECK-NEXT:    ret
 273 entry:
 274   %shuffle.i = shufflevector <16 x i8> %a, <16 x i8> undef, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
 275   ret <8 x i8> %shuffle.i
 276 }
 277
 278 define <4 x i16> @test_vget_low_p16(<8 x i16> %a) {
 279 ; CHECK-LABEL: test_vget_low_p16:
 280 ; CHECK:       // %bb.0: // %entry
 281 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 282 ; CHECK-NEXT:    ret
 283 entry:
 284   %shuffle.i = shufflevector <8 x i16> %a, <8 x i16> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
 285   ret <4 x i16> %shuffle.i
 286 }
 287
 288 define <1 x double> @test_vget_low_f64(<2 x double> %a) {
 289 ; CHECK-LABEL: test_vget_low_f64:
 290 ; CHECK:       // %bb.0: // %entry
 291 ; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
 292 ; CHECK-NEXT:    ret
 293 entry:
 294   %shuffle.i = shufflevector <2 x double> %a, <2 x double> undef, <1 x i32> zeroinitializer
 295   ret <1 x double> %shuffle.i
 296 }