; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s | FileCheck %s

target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128"
target triple = "aarch64-unknown-linux-gnu"

define <4 x i16> @f(<4 x i32> %vqdmlal_v3.i, <8 x i16> %x5) {
; CHECK-LABEL: f:
; CHECK:       // %bb.0: // %entry
; CHECK-NEXT:    dup v0.4h, v0.h[4]
; CHECK-NEXT:    mov v0.h[1], v1.h[0]
; CHECK-NEXT:    // kill: def $d0 killed $d0 killed $q0
; CHECK-NEXT:    ret
entry:
  ; Check that we don't just dup the input vector. The code emitted is ext, dup, ext, ext
  ; but only match the last three instructions as the first two could be combined to
  ; a dup2 at some stage.
  %x4 = extractelement <4 x i32> %vqdmlal_v3.i, i32 2
  %vgetq_lane = trunc i32 %x4 to i16
  %vecinit.i = insertelement <4 x i16> undef, i16 %vgetq_lane, i32 0
  %vecinit2.i = insertelement <4 x i16> %vecinit.i, i16 %vgetq_lane, i32 2
  %vecinit3.i = insertelement <4 x i16> %vecinit2.i, i16 %vgetq_lane, i32 3
  %vgetq_lane261 = extractelement <8 x i16> %x5, i32 0
  %vset_lane267 = insertelement <4 x i16> %vecinit3.i, i16 %vgetq_lane261, i32 1
  ret <4 x i16> %vset_lane267
}