; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=arm64-eabi -aarch64-neon-syntax=apple | FileCheck %s --check-prefixes=CHECK,CHECKDAG
; RUN: llc < %s -mtriple=arm64-eabi -aarch64-neon-syntax=apple -global-isel -global-isel-abort=2 -pass-remarks-missed=gisel* 2>&1 | FileCheck %s --check-prefixes=CHECK,FALLBACK

; Test efficient codegen of vector extends up from legal type to 128 bit
; and 256 bit vector types.

;-----
; Vectors of i16.
;-----

; FALLBACK-NOT: remark:{{.*}}(in function: func1)
define <8 x i16> @func1(<8 x i8> %v0) nounwind {
; CHECK-LABEL: func1:
; CHECK:       // %bb.0:
; CHECK-NEXT:    ushll.8h v0, v0, #0
; CHECK-NEXT:    ret
  %r = zext <8 x i8> %v0 to <8 x i16>
  ret <8 x i16> %r
}

; FALLBACK-NOT: remark:{{.*}}(in function: func2)
define <8 x i16> @func2(<8 x i8> %v0) nounwind {
; CHECK-LABEL: func2:
; CHECK:       // %bb.0:
; CHECK-NEXT:    sshll.8h v0, v0, #0
; CHECK-NEXT:    ret
  %r = sext <8 x i8> %v0 to <8 x i16>
  ret <8 x i16> %r
}

define <16 x i16> @func3(<16 x i8> %v0) nounwind {
; CHECK-LABEL: func3:
; CHECK:       // %bb.0:
; CHECK-NEXT:    ushll2.8h v1, v0, #0
; CHECK-NEXT:    ushll.8h v0, v0, #0
; CHECK-NEXT:    ret
  %r = zext <16 x i8> %v0 to <16 x i16>
  ret <16 x i16> %r
}

define <16 x i16> @func4(<16 x i8> %v0) nounwind {
; CHECK-LABEL: func4:
; CHECK:       // %bb.0:
; CHECK-NEXT:    sshll2.8h v1, v0, #0
; CHECK-NEXT:    sshll.8h v0, v0, #0
; CHECK-NEXT:    ret
  %r = sext <16 x i8> %v0 to <16 x i16>
  ret <16 x i16> %r
}

;-----
; Vectors of i32.
;-----

; FALLBACK-NOT: remark:{{.*}}(in function: afunc1)
define <4 x i32> @afunc1(<4 x i16> %v0) nounwind {
; CHECK-LABEL: afunc1:
; CHECK:       // %bb.0:
; CHECK-NEXT:    ushll.4s v0, v0, #0
; CHECK-NEXT:    ret
  %r = zext <4 x i16> %v0 to <4 x i32>
  ret <4 x i32> %r
}

; FALLBACK-NOT: remark:{{.*}}(in function: afunc2)
define <4 x i32> @afunc2(<4 x i16> %v0) nounwind {
; CHECK-LABEL: afunc2:
; CHECK:       // %bb.0:
; CHECK-NEXT:    sshll.4s v0, v0, #0
; CHECK-NEXT:    ret
  %r = sext <4 x i16> %v0 to <4 x i32>
  ret <4 x i32> %r
}

define <8 x i32> @afunc3(<8 x i16> %v0) nounwind {
; CHECK-LABEL: afunc3:
; CHECK:       // %bb.0:
; CHECK-NEXT:    ushll2.4s v1, v0, #0
; CHECK-NEXT:    ushll.4s v0, v0, #0
; CHECK-NEXT:    ret
  %r = zext <8 x i16> %v0 to <8 x i32>
  ret <8 x i32> %r
}

define <8 x i32> @afunc4(<8 x i16> %v0) nounwind {
; CHECK-LABEL: afunc4:
; CHECK:       // %bb.0:
; CHECK-NEXT:    sshll2.4s v1, v0, #0
; CHECK-NEXT:    sshll.4s v0, v0, #0
; CHECK-NEXT:    ret
  %r = sext <8 x i16> %v0 to <8 x i32>
  ret <8 x i32> %r
}

define <8 x i32> @bfunc1(<8 x i8> %v0) nounwind {
; CHECK-LABEL: bfunc1:
; CHECK:       // %bb.0:
; CHECK-NEXT:    ushll.8h v0, v0, #0
; CHECK-NEXT:    ushll2.4s v1, v0, #0
; CHECK-NEXT:    ushll.4s v0, v0, #0
; CHECK-NEXT:    ret
  %r = zext <8 x i8> %v0 to <8 x i32>
  ret <8 x i32> %r
}

