llvm/test/CodeGen/AArch64/xtn.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 3
   2 ; RUN: llc -mtriple=aarch64 -verify-machineinstrs %s -o - 2>&1 | FileCheck %s --check-prefixes=CHECK,CHECK-SD
   3 ; RUN: llc -mtriple=aarch64 -global-isel -global-isel-abort=2 -verify-machineinstrs %s -o - 2>&1 | FileCheck %s --check-prefixes=CHECK,CHECK-GI
   4
   5 define i8 @xtn_i16_to_i8(i16 %a) {
   6 ; CHECK-LABEL: xtn_i16_to_i8:
   7 ; CHECK:       // %bb.0: // %entry
   8 ; CHECK-NEXT:    ret
   9 entry:
  10   %arg1 = trunc i16 %a to i8
  11   ret i8 %arg1
  12 }
  13
  14 define i8 @xtn_i32_to_i8(i32 %a) {
  15 ; CHECK-LABEL: xtn_i32_to_i8:
  16 ; CHECK:       // %bb.0: // %entry
  17 ; CHECK-NEXT:    ret
  18 entry:
  19   %arg1 = trunc i32 %a to i8
  20   ret i8 %arg1
  21 }
  22
  23 define i8 @xtn_i64_to_i8(i64 %a) {
  24 ; CHECK-LABEL: xtn_i64_to_i8:
  25 ; CHECK:       // %bb.0: // %entry
  26 ; CHECK-NEXT:    // kill: def $w0 killed $w0 killed $x0
  27 ; CHECK-NEXT:    ret
  28 entry:
  29   %arg1 = trunc i64 %a to i8
  30   ret i8 %arg1
  31 }
  32
  33 define i8 @xtn_i128_to_i8(i128 %a) {
  34 ; CHECK-LABEL: xtn_i128_to_i8:
  35 ; CHECK:       // %bb.0: // %entry
  36 ; CHECK-NEXT:    // kill: def $w0 killed $w0 killed $x0
  37 ; CHECK-NEXT:    ret
  38 entry:
  39   %arg1 = trunc i128 %a to i8
  40   ret i8 %arg1
  41 }
  42
  43 define i16 @xtn_i32_to_i16(i32 %a) {
  44 ; CHECK-LABEL: xtn_i32_to_i16:
  45 ; CHECK:       // %bb.0: // %entry
  46 ; CHECK-NEXT:    ret
  47 entry:
  48   %arg1 = trunc i32 %a to i16
  49   ret i16 %arg1
  50 }
  51
  52 define i16 @xtn_i64_to_i16(i64 %a) {
  53 ; CHECK-LABEL: xtn_i64_to_i16:
  54 ; CHECK:       // %bb.0: // %entry
  55 ; CHECK-NEXT:    // kill: def $w0 killed $w0 killed $x0
  56 ; CHECK-NEXT:    ret
  57 entry:
  58   %arg1 = trunc i64 %a to i16
  59   ret i16 %arg1
  60 }
  61
  62 define i16 @xtn_i128_to_i16(i128 %a) {
  63 ; CHECK-LABEL: xtn_i128_to_i16:
  64 ; CHECK:       // %bb.0: // %entry
  65 ; CHECK-NEXT:    // kill: def $w0 killed $w0 killed $x0
  66 ; CHECK-NEXT:    ret
  67 entry:
  68   %arg1 = trunc i128 %a to i16
  69   ret i16 %arg1
  70 }
  71
  72 define i32 @xtn_i64_to_i32(i64 %a) {
  73 ; CHECK-LABEL: xtn_i64_to_i32:
  74 ; CHECK:       // %bb.0: // %entry
  75 ; CHECK-NEXT:    // kill: def $w0 killed $w0 killed $x0
  76 ; CHECK-NEXT:    ret
  77 entry:
  78   %arg1 = trunc i64 %a to i32
  79   ret i32 %arg1
  80 }
  81
  82 define i32 @xtn_i128_to_i32(i128 %a) {
  83 ; CHECK-LABEL: xtn_i128_to_i32:
  84 ; CHECK:       // %bb.0: // %entry
  85 ; CHECK-NEXT:    // kill: def $w0 killed $w0 killed $x0
  86 ; CHECK-NEXT:    ret
  87 entry:
  88   %arg1 = trunc i128 %a to i32
  89   ret i32 %arg1
  90 }
  91
  92 define i64 @xtn_i128_to_i64(i128 %a) {
  93 ; CHECK-LABEL: xtn_i128_to_i64:
  94 ; CHECK:       // %bb.0: // %entry
  95 ; CHECK-NEXT:    ret
  96 entry:
  97   %arg1 = trunc i128 %a to i64
  98   ret i64 %arg1
  99 }
 100
 101 define <2 x i8> @xtn_v2i16_v2i8(<2 x i16> %a) {
 102 ; CHECK-LABEL: xtn_v2i16_v2i8:
 103 ; CHECK:       // %bb.0: // %entry
 104 ; CHECK-NEXT:    ret
 105 entry:
 106   %arg1 = trunc <2 x i16> %a to <2 x i8>
 107   ret <2 x i8> %arg1
 108 }
 109
 110 define <2 x i8> @xtn_v2i32_v2i8(<2 x i32> %a) {
 111 ; CHECK-LABEL: xtn_v2i32_v2i8:
 112 ; CHECK:       // %bb.0: // %entry
 113 ; CHECK-NEXT:    ret
 114 entry:
 115   %arg1 = trunc <2 x i32> %a to <2 x i8>
 116   ret <2 x i8> %arg1
 117 }
 118
 119 define <2 x i8> @xtn_v2i64_v2i8(<2 x i64> %a) {
 120 ; CHECK-LABEL: xtn_v2i64_v2i8:
 121 ; CHECK:       // %bb.0: // %entry
 122 ; CHECK-NEXT:    xtn v0.2s, v0.2d
 123 ; CHECK-NEXT:    ret
 124 entry:
 125   %arg1 = trunc <2 x i64> %a to <2 x i8>
 126   ret <2 x i8> %arg1
 127 }
 128
 129 define <2 x i8> @xtn_v2i128_v2i8(<2 x i128> %a) {
 130 ; CHECK-SD-LABEL: xtn_v2i128_v2i8:
 131 ; CHECK-SD:       // %bb.0: // %entry
 132 ; CHECK-SD-NEXT:    fmov s0, w0
 133 ; CHECK-SD-NEXT:    mov v0.s[1], w2
 134 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
 135 ; CHECK-SD-NEXT:    ret
 136 ;
 137 ; CHECK-GI-LABEL: xtn_v2i128_v2i8:
 138 ; CHECK-GI:       // %bb.0: // %entry
 139 ; CHECK-GI-NEXT:    fmov d0, x0
 140 ; CHECK-GI-NEXT:    mov v0.d[1], x2
 141 ; CHECK-GI-NEXT:    xtn v0.2s, v0.2d
 142 ; CHECK-GI-NEXT:    ret
 143 entry:
 144   %arg1 = trunc <2 x i128> %a to <2 x i8>
 145   ret <2 x i8> %arg1
 146 }
 147
 148 define <2 x i16> @xtn_v2i32_v2i16(<2 x i32> %a) {
 149 ; CHECK-LABEL: xtn_v2i32_v2i16:
 150 ; CHECK:       // %bb.0: // %entry
 151 ; CHECK-NEXT:    ret
 152 entry:
 153   %arg1 = trunc <2 x i32> %a to <2 x i16>
 154   ret <2 x i16> %arg1
 155 }
 156
 157 define <2 x i16> @xtn_v2i64_v2i16(<2 x i64> %a) {
 158 ; CHECK-LABEL: xtn_v2i64_v2i16:
 159 ; CHECK:       // %bb.0: // %entry
 160 ; CHECK-NEXT:    xtn v0.2s, v0.2d
 161 ; CHECK-NEXT:    ret
 162 entry:
 163   %arg1 = trunc <2 x i64> %a to <2 x i16>
 164   ret <2 x i16> %arg1
 165 }
 166
 167 define <2 x i16> @xtn_v2i128_v2i16(<2 x i128> %a) {
 168 ; CHECK-SD-LABEL: xtn_v2i128_v2i16:
 169 ; CHECK-SD:       // %bb.0: // %entry
 170 ; CHECK-SD-NEXT:    fmov s0, w0
 171 ; CHECK-SD-NEXT:    mov v0.s[1], w2
 172 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
 173 ; CHECK-SD-NEXT:    ret
 174 ;
 175 ; CHECK-GI-LABEL: xtn_v2i128_v2i16:
 176 ; CHECK-GI:       // %bb.0: // %entry
 177 ; CHECK-GI-NEXT:    fmov d0, x0
 178 ; CHECK-GI-NEXT:    mov v0.d[1], x2
 179 ; CHECK-GI-NEXT:    xtn v0.2s, v0.2d
 180 ; CHECK-GI-NEXT:    ret
 181 entry:
 182   %arg1 = trunc <2 x i128> %a to <2 x i16>
 183   ret <2 x i16> %arg1
 184 }
 185
 186 define <2 x i32> @xtn_v2i64_v2i32(<2 x i64> %a) {
 187 ; CHECK-LABEL: xtn_v2i64_v2i32:
 188 ; CHECK:       // %bb.0: // %entry
 189 ; CHECK-NEXT:    xtn v0.2s, v0.2d
 190 ; CHECK-NEXT:    ret
 191 entry:
 192   %arg1 = trunc <2 x i64> %a to <2 x i32>
 193   ret <2 x i32> %arg1
 194 }
 195
 196 define <2 x i32> @xtn_v2i128_v2i32(<2 x i128> %a) {
 197 ; CHECK-SD-LABEL: xtn_v2i128_v2i32:
 198 ; CHECK-SD:       // %bb.0: // %entry
 199 ; CHECK-SD-NEXT:    fmov s0, w0
 200 ; CHECK-SD-NEXT:    mov v0.s[1], w2
 201 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 killed $q0
 202 ; CHECK-SD-NEXT:    ret
 203 ;
 204 ; CHECK-GI-LABEL: xtn_v2i128_v2i32:
 205 ; CHECK-GI:       // %bb.0: // %entry
 206 ; CHECK-GI-NEXT:    fmov d0, x0
 207 ; CHECK-GI-NEXT:    mov v0.d[1], x2
 208 ; CHECK-GI-NEXT:    xtn v0.2s, v0.2d
 209 ; CHECK-GI-NEXT:    ret
 210 entry:
 211   %arg1 = trunc <2 x i128> %a to <2 x i32>
 212   ret <2 x i32> %arg1
 213 }
 214
 215 define <2 x i64> @xtn_v2i128_v2i64(<2 x i128> %a) {
 216 ; CHECK-LABEL: xtn_v2i128_v2i64:
 217 ; CHECK:       // %bb.0: // %entry
 218 ; CHECK-NEXT:    fmov d0, x0
 219 ; CHECK-NEXT:    mov v0.d[1], x2
 220 ; CHECK-NEXT:    ret
 221 entry:
 222   %arg1 = trunc <2 x i128> %a to <2 x i64>
 223   ret <2 x i64> %arg1
 224 }
 225
 226 define <3 x i8> @xtn_v3i16_v3i8(<3 x i16> %a) {
 227 ; CHECK-LABEL: xtn_v3i16_v3i8:
 228 ; CHECK:       // %bb.0: // %entry
 229 ; CHECK-NEXT:    // kill: def $d0 killed $d0 def $q0
 230 ; CHECK-NEXT:    umov w0, v0.h[0]
 231 ; CHECK-NEXT:    umov w1, v0.h[1]
 232 ; CHECK-NEXT:    umov w2, v0.h[2]
 233 ; CHECK-NEXT:    ret
 234 entry:
 235   %arg1 = trunc <3 x i16> %a to <3 x i8>
 236   ret <3 x i8> %arg1
 237 }
 238
 239 define <3 x i8> @xtn_v3i32_v3i8(<3 x i32> %a) {
 240 ; CHECK-SD-LABEL: xtn_v3i32_v3i8:
 241 ; CHECK-SD:       // %bb.0: // %entry
 242 ; CHECK-SD-NEXT:    xtn v0.4h, v0.4s
 243 ; CHECK-SD-NEXT:    umov w0, v0.h[0]
 244 ; CHECK-SD-NEXT:    umov w1, v0.h[1]
 245 ; CHECK-SD-NEXT:    umov w2, v0.h[2]
 246 ; CHECK-SD-NEXT:    ret
 247 ;
 248 ; CHECK-GI-LABEL: xtn_v3i32_v3i8:
 249 ; CHECK-GI:       // %bb.0: // %entry
 250 ; CHECK-GI-NEXT:    mov s1, v0.s[1]
 251 ; CHECK-GI-NEXT:    mov s2, v0.s[2]
 252 ; CHECK-GI-NEXT:    fmov w0, s0
 253 ; CHECK-GI-NEXT:    fmov w1, s1
 254 ; CHECK-GI-NEXT:    fmov w2, s2
 255 ; CHECK-GI-NEXT:    ret
 256 entry:
 257   %arg1 = trunc <3 x i32> %a to <3 x i8>
 258   ret <3 x i8> %arg1
 259 }
 260
 261 define <3 x i8> @xtn_v3i64_v3i8(<3 x i64> %a) {
 262 ; CHECK-SD-LABEL: xtn_v3i64_v3i8:
 263 ; CHECK-SD:       // %bb.0: // %entry
 264 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 def $q0
 265 ; CHECK-SD-NEXT:    // kill: def $d1 killed $d1 def $q1
 266 ; CHECK-SD-NEXT:    // kill: def $d2 killed $d2 def $q2
 267 ; CHECK-SD-NEXT:    mov v0.d[1], v1.d[0]
 268 ; CHECK-SD-NEXT:    xtn v1.2s, v2.2d
 269 ; CHECK-SD-NEXT:    xtn v0.2s, v0.2d
 270 ; CHECK-SD-NEXT:    fmov w2, s1
 271 ; CHECK-SD-NEXT:    mov w1, v0.s[1]
 272 ; CHECK-SD-NEXT:    fmov w0, s0
 273 ; CHECK-SD-NEXT:    ret
 274 ;
 275 ; CHECK-GI-LABEL: xtn_v3i64_v3i8:
 276 ; CHECK-GI:       // %bb.0: // %entry
 277 ; CHECK-GI-NEXT:    fmov x0, d0
 278 ; CHECK-GI-NEXT:    fmov x1, d1
 279 ; CHECK-GI-NEXT:    fmov x2, d2
 280 ; CHECK-GI-NEXT:    // kill: def $w0 killed $w0 killed $x0
 281 ; CHECK-GI-NEXT:    // kill: def $w1 killed $w1 killed $x1
 282 ; CHECK-GI-NEXT:    // kill: def $w2 killed $w2 killed $x2
 283 ; CHECK-GI-NEXT:    ret
 284 entry:
 285   %arg1 = trunc <3 x i64> %a to <3 x i8>
 286   ret <3 x i8> %arg1
 287 }
 288
 289 define <3 x i16> @xtn_v3i32_v3i16(<3 x i32> %a) {
 290 ; CHECK-SD-LABEL: xtn_v3i32_v3i16:
 291 ; CHECK-SD:       // %bb.0: // %entry
 292 ; CHECK-SD-NEXT:    xtn v0.4h, v0.4s
 293 ; CHECK-SD-NEXT:    ret
 294 ;
 295 ; CHECK-GI-LABEL: xtn_v3i32_v3i16:
 296 ; CHECK-GI:       // %bb.0: // %entry
 297 ; CHECK-GI-NEXT:    mov s1, v0.s[1]
 298 ; CHECK-GI-NEXT:    mov s2, v0.s[2]
 299 ; CHECK-GI-NEXT:    mov v0.h[1], v1.h[0]
 300 ; CHECK-GI-NEXT:    mov v0.h[2], v2.h[0]
 301 ; CHECK-GI-NEXT:    mov v0.h[3], v0.h[0]
 302 ; CHECK-GI-NEXT:    // kill: def $d0 killed $d0 killed $q0
 303 ; CHECK-GI-NEXT:    ret
 304 entry:
 305   %arg1 = trunc <3 x i32> %a to <3 x i16>
 306   ret <3 x i16> %arg1
 307 }
 308
 309 define <3 x i16> @xtn_v3i64_v3i16(<3 x i64> %a) {
 310 ; CHECK-SD-LABEL: xtn_v3i64_v3i16:
 311 ; CHECK-SD:       // %bb.0: // %entry
 312 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 def $q0
 313 ; CHECK-SD-NEXT:    // kill: def $d1 killed $d1 def $q1
 314 ; CHECK-SD-NEXT:    // kill: def $d2 killed $d2 def $q2
 315 ; CHECK-SD-NEXT:    mov v0.d[1], v1.d[0]
 316 ; CHECK-SD-NEXT:    uzp1 v0.4s, v0.4s, v2.4s
 317 ; CHECK-SD-NEXT:    xtn v0.4h, v0.4s
 318 ; CHECK-SD-NEXT:    ret
 319 ;
 320 ; CHECK-GI-LABEL: xtn_v3i64_v3i16:
 321 ; CHECK-GI:       // %bb.0: // %entry
 322 ; CHECK-GI-NEXT:    fmov x8, d0
 323 ; CHECK-GI-NEXT:    fmov x9, d1
 324 ; CHECK-GI-NEXT:    fmov s0, w8
 325 ; CHECK-GI-NEXT:    fmov s1, w9
 326 ; CHECK-GI-NEXT:    fmov x8, d2
 327 ; CHECK-GI-NEXT:    mov v0.h[1], v1.h[0]
 328 ; CHECK-GI-NEXT:    fmov s1, w8
 329 ; CHECK-GI-NEXT:    mov v0.h[2], v1.h[0]
 330 ; CHECK-GI-NEXT:    mov v0.h[3], v0.h[0]
 331 ; CHECK-GI-NEXT:    // kill: def $d0 killed $d0 killed $q0
 332 ; CHECK-GI-NEXT:    ret
 333 entry:
 334   %arg1 = trunc <3 x i64> %a to <3 x i16>
 335   ret <3 x i16> %arg1
 336 }
 337
 338 define <3 x i32> @xtn_v3i64_v3i32(<3 x i64> %a) {
 339 ; CHECK-SD-LABEL: xtn_v3i64_v3i32:
 340 ; CHECK-SD:       // %bb.0: // %entry
 341 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 def $q0
 342 ; CHECK-SD-NEXT:    // kill: def $d1 killed $d1 def $q1
 343 ; CHECK-SD-NEXT:    // kill: def $d2 killed $d2 def $q2
 344 ; CHECK-SD-NEXT:    mov v0.d[1], v1.d[0]
 345 ; CHECK-SD-NEXT:    uzp1 v0.4s, v0.4s, v2.4s
 346 ; CHECK-SD-NEXT:    ret
 347 ;
 348 ; CHECK-GI-LABEL: xtn_v3i64_v3i32:
 349 ; CHECK-GI:       // %bb.0: // %entry
 350 ; CHECK-GI-NEXT:    fmov x8, d0
 351 ; CHECK-GI-NEXT:    fmov x9, d1
 352 ; CHECK-GI-NEXT:    fmov s0, w8
 353 ; CHECK-GI-NEXT:    fmov x8, d2
 354 ; CHECK-GI-NEXT:    mov v0.s[1], w9
 355 ; CHECK-GI-NEXT:    mov v0.s[2], w8
 356 ; CHECK-GI-NEXT:    mov v0.s[3], w8
 357 ; CHECK-GI-NEXT:    ret
 358 entry:
 359   %arg1 = trunc <3 x i64> %a to <3 x i32>
 360   ret <3 x i32> %arg1
 361 }
 362
 363 define <4 x i8> @xtn_v4i16_v4i8(<4 x i16> %a) {
 364 ; CHECK-LABEL: xtn_v4i16_v4i8:
 365 ; CHECK:       // %bb.0: // %entry
 366 ; CHECK-NEXT:    ret
 367 entry:
 368   %arg1 = trunc <4 x i16> %a to <4 x i8>
 369   ret <4 x i8> %arg1
 370 }
 371
 372 define <4 x i8> @xtn_v4i32_v4i8(<4 x i32> %a) {
 373 ; CHECK-LABEL: xtn_v4i32_v4i8:
 374 ; CHECK:       // %bb.0: // %entry
 375 ; CHECK-NEXT:    xtn v0.4h, v0.4s
 376 ; CHECK-NEXT:    ret
 377 entry:
 378   %arg1 = trunc <4 x i32> %a to <4 x i8>
 379   ret <4 x i8> %arg1
 380 }
 381
 382 define <4 x i8> @xtn_v4i64_v4i8(<4 x i64> %a) {
 383 ; CHECK-LABEL: xtn_v4i64_v4i8:
 384 ; CHECK:       // %bb.0: // %entry
 385 ; CHECK-NEXT:    uzp1 v0.4s, v0.4s, v1.4s
 386 ; CHECK-NEXT:    xtn v0.4h, v0.4s
 387 ; CHECK-NEXT:    ret
 388 entry:
 389   %arg1 = trunc <4 x i64> %a to <4 x i8>
 390   ret <4 x i8> %arg1
 391 }
 392
 393 define <4 x i16> @xtn_v4i32_v4i16(<4 x i32> %a) {
 394 ; CHECK-LABEL: xtn_v4i32_v4i16:
 395 ; CHECK:       // %bb.0: // %entry
 396 ; CHECK-NEXT:    xtn v0.4h, v0.4s
 397 ; CHECK-NEXT:    ret
 398 entry:
 399   %arg1 = trunc <4 x i32> %a to <4 x i16>
 400   ret <4 x i16> %arg1
 401 }
 402
 403 define <4 x i16> @xtn_v4i64_v4i16(<4 x i64> %a) {
 404 ; CHECK-LABEL: xtn_v4i64_v4i16:
 405 ; CHECK:       // %bb.0: // %entry
 406 ; CHECK-NEXT:    uzp1 v0.4s, v0.4s, v1.4s
 407 ; CHECK-NEXT:    xtn v0.4h, v0.4s
 408 ; CHECK-NEXT:    ret
 409 entry:
 410   %arg1 = trunc <4 x i64> %a to <4 x i16>
 411   ret <4 x i16> %arg1
 412 }
 413
 414 define <4 x i32> @xtn_v4i64_v4i32(<4 x i64> %a) {
 415 ; CHECK-LABEL: xtn_v4i64_v4i32:
 416 ; CHECK:       // %bb.0: // %entry
 417 ; CHECK-NEXT:    uzp1 v0.4s, v0.4s, v1.4s
 418 ; CHECK-NEXT:    ret
 419 entry:
 420   %arg1 = trunc <4 x i64> %a to <4 x i32>
 421   ret <4 x i32> %arg1
 422 }
 423
 424 define <8 x i8> @xtn_v8i16_v8i8(<8 x i16> %a) {
 425 ; CHECK-LABEL: xtn_v8i16_v8i8:
 426 ; CHECK:       // %bb.0: // %entry
 427 ; CHECK-NEXT:    xtn v0.8b, v0.8h
 428 ; CHECK-NEXT:    ret
 429 entry:
 430   %arg1 = trunc <8 x i16> %a to <8 x i8>
 431   ret <8 x i8> %arg1
 432 }
 433
 434 define <8 x i8> @xtn_v8i32_v8i8(<8 x i32> %a) {
 435 ; CHECK-LABEL: xtn_v8i32_v8i8:
 436 ; CHECK:       // %bb.0: // %entry
 437 ; CHECK-NEXT:    uzp1 v0.8h, v0.8h, v1.8h
 438 ; CHECK-NEXT:    xtn v0.8b, v0.8h
 439 ; CHECK-NEXT:    ret
 440 entry:
 441   %arg1 = trunc <8 x i32> %a to <8 x i8>
 442   ret <8 x i8> %arg1
 443 }
 444
 445 define <8 x i16> @xtn_v8i32_v8i16(<8 x i32> %a) {
 446 ; CHECK-LABEL: xtn_v8i32_v8i16:
 447 ; CHECK:       // %bb.0: // %entry
 448 ; CHECK-NEXT:    uzp1 v0.8h, v0.8h, v1.8h
 449 ; CHECK-NEXT:    ret
 450 entry:
 451   %arg1 = trunc <8 x i32> %a to <8 x i16>
 452   ret <8 x i16> %arg1
 453 }
 454
 455 define <16 x i8> @xtn_v16i16_v16i8(<16 x i16> %a) {
 456 ; CHECK-LABEL: xtn_v16i16_v16i8:
 457 ; CHECK:       // %bb.0: // %entry
 458 ; CHECK-NEXT:    uzp1 v0.16b, v0.16b, v1.16b
 459 ; CHECK-NEXT:    ret
 460 entry:
 461   %arg1 = trunc <16 x i16> %a to <16 x i8>
 462   ret <16 x i8> %arg1
 463 }