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-SD-LABEL: xtn_v3i16_v3i8:
 228 ; CHECK-SD:       // %bb.0: // %entry
 229 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 def $q0
 230 ; CHECK-SD-NEXT:    umov w0, v0.h[0]
 231 ; CHECK-SD-NEXT:    umov w1, v0.h[1]
 232 ; CHECK-SD-NEXT:    umov w2, v0.h[2]
 233 ; CHECK-SD-NEXT:    ret
 234 ;
 235 ; CHECK-GI-LABEL: xtn_v3i16_v3i8:
 236 ; CHECK-GI:       // %bb.0: // %entry
 237 ; CHECK-GI-NEXT:    // kill: def $d0 killed $d0 def $q0
 238 ; CHECK-GI-NEXT:    mov h1, v0.h[1]
 239 ; CHECK-GI-NEXT:    mov h2, v0.h[2]
 240 ; CHECK-GI-NEXT:    fmov w0, s0
 241 ; CHECK-GI-NEXT:    fmov w1, s1
 242 ; CHECK-GI-NEXT:    fmov w2, s2
 243 ; CHECK-GI-NEXT:    ret
 244 entry:
 245   %arg1 = trunc <3 x i16> %a to <3 x i8>
 246   ret <3 x i8> %arg1
 247 }
 248
 249 define <3 x i8> @xtn_v3i32_v3i8(<3 x i32> %a) {
 250 ; CHECK-SD-LABEL: xtn_v3i32_v3i8:
 251 ; CHECK-SD:       // %bb.0: // %entry
 252 ; CHECK-SD-NEXT:    xtn v0.4h, v0.4s
 253 ; CHECK-SD-NEXT:    umov w0, v0.h[0]
 254 ; CHECK-SD-NEXT:    umov w1, v0.h[1]
 255 ; CHECK-SD-NEXT:    umov w2, v0.h[2]
 256 ; CHECK-SD-NEXT:    ret
 257 ;
 258 ; CHECK-GI-LABEL: xtn_v3i32_v3i8:
 259 ; CHECK-GI:       // %bb.0: // %entry
 260 ; CHECK-GI-NEXT:    mov s1, v0.s[1]
 261 ; CHECK-GI-NEXT:    mov s2, v0.s[2]
 262 ; CHECK-GI-NEXT:    fmov w0, s0
 263 ; CHECK-GI-NEXT:    fmov w1, s1
 264 ; CHECK-GI-NEXT:    fmov w2, s2
 265 ; CHECK-GI-NEXT:    ret
 266 entry:
 267   %arg1 = trunc <3 x i32> %a to <3 x i8>
 268   ret <3 x i8> %arg1
 269 }
 270
 271 define <3 x i8> @xtn_v3i64_v3i8(<3 x i64> %a) {
 272 ; CHECK-SD-LABEL: xtn_v3i64_v3i8:
 273 ; CHECK-SD:       // %bb.0: // %entry
 274 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 def $q0
 275 ; CHECK-SD-NEXT:    // kill: def $d1 killed $d1 def $q1
 276 ; CHECK-SD-NEXT:    // kill: def $d2 killed $d2 def $q2
 277 ; CHECK-SD-NEXT:    mov v0.d[1], v1.d[0]
 278 ; CHECK-SD-NEXT:    xtn v1.2s, v2.2d
 279 ; CHECK-SD-NEXT:    xtn v0.2s, v0.2d
 280 ; CHECK-SD-NEXT:    fmov w2, s1
 281 ; CHECK-SD-NEXT:    mov w1, v0.s[1]
 282 ; CHECK-SD-NEXT:    fmov w0, s0
 283 ; CHECK-SD-NEXT:    ret
 284 ;
 285 ; CHECK-GI-LABEL: xtn_v3i64_v3i8:
 286 ; CHECK-GI:       // %bb.0: // %entry
 287 ; CHECK-GI-NEXT:    fmov x0, d0
 288 ; CHECK-GI-NEXT:    fmov x1, d1
 289 ; CHECK-GI-NEXT:    fmov x2, d2
 290 ; CHECK-GI-NEXT:    // kill: def $w0 killed $w0 killed $x0
 291 ; CHECK-GI-NEXT:    // kill: def $w1 killed $w1 killed $x1
 292 ; CHECK-GI-NEXT:    // kill: def $w2 killed $w2 killed $x2
 293 ; CHECK-GI-NEXT:    ret
 294 entry:
 295   %arg1 = trunc <3 x i64> %a to <3 x i8>
 296   ret <3 x i8> %arg1
 297 }
 298
 299 define <3 x i16> @xtn_v3i32_v3i16(<3 x i32> %a) {
 300 ; CHECK-SD-LABEL: xtn_v3i32_v3i16:
 301 ; CHECK-SD:       // %bb.0: // %entry
 302 ; CHECK-SD-NEXT:    xtn v0.4h, v0.4s
 303 ; CHECK-SD-NEXT:    ret
 304 ;
 305 ; CHECK-GI-LABEL: xtn_v3i32_v3i16:
 306 ; CHECK-GI:       // %bb.0: // %entry
 307 ; CHECK-GI-NEXT:    mov s1, v0.s[1]
 308 ; CHECK-GI-NEXT:    mov s2, v0.s[2]
 309 ; CHECK-GI-NEXT:    mov v0.h[1], v1.h[0]
 310 ; CHECK-GI-NEXT:    mov v0.h[2], v2.h[0]
 311 ; CHECK-GI-NEXT:    mov v0.h[3], v0.h[0]
 312 ; CHECK-GI-NEXT:    // kill: def $d0 killed $d0 killed $q0
 313 ; CHECK-GI-NEXT:    ret
 314 entry:
 315   %arg1 = trunc <3 x i32> %a to <3 x i16>
 316   ret <3 x i16> %arg1
 317 }
 318
 319 define <3 x i16> @xtn_v3i64_v3i16(<3 x i64> %a) {
 320 ; CHECK-SD-LABEL: xtn_v3i64_v3i16:
 321 ; CHECK-SD:       // %bb.0: // %entry
 322 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 def $q0
 323 ; CHECK-SD-NEXT:    // kill: def $d1 killed $d1 def $q1
 324 ; CHECK-SD-NEXT:    // kill: def $d2 killed $d2 def $q2
 325 ; CHECK-SD-NEXT:    mov v0.d[1], v1.d[0]
 326 ; CHECK-SD-NEXT:    uzp1 v0.4s, v0.4s, v2.4s
 327 ; CHECK-SD-NEXT:    xtn v0.4h, v0.4s
 328 ; CHECK-SD-NEXT:    ret
 329 ;
 330 ; CHECK-GI-LABEL: xtn_v3i64_v3i16:
 331 ; CHECK-GI:       // %bb.0: // %entry
 332 ; CHECK-GI-NEXT:    fmov x8, d0
 333 ; CHECK-GI-NEXT:    fmov x9, d1
 334 ; CHECK-GI-NEXT:    fmov s0, w8
 335 ; CHECK-GI-NEXT:    fmov s1, w9
 336 ; CHECK-GI-NEXT:    fmov x8, d2
 337 ; CHECK-GI-NEXT:    mov v0.h[1], v1.h[0]
 338 ; CHECK-GI-NEXT:    fmov s1, w8
 339 ; CHECK-GI-NEXT:    mov v0.h[2], v1.h[0]
 340 ; CHECK-GI-NEXT:    mov v0.h[3], v0.h[0]
 341 ; CHECK-GI-NEXT:    // kill: def $d0 killed $d0 killed $q0
 342 ; CHECK-GI-NEXT:    ret
 343 entry:
 344   %arg1 = trunc <3 x i64> %a to <3 x i16>
 345   ret <3 x i16> %arg1
 346 }
 347
 348 define <3 x i32> @xtn_v3i64_v3i32(<3 x i64> %a) {
 349 ; CHECK-SD-LABEL: xtn_v3i64_v3i32:
 350 ; CHECK-SD:       // %bb.0: // %entry
 351 ; CHECK-SD-NEXT:    // kill: def $d0 killed $d0 def $q0
 352 ; CHECK-SD-NEXT:    // kill: def $d1 killed $d1 def $q1
 353 ; CHECK-SD-NEXT:    // kill: def $d2 killed $d2 def $q2
 354 ; CHECK-SD-NEXT:    mov v0.d[1], v1.d[0]
 355 ; CHECK-SD-NEXT:    uzp1 v0.4s, v0.4s, v2.4s
 356 ; CHECK-SD-NEXT:    ret
 357 ;
 358 ; CHECK-GI-LABEL: xtn_v3i64_v3i32:
 359 ; CHECK-GI:       // %bb.0: // %entry
 360 ; CHECK-GI-NEXT:    fmov x8, d0
 361 ; CHECK-GI-NEXT:    fmov x9, d1
 362 ; CHECK-GI-NEXT:    fmov s0, w8
 363 ; CHECK-GI-NEXT:    fmov x8, d2
 364 ; CHECK-GI-NEXT:    mov v0.s[1], w9
 365 ; CHECK-GI-NEXT:    mov v0.s[2], w8
 366 ; CHECK-GI-NEXT:    mov v0.s[3], w8
 367 ; CHECK-GI-NEXT:    ret
 368 entry:
 369   %arg1 = trunc <3 x i64> %a to <3 x i32>
 370   ret <3 x i32> %arg1
 371 }
 372
 373 define <4 x i8> @xtn_v4i16_v4i8(<4 x i16> %a) {
 374 ; CHECK-LABEL: xtn_v4i16_v4i8:
 375 ; CHECK:       // %bb.0: // %entry
 376 ; CHECK-NEXT:    ret
 377 entry:
 378   %arg1 = trunc <4 x i16> %a to <4 x i8>
 379   ret <4 x i8> %arg1
 380 }
 381
 382 define <4 x i8> @xtn_v4i32_v4i8(<4 x i32> %a) {
 383 ; CHECK-LABEL: xtn_v4i32_v4i8:
 384 ; CHECK:       // %bb.0: // %entry
 385 ; CHECK-NEXT:    xtn v0.4h, v0.4s
 386 ; CHECK-NEXT:    ret
 387 entry:
 388   %arg1 = trunc <4 x i32> %a to <4 x i8>
 389   ret <4 x i8> %arg1
 390 }
 391
 392 define <4 x i8> @xtn_v4i64_v4i8(<4 x i64> %a) {
 393 ; CHECK-LABEL: xtn_v4i64_v4i8:
 394 ; CHECK:       // %bb.0: // %entry
 395 ; CHECK-NEXT:    uzp1 v0.4s, v0.4s, v1.4s
 396 ; CHECK-NEXT:    xtn v0.4h, v0.4s
 397 ; CHECK-NEXT:    ret
 398 entry:
 399   %arg1 = trunc <4 x i64> %a to <4 x i8>
 400   ret <4 x i8> %arg1
 401 }
 402
 403 define <4 x i16> @xtn_v4i32_v4i16(<4 x i32> %a) {
 404 ; CHECK-LABEL: xtn_v4i32_v4i16:
 405 ; CHECK:       // %bb.0: // %entry
 406 ; CHECK-NEXT:    xtn v0.4h, v0.4s
 407 ; CHECK-NEXT:    ret
 408 entry:
 409   %arg1 = trunc <4 x i32> %a to <4 x i16>
 410   ret <4 x i16> %arg1
 411 }
 412
 413 define <4 x i16> @xtn_v4i64_v4i16(<4 x i64> %a) {
 414 ; CHECK-LABEL: xtn_v4i64_v4i16:
 415 ; CHECK:       // %bb.0: // %entry
 416 ; CHECK-NEXT:    uzp1 v0.4s, v0.4s, v1.4s
 417 ; CHECK-NEXT:    xtn v0.4h, v0.4s
 418 ; CHECK-NEXT:    ret
 419 entry:
 420   %arg1 = trunc <4 x i64> %a to <4 x i16>
 421   ret <4 x i16> %arg1
 422 }
 423
 424 define <4 x i32> @xtn_v4i64_v4i32(<4 x i64> %a) {
 425 ; CHECK-LABEL: xtn_v4i64_v4i32:
 426 ; CHECK:       // %bb.0: // %entry
 427 ; CHECK-NEXT:    uzp1 v0.4s, v0.4s, v1.4s
 428 ; CHECK-NEXT:    ret
 429 entry:
 430   %arg1 = trunc <4 x i64> %a to <4 x i32>
 431   ret <4 x i32> %arg1
 432 }
 433
 434 define <8 x i8> @xtn_v8i16_v8i8(<8 x i16> %a) {
 435 ; CHECK-LABEL: xtn_v8i16_v8i8:
 436 ; CHECK:       // %bb.0: // %entry
 437 ; CHECK-NEXT:    xtn v0.8b, v0.8h
 438 ; CHECK-NEXT:    ret
 439 entry:
 440   %arg1 = trunc <8 x i16> %a to <8 x i8>
 441   ret <8 x i8> %arg1
 442 }
 443
 444 define <8 x i8> @xtn_v8i32_v8i8(<8 x i32> %a) {
 445 ; CHECK-LABEL: xtn_v8i32_v8i8:
 446 ; CHECK:       // %bb.0: // %entry
 447 ; CHECK-NEXT:    uzp1 v0.8h, v0.8h, v1.8h
 448 ; CHECK-NEXT:    xtn v0.8b, v0.8h
 449 ; CHECK-NEXT:    ret
 450 entry:
 451   %arg1 = trunc <8 x i32> %a to <8 x i8>
 452   ret <8 x i8> %arg1
 453 }
 454
 455 define <8 x i16> @xtn_v8i32_v8i16(<8 x i32> %a) {
 456 ; CHECK-LABEL: xtn_v8i32_v8i16:
 457 ; CHECK:       // %bb.0: // %entry
 458 ; CHECK-NEXT:    uzp1 v0.8h, v0.8h, v1.8h
 459 ; CHECK-NEXT:    ret
 460 entry:
 461   %arg1 = trunc <8 x i32> %a to <8 x i16>
 462   ret <8 x i16> %arg1
 463 }
 464
 465 define <16 x i8> @xtn_v16i16_v16i8(<16 x i16> %a) {
 466 ; CHECK-LABEL: xtn_v16i16_v16i8:
 467 ; CHECK:       // %bb.0: // %entry
 468 ; CHECK-NEXT:    uzp1 v0.16b, v0.16b, v1.16b
 469 ; CHECK-NEXT:    ret
 470 entry:
 471   %arg1 = trunc <16 x i16> %a to <16 x i8>
 472   ret <16 x i8> %arg1
 473 }