define <8 x i32> @bfunc2(<8 x i8> %v0) nounwind {
; CHECK-LABEL: bfunc2:
; CHECK:       // %bb.0:
; CHECK-NEXT:    sshll.8h v0, v0, #0
; CHECK-NEXT:    sshll2.4s v1, v0, #0
; CHECK-NEXT:    sshll.4s v0, v0, #0
; CHECK-NEXT:    ret
  %r = sext <8 x i8> %v0 to <8 x i32>
  ret <8 x i32> %r
}

;-----
; Vectors of i64.
;-----

define <4 x i64> @zfunc1(<4 x i32> %v0) nounwind {
; CHECK-LABEL: zfunc1:
; CHECK:       // %bb.0:
; CHECK-NEXT:    ushll2.2d v1, v0, #0
; CHECK-NEXT:    ushll.2d v0, v0, #0
; CHECK-NEXT:    ret
  %r = zext <4 x i32> %v0 to <4 x i64>
  ret <4 x i64> %r
}

define <4 x i64> @zfunc2(<4 x i32> %v0) nounwind {
; CHECK-LABEL: zfunc2:
; CHECK:       // %bb.0:
; CHECK-NEXT:    sshll2.2d v1, v0, #0
; CHECK-NEXT:    sshll.2d v0, v0, #0
; CHECK-NEXT:    ret
  %r = sext <4 x i32> %v0 to <4 x i64>
  ret <4 x i64> %r
}

define <4 x i64> @bfunc3(<4 x i16> %v0) nounwind {
; CHECK-LABEL: bfunc3:
; CHECK:       // %bb.0:
; CHECK-NEXT:    ushll.4s v0, v0, #0
; CHECK-NEXT:    ushll2.2d v1, v0, #0
; CHECK-NEXT:    ushll.2d v0, v0, #0
; CHECK-NEXT:    ret
  %r = zext <4 x i16> %v0 to <4 x i64>
  ret <4 x i64> %r
}

define <4 x i64> @cfunc4(<4 x i16> %v0) nounwind {
; CHECK-LABEL: cfunc4:
; CHECK:       // %bb.0:
; CHECK-NEXT:    sshll.4s v0, v0, #0
; CHECK-NEXT:    sshll2.2d v1, v0, #0
; CHECK-NEXT:    sshll.2d v0, v0, #0
; CHECK-NEXT:    ret
  %r = sext <4 x i16> %v0 to <4 x i64>
  ret <4 x i64> %r
}

define <4 x i64> @zext_v4i8_to_v4i64(<4 x i8> %v0) nounwind {
; CHECK-LABEL: zext_v4i8_to_v4i64:
; CHECK:       // %bb.0:
; CHECK-NEXT:    bic.4h v0, #255, lsl #8
; CHECK-NEXT:    ushll.4s v0, v0, #0
; CHECK-NEXT:    ushll2.2d v1, v0, #0
; CHECK-NEXT:    ushll.2d v0, v0, #0
; CHECK-NEXT:    ret
  %r = zext <4 x i8> %v0 to <4 x i64>
  ret <4 x i64> %r
}

define <4 x i64> @sext_v4i8_to_v4i64(<4 x i8> %v0) nounwind {
; CHECK-LABEL: sext_v4i8_to_v4i64:
; CHECK:       // %bb.0:
; CHECK-NEXT:    ushll.4s v0, v0, #0
; CHECK-NEXT:    ushll2.2d v1, v0, #0
; CHECK-NEXT:    ushll.2d v0, v0, #0
; CHECK-NEXT:    shl.2d v1, v1, #56
; CHECK-NEXT:    shl.2d v0, v0, #56
; CHECK-NEXT:    sshr.2d v1, v1, #56
; CHECK-NEXT:    sshr.2d v0, v0, #56
; CHECK-NEXT:    ret
  %r = sext <4 x i8> %v0 to <4 x i64>
  ret <4 x i64> %r
}

define <8 x i64> @zext_v8i8_to_v8i64(<8 x i8> %v0) nounwind {
; CHECK-LABEL: zext_v8i8_to_v8i64:
; CHECK:       // %bb.0:
; CHECK-NEXT:    ushll.8h v0, v0, #0
; CHECK-NEXT:    ushll.4s v2, v0, #0
; CHECK-NEXT:    ushll2.4s v4, v0, #0
; CHECK-NEXT:    ushll2.2d v1, v2, #0
; CHECK-NEXT:    ushll.2d v0, v2, #0
; CHECK-NEXT:    ushll2.2d v3, v4, #0
; CHECK-NEXT:    ushll.2d v2, v4, #0
; CHECK-NEXT:    ret
  %r = zext <8 x i8> %v0 to <8 x i64>
  ret <8 x i64> %r
}

define <8 x i64> @sext_v8i8_to_v8i64(<8 x i8> %v0) nounwind {
; CHECK-LABEL: sext_v8i8_to_v8i64:
; CHECK:       // %bb.0:
; CHECK-NEXT:    sshll.8h v0, v0, #0
; CHECK-NEXT:    sshll.4s v2, v0, #0
; CHECK-NEXT:    sshll2.4s v4, v0, #0
; CHECK-NEXT:    sshll2.2d v1, v2, #0
; CHECK-NEXT:    sshll.2d v0, v2, #0
; CHECK-NEXT:    sshll2.2d v3, v4, #0
; CHECK-NEXT:    sshll.2d v2, v4, #0
; CHECK-NEXT:    ret
  %r = sext <8 x i8> %v0 to <8 x i64>
  ret <8 x i64> %r
}

; Extends of vectors of i1.

define <32 x i8> @zext_v32i1(<32 x i1> %arg) {
; CHECK-LABEL: zext_v32i1:
; CHECK:       // %bb.0:
; CHECK-NEXT:    ldr w8, [sp, #64]
; CHECK-NEXT:    fmov s0, w0
; CHECK-NEXT:    ldr w9, [sp]
; CHECK-NEXT:    ldr w10, [sp, #8]
; CHECK-NEXT:    fmov s1, w8
; CHECK-NEXT:    ldr w8, [sp, #72]
; CHECK-NEXT:    mov.b v0[1], w1
; CHECK-NEXT:    movi.16b v2, #1
; CHECK-NEXT:    mov.b v1[1], w8
; CHECK-NEXT:    ldr w8, [sp, #80]
; CHECK-NEXT:    mov.b v0[2], w2
; CHECK-NEXT:    mov.b v1[2], w8
; CHECK-NEXT:    ldr w8, [sp, #88]
; CHECK-NEXT:    mov.b v0[3], w3
; CHECK-NEXT:    mov.b v1[3], w8
; CHECK-NEXT:    ldr w8, [sp, #96]
; CHECK-NEXT:    mov.b v0[4], w4
; CHECK-NEXT:    mov.b v1[4], w8
; CHECK-NEXT:    ldr w8, [sp, #104]
; CHECK-NEXT:    mov.b v0[5], w5
; CHECK-NEXT:    mov.b v1[5], w8
; CHECK-NEXT:    ldr w8, [sp, #112]
; CHECK-NEXT:    mov.b v0[6], w6
; CHECK-NEXT:    mov.b v1[6], w8
; CHECK-NEXT:    ldr w8, [sp, #120]
; CHECK-NEXT:    mov.b v0[7], w7
; CHECK-NEXT:    mov.b v1[7], w8
; CHECK-NEXT:    ldr w8, [sp, #128]
; CHECK-NEXT:    mov.b v0[8], w9
; CHECK-NEXT:    ldr w9, [sp, #16]
; CHECK-NEXT:    mov.b v1[8], w8
; CHECK-NEXT:    ldr w8, [sp, #136]
; CHECK-NEXT:    mov.b v0[9], w10
; CHECK-NEXT:    ldr w10, [sp, #24]
; CHECK-NEXT:    mov.b v1[9], w8
; CHECK-NEXT:    ldr w8, [sp, #144]
; CHECK-NEXT:    mov.b v0[10], w9
; CHECK-NEXT:    ldr w9, [sp, #32]
; CHECK-NEXT:    mov.b v1[10], w8
; CHECK-NEXT:    ldr w8, [sp, #152]
; CHECK-NEXT:    mov.b v0[11], w10
; CHECK-NEXT:    ldr w10, [sp, #40]
; CHECK-NEXT:    mov.b v1[11], w8
; CHECK-NEXT:    ldr w8, [sp, #160]
; CHECK-NEXT:    mov.b v0[12], w9
; CHECK-NEXT:    ldr w9, [sp, #48]
; CHECK-NEXT:    mov.b v1[12], w8
; CHECK-NEXT:    ldr w8, [sp, #168]
; CHECK-NEXT:    mov.b v0[13], w10
; CHECK-NEXT:    ldr w10, [sp, #56]
; CHECK-NEXT:    mov.b v1[13], w8
; CHECK-NEXT:    ldr w8, [sp, #176]
; CHECK-NEXT:    mov.b v0[14], w9
; CHECK-NEXT:    mov.b v1[14], w8
; CHECK-NEXT:    ldr w8, [sp, #184]
; CHECK-NEXT:    mov.b v0[15], w10
; CHECK-NEXT:    mov.b v1[15], w8
; CHECK-NEXT:    and.16b v0, v0, v2
; CHECK-NEXT:    and.16b v1, v1, v2
; CHECK-NEXT:    ret
  %res = zext <32 x i1> %arg to <32 x i8>
  ret <32 x i8> %res
}

define <32 x i8> @sext_v32i1(<32 x i1> %arg) {
; CHECK-LABEL: sext_v32i1:
; CHECK:       // %bb.0:
; CHECK-NEXT:    ldr w8, [sp, #64]
; CHECK-NEXT:    fmov s0, w0
; CHECK-NEXT:    ldr w9, [sp]
; CHECK-NEXT:    ldr w10, [sp, #8]
; CHECK-NEXT:    fmov s1, w8
; CHECK-NEXT:    ldr w8, [sp, #72]
; CHECK-NEXT:    mov.b v0[1], w1
; CHECK-NEXT:    mov.b v1[1], w8
; CHECK-NEXT:    ldr w8, [sp, #80]
; CHECK-NEXT:    mov.b v0[2], w2
; CHECK-NEXT:    mov.b v1[2], w8
; CHECK-NEXT:    ldr w8, [sp, #88]
; CHECK-NEXT:    mov.b v0[3], w3
; CHECK-NEXT:    mov.b v1[3], w8
; CHECK-NEXT:    ldr w8, [sp, #96]
; CHECK-NEXT:    mov.b v0[4], w4
; CHECK-NEXT:    mov.b v1[4], w8
; CHECK-NEXT:    ldr w8, [sp, #104]
; CHECK-NEXT:    mov.b v0[5], w5
; CHECK-NEXT:    mov.b v1[5], w8
; CHECK-NEXT:    ldr w8, [sp, #112]
; CHECK-NEXT:    mov.b v0[6], w6
; CHECK-NEXT:    mov.b v1[6], w8
; CHECK-NEXT:    ldr w8, [sp, #120]
; CHECK-NEXT:    mov.b v0[7], w7
; CHECK-NEXT:    mov.b v1[7], w8
; CHECK-NEXT:    ldr w8, [sp, #128]
; CHECK-NEXT:    mov.b v0[8], w9
; CHECK-NEXT:    ldr w9, [sp, #16]
; CHECK-NEXT:    mov.b v1[8], w8
; CHECK-NEXT:    ldr w8, [sp, #136]
; CHECK-NEXT:    mov.b v0[9], w10
; CHECK-NEXT:    ldr w10, [sp, #24]
; CHECK-NEXT:    mov.b v1[9], w8
; CHECK-NEXT:    ldr w8, [sp, #144]
; CHECK-NEXT:    mov.b v0[10], w9
; CHECK-NEXT:    ldr w9, [sp, #32]
; CHECK-NEXT:    mov.b v1[10], w8
; CHECK-NEXT:    ldr w8, [sp, #152]
; CHECK-NEXT:    mov.b v0[11], w10
; CHECK-NEXT:    ldr w10, [sp, #40]
; CHECK-NEXT:    mov.b v1[11], w8
; CHECK-NEXT:    ldr w8, [sp, #160]
; CHECK-NEXT:    mov.b v0[12], w9
; CHECK-NEXT:    ldr w9, [sp, #48]
; CHECK-NEXT:    mov.b v1[12], w8
; CHECK-NEXT:    ldr w8, [sp, #168]
; CHECK-NEXT:    mov.b v0[13], w10
; CHECK-NEXT:    ldr w10, [sp, #56]
; CHECK-NEXT:    mov.b v1[13], w8
; CHECK-NEXT:    ldr w8, [sp, #176]
; CHECK-NEXT:    mov.b v0[14], w9
; CHECK-NEXT:    mov.b v1[14], w8
; CHECK-NEXT:    ldr w8, [sp, #184]
; CHECK-NEXT:    mov.b v0[15], w10
; CHECK-NEXT:    mov.b v1[15], w8
; CHECK-NEXT:    shl.16b v0, v0, #7
; CHECK-NEXT:    shl.16b v1, v1, #7
; CHECK-NEXT:    sshr.16b v0, v0, #7
; CHECK-NEXT:    sshr.16b v1, v1, #7
; CHECK-NEXT:    ret
  %res = sext <32 x i1> %arg to <32 x i8>
  ret <32 x i8> %res
}

define <64 x i8> @zext_v64i1(<64 x i1> %arg) {
; CHECK-LABEL: zext_v64i1:
; CHECK:       // %bb.0:
; CHECK-NEXT:    ldr w8, [sp, #320]
; CHECK-NEXT:    fmov s0, w0
; CHECK-NEXT:    ldr w9, [sp, #64]
; CHECK-NEXT:    ldr w10, [sp, #192]
; CHECK-NEXT:    fmov s3, w8
; CHECK-NEXT:    ldr w8, [sp, #328]
; CHECK-NEXT:    fmov s1, w9
; CHECK-NEXT:    ldr w9, [sp, #200]
; CHECK-NEXT:    fmov s2, w10
; CHECK-NEXT:    ldr w10, [sp, #336]
; CHECK-NEXT:    mov.b v3[1], w8
; CHECK-NEXT:    ldr w8, [sp, #72]
; CHECK-NEXT:    mov.b v0[1], w1
; CHECK-NEXT:    ldr w11, [sp, #352]
; CHECK-NEXT:    mov.b v2[1], w9
; CHECK-NEXT:    ldr w9, [sp, #80]
; CHECK-NEXT:    mov.b v1[1], w8
; CHECK-NEXT:    ldr w8, [sp, #344]
; CHECK-NEXT:    mov.b v3[2], w10
; CHECK-NEXT:    ldr w10, [sp, #208]
; CHECK-NEXT:    mov.b v0[2], w2
; CHECK-NEXT:    ldr w12, [sp, #368]
; CHECK-NEXT:    ldr w13, [sp, #384]
; CHECK-NEXT:    mov.b v1[2], w9
; CHECK-NEXT:    ldr w9, [sp, #360]
; CHECK-NEXT:    mov.b v2[2], w10
; CHECK-NEXT:    ldr w10, [sp, #88]
; CHECK-NEXT:    mov.b v3[3], w8
; CHECK-NEXT:    ldr w8, [sp, #216]
; CHECK-NEXT:    mov.b v0[3], w3
; CHECK-NEXT:    ldr w14, [sp, #400]
; CHECK-NEXT:    mov.b v1[3], w10
; CHECK-NEXT:    ldr w10, [sp, #376]
; CHECK-NEXT:    mov.b v2[3], w8
; CHECK-NEXT:    ldr w8, [sp, #96]
; CHECK-NEXT:    mov.b v3[4], w11
; CHECK-NEXT:    ldr w11, [sp, #224]
; CHECK-NEXT:    mov.b v0[4], w4
; CHECK-NEXT:    ldr w15, [sp, #416]
; CHECK-NEXT:    mov.b v1[4], w8
; CHECK-NEXT:    ldr w8, [sp, #392]
; CHECK-NEXT:    mov.b v2[4], w11
; CHECK-NEXT:    ldr w11, [sp, #104]
; CHECK-NEXT:    mov.b v3[5], w9
; CHECK-NEXT:    ldr w9, [sp, #232]
; CHECK-NEXT:    mov.b v0[5], w5
; CHECK-NEXT:    ldr w16, [sp, #432]
; CHECK-NEXT:    mov.b v1[5], w11
; CHECK-NEXT:    ldr w11, [sp, #408]
; CHECK-NEXT:    mov.b v2[5], w9
; CHECK-NEXT:    ldr w9, [sp, #112]
; CHECK-NEXT:    mov.b v3[6], w12
; CHECK-NEXT:    ldr w12, [sp, #240]
; CHECK-NEXT:    mov.b v0[6], w6
; CHECK-NEXT:    mov.b v1[6], w9
; CHECK-NEXT:    ldr w9, [sp, #424]
; CHECK-NEXT:    mov.b v2[6], w12
; CHECK-NEXT:    ldr w12, [sp, #120]
; CHECK-NEXT:    mov.b v3[7], w10
; CHECK-NEXT:    ldr w10, [sp, #248]
; CHECK-NEXT:    mov.b v0[7], w7
; CHECK-NEXT:    mov.b v1[7], w12
; CHECK-NEXT:    ldr w12, [sp]
; CHECK-NEXT:    mov.b v2[7], w10
; CHECK-NEXT:    ldr w10, [sp, #128]
; CHECK-NEXT:    mov.b v3[8], w13
; CHECK-NEXT:    ldr w13, [sp, #256]
; CHECK-NEXT:    mov.b v0[8], w12
; CHECK-NEXT:    ldr w12, [sp, #440]
; CHECK-NEXT:    mov.b v1[8], w10
; CHECK-NEXT:    ldr w10, [sp, #8]
; CHECK-NEXT:    mov.b v2[8], w13
; CHECK-NEXT:    ldr w13, [sp, #136]
; CHECK-NEXT:    mov.b v3[9], w8
; CHECK-NEXT:    ldr w8, [sp, #264]
; CHECK-NEXT:    mov.b v0[9], w10
; CHECK-NEXT:    ldr w10, [sp, #272]
; CHECK-NEXT:    mov.b v1[9], w13
; CHECK-NEXT:    ldr w13, [sp, #16]
; CHECK-NEXT:    mov.b v2[9], w8
; CHECK-NEXT:    ldr w8, [sp, #144]
; CHECK-NEXT:    mov.b v3[10], w14
; CHECK-NEXT:    ldr w14, [sp, #280]
; CHECK-NEXT:    mov.b v0[10], w13
; CHECK-NEXT:    ldr w13, [sp, #296]
; CHECK-NEXT:    mov.b v1[10], w8
; CHECK-NEXT:    ldr w8, [sp, #24]
; CHECK-NEXT:    mov.b v2[10], w10
; CHECK-NEXT:    ldr w10, [sp, #152]
; CHECK-NEXT:    mov.b v3[11], w11
; CHECK-NEXT:    ldr w11, [sp, #288]
; CHECK-NEXT:    mov.b v0[11], w8
; CHECK-NEXT:    ldr w8, [sp, #32]
; CHECK-NEXT:    mov.b v1[11], w10
; CHECK-NEXT:    ldr w10, [sp, #160]
; CHECK-NEXT:    mov.b v2[11], w14
; CHECK-NEXT:    mov.b v3[12], w15
; CHECK-NEXT:    mov.b v0[12], w8
; CHECK-NEXT:    ldr w8, [sp, #40]
; CHECK-NEXT:    mov.b v1[12], w10
; CHECK-NEXT:    ldr w10, [sp, #168]
; CHECK-NEXT:    mov.b v2[12], w11
; CHECK-NEXT:    ldr w11, [sp, #312]
; CHECK-NEXT:    mov.b v3[13], w9
; CHECK-NEXT:    ldr w9, [sp, #304]
; CHECK-NEXT:    mov.b v0[13], w8
; CHECK-NEXT:    ldr w8, [sp, #48]
; CHECK-NEXT:    mov.b v1[13], w10
; CHECK-NEXT:    ldr w10, [sp, #176]
; CHECK-NEXT:    mov.b v2[13], w13
; CHECK-NEXT:    mov.b v3[14], w16
; CHECK-NEXT:    mov.b v0[14], w8
; CHECK-NEXT:    ldr w8, [sp, #56]
; CHECK-NEXT:    mov.b v1[14], w10
; CHECK-NEXT:    mov.b v2[14], w9
; CHECK-NEXT:    ldr w9, [sp, #184]
; CHECK-NEXT:    movi.16b v4, #1
; CHECK-NEXT:    mov.b v0[15], w8
; CHECK-NEXT:    mov.b v1[15], w9
; CHECK-NEXT:    mov.b v2[15], w11
; CHECK-NEXT:    mov.b v3[15], w12
; CHECK-NEXT:    and.16b v0, v0, v4
; CHECK-NEXT:    and.16b v1, v1, v4
; CHECK-NEXT:    and.16b v2, v2, v4
; CHECK-NEXT:    and.16b v3, v3, v4
; CHECK-NEXT:    ret
  %res = zext <64 x i1> %arg to <64 x i8>
  ret <64 x i8> %res
}

define <64 x i8> @sext_v64i1(<64 x i1> %arg) {
; CHECK-LABEL: sext_v64i1:
; CHECK:       // %bb.0:
; CHECK-NEXT:    ldr w8, [sp, #320]
; CHECK-NEXT:    fmov s3, w0
; CHECK-NEXT:    ldr w9, [sp, #64]
; CHECK-NEXT:    ldr w10, [sp, #192]
; CHECK-NEXT:    fmov s0, w8
; CHECK-NEXT:    ldr w8, [sp, #72]
; CHECK-NEXT:    fmov s2, w9
; CHECK-NEXT:    ldr w9, [sp, #200]
; CHECK-NEXT:    fmov s1, w10
; CHECK-NEXT:    ldr w10, [sp, #328]
; CHECK-NEXT:    mov.b v3[1], w1
; CHECK-NEXT:    ldr w11, [sp, #344]
; CHECK-NEXT:    mov.b v2[1], w8
; CHECK-NEXT:    ldr w8, [sp, #336]
; CHECK-NEXT:    mov.b v1[1], w9
; CHECK-NEXT:    ldr w9, [sp, #80]
; CHECK-NEXT:    mov.b v0[1], w10
; CHECK-NEXT:    ldr w10, [sp, #208]
; CHECK-NEXT:    mov.b v3[2], w2
; CHECK-NEXT:    ldr w12, [sp, #360]
; CHECK-NEXT:    mov.b v2[2], w9
; CHECK-NEXT:    ldr w9, [sp, #352]
; CHECK-NEXT:    mov.b v1[2], w10
; CHECK-NEXT:    ldr w10, [sp, #88]
; CHECK-NEXT:    mov.b v0[2], w8
; CHECK-NEXT:    ldr w8, [sp, #216]
; CHECK-NEXT:    mov.b v3[3], w3
; CHECK-NEXT:    ldr w13, [sp, #376]
; CHECK-NEXT:    mov.b v2[3], w10
; CHECK-NEXT:    ldr w10, [sp, #368]
; CHECK-NEXT:    mov.b v1[3], w8
; CHECK-NEXT:    ldr w8, [sp, #96]
; CHECK-NEXT:    mov.b v0[3], w11
; CHECK-NEXT:    ldr w11, [sp, #224]
; CHECK-NEXT:    mov.b v3[4], w4
; CHECK-NEXT:    ldr w14, [sp, #392]
; CHECK-NEXT:    mov.b v2[4], w8
; CHECK-NEXT:    ldr w8, [sp, #384]
; CHECK-NEXT:    mov.b v1[4], w11
; CHECK-NEXT:    ldr w11, [sp, #104]
; CHECK-NEXT:    mov.b v0[4], w9
; CHECK-NEXT:    ldr w9, [sp, #232]
; CHECK-NEXT:    mov.b v3[5], w5
; CHECK-NEXT:    ldr w15, [sp, #408]
; CHECK-NEXT:    mov.b v2[5], w11
; CHECK-NEXT:    ldr w11, [sp, #400]
; CHECK-NEXT:    mov.b v1[5], w9
; CHECK-NEXT:    ldr w9, [sp, #112]
; CHECK-NEXT:    mov.b v0[5], w12
; CHECK-NEXT:    ldr w12, [sp, #240]
; CHECK-NEXT:    mov.b v3[6], w6
; CHECK-NEXT:    ldr w16, [sp, #424]
; CHECK-NEXT:    mov.b v2[6], w9
; CHECK-NEXT:    ldr w9, [sp, #416]
; CHECK-NEXT:    mov.b v1[6], w12
; CHECK-NEXT:    ldr w12, [sp, #120]
; CHECK-NEXT:    mov.b v0[6], w10
; CHECK-NEXT:    ldr w10, [sp, #248]
; CHECK-NEXT:    mov.b v3[7], w7
; CHECK-NEXT:    mov.b v2[7], w12
; CHECK-NEXT:    ldr w12, [sp]
; CHECK-NEXT:    mov.b v1[7], w10
; CHECK-NEXT:    ldr w10, [sp, #128]
; CHECK-NEXT:    mov.b v0[7], w13
; CHECK-NEXT:    ldr w13, [sp, #256]
; CHECK-NEXT:    mov.b v3[8], w12
; CHECK-NEXT:    ldr w12, [sp, #432]
; CHECK-NEXT:    mov.b v2[8], w10
; CHECK-NEXT:    ldr w10, [sp, #8]
; CHECK-NEXT:    mov.b v1[8], w13
; CHECK-NEXT:    ldr w13, [sp, #136]
; CHECK-NEXT:    mov.b v0[8], w8
; CHECK-NEXT:    ldr w8, [sp, #264]
; CHECK-NEXT:    mov.b v3[9], w10
; CHECK-NEXT:    ldr w10, [sp, #440]
; CHECK-NEXT:    mov.b v2[9], w13
; CHECK-NEXT:    ldr w13, [sp, #16]
; CHECK-NEXT:    mov.b v1[9], w8
; CHECK-NEXT:    ldr w8, [sp, #144]
; CHECK-NEXT:    mov.b v0[9], w14
; CHECK-NEXT:    ldr w14, [sp, #272]
; CHECK-NEXT:    mov.b v3[10], w13
; CHECK-NEXT:    ldr w13, [sp, #280]
; CHECK-NEXT:    mov.b v2[10], w8
; CHECK-NEXT:    ldr w8, [sp, #24]
; CHECK-NEXT:    mov.b v1[10], w14
; CHECK-NEXT:    ldr w14, [sp, #152]
; CHECK-NEXT:    mov.b v0[10], w11
; CHECK-NEXT:    ldr w11, [sp, #288]
; CHECK-NEXT:    mov.b v3[11], w8
; CHECK-NEXT:    ldr w8, [sp, #32]
; CHECK-NEXT:    mov.b v2[11], w14
; CHECK-NEXT:    ldr w14, [sp, #296]
; CHECK-NEXT:    mov.b v1[11], w13
; CHECK-NEXT:    ldr w13, [sp, #160]
; CHECK-NEXT:    mov.b v0[11], w15
; CHECK-NEXT:    mov.b v3[12], w8
; CHECK-NEXT:    ldr w8, [sp, #40]
; CHECK-NEXT:    mov.b v2[12], w13
; CHECK-NEXT:    ldr w13, [sp, #312]
; CHECK-NEXT:    mov.b v1[12], w11
; CHECK-NEXT:    ldr w11, [sp, #168]
; CHECK-NEXT:    mov.b v0[12], w9
; CHECK-NEXT:    ldr w9, [sp, #304]
; CHECK-NEXT:    mov.b v3[13], w8
; CHECK-NEXT:    ldr w8, [sp, #48]
; CHECK-NEXT:    mov.b v2[13], w11
; CHECK-NEXT:    ldr w11, [sp, #176]
; CHECK-NEXT:    mov.b v1[13], w14
; CHECK-NEXT:    mov.b v0[13], w16
; CHECK-NEXT:    mov.b v3[14], w8
; CHECK-NEXT:    ldr w8, [sp, #56]
; CHECK-NEXT:    mov.b v2[14], w11
; CHECK-NEXT:    mov.b v1[14], w9
; CHECK-NEXT:    ldr w9, [sp, #184]
; CHECK-NEXT:    mov.b v0[14], w12
; CHECK-NEXT:    mov.b v3[15], w8
; CHECK-NEXT:    mov.b v2[15], w9
; CHECK-NEXT:    mov.b v1[15], w13
; CHECK-NEXT:    mov.b v0[15], w10
; CHECK-NEXT:    shl.16b v3, v3, #7
; CHECK-NEXT:    shl.16b v2, v2, #7
; CHECK-NEXT:    shl.16b v4, v1, #7
; CHECK-NEXT:    shl.16b v5, v0, #7
; CHECK-NEXT:    sshr.16b v0, v3, #7
; CHECK-NEXT:    sshr.16b v1, v2, #7
; CHECK-NEXT:    sshr.16b v2, v4, #7
; CHECK-NEXT:    sshr.16b v3, v5, #7
; CHECK-NEXT:    ret
  %res = sext <64 x i1> %arg to <64 x i8>
  ret <64 x i8> %res
}

define <1 x i128> @sext_v1x64(<1 x i64> %arg) {
  ; X0 & X1 are the real return registers, SDAG messes with v0 too for unknown reasons.
; CHECKDAG-LABEL: sext_v1x64:
; CHECKDAG:       // %bb.0:
; CHECKDAG-NEXT:    // kill: def $d0 killed $d0 def $q0
; CHECKDAG-NEXT:    fmov x8, d0
; CHECKDAG-NEXT:    asr x1, x8, #63
; CHECKDAG-NEXT:    mov.d v0[1], x1
; CHECKDAG-NEXT:    fmov x0, d0
; CHECKDAG-NEXT:    ret
;
; FALLBACK-LABEL: sext_v1x64:
; FALLBACK:       // %bb.0:
; FALLBACK-NEXT:    fmov x8, d0
; FALLBACK-NEXT:    fmov x0, d0
; FALLBACK-NEXT:    asr x1, x8, #63
; FALLBACK-NEXT:    ret
  %res = sext <1 x i64> %arg to <1 x i128>
  ret <1 x i128> %res
